/(-10))/((-16)/(-4430)). Let u = 334 + h. Is u equal to 3?
False
Let c = 0.2347 - -2.0953. Which is greater: c or -2?
c
Suppose 3*q - 75*o = -80*o - 10, -5*q = -3*o - 6. Is 1/23 >= q?
True
Let t = 761 - 480. Are 281 and t unequal?
False
Suppose 0*o + 4*o = 4. Let q be o/((-30)/(-4)) - (-4)/20. Which is smaller: q or -1?
-1
Let i = 0.0652 + -4.3752. Is i > -0.1?
False
Let f be (-5)/(-13)*(-18552)/(-10). Let m = f - 714. Is m greater than or equal to 1?
False
Suppose 82*t - 243 = 85*t. Are t and -81 equal?
True
Let u = -40/3 - -188/15. Let d = -1 - 0. Which is greater: u or d?
u
Suppose 3*t = -5*h + 6*t + 26, 0 = 5*h - 5*t - 30. Is 1 greater than or equal to h?
False
Let b be ((-10)/25)/(5/75). Which is greater: -26/5 or b?
-26/5
Suppose -191*u = -188*u - 30. Is u less than or equal to -1/3?
False
Let w = 1370 + -39724/29. Which is bigger: w or 1/7?
w
Let s be 1*2 - (-440)/(-352). Is 0.11 at least s?
False
Let w = 407 - 406.84. Which is smaller: w or -1/3?
-1/3
Let r = -75 - -174. Let t be (-2)/9 + 814/r. Suppose -2*i - 2*a + 26 = 0, -2*i + 2*a + 2*a = -t. Is 11 at most as big as i?
False
Suppose 4 = s + 3. Let j = 474 - 493. Is s less than j?
False
Let a be (2/(-5))/(2/80). Which is smaller: -7 or a?
a
Let u = 2053 - 1899. Which is greater: u or 155?
155
Suppose 19 + 6 = -5*y. Suppose 5*g + 77 = -4*u, 0 = -6*u + 5*u - 5*g - 23. Let a be 179/(-36) + (-4)/u. Is a bigger than y?
True
Suppose -3*o - 4*s = 1, s = 5*o - s - 33. Suppose 15 = 2*q - o*k, 5*k + 12 = -3*q - 3. Are 9/11 and q non-equal?
True
Let o be (11 - (5 - -4))/((-1)/4). Suppose -5*n - 23 = -2*y, -2*n - 3*y + 5*y = 8. Which is smaller: n or o?
o
Let x = 945 - 944. Which is smaller: -1/171 or x?
-1/171
Let g = 0.178 + 4.822. Which is greater: g or -0.07?
g
Suppose -g + 2*v + 12 = 0, 5*g = -0*v + 3*v + 25. Let f = -1934 + 21288/11. Are f and g nonequal?
True
Suppose 3*t = -t + 4. Let u(v) = 2*v - 1. Let j be u(-1). Let g be j/((-3)/14*t). Is 14 != g?
False
Let b = -205 - -202. Let r = 7 + -20. Is b equal to r?
False
Let j = 1.57 - -12.43. Let w = 18 - j. Let o = 2 + -1.9. Which is bigger: w or o?
w
Suppose 0 = 4*k - m - 110, -k - 134 = -6*k + 3*m. Suppose 11*p - 4*p = -k. Are 0 and p nonequal?
True
Let o be (-71)/36 + 4/18. Let r = 7867/12 + -657. Let p = o - r. Is p less than or equal to 0?
True
Let x = -15 - -21. Let h be -6*((-12)/3)/(-8). Let n = 2 - h. Are n and x equal?
False
Let w = 8 - 8.3. Let r = -41.7 - -40. Let t = w + r. Is t less than or equal to -0.01?
True
Suppose 7*k + 45 = -2*k. Let q(p) = 6*p + 31. Let h be q(k). Are h and 12/17 non-equal?
True
Let v = -0.4 + -0.1. Let o(f) = -23*f**3 - 14 + 5*f - 7*f**2 + f**2 + 22*f**3. Let r be o(-7). Which is smaller: r or v?
v
Let k be 7/14*-94 - -5. Which is greater: 1 or k?
1
Let o = 45 + -145. Let w be (1 - -17)*(-2)/(-6). Let x be o/48 + 8/w. Which is smaller: 0 or x?
x
Let q = 0.2 + -2.2. Let u = 15 - 13. Suppose 0 = -0*d - u*d. Which is bigger: q or d?
d
Let n be 2/5 + (-1116)/15. Let a be n*4/280 + (5 - 4). Is 1 not equal to a?
True
Suppose -3*j - 4 = 2, -k = j + 3. Is -247 equal to k?
False
Suppose -2*k + 82 = 4*x - 0*k, 4*x + k = 85. Let r be 317/(-11) + -5 - 4/x. Do -34 and r have the same value?
True
Let d be 4/(-12)*2*(-5 - -2). Let b(k) = -19*k + 4. Let c be b(d). Is c equal to -2?
False
Let r = 1.9 + -1.8. Let t = -37.1 + 37. Which is smaller: r or t?
t
Let t = 2 - 1. Let m be -1*t*(-3 - -2). Let w be 10 + 808/(-220)*3 - -1. Which is smaller: m or w?
w
Let a = 19 + -19.004. Let c = a - -0.104. Which is smaller: c or -3/14?
-3/14
Let q = 10 - 5. Suppose 7 = 4*i + m, q*i + 10 - 35 = 2*m. Suppose 0 = -o - 2*o + i. Which is greater: 4/5 or o?
o
Suppose 4*j - 3*j + 32 = -s, 0 = 3*j - 4*s + 96. Are -27 and j equal?
False
Suppose 3*p - 4*h + 8 = 0, -4*p + 1 + 0 = -3*h. Suppose -v + 2*v + 5 = 4*j, -3*j + p = -v. Is j at least as big as -11?
True
Let b = 36 - 13. Let r = b + -22. Which is greater: -2/31 or r?
r
Let q = -27 - -12. Let g = -21 - q. Which is greater: g or 4?
4
Let d(x) = x**3 - 2*x**2 + 2*x - 6. Let v be d(0). Let h(r) = -4*r + 1. Let o be h(3). Let z = 4 + o. Is v < z?
False
Let f be (5/6)/(3 + (-17)/6). Let p be 28/(1 - -6)*5/4. Does p = f?
True
Let j = 92 + -70. Let n = j + -65. Does n = -43?
True
Let u be -2 + (0 - -85) - 1/(-2). Let j = u - 421/5. Is -2 smaller than j?
True
Suppose -4*n = -3*t + 46, -t - 4*n = -0*t - 26. Let f(c) = -3 - 1026*c**2 - 1025*c**2 - 9 + 2052*c**2 - 16*c. Let a be f(t). Which is greater: 23 or a?
a
Let q = -45/52 - -8/13. Suppose -3*h - 10 = -2*d + 8, -2*d - h + 2 = 0. Suppose d*f + 1 = 2*f. Is q smaller than f?
False
Let n = -0.579 - -8.579. Which is bigger: n or -0.13?
n
Let z(g) = g**2 + 6*g + 4. Let s be z(-5). Let c = 479/3 - 199. Let d = -39 - c. Which is greater: d or s?
d
Let g be -3 + (4 - 2) - -9. Let q = 9 - g. Let y = -60/11 + 998/187. Is q bigger than y?
True
Let p = -0.15 - 0. Let o = p + 0.15. Is -3 greater than or equal to o?
False
Let c(q) = -17*q**3 + q**2 + q + 8. Let p be c(-2). Is p < 146?
False
Let d = -1001 - -1000. Is 2/247 greater than d?
True
Suppose -v = 5*h + 4, 5*h = 2*v + 3 - 25. Suppose v = -2*y + 8. Is y not equal to 2/15?
True
Let o = -25 + 24. Let g be (-4 - -3)*-2 - 0. Suppose 8 = 2*d - 6*d - 5*b, d + 2 = -g*b. Is d at most o?
True
Let z = -44 + 30. Let w = -20 - z. Which is smaller: w or -5?
w
Suppose -5*z = -3*z + 76. Let o = z - -39. Which is smaller: -4/31 or o?
-4/31
Let h be (-7542)/(-6)*(4/3 - 1). Let x = 6289/15 - h. Which is smaller: 0 or x?
0
Let o = -262 + 261.9. Let p be -2 - 0 - (-25)/3. Let s = p - 7. Are o and s equal?
False
Let x = -71 - -14. Let k = x + 56.08. Let u = k - 0.08. Which is greater: -2/7 or u?
-2/7
Let g(y) = 8*y**3 - 25*y**3 - 4*y + 9*y**3 + 4*y**2 + 9*y**3 + 3. Let v be g(-5). Let d be 3/(-2) - 2/(-6). Is v >= d?
False
Let m = -178 - -1255/7. Let h be 266/76 - 3/((-12)/(-16)). Is h >= m?
False
Let k(r) be the second derivative of -r**4/12 + 4*r**3 + 51*r**2/2 - 28*r. Let t be k(26). Which is greater: t or -5/7?
-5/7
Suppose 4*g + 16 = a - 6*a, 0 = -5*g - 2*a - 20. Let d = 2 - 9. Is d != g?
True
Let a be 1 + -4 + (-3 - -12). Is a at most as big as 3/16?
False
Let o = 23 - 32. Suppose 0 = -0*r + r, 4*a + 3*r + 40 = 0. Is o greater than a?
True
Let b(p) = -3*p + 1. Let i be b(-1). Suppose -2*r + r = 4*f + 22, -4*r - 28 = i*f. Let a = -30 - -34. Is a greater than or equal to r?
True
Let u be -10 - 15/((-36150)/24104). Which is greater: u or 0?
u
Let b = 31 + -307/10. Suppose 2*s = -3*x - 4 + 2, 3*x = 4*s + 4. Is s smaller than b?
True
Suppose 2*g + 13*g - 825 = 0. Suppose 0 = 9*w + g - 10. Let b be 6/2*2*-1. Is w > b?
True
Let u(y) be the second derivative of -y**5/20 + y**4/3 + 5*y**3/2 + 17*y**2/2 + 5*y. Let v be u(7). Which is greater: 0.2 or v?
0.2
Let z be (35/(-140))/((-4)/(-6)). Are -3/4 and z non-equal?
True
Let k(p) = -p**2 - 6*p + 7. Let m be k(-7). Suppose 0 = -n - m*n - 4. Are n and -6 nonequal?
True
Let w = 0.06 + 0.08. Let i = -344 - -343. Which is greater: w or i?
w
Let p(i) = 7*i**2 + 17*i + 23. Let t(b) = 3*b**2 + 9*b + 11. Let y(f) = -2*p(f) + 5*t(f). Let c be y(-4). Which is smaller: c or -20?
-20
Let r = -135 - -134.996. Is r >= 3?
False
Let s be -1 + (63/15 - 3). Let g = 33 - 35. Are g and s equal?
False
Let m = -345 + 443. Which is smaller: m or -1?
-1
Suppose 14 - 154 = 5*q. Let v = q + 31. Let m be 2/(2 + v - 3). Which is bigger: m or 2/3?
m
Suppose 2270 + 36 = -2*k. Let h = 5737/5 + k. Are h and -5 non-equal?
True
Let r be 16/(-6) - 6/18. Let n = r - 21. Is n less than -23?
True
Let h(k) = -2*k + 19. Let r be h(8). Let j be 8/3 - (-1)/r. Let m be 2/j*9/6. Is m <= 1?
True
Suppose -3*z - 3*r + 57 = 0, -z - 25*r = -28*r - 35. Which is smaller: 43/2 or z?
43/2
Let v = 2943851/92 - 31998. Is 0 at most v?
True
Let m(v) be the third derivative of -v**5/60 + v**4/12 + 4*v**3/3 + 16*v**2. Let c be m(4). Is -2/101 at most c?
True
Let g = -37/44987 - -20304677/18894540. Let i = 45/28 - g. Which is bigger: 0 or i?
i
Let n = 1/17 + 83/34. Let a = 20 + -28. Let h(m) = -m**3 - 9*m**2 - 8*m + 4. Let i be h(a). Are n and i unequal?
True
Let c(o) = o + 1. Let x be c(-10). Let u be x/(-6)*2/3. Which is smaller: u or 2/5?
2/5
Let f(j) = -j**3 + 4*j**2 - 1. Let w be f(3). Suppose 2*g = 3*z + w - 3, 0 = -g - 2