= 6 + v. Are 1/2 and n unequal?
True
Suppose -7*o - 5*d - 345 = -4*o, 0 = 2*o - 5*d + 255. Is -120 less than o?
False
Let b = -10 - -12. Suppose b*m = -9*m. Which is smaller: m or 1/93?
m
Let o be (4491/(-18))/((-7)/(-4)). Let r = 142 + o. Let h = r - -1/14. Which is smaller: h or 1/2?
h
Suppose 0 = 2*l + 6, 0*z + 2*l = 2*z - 62. Let c = -18 + z. Let o = c - 16. Which is smaller: o or 0?
o
Let a = -8 - -29. Let t = a - 20. Let g = 1 + -0.9. Which is greater: g or t?
t
Let m be -42 - (-6)/(-15)*5. Let w = m - -41. Which is smaller: -1 or w?
w
Let a = -51.8 - -56. Let m = a - 4.1. Which is bigger: -6 or m?
m
Suppose 4*h - 1 + 21 = 0. Let p be ((-2)/5)/(7/h). Which is bigger: -1/2 or p?
p
Suppose -42 = -10*w - 2. Which is smaller: 8 or w?
w
Suppose 4*l - g - 14 = 2*g, -5*g = -5*l + 15. Suppose -l*i = -3*x + 6*x - 127, 3*x - 4*i = 82. Suppose 4*y + x = -22. Are -14 and y non-equal?
False
Suppose 5*y - 9*y + 8 = 0. Let m = y - 11. Let h be -3*(-2 + 6/m). Which is smaller: 2 or h?
2
Let h be (-3)/(-24) + (-290)/16 + -10. Are h and -29 equal?
False
Let j(n) be the second derivative of 2*n**3/3 + 17*n**2 - 26*n. Let a be j(-9). Which is bigger: a or -3?
a
Let c be (3/(-333))/((-52)/2964). Which is bigger: c or 1?
1
Let q(y) = 2*y**2 + 3*y. Let a be q(-2). Let n be (-4 - -6)*10/(-4). Let g be (36/105)/6*n. Which is bigger: a or g?
a
Let w be 854/34 - (-6)/(-51). Suppose -w = 3*u - 7. Suppose -10 = -2*t - 5*z, 4*t - 2*z + 40 = 3*z. Is u greater than t?
False
Let y(u) = 2*u + 9. Let s be y(13). Let o = s - 35. Which is smaller: o or -9?
-9
Suppose -45*u = -46*u - 128. Is u >= -2?
False
Suppose -4*x - 7 = 3*x. Which is smaller: -2/163 or x?
x
Let s = -369/37 - -10. Let u = -77/111 + s. Is 8 equal to u?
False
Let w = -0.8 - 25.2. Let x = 25.935 + w. Which is bigger: x or 1?
1
Let w(o) = 9*o**2 + 13*o - 9. Let k(p) = -14*p**2 - 20*p + 14. Let n(s) = -5*k(s) - 8*w(s). Let t be n(1). Which is smaller: -1 or t?
t
Let d be (2/(-3) + 1)*(4 - 1). Which is greater: d or 4/399?
d
Suppose -3*n + 0*i + 10 = 2*i, -n + 10 = 4*i. Let d be (3/(-6))/((-1)/2). Is d at least n?
False
Let f be (1 - 6)*(-12)/30. Let z be 3*((-8)/6 - f). Let k = -8 - z. Do k and 3 have the same value?
False
Let h be (-2)/(-8) + 15/20. Let y be 4 + (h - (16 - -1)). Is y < -10?
True
Let i = 0 - -1. Let o(l) = -l - 9. Let a be o(-12). Let f be a - (2 + (-20)/8)*-4. Is f greater than or equal to i?
True
Suppose -2 = l - 4. Suppose u = l*u + 1. Let q = u - -1. Is -2/13 at most q?
True
Let b = -0.158 - -1.268. Let v = -0.11 + b. Let j be 4*(-3)/(-48)*12/(-10). Which is bigger: j or v?
v
Let b = -0.18 - -0.32. Let w = -2.34 + b. Let s = -0.2 - w. Which is smaller: s or 1?
1
Let n(v) = -v**3 - 8*v**2 - 7*v + 2. Suppose -4 = -0*p + 4*p, 5*l = -p - 36. Let d be n(l). Let u be (-2)/(5 + 2*55/(-20)). Which is smaller: d or u?
d
Let y be 18/12*2*6. Let f = y - 18. Suppose 2*d + q - 23 = f, -q - q - 52 = -3*d. Is d < 14?
False
Let f = 35 + -35.46. Let o = f - -28.46. Let v = 16 - o. Does v = 0.1?
False
Let y(t) = t**3 - 12*t**2 + 9. Let u be y(12). Let r be u/36 - 15/(-4). Let o = r - 4. Is 2/5 at least o?
True
Suppose -5 = 3*r - 2*p, -4*p + 6*p = -4*r + 12. Which is smaller: r or 4?
r
Let g = 0.04 + 3.96. Let n = 4.79 + 0.21. Let q = n - g. Which is smaller: 5 or q?
q
Let o(j) be the first derivative of -1/3*j**3 + 0*j - 9/2*j**2 + 1. Let d be o(-9). Is d at most 0?
True
Let c = -0.026 + -30.974. Let y = c + 52. Let r = y - 23. Is -0.2 <= r?
False
Let t = -0.125 - -95.125. Let o = t + -95.3. Is o <= -13?
False
Suppose 588 = -s - m, -1176 = 2*s - 0*m - 4*m. Let q = -6473/11 - s. Let u(a) = a + 6. Let w be u(-5). Do q and w have the same value?
False
Suppose 4*s = -d + 22, -3*s - 9 = -5*d + 9. Let g be 2/(-4)*(6 - d). Suppose -k - 3*k = c + 3, -1 = 3*c + 4*k. Which is smaller: c or g?
g
Suppose -2*a - u + 6 = -0*u, -5*a = u - 9. Let v be a*(1*76 + 12/12). Which is greater: v or 76?
v
Let y = 1459 - 16013/11. Which is bigger: y or 4?
4
Suppose -3*s - 2*s = 0. Let g = s + 1. Let v = -150 - -2254/15. Which is smaller: v or g?
v
Let f = -59 + 134. Suppose f = u + 2*u. Let g be (14/(-42))/(u/9). Are 0 and g non-equal?
True
Let g(j) = -4 - 7*j + 3*j**3 + j**3 + 2*j**2 + 2*j**3 - 5*j**3. Let z be g(-5). Do z and -45 have the same value?
False
Let j = 6/73 + -614/365. Is j equal to -1?
False
Let g(i) be the third derivative of -i**5/60 + i**4/3 + i**3/6 - 4*i**2. Let k be g(8). Which is greater: 1/10 or k?
k
Let c be 16/(-21) - 4/(-6). Let x = -8/21 - c. Suppose 0 = -19*g - 7 + 26. Which is smaller: x or g?
x
Suppose -17*u + 312 + 215 = 0. Is u greater than 28?
True
Let l = -33 + 23. Let w be (-6)/l - 335/100. Are w and 1 non-equal?
True
Let r = 9.6 + -9.5. Which is smaller: r or -97?
-97
Suppose -5*k + 10 = h - 2*h, -h - 8 = -3*k. Let n(o) = -3*o - 16. Let f be n(-6). Suppose -3*m = 5*v + 37, 0 = m + f*v - 9 + 23. Which is smaller: m or h?
h
Let u = -63/5 - -66/5. Let d = u + -7/10. Which is greater: -1 or d?
d
Let c = 137 - 138. Does 258/7 = c?
False
Let p be -2 - (-1)/2*(35 - 39). Which is smaller: p or 85?
p
Let s be (-11 + (-50)/(-4))/((-6)/128). Do s and -40 have the same value?
False
Suppose -2*b + b = -15. Suppose -b*r = 2*r - 136. Which is smaller: 29/4 or r?
29/4
Suppose -2*p - 74 = 22. Let x be p/(-60) + (-2)/15. Which is smaller: -0.002 or x?
-0.002
Let v(f) = 26 - 11*f + f**2 + 2*f + 24*f. Let n be v(-13). Is 3/11 <= n?
False
Let n = 0.0536 + -622.0536. Is n at most -1?
True
Let q be 12/72 + 70/12. Is q > 37/8?
True
Let a(g) = -g + 1. Let s be a(1). Let x = -95/24 + 55/12. Is s smaller than x?
True
Let k = -1219 - -1221. Are 407 and k unequal?
True
Let l = 894 + -895. Let j = 143 - 722/5. Which is greater: l or j?
l
Let i = -224 - -381. Which is smaller: i or 158?
i
Let a = -2 - -3. Suppose -5*q + q + 745 = -3*c, 5*q - 930 = 4*c. Let z = 1517/8 - q. Is a >= z?
True
Let q be ((-1170)/1040)/(10/8). Which is bigger: q or 6/7?
6/7
Let h(r) = -2*r**3 - r**2 - 6*r - 15. Let g be h(-2). Is g smaller than 13?
True
Let x be 8/(-10 - 118)*6. Is 14 at most as big as x?
False
Let w = -13 - -16. Let u(x) = -x**2 + 4*x. Let p be u(w). Suppose -3*a + 6 = 4*g, p*g + 2*g = 2*a + 19. Is g < -2?
False
Let i be (-1457)/9 - (8/72 + 0). Is -162 greater than or equal to i?
True
Suppose -5*r = u + 2*u - 5, 3*r + 4*u = -8. Let o(a) = -3*a + 3*a**2 - 5 + 2*a**2 - r*a**2 - 4*a. Let c be o(7). Is c at least as big as -6?
True
Suppose -12*i = -9*i - 66. Suppose -i*g = -25*g - 21. Is g > -5?
False
Let w(n) = n**3 - 19*n**2 - 18*n - 38. Let l be w(20). Is l not equal to 17/7?
True
Suppose 0 = -75*u + 47*u. Is u greater than 1/1617?
False
Let q = 0.03 - 0.04. Let g = -1.11 - -1.2. Let a = g - q. Which is smaller: a or 1?
a
Let i be 49/294*((-16)/22 + 1). Which is greater: i or -1?
i
Suppose o - 5*d = -1, -5 = 2*d - 7*d. Suppose -o*m = -10*m - 126. Does m = -20?
False
Suppose -5*r = -1 - 14. Suppose -r*b = -4*x + 13, -2*x + 0*x = -5*b - 17. Let m = x + -2. Are -1/14 and m unequal?
True
Suppose 8 = 4*b + 5*x - 16, -5*x = -b + 31. Is b smaller than 20?
True
Suppose -3*r - 4*r = -0*r. Let k = 8 + -6. Are k and r equal?
False
Suppose -6*j + 45 = -201. Let w be -3 + j/13 - 4296/26910. Is -1 > w?
False
Let v be -2*3*(-1)/3. Suppose 0 = -5*h + 25, -3*y + 0*h + 1 = v*h. Let f be 1/(1/y)*1. Is -4 > f?
False
Suppose 28*k - 81 = 31*k. Let y be k/(-108)*((-30)/(-14) + -1). Which is smaller: y or 2/13?
2/13
Let u(m) = -10*m + 3. Let t be u(0). Which is greater: t or 5/93?
t
Let j be 3/(-15) + 2/10. Let v be 4 + (-736)/68 - (-49)/7. Which is smaller: j or v?
j
Let p = 7/195 + 167/780. Is p less than or equal to -154?
False
Let u(x) = 224*x - 12. Let t be u(1). Which is smaller: t or -0.3?
-0.3
Let p be 8/6*6/4. Let o(q) be the third derivative of -q**6/120 + 2*q**5/5 + q**3/2 + 24*q**2. Let l be o(24). Which is smaller: p or l?
p
Let s = -13 + 13. Suppose -5*x - 10 = -s*x. Let k be 1 - 3 - 2/x. Which is smaller: k or -3/11?
k
Let p(y) = y**2 - 7*y. Let z be p(6). Let l(x) = x**2 + 3*x - 4. Let t be l(3). Suppose -t*j + 15*j = -3. Is j > z?
True
Suppose -5*c + 78 = -a + 2, 0 = 4*a + c + 262. Suppose 202*m = 198*m - 268. Which is smaller: m or a?
m
Let t be -79 + (-8)/(-2 + 0/4). Does t = -75?
True
Suppose -2*r = q - 5, 5*q = 4*r - 2*r - 11. Let 