 4 + 15. Let w = 21.25 + -21.17. Does w = y?
False
Let i(t) = -t**3 + 6*t**2 + 6*t - 1878. Let l be i(0). Is -1876 smaller than l?
False
Let c = -56 + 51. Suppose -29 = -3*v + r, 0 = -8*r + 3*r - 25. Suppose -13 = x - v. Is x <= c?
True
Let p = -364 + 363. Let j be ((-1)/p)/(-7 - -6)*0. Is -1/2 less than j?
True
Suppose 5*t + 4*m = 40 + 278, 4*m = -3*t + 194. Which is smaller: t or 0.05?
0.05
Let v = 2602 - 6783. Let o = 37589/9 + v. Suppose 4*d = 4*q + 1 + 35, 5*d = -2*q + 17. Which is smaller: o or q?
o
Let x = 65 - 65. Let n be x + (-1)/(-2) - (-105)/(-42). Is n greater than -7?
True
Let m = -4 - -6. Let a be 2/12 + ((-392903)/(-1036644) - 1/(-28)). Which is greater: a or m?
m
Suppose 0 = 6*v - 0 - 24. Suppose v*h - 5 = 23. Suppose 0 = -3*a - 88 + h. Which is smaller: a or -25?
a
Suppose 7367 + 6283 = -13*s. Let m be (8/(-14))/(20/s). Suppose -38 = -3*w + 52. Is w at most as big as m?
True
Let n be (-2 + -2)*(-1)/(-18). Suppose -6 = -4*z + 10. Let j be z*-10*2/32. Which is bigger: j or n?
n
Let w(g) = 290*g - 1037. Let d be w(4). Which is greater: 116 or d?
d
Let u = -31284 + 282118/9. Which is smaller: 0 or u?
0
Let q be 9 + (4 - (1 - -3)). Let i = 10 - q. Let d be (3 - (-13 + 15))*-3. Do d and i have different values?
True
Let a(i) = -10*i**2 + 1 - 43*i + 2*i**2 - 7 + 1. Let g be a(-5). Suppose -4*t + 31 + 9 = 0. Is g equal to t?
True
Suppose 10*h = -h + 55. Let u be 222/h + -3 + (-76)/(-20). Which is smaller: -1/2 or u?
-1/2
Suppose -4*g = 904 - 2708. Let v = 415 - g. Suppose 35 = -h - 2. Is v equal to h?
False
Let u = 120502.5 - 120507. Let t = -0.1 - -0.1. Which is greater: t or u?
t
Suppose -3*v + 1116 = q, 165*v - 169*v = -2*q + 2162. Are q and 1095 equal?
True
Suppose 0 = r - 5*g - 5398, 5370 = r - 78*g + 80*g. Are 5378 and r non-equal?
False
Let c = -7021 - -6939. Which is smaller: c or -1380/17?
c
Let x = 0.1 - 0.3. Let t = -966.21 + 931.21. Is x at least t?
True
Let k be 1 + 3/6 + -1. Let r = 399.90065 - -0.09935. Which is smaller: r or k?
k
Let y = 1/1429 + -2913/78595. Which is bigger: 2/99 or y?
2/99
Let d(n) = -n**2 + 66*n + 130. Let z be d(63). Is 1281/4 greater than z?
True
Suppose -3*v - 3*k = -189, -k = 3*v - 115 - 74. Suppose 0 = 3*a + 27 + v. Let w = 26 + a. Is -0.1 bigger than w?
True
Let j be ((-35 - 1) + 1)/1. Suppose -34*s + 23*s + 400 = -c, -3*s + 116 = -2*c. Let x = j + s. Is -2/33 at most as big as x?
True
Suppose 0 = 2*k + 4*d - d - 111, k - d = 43. Suppose 326*u - 384 = 318*u. Is u > k?
False
Suppose 1949*y = 1976*y - 432. Is y > 545/36?
True
Let z = 0.1 + -0.2. Let j = 245 - 241.51. Let m = 53.49 - j. Which is smaller: m or z?
z
Let q = -1915.15 - -1897.15. Let s = -4.9 + -0.1. Which is smaller: s or q?
q
Let o be 103/7 - (-4)/14. Let y be (-1 - (-20)/o)*3. Let p be -3 - ((-153)/39 + 0). Are y and p equal?
False
Suppose -12 - 144 = h + 5*w, -4*w = -5*h - 809. Let l = h - -183. Is 25 smaller than l?
False
Let z(k) = 158*k + 3885. Let n be z(16). Is n smaller than 6412?
False
Let j = -647/1236 - 59/412. Let c(g) = -g**3 - 6*g**2 - 4*g + 4. Let b be c(-5). Which is smaller: j or b?
b
Suppose 0 = 5*n + v - 89, -2*v + 3*v = 4*n - 64. Suppose -n*c = -3*c - 140. Let g be (-10)/(-15) + c/(-6). Is g greater than or equal to 1/24?
False
Let d = 1559 + -1540. Let l be (-87)/(-39) + -2 + 0. Which is smaller: l or d?
l
Let l be 8/(-70) - (-2)/(-7). Let n = -170.925 + -0.075. Let b = n - -171.2. Which is smaller: b or l?
l
Let o be ((-119)/238)/(8/(1232/35)). Let x(r) = -r + 1. Let k be x(4). Is o less than k?
False
Let f(i) be the third derivative of -7/2*i**3 + 0 + 7*i**2 + 0*i - 1/12*i**4. Let v be f(-10). Is v equal to 24?
False
Let x be ((-10189)/(-7268))/(1/(-4)) - -5. Which is greater: 0 or x?
0
Suppose 35*u + 0*u + 11*u - 1196 = 0. Which is greater: u or 24?
u
Let w(q) = 11*q - 336. Let v be w(30). Let d(f) = 5*f - 4. Let x(p) = 14*p - 12. Let o(u) = -11*d(u) + 4*x(u). Let c be o(-4). Is v at most c?
False
Let c = -8823.02 - -8823. Which is smaller: 191 or c?
c
Let z be ((-6)/(-228))/((10/(-3656))/5). Let b = z + 48. Is -1 equal to b?
False
Let o(x) = -7*x**3 + 10*x**2 + 13*x. Let t(p) = -2*p**3 + 4*p**2 + p. Let b(r) = o(r) - 4*t(r). Let j be b(3). Which is bigger: j or 1/51?
1/51
Let a(h) = 4*h**2 - 207*h + 505. Let f be a(61). Do f and 2759 have different values?
True
Let g = 1465 + -1249. Is 212 greater than g?
False
Let i = -7975/1923621 + -3/4613. Let d = i - -4773/139. Let m(z) = 13*z + 462. Let t be m(-33). Is t > d?
False
Let k be 70/(-36)*14974/(-50) - (-16)/(-160). Is k bigger than 581?
True
Let l = 9.4243 - 74.3573. Let m = 0.067 - l. Let z = m + -64.9. Which is greater: 2/15 or z?
2/15
Suppose -z + 3*p + 112 = 0, 13*z + 216 = 15*z - 4*p. Which is greater: z or 85?
z
Let q be ((-3)/2 - (107899/22)/(-17))*-3. Is -865 smaller than q?
True
Let w = -0.3 + 0.5. Let y = 30.212 + -40.212. Is y equal to w?
False
Let v be 1*-1 - (0 - 4). Let g be v*4/(-12)*(-3 + 2). Suppose -3*j + 10 = 2*t, j + 2*j - 3*t + 15 = 0. Does j = g?
False
Let f = 17 + -3. Let k = 2 - f. Let g be (-4 + (-246)/(-63))/((-12)/(-28)). Which is greater: g or k?
g
Let i = 15775 - 110421/7. Which is smaller: -89 or i?
-89
Suppose -1582*c = -1593*c - 11. Is c equal to -2/8647?
False
Let n = 9.91 - 8.1. Let c = n - 0.07. Let h = c - 0.74. Are h and -0.13 nonequal?
True
Let r be ((112/(-20))/(-14))/((4 - -1)/(-650)). Is -19 greater than r?
True
Let f(n) = -n**3 - 12*n**2 - 18*n + 23. Let j be f(-11). Let u be j/(-120)*(-1)/5. Are u and 55 non-equal?
True
Let w be 8/7 - 144/126. Suppose w = -41*r + 44*r. Which is smaller: -0.4 or r?
-0.4
Let k be (6/21)/(1/7). Suppose 0 = -k*g + q + 17, -4*g - 4*q = -0*q - 28. Suppose g*u - 8 = 6*u. Is u at least 6?
False
Suppose 23*y - 35 = -12. Is 9/98 not equal to y?
True
Suppose -5*c - 5*p = 5, 2*c - 5*p = -12 + 45. Suppose 0 = -c*k + 936 + 1332. Let b = -90151/159 + k. Is 1 at most as big as b?
False
Let t(w) = w**3 + 5*w**2 + 4*w + 20. Let o be t(-6). Let z be ((-10)/o)/(2/8). Let m be -2 - (z - 94/30). Is m > 0.1?
True
Let y = -4 - 0. Let z(f) = 2*f + 4. Let a be z(y). Suppose 4*s - 15*n + 23 = -14*n, -2*s - 5*n - 17 = 0. Which is greater: a or s?
a
Let n be 2*-2*(287/378 + 62/(-93)). Let i be (-12)/3*1/(-4). Is i at most n?
False
Let u(o) be the first derivative of o**4/4 + 5*o**3 - 35*o**2/2 - 18*o - 5. Let w be u(-17). Is 1/154 bigger than w?
True
Suppose 51*w + 2842 = 10033. Which is bigger: 132 or w?
w
Let z = -9999/13 + 82018/91. Let k = z + -132. Which is bigger: k or -6?
k
Let c be 303 - ((-3)/3 + 6). Let o = c + -343. Which is bigger: o or -46?
o
Let y = -329 - -338. Suppose 5 = a + x, 0 = 4*a - y*x + 12*x - 15. Which is smaller: -1/71 or a?
-1/71
Suppose 83*v = -82*v + 168*v + 6. Which is bigger: 11.57 or v?
11.57
Let o be (91/14)/(3/108). Let j = -81 + o. Which is smaller: 152 or j?
152
Suppose 0 = -131*x - 348 - 45. Suppose -5*c + 9 = -6, -5*m - 2 = c. Let f be 1 + (-5)/m*-1. Is x at least as big as f?
True
Let v = -10 - -3. Let p(j) = j**3 - j**2 - 24*j + 25. Let k(x) = x**2 + 2*x - 2. Let i(t) = -6*k(t) - p(t). Let g be i(v). Is 3/23 smaller than g?
True
Let k = 1/64295 + -12170126/64295. Which is greater: -190 or k?
k
Suppose w = a - 456, 6*w - 5*a - 1360 = 9*w. Which is bigger: -456 or w?
w
Let v be (-758)/(-1920) - (282/30 + -9). Let t = 21/64 - v. Are t and 224 non-equal?
True
Let s = -7.959 + 7.9. Let b = -0.141 + s. Is b greater than or equal to 20/9?
False
Let i = -6336 + 6341. Is i at most as big as -0.1295?
False
Let r(o) = -7*o**2 + o**3 - 2*o**3 - 7 - 3*o**3 + 5*o**3. Let c be r(7). Let p be (c/(-3) + -3)/(2/(-3)). Does -5/38 = p?
False
Let l = -0.148 - 0.952. Let h be ((-3)/(-2))/(1 + 42/(-36)). Let a be 6*2/h*21/(-49). Which is smaller: a or l?
l
Let q = -917 + 919. Let v = 3 - 6. Let a be v/(-1) - 4/2. Which is greater: a or q?
q
Let b = 25.1841 + 2.6979. Let p = b - -0.118. Which is bigger: p or -2/9?
p
Let r be 117/(-73814)*24/(-36). Which is greater: -1 or r?
r
Let q(w) = -1107*w - 1356. Let b be q(9). Which is smaller: b or -0.1?
b
Suppose -2*y - 23636 - 43574 = -12*y. Is y equal to 6723?
False
Let v(c) = -46*c - 28. Let k be v(-1). Let o = -11 + 9. Let y be 236/12 + o/(-6). Which is bigger: y or k?
y
Let s = -485 + 357.1. Let z = 128 + s. Let v = 2/973 + 3806/41839. Whic