pose -4781 = 53*v - 3933. Is t at least v?
True
Let q be (-1 - -88)*4/12. Let p(s) = -3*s**3 - 57*s**2 + 2*s + 60. Let j be p(-19). Is q >= j?
True
Let f be (-119)/(-153) + (-20)/(-90). Does f = 32?
False
Let z = 2629.6 - 2662.5. Is z at most as big as 4/9?
True
Let f = -717 + 245. Let p be (3 - f/(-164))*(-4)/10. Let a be ((-1 - -2)*0)/(-1). Which is smaller: a or p?
p
Let b be 3/(-12) + 4108/(-16). Let t = 257 + b. Do t and -144 have the same value?
False
Let t be 22/44 + 630/12. Which is smaller: t or 317/6?
317/6
Suppose -17*w = 2103 + 5632. Let v = w + 480. Is v less than or equal to 22?
False
Let u be 1059 - (-1 - 1)/((-10)/(-18 + 8)). Which is smaller: u or 1/5?
1/5
Suppose 264 = 16*m + 40. Suppose 5*y = -16 - m. Is -25/4 at most y?
True
Let o = -557/6 + 93. Let k(a) = 266*a + 1953. Let j(s) = 14*s + 102. Let n(d) = 77*j(d) - 4*k(d). Let l be n(-3). Which is smaller: l or o?
l
Let c be (-498)/(-54) + (-7)/(-9) + -1. Suppose -2*m + c = 1. Is 5/2 at least m?
False
Suppose 5*g = 16 + 9. Let o be (-270)/(-56) - (-10)/(-40). Let w = o + -23/28. Is g bigger than w?
True
Let h be 2*2*98/(-8). Let x be (-7 + -22 + 12)*(-4 - -1 - -6). Which is smaller: h or x?
x
Let n = -326 + 6844/21. Suppose 4*h - 7*h = 4*j - 25, -2*h = -4*j - 50. Suppose h*q + 10 = 25*q. Is n smaller than q?
True
Suppose 4 + 0 = 4*b. Let q be b/(-2)*(-9 + -11). Suppose 8*z - 2 = -q. Is z > 14/5?
False
Let k = -7.4 + 2.8. Let u = 6.6 + k. Let c = u + 16. Which is smaller: -1/2 or c?
-1/2
Let n be 40/(-8) + 4 + 1 + -1. Let p be -1 + (1*30)/1. Suppose g - 5*f + p = 0, 5*f - 1 = 4*g + 40. Is g greater than or equal to n?
False
Let y = 9405 - 9362. Is 22 > y?
False
Let s(w) = w - 2. Let a = 23 - 22. Let x be (0 + 18/(-3))*a/(-2). Let v be s(x). Which is greater: v or -9?
v
Let s(t) = -t**3 + 3*t**2 + 11*t - 29. Let m be s(5). Which is smaller: m or -1?
m
Suppose -3 = -35*k + 32. Let q = 26251/13 + -2018. Is k at least as big as q?
False
Let o be (-2)/((-2)/5) + (-1589)/(-7). Suppose 3*b = -5*d + 580, -5*b - o = -2*d - b. Are 118 and d non-equal?
True
Let g = 3357/23 - 797595/506. Let c = 1430 + g. Which is smaller: c or 1?
c
Let x be (2 - (-2568)/(-1095))*(25 + (-1265)/46). Is 2 smaller than x?
False
Let t = 63/670 - 5687/46230. Let v = 3 + -3. Suppose 0 = 3*d + 15, v = p + p - d - 7. Is p less than t?
False
Let v = 1908966 + -1919948.945. Let w = v - -10953. Let t = w - 0.055. Is t less than 2/3?
True
Let b = -2436.6 + 2421. Which is bigger: 11 or b?
11
Let p = -4.66 + -480.34. Let j = 284 + p. Which is smaller: 1/4 or j?
j
Suppose 0 = 10*h - 8*h - 300. Let d = 78 - h. Which is smaller: -73 or d?
-73
Let i = 12649 - 88541/7. Which is bigger: -8096 or i?
i
Suppose -3*f - 5*d - 9 = -2*f, f + 2*d + 3 = 0. Is 19/23 smaller than f?
True
Let p be (((-3)/1)/(-3687))/(17/714*14). Which is smaller: p or 1?
p
Let t = -20194 + 3634933/180. Which is greater: t or 1?
1
Let z = 4265 + -2874. Which is bigger: -0.1 or z?
z
Let y = 415 - 1271. Let b = 681 + y. Which is smaller: b or -174?
b
Let a be ((-2)/(-260))/(2 - 6576/3260). Let b = -245/4628 + 3/89. Let y = b - a. Is -2/7 < y?
True
Let b = -14192 - -14196. Which is smaller: 1261 or b?
b
Suppose -29*x - 681 - 1149 = x. Which is smaller: x or -3?
x
Let n = 24 + -30. Let r be (-2)/(-6) - ((-410)/n - 0). Let w = 74 + r. Which is smaller: 10 or w?
w
Let q be 4/(-144)*-8 + (-56)/9. Let g be 2/(-4) - (q - (-1271)/230). Is -1 less than g?
True
Let f(j) = -3*j**3 + 146*j**2 - 1512*j + 3. Let z be f(15). Suppose -q + 205 = 4*q. Is z < q?
False
Let f be (-11 + 212/20)*-1. Let t be (-9)/(-7) + -1 - (-1837)/(-6699). Are t and f unequal?
True
Suppose w + 3*i - 16 = 0, w + 3*i - 13 = 3*w. Let g be (4/80)/((-6)/(-208)). Is g <= w?
False
Let z = -28128 - -28131.8. Which is bigger: 1.29 or z?
z
Let m be 1/(23/(-10) - (-690)/276). Let n be (-3)/(-2)*8/(-6). Let u = n - -5. Is u > m?
False
Let l = -15 - -17. Let c be l/(-11) - (-2)/11. Suppose -5*y + 51 = -0*o - 3*o, c = 3*o + 6. Is y at most as big as 26/3?
False
Let d = -3 - -4. Suppose 19 = 3*p - s, -3*p + 53*s - 55*s = -25. Which is smaller: d or p?
d
Let p = -5831 - -12922. Which is smaller: p or 7092?
p
Suppose 8*f + 5*f = -923. Let s = -122 - f. Let x = 48 - s. Is 98 less than x?
True
Let y = -163 - -163. Suppose y = 2*x + 3*m + 8, -x - 4*m = -6*m + 4. Which is smaller: x or -30/11?
x
Let b = 0.167 - 2.267. Let j = 1.9 - b. Is j at least -1/16?
True
Let p(v) = 13*v**2 - 15*v + 182. Let n be p(11). Is n greater than or equal to 2/5?
True
Let g = 0.391 + 8.359. Let d = g - 0.75. Let r = -73/3 - -24. Which is smaller: d or r?
r
Let o be (2/8)/((-31691)/(-344)). Which is bigger: 1 or o?
1
Let m = -658.95 + -142.05. Which is greater: 2/7 or m?
2/7
Let l(u) = -u**3 - 6*u**2 - 5*u + 4. Let z be l(-5). Suppose -z*y - 35 = 3*c, 2*c + 6 - 1 = y. Let a(p) = 2*p**2 + 502*p + 31480. Let h be a(-128). Is y >= h?
True
Let c(o) = 250*o**2 - 498*o**2 + 40 + 247*o**2 - 3*o. Let d be c(-9). Is 1 not equal to d?
True
Let u be 525/11 + -4 + 1. Let n = -3453570 + 341898562/99. Let s = u + n. Are s and -4 equal?
False
Suppose 6 = -o - 3*l, -4*o + 0*l = -2*l - 32. Let k(x) = 4*x**3 - 7*x**2 + x + 4. Let j be k(2). Which is smaller: o or j?
o
Suppose -y = 2*b - 15, -4*y + 55 = 5*b - 5*y. Let p be 1 + (-3 - (-31 - 2))/1. Suppose t = -0*s - 4*s + p, 0 = t - 3. Are b and s non-equal?
True
Let j(s) = s**3 - 16*s**2 + 14*s + 26. Let h be j(15). Suppose 0 = h*a + 5 - 60. Suppose -a*z - 4*z = -90. Which is smaller: 12 or z?
z
Let f(h) = 2*h**3 + 14*h**2 + 13*h + 9. Let d be f(-6). Suppose 0 = -5*g - 4*t + 11, d*g = -0*g + 5*t - 23. Which is greater: g or 1/205?
1/205
Suppose -4*r = r + 65. Let j = 19 + r. Let y be (-33)/7 + 30/j. Is 49 greater than or equal to y?
True
Let k(r) = -r**3 - 17*r**2 - 12*r + 11. Let o be k(-16). Let j = 49 + o. Which is bigger: -60/11 or j?
j
Let v be 4/(-6) - 8/(-3). Let c(f) = -4*f**3 + 17*f + 18. Let i be c(-1). Suppose v*k + 10 = k - i*r, -2*r - 4 = 0. Is 1 at least k?
True
Let b(l) = 70*l - 1049. Let u be b(15). Is -2/9291 less than u?
True
Suppose 5*l - 2*x = -x + 7871, -4*x + 1591 = l. Let f be (-84)/l*(-5)/(-2). Which is bigger: -13 or f?
f
Let z(o) = 3*o**2 - 36. Let f be z(6). Suppose 5*i - 5*q + f = 62, -3*i - 7 = -4*q. Which is bigger: i or 186?
186
Let d = -38 - -35. Let v be 2/(-5) - (-88)/20. Let r be v/(-78)*(-9)/d. Which is greater: 1 or r?
1
Let j be 5 - (-2006)/(-427) - 2/7. Suppose 4*u = 15 - 19. Is j greater than or equal to u?
True
Suppose 4*i = -5*d + 12, 5*d = 4*d - 2*i. Suppose 2*o + d*j = -0*j, o = 2*j. Let n(t) = 2*t**2 + 2*t + 2. Let z be n(o). Is z smaller than 0.05?
False
Suppose 3*u + 0*u = 3*d + 69, -u + 3*d + 29 = 0. Let f = 17 - u. Let s be (-1)/((-2)/(-3) - 1/f). Which is smaller: s or -5/7?
s
Let n = -322 + 317.61. Let i = 1205 - 1200.7. Let j = n + i. Is j at least as big as -1/3?
True
Let o be (57/76)/(6/1307). Let a = -164 + o. Let p be 2/(-10) + 54/(-30). Is p at least as big as a?
False
Let r(f) = f**2 + 14*f + 40. Let p be r(-4). Suppose p = -q - 5*z + z + 6, 28 = 3*q + 2*z. Is q at most as big as -2?
False
Let p(b) = -9*b**3 - 389*b**2 - 84*b + 100. Let h be p(-43). Let d(n) = -n + 10. Let y be d(5). Is h at most as big as y?
False
Let l = 3542 + -2736. Is 1 equal to l?
False
Let r(w) = 9*w**2 - 104*w + 528. Let l be r(6). Is l bigger than 286?
False
Let q = 4 + -3.9. Let z = 14203 + -14198. Which is smaller: z or q?
q
Let k = 16 + -8. Let o be k + 4 + -2 + -3. Let l(j) = j**2 + 85*j - 2744. Let d be l(25). Which is greater: d or o?
o
Let q = 208383453/3179 + -65550. Do 0 and q have the same value?
False
Let j be -1 - ((-1)/(-2))/((-1)/28). Let h(s) be the first derivative of s**2/2 + 17*s - 3. Let n be h(-5). Do n and j have the same value?
False
Let f = 17.41 - 19.61. Which is greater: -0.2 or f?
-0.2
Let c be 27 + 12 + 8/(-4). Which is bigger: 143/4 or c?
c
Let h = -29160 - -29239. Which is bigger: -108 or h?
h
Suppose 117*s - 71 = 116*s. Suppose -961 = -24*b + s. Suppose 0*m + 172 = 4*m. Is b greater than or equal to m?
True
Let a = 2587 - 2577. Which is bigger: a or 44?
44
Let w = -3141 - -3123. Is w < -83/5?
True
Let n = -326 - -141. Let g = -184 - n. Which is greater: 160 or g?
160
Let o be (64/(-4) + 9)/(-7). Let b be (7/35*-5)/o. Which is greater: b 