*c - 15. Let u be i(-19). Let s be (u/35)/((-12)/30). Does 10 = s?
False
Suppose 220*q = 81*q + 153 + 264. Which is smaller: q or 218?
q
Let k be -11 + 4 + 11 - (-1942)/20. Which is smaller: 0.1 or k?
0.1
Suppose c - 5 = -m, 3*m + 19*c - 11 = 15*c. Let z be -5 + (310 - -3 - m). Which is smaller: z or 297?
297
Let r be (-5)/(-1) + (3 - -3). Let x = -12 + r. Is -1/108 at most as big as x?
False
Let o = 155 - 155. Let k = o - 3. Which is smaller: k or -19/10?
k
Let p(d) = 9 + d**2 + 8*d + 14*d + 41. Let n = -4916 - -4897. Let c be p(n). Is 4/5 bigger than c?
True
Let f = -18643/39508 + 3/2324. Which is bigger: f or 0.13?
0.13
Suppose -3*r - 17*o = -14*o - 3891, -4*o + 6479 = 5*r. Which is smaller: 5165/4 or r?
r
Let h = 3104 + -3095. Are h and 41/4 equal?
False
Let p(c) = 3*c + 4. Let o be p(3). Let r(f) = 2*f**2 + 85*f - 39. Let y be r(-43). Let n be (-41965)/(-3630) - y/66. Is n not equal to o?
True
Suppose -39*k + 15684 = -17*k - 53440. Is -0.2 < k?
True
Let y = -455 + 810. Let b = 369 - y. Is 26 <= b?
False
Let w be (-23316)/18*930/(-124). Which is greater: 9714 or w?
w
Let l be (19/((-9747)/(-45)))/((-5)/(-615)). Is l greater than or equal to 10?
True
Let t = 3657 - 3262. Are t and 2769/7 unequal?
True
Let b = -128 + -20. Let t = 145 + b. Suppose -x - 3*v = -0*x - 4, -1 = -4*x + 3*v. Which is bigger: t or x?
x
Let x(j) = 2*j**2 + j + 1. Let w(m) = 6*m + 12. Let k be w(-2). Suppose 0 = 3*o - k*o. Let u be x(o). Do u and -2/5 have the same value?
False
Let x = -86 - -85.779. Let u = x - -0.221. Which is smaller: u or 20?
u
Let u = 2815897/290 - 9710. Let n(d) = d**2 + 26*d - 55. Let v be n(-28). Is u >= v?
False
Let n = -55 - -79. Let b = -43 + n. Let y = b + 17. Is y at most 3?
True
Let s = 4817/1805475 - 4/1995. Which is smaller: 1 or s?
s
Let m(t) = -147*t - 793. Let x be m(-4). Is x at least as big as 3/4?
False
Let n be (52/(-6))/(4/6). Let i = 2578/5 - 516. Does i = n?
False
Let f(o) = o**2 - 29*o - 63. Let n be f(32). Let a be (6/20)/(n/(-22)). Is a at most -19/7?
False
Let i = 11477 - 13336. Is i < -1861?
False
Let m(h) = h**2 + 11*h + 16. Let p be m(-11). Suppose 4*k - 4*q - p = 0, 5*k = 2*q - 16 + 27. Which is smaller: k or -2?
-2
Let q(w) = 6*w + 44. Let c be q(-5). Let n be (((-21)/c)/(-3))/(11/2). Does -1 = n?
False
Let x = 2/49 + -33/2009. Let b = -212 + 210. Which is bigger: x or b?
x
Suppose 0 = 12*p + 1663 - 157 + 8442. Is p not equal to -831?
True
Let m be (140/56 + 31/(-14))*7. Suppose j = -m*j + 3. Is -3/119 != j?
True
Let m = 0 - -1. Suppose -2*y = c + 141, 0 = 6*c - 3*c + 9. Let r = 4900/71 + y. Is m at least as big as r?
True
Let o = -29.42 + 2.02. Let s = o + 27.2. Is s < -60?
False
Let k = 176 + -331. Let y = 0.04638 + 216.95362. Let c = y + k. Is 0 at least c?
False
Let n = 20202 - 20203. Do 0.1745 and n have different values?
True
Let c(t) be the third derivative of t**5/30 - 5*t**4/24 - 2*t**3/3 + 58*t**2. Let p be c(-6). Is 99 bigger than p?
True
Suppose -4*b + 2*x = -174, 0*b - 3*b + x = -132. Suppose -5*w + b - 114 = -o, 130 = 2*o - 2*w. Which is smaller: o or 66?
o
Suppose -179*w + 174*w = -25, -3*x - 2*w = -10. Is 1/989 at least as big as x?
True
Let g = 336 - 342. Suppose -3*p + 15 = -3*m, 4*p - m - 12 - 8 = 0. Is p at least as big as g?
True
Let b be 13781/51 - 2/(-3). Let z be ((-3300)/24 + 2)*2. Let h = z + b. Is 0 at most as big as h?
False
Let h be (-14)/7*(20/5)/(-8). Which is smaller: h or -8?
-8
Let v(a) = 131*a + 94. Let j be v(-6). Let p = -693 - j. Is p smaller than -21/17?
False
Let t(r) = 2*r**2 - 35*r + 23. Let h be t(17). Let i = 38 + -37. Let w be (i/3)/((3 - h)/(-9)). Is w at least as big as 6/5?
False
Suppose 4*x + 154 = -38. Let y = x - -39. Let k be (-48)/y + -5 - 4/3. Which is bigger: k or -16/9?
k
Let r = 22394/9 + -2488. Is -7/50 > r?
False
Suppose 0 = 36*j + 11*j - 2961. Which is smaller: j or 493/8?
493/8
Let v = 2631 + -1107. Which is bigger: 1522 or v?
v
Let w be ((-3 - -2) + 0)*0/(-8). Suppose 45*c - 41*c + 56 = w. Let x be (c/4)/(18/216). Is x greater than -41?
False
Let l(i) = -132*i - 156. Let z be l(-6). Which is smaller: 635 or z?
635
Let y = 55 - 26. Let r = 2226 + -2194. Let z = y - r. Which is greater: -0.8 or z?
-0.8
Let i = -0.2195 - -123.2195. Which is smaller: i or -29?
-29
Let j = 210 - 84. Suppose 122*y - j = 116*y. Which is smaller: 12 or y?
12
Let p = -680121/71 + 9579. Let q(n) = n**2 - 16*n + 39. Let l be q(13). Is l less than p?
False
Let u be -7 - (-366)/54 - (-106)/(-9). Let x(w) = -w**2 - 9*w + 29. Let c be x(u). Let g be 4/22 - c/22. Which is smaller: 2 or g?
g
Let f = -26 + 44. Let w = 73 + -69. Let j = 4 - w. Which is greater: j or f?
f
Suppose 224*f + 271*f - 58100 = 145*f. Is -15 less than or equal to f?
True
Let v be 1/((-108)/252 + (-8)/14). Let o = 15/56 - 1/8. Is v != o?
True
Suppose 15*z - 11*z - 22880 = 0. Let b be 2/8 + z/32. Is 179 greater than b?
False
Let f = -161 - -494. Let j = f - 331. Which is bigger: 0 or j?
j
Let l be 10302/39069 + 36/(-162). Which is smaller: 1 or l?
l
Let k be (-32)/(-20) - (-4)/10. Suppose 4*u - 5*w = -14, k*w - 1 = 5*u + 4*w. Which is smaller: 1/165 or u?
u
Suppose 0 = -4*m - 32, 126 = -2*o + 4*m + 160. Let i be (-153375)/80185 + (3 - 1). Let g = i - 10/203. Which is smaller: o or g?
g
Let a(n) = 11*n**2 - 21*n**2 - 16 + 9*n**2 + 16*n. Let z be a(18). Let t = 55 + z. Is t equal to 19/5?
False
Let c(m) = -175*m - 1512. Let x be c(-7). Suppose 5*z + 4*u = -1437, 5*z + 291 = 4*z + u. Is z > x?
False
Let f = 807 + -806.6. Which is smaller: f or -37?
-37
Let w be -1 - -18*(8 - 7). Suppose 9*l - 7*l - w = a, -2*l + 2*a = -12. Are l and 12 nonequal?
True
Let k = -0.4659 - -0.0239. Let v = -1.142 - k. Are 3 and v unequal?
True
Suppose 0 = -13*z + 40 - 1. Suppose 0 = k + 5*j + 42 + 17, z*j = 3*k + 87. Is -32 >= k?
True
Let n = -20.08 + -268.52. Let c = n - -289. Is 6 <= c?
False
Let d be (-2)/3 - 121/3. Let s be 201/(4 - 1) + -11. Let p = s + d. Is p > 15?
False
Let n = -6/109 + 379/4905. Suppose l = -2*t + 129, -t + 0*t = 5*l - 600. Let g be ((-2)/14)/((-17)/l). Which is bigger: g or n?
g
Let m = -1774 - -1882. Is m != 108?
False
Suppose 946 - 561 = 18*f + 5299. Is -273 less than f?
False
Let s = -61.7 - -64. Let n = s + 2.7. Let w be ((-2)/3)/(7/3). Which is greater: n or w?
n
Suppose 30*g = -124 + 34. Let h be g - ((-4)/(-18) - (1 - 0)). Which is greater: h or 3?
3
Suppose -4*l + 2*l = 56. Suppose -7*s + 1316 = 1337. Let q be (-4)/s*(-4 - l/8). Are q and -2 unequal?
True
Suppose -3*w = -3*c + 762, 4*w + 45 - 37 = 0. Let q = 6 + 33. Let r be 3/12 - q/c. Is r > 0?
True
Let c = 13.11 - -1.59. Let s = 820 + -820. Is s at most c?
True
Let b = 3486 - 3487. Is b at least as big as -3/331?
False
Let s = -25 + 45. Suppose -2*p - 3*p = -s. Let l be p/(-6) + 136/60. Is l > 2?
False
Let s be (-144)/(-36) - ((-4)/(-1))/2. Suppose -s = -4*r - 2. Which is greater: -2/5 or r?
r
Let v be 3258/5 + (-60)/(-150). Is 641 smaller than v?
True
Let u = -73 - -211/3. Let k = u - -61/12. Let l = k + -1387/564. Which is smaller: -1 or l?
-1
Let y = 0.59 + 0.41. Let a = -1064052 - -105338378/99. Let c = a + 28. Which is bigger: c or y?
y
Let j(h) = 2*h - 20. Let a be j(11). Let q be -60*(a - (-21)/(-9) - -1). Let w = q - -74. Which is bigger: w or 33?
w
Let a be (-25)/(-55)*-315 + 2/11. Is a less than or equal to -1878/13?
False
Let f be 4033128/(-1980)*((-3)/1672)/(-1). Let u = -7/380 - f. Suppose 2*v + g = 4 + 2, -28 = -4*v + 2*g. Is u less than or equal to v?
True
Let a = -82 + 26. Let x = a + 62. Suppose -x*l = 17 - 17. Is l not equal to -2/5?
True
Let z = 3/2225 + -71251/37825. Which is greater: z or 2/11?
2/11
Let w(f) = -2*f**2 - 320*f. Let c be w(0). Let a be ((-4)/(-6))/(113/(-6)). Which is smaller: c or a?
a
Let u be (4 - 2)/10 + 7175/(-37125). Is -2 equal to u?
False
Let w = -3136 - -3136.01. Which is smaller: 45 or w?
w
Let o be 15 + (-3)/(-6)*-12. Suppose -10*z + 19*z = o. Which is bigger: -0.12 or z?
z
Suppose 39 = -4*i + 2*d + 107, 4*d = -5*i + 72. Suppose -22*c + 6 = -i*c. Which is greater: c or 1/70?
c
Suppose 7 = -2*i - 7, 5*p + i = 9543. Are p and 1909 unequal?
True
Suppose v + 21 - 3 = 5*r, 5*v - r + 18 = 0. Let c be v/9 + (-232)/(-264). Is -2 greater than or equal to c?
False
Let j(d) = -76*d**2 - 12*d + 20. Let q be j(2). Let 