 or v?
s
Let q = 23 + -21.15. Let a = 0.15 + q. Is a at most -0.04?
False
Let l be (4 - 8)*3/(-2). Let o be -3 - (-5)/(15/l). Is -3 greater than o?
False
Suppose -2*b + 70 = -5*y, -6 - 2 = 2*y. Suppose 5*p = m + b - 1, 0 = 5*m - p. Let i be (-4)/(-2)*m/2. Is 1/6 at most i?
True
Let g be (-5)/(510/8) - 0. Let m = 82/255 - g. Are m and -7 unequal?
True
Let d = -76/11 - -4354/627. Which is smaller: 1 or d?
d
Let g = -1 + 1. Let d be (-2)/(-5) + 10/(-25). Is g equal to d?
True
Let r(x) = x. Let t(i) = i**2 + 11*i. Let l(m) = 4*r(m) - t(m). Let g be l(-7). Suppose g = -p + 2*p. Which is smaller: p or 2/7?
p
Suppose 0 = -4*i + 20, 5*i = -y - 2 + 27. Which is bigger: -1/23 or y?
y
Suppose -3*a = a. Suppose -4*d = -2*m + 8, -m - 5*d - 10 = -a*m. Let s(n) = 2*n - 57. Let l be s(28). Which is greater: m or l?
m
Let j(h) = -h**2 + 6*h + 7. Let b be j(8). Let v = -7 - b. Suppose 0 = -m + 2, -10 = 4*k - v*k - 2*m. Is k smaller than -1/3?
True
Let v be 1*2/(-12)*-1. Suppose 2*l - 11 = q - 3*l, 0 = -5*q + 2*l + 14. Suppose -q*h = -h. Which is smaller: h or v?
h
Let x(k) = k**2 - 7*k + 6. Let r be x(6). Let p be 3 + -4 + 15 + 1. Suppose -4*f - 3*v + p = r, -f - v + 5 = 3*f. Is -1 != f?
True
Let v = -10.2 + 9. Let h = 6.2 + v. Which is smaller: 0 or h?
0
Let o = -2 - -6.5. Let m = -14.5 - -14. Let r = m - o. Is r bigger than 1?
False
Let n = -17 - -16. Let t = 1 + n. Is t greater than -2/15?
True
Suppose 70 = -0*a - 5*a. Let h be a/10 - 2/(-5). Let w = h + 2. Is w at most as big as -1/3?
False
Suppose 0 = 6*t + 2 - 14. Which is smaller: t or 4/3?
4/3
Let r be (-6)/(-10)*(6 + -1). Let s be ((-2)/8)/(r/4). Let a be (0 + 1)*(-1)/(-1). Which is smaller: a or s?
s
Let g(h) = -2*h + 22. Let f be g(12). Let r = f + -14. Is -16 at most r?
True
Let w be 0 - ((-18)/(-21) - 1). Is w at most as big as 0?
False
Let m be (5/25)/(1/5). Suppose 0 = -3*u + f + 5, -4*f = -17 + m. Suppose 8 = 4*x - 4*h, 4*x + 0*x - u*h = 6. Which is smaller: -2 or x?
-2
Let z = 11 - 13. Let s = -2 - z. Is 0 less than s?
False
Let y be 39/(-2)*20/15. Which is bigger: y or -25?
-25
Suppose 0 = 4*s + 53 - 17. Is s smaller than -10?
False
Let w be 2 + 3/12*-5. Suppose 5*i = -5*o + 4*o - 5, o = 5. Let f = i - -3. Is w at least as big as f?
False
Let o = -86 + 87. Is o bigger than 2?
False
Suppose 5*z - 3*z = 3*s - 22, 5*s = 3*z + 35. Let o be s/(-10) + 26/40. Which is smaller: o or 0?
0
Let g(b) = -5*b + 5. Let l be g(0). Suppose -y + 0*y = 4*s - 21, s = 5*y. Is l bigger than s?
False
Let m = 9 + -8.3. Let f = 0.5 - m. Is -1/4 at least as big as f?
False
Suppose -2*h = 7*h + 252. Does h = -29?
False
Let u be ((-9)/(-12) - 0)*(-2)/3. Is u at least as big as 0.2?
False
Suppose -3*w = -2*w. Suppose 5*m = 4*z + 12, w = -z + 3 - 6. Is m equal to 4?
False
Let k = 25 + -30. Which is bigger: k or -4?
-4
Suppose -5*q = -4*o + 4, 2*q - 4 = o - 5. Suppose -4*b - b + 10 = q. Are 0.1 and b unequal?
True
Let m = -3 + 3. Let f = -486 - -9236/19. Which is smaller: m or f?
m
Let y = -1.5 + 1.3. Are y and 6 non-equal?
True
Suppose 0 = -8*b + 3*b - 3*d - 15, -4*d = 0. Let c = -108 - -104. Are c and b non-equal?
True
Let u = -1 - 0. Let j be 57/(-18) + -3 + 7 + -1. Is u >= j?
False
Suppose -6*z = -z. Let b = 511/5 + -487/5. Let q = b + -178/35. Is z at least as big as q?
True
Let n = 5.7 + 4.3. Which is greater: -3/4 or n?
n
Let r be -3 + 2 + 3 + -1. Let f = r - -1. Suppose 3 + 3 = 3*b. Is b not equal to f?
False
Let k = -43/6 + 131/18. Let x be -3*((-16)/6 + 2). Let m = -3 + x. Is k at most as big as m?
False
Let d = 27 + -24. Are d and 20/9 equal?
False
Let s(r) = 3*r + 6. Let n be s(-2). Which is bigger: -2/11 or n?
n
Let w be 4/(-6) - (50/3)/(-10). Suppose 0 = 3*v - 0*v - 3. Let i be (-2)/11 + -1 + v. Which is bigger: w or i?
w
Let t = 0.7 - 0.9. Which is smaller: t or -0.1?
t
Let m = 10 - 15. Which is bigger: 0 or m?
0
Suppose -74 - 95 = -3*x - o, 3*o = 4*x - 234. Suppose p + 10 = d + 23, 4*p + d - x = 0. Which is bigger: 13 or p?
p
Let l be (-6)/(-28)*(1 + 1). Let m = 0.04 + -1.04. Is m smaller than l?
True
Let c(u) = u**2 - 2*u - 4. Let j be c(3). Let t be 697*(-1 - 8/(-10)). Let d = t - -139. Which is bigger: d or j?
d
Let m = -66322522246889/301 + 220340360856. Let w = 244617 + m. Let z = -20/43 + w. Which is bigger: 1 or z?
z
Suppose -25 = 2*k - 5. Is k equal to -8?
False
Let h be (-1)/(2 - (-26)/(-12)). Let q be (-27)/(-6)*2/h. Let d be 4/((-1)/(3/(-6))). Which is smaller: d or q?
q
Let i(o) = o**2 - 5*o. Let h be i(5). Let g(z) = -z + 5. Let c(x) = 2*x - 12. Let q be c(8). Let s be g(q). Which is greater: s or h?
s
Let q be (-1 + -5)/((-10)/(-75)). Let s = -587/13 - q. Which is smaller: s or 0?
s
Suppose 2*x - 8 - 2 = 0. Is x <= 5?
True
Let d = -5 - -3. Let w be (1 - d)/((-6)/4). Which is smaller: -4 or w?
-4
Suppose 2 = -b - 3. Let a = b + 5. Suppose -u = -a*u. Is -1/2 greater than or equal to u?
False
Suppose 5*s - r + 85 = 4*r, -38 = 2*s - 4*r. Let v be ((-4)/10)/((-69)/s). Is -1 at least v?
False
Let s be 3/(-11)*(-24)/(-18). Which is smaller: s or -1?
-1
Let j = -17 + 17. Is j greater than 32?
False
Let i be (-3)/(-2)*(-8 - 2). Is i at least -16?
True
Let v(b) = -b**2 + 4*b - 15. Let c be v(6). Is -26 equal to c?
False
Let s(m) = m**3 + 9*m**2 - 10*m - 4. Let t be s(-10). Let k(d) = -d**2 + 6*d - 7. Let y be k(5). Is t not equal to y?
True
Let q = 106 - 169. Which is smaller: q or -0.1?
q
Suppose -2*a - 6 = -4*a. Suppose a*l - 5 = 1. Suppose 4*v - 2 = l*v - 4*s, -5*s = -10. Which is smaller: -2 or v?
v
Let o = -3 + 2. Let l be 3*4/(-6) - o. Let t be (-2 - 28/(-8))*-2. Which is greater: t or l?
l
Let a(s) = 3*s + 1. Let b be a(1). Suppose 3*j = -2*u + 4, 3*j + 2*j + b*u = 10. Which is smaller: -3 or j?
-3
Suppose -2*y + 50 = 3*y + 2*d, 3*y - 3*d = 30. Is y smaller than 10?
False
Suppose -51 = 5*q + 4. Let t be 0/q + (-3 - 1). Is t >= -5?
True
Let h be ((0 - 1) + 0)/1. Let w(q) be the third derivative of -q**6/120 + q**5/10 + q**4/3 - 4*q**3/3 + 2*q**2. Let i be w(7). Is i greater than or equal to h?
True
Suppose -14*t = -9*t - 155. Is t equal to 30?
False
Suppose -5*x + 2 + 3 = 0. Let q = x - 0. Let t = 0 - -2. Are q and t equal?
False
Let x = -1.9 + 1.3. Which is bigger: x or 0.1?
0.1
Let f = -33 - -53. Which is smaller: f or 21?
f
Let n = -192 - -2879/15. Is 0 < n?
False
Let u = 41359 - 2274568/55. Let q be ((-51)/(-15))/(0 - 1). Let j = u + q. Is j > -0.1?
False
Let k(s) = 10*s - 24*s + 2 + 8*s + 7*s. Suppose 0 = -4*f - 0*o + o - 21, 0 = -f + 3*o + 3. Let j be k(f). Is j greater than or equal to -5?
True
Suppose 2*s + s - 9 = 0. Suppose -s*f = f. Are 2/9 and f non-equal?
True
Let p(n) = n**2 - 9*n - 12. Suppose -2*r + 17 = -3. Let h be p(r). Is 10 <= h?
False
Let j be 2/5 + 42/(-30). Suppose 5*h + 4 = 4*h - 4*i, -4*i - 4 = -5*h. Suppose h*d = 3*d. Which is smaller: j or d?
j
Let x(c) = c**3 - 13*c**2 + 2*c - 25. Let z be x(13). Let u = 0.3 + -0.1. Is u equal to z?
False
Let h be 8/2*1/2. Suppose -p = -3*f - 6, 3*p = h*p. Which is smaller: -6/5 or f?
f
Let m = -39.8 + 40. Is m > -1?
True
Let b be (-2)/(-8) + (-33)/(-468). Let l = b - 2/13. Which is smaller: 0.1 or l?
0.1
Let t be 2 - 5/((-6300)/(-2188)). Let q = 1/45 + t. Is -2 smaller than q?
True
Let o be 49/(-35) - (-2 - -1). Let s = -25.1 - -28. Let n = s + -3. Which is smaller: o or n?
o
Let x = 57 - 229/4. Let b(u) = -u**3 - 3*u**2 + 4*u + 4. Let p be b(-4). Suppose -2*m = -p*m + 2. Which is greater: m or x?
m
Let b = 0.8 + -0.5. Let m = b + -0.4. Let t be (-2)/8 - 0/(-5). Is m equal to t?
False
Suppose -5*y = 2 + 3. Let a = -3 - y. Are -3 and a equal?
False
Let u = -1.1 - -8.1. Let q = u + -4. Which is bigger: -2/5 or q?
q
Let h = -311/37 - 2899/333. Let t = h + 1685/99. Which is smaller: -1 or t?
-1
Let g = -9.1 - -9. Let m = g - 0. Which is smaller: m or 0.3?
m
Let v = 35 - 33. Is v smaller than 8/13?
False
Let k(i) = -i. Let f be k(-2). Do f and -3 have different values?
True
Let i(h) = 3*h - 4*h + 3 + 16. Let y be i(9). Are y and 10 equal?
True
Let t = 7/3 + -2. Let k(r) = -2*r - 1. Let g be k(2). Let u = g + 5. Is u smaller than t?
True
Suppose 3*a = 13 - 4. Suppose 2*j - 11 = -m, -a*j + 2*m + 9 = -4. Suppose 3*u + 12 = -j*x, 0 = -3*x - u + 1 - 5. Is -1/5 smaller than x?
True
Let s = 0.5 - -8.5. Let b = 38.9 - 39. Which is smaller: s o