Let r = 0.154 + -0.24. Let o = r + 0.034. Is 0 at least o?
True
Let l = -279.5 + 289. Let b = -9.92 + l. Is b less than or equal to 1?
True
Suppose 4*i = -2*v - 62, i + 2*v + 30 - 10 = 0. Let y = i + 36. Suppose y = 4*w + 6. Is 2 bigger than w?
False
Let j(y) = -4*y + 78. Let n be j(14). Suppose -2881 - 749 = n*q. Is q less than or equal to -165?
True
Let u be 193320/(-1066608) + (-2)/(-12). Are u and -2/5 equal?
False
Let d = 88 + 129. Let v = d - 221. Which is bigger: 2/111 or v?
2/111
Suppose 6*u + 490 + 128 = 0. Let t = u + 19. Do t and -84 have different values?
False
Let s = 15593 - 171518/11. Suppose -h = 4*h. Suppose -3*n + h = 3. Which is greater: s or n?
s
Let v be (-407)/(-1203) - (-3)/(-9). Let m = -126122 + 126122. Which is bigger: v or m?
v
Suppose -20 = -4*n, -2*p - p = -2*n - 86. Suppose -52 - p = -3*l. Suppose 10 = d + l. Which is smaller: d or -17?
d
Suppose 3*q - 2*h + 86 = 0, -3*q - 3*h = 71 + 25. Let c(b) = b**3 - 3*b - 30. Let i be c(0). Let p = q - i. Which is smaller: -1/2 or p?
-1/2
Suppose 0 = 16*n + 4 - 36. Suppose -n*y = 503 - 393. Is -57 >= y?
False
Let q(m) = -51*m - 882. Let g be q(6). Is -1189 <= g?
True
Suppose -50*v + 35*v - 69 = 54*v. Does v = -4/2831?
False
Let q be -9 + (-6 - (-5 + 6)*-7). Let t = -6254/939 + -2/313. Which is greater: t or q?
t
Suppose s = -5*a + 6, -9 - 21 = -5*s + 5*a. Suppose -4*q - 5*n = -s, -2*n - 2 = -6. Is q > -9/4?
True
Let y = -5285/44 - -479/4. Is y smaller than -0.03?
True
Let u = 141 + -174. Let o be ((-39)/(-4))/(u/22). Does -8 = o?
False
Suppose -8 - 28 = 4*b. Suppose -570 - 230 = -16*t. Suppose 3*l - t + 80 = 0. Is l bigger than b?
False
Let p(j) = -14 - 10 - j**2 - 2 - 15*j. Let o be p(-14). Let z be (-1 + o/(-14))*22. Which is smaller: -2 or z?
z
Let k be (57/(-7))/3 - -2. Let z = 127 + -125. Let i be z/2 - (-1)/5*-5. Do k and i have the same value?
False
Suppose -47*o + 52*o + 10*d = 240, -d + 136 = 4*o. Let u = 53 + -37. Which is bigger: u or o?
o
Suppose -18*o = -16*o - 236. Let i = 131 - o. Let v = -32 + 46. Which is smaller: v or i?
i
Let c = 0.1 + -41.1. Let q = -0.5 + 0.33. Let u = -0.07 - q. Which is bigger: c or u?
u
Let y = -6/87677 + -2145543843/350708. Which is bigger: -6117 or y?
-6117
Suppose 2*c + 86 = 5*t, -2*t = t - 2*c - 50. Which is smaller: t or -174?
-174
Let n(d) = d**2 - d - 2. Let w be n(-4). Let h be w + -1 + 3 + 0. Let l be (2/11)/(5/h). Which is bigger: 0 or l?
l
Suppose 5*v + 72 = 2*o, -13*v + 17*v + 48 = 4*o. Let p(z) = -z**2 + z + 4. Let a be p(3). Let i = a - -1. Which is greater: v or i?
i
Let b be 30 + 0/(-2 + -3). Suppose -4*v = 4, -b = 4*a - v - 871. Suppose -6*t + a = -30. Which is greater: t or 38?
t
Suppose 0 = -3*w + 8*r + 8, -20*w + 25*w - 4*r - 4 = 0. Is 3/8359 at most as big as w?
False
Let v = 1797 - 6134/3. Let h = v - -251. Which is smaller: h or 3?
3
Suppose 16*m - 62 = 2. Is m bigger than -5?
True
Let s(g) = -g**3 - 61*g**2 + 1420*g - 160. Let h be s(-79). Let p = -0.09 + 4.09. Let c = -4.2 + p. Which is greater: c or h?
c
Let v = -0.52 + 0.02. Let w = v + 2.5. Let k be ((-10)/16)/(20/80)*76/285. Is w not equal to k?
True
Let x = -21753 + 21371. Are -15/4 and x non-equal?
True
Suppose 46 = 2*t + 6. Suppose 990 = -38*q + 56*q. Let j = t - q. Which is smaller: j or 0?
j
Let c be 82*(366/(-4))/(-3). Let d = c - 122575/49. Let b = 500/1127 + d. Are 1 and b equal?
False
Let y = -130 - -88. Let i be (y/(-9))/(3/(225/(-10))). Let b = i - 13. Which is smaller: b or -49?
-49
Let f(i) = -3*i + 9. Let y be f(3). Suppose y = 15*u - 17*u + 12. Suppose 3*m = u, -3*r - 5*m + 26 = -5*r. Which is greater: r or -6?
-6
Let n be 71 - ((-2)/13 - 222/78). Let m be 1/(5/n) - (-12)/(-15). Is 15 bigger than m?
True
Let b be (-2)/(-4) - (1/(-3))/((-20)/15). Is b greater than -903?
True
Let y(x) = -x**2 - 9*x - 33. Let p(n) = 3*n**2 + 26*n + 100. Let q(s) = -2*p(s) - 7*y(s). Let k be q(-7). Let v = 4 + 1. Is k greater than or equal to v?
False
Let v(o) = -o**2 + 2*o - 24. Let z be v(0). Let r be (-26)/52*3*(-2)/z. Which is greater: r or 1?
1
Suppose -116 = -2*r - 2*r. Let j be (11 - 9)/(-1*(-2)/3). Suppose -n + k = j*k - 22, -n = k - 26. Which is smaller: r or n?
r
Let o = 0.1487 - -134.8513. Is o greater than -1?
True
Let z be -29*(-1)/(-2)*2. Suppose 2*j = j - 2*p - 42, 5*j = -4*p - 180. Let i(v) = v**2 + 26*v - 220. Let a be i(j). Are a and z nonequal?
True
Let f be 8 + 50/(-5) + 0 + 3972/1989. Let c(g) = g**2 - 2*g - 2. Let s be c(3). Which is bigger: s or f?
s
Suppose 0 = -21*j + 685 - 895. Let h = 116 + -125. Is j smaller than h?
True
Let q be (-190)/6*720/(-600). Are q and 51 unequal?
True
Let r be (-10)/(-45) + 1304132/(-711). Is -1831 less than r?
False
Let q = -0.013 - -0.413. Let l = 0.05 - 1.15. Let a = 4.9 - l. Is q equal to a?
False
Let o = 146.5 + -149. Let u(c) = c**3 - 7*c**2 - 20*c + 18. Let g be u(9). Is o != g?
True
Let r = 816 + -769. Let k = 6 - 6. Which is smaller: k or r?
k
Suppose -4*f + 5*f = 10. Let m = 25 + -22. Suppose -f = 6*x - x + m*o, -4*o = 20. Is x < -0.9?
False
Suppose -z = 3*z. Let c = 524 + -494. Suppose 942*d = 936*d + c. Which is smaller: z or d?
z
Let d be 3 + 4/6*3. Suppose 16*r - 5*i + 2845 = 11*r, -4*r + i - 2270 = 0. Let x be (27/r)/((-2)/162). Is d bigger than x?
True
Let x = 336 - 239. Let q = -57 + x. Suppose 0 = -2*u + q + 4. Which is bigger: u or 21?
u
Let p = -0.45204 - -31.45204. Is -330 != p?
True
Let y = 30.6 + -24. Let v = y + 28.2. Let a = 35 - v. Which is smaller: -1.7 or a?
-1.7
Suppose -5*i + 44 = -41. Suppose 5*k - 1 = 4*k. Let l be (-147)/(-9) - k/3. Is i > l?
True
Let h be 129/((-6 + -2)/(-40)). Suppose h = -6*n + 177. Is n less than -75?
True
Suppose 0 = -17*l + 87 + 49. Suppose 13*m = l*m - 5. Is m equal to 4/17?
False
Let n(o) = 25*o**3 - o**2 + 11*o - 8. Let u be n(2). Which is bigger: u or 1462/7?
u
Suppose -2*w = -2*t - 416, 5*w + 5*t + 252 = 1302. Let v be (-114)/22 + 38/w. Let o(a) = -2*a**2 - 9*a + 10. Let p be o(v). Is p not equal to 31/5?
True
Let o be -6 + 12/(11 - 5). Let t = -173 - -174.1. Which is bigger: o or t?
t
Suppose 206990 = -101*l - 55463 + 57019. Which is bigger: l or -2036?
l
Suppose 0 = 58*q + 10*q - 68. Let z(o) = -3 + 3*o**2 - 2*o**3 + 0*o**3 - 3*o - 2 + 6. Let s be z(q). Are s and -2 equal?
False
Suppose -2*y - s = 2*y - 51, -24 = -3*y + 4*s. Let c be ((-9)/y)/((-99)/(-22))*-89. Does c = 15?
False
Let g(o) = -o + 39. Let u be g(27). Suppose 11 + u = -w. Which is bigger: w or 3?
3
Let k be ((-1)/(-47))/(5667/405 - 14). Does -2 = k?
False
Let n be (-68)/(-20) - 3 - 14/10. Let r = -2 - n. Is r less than or equal to 4/41?
True
Let q(t) = -t + 12. Let d = -6 + 12. Let w be q(d). Let u(j) = -3*j**3 - 1575*j**2 - 3148*j - 11. Let n be u(-2). Which is smaller: n or w?
w
Let z be (3/4*4702)/(9*7/21). Which is smaller: z or 1175?
1175
Suppose -9*u = -5 - 13. Suppose 5*m - n + 1 = 0, 3*n + u - 5 = -3*m. Let h be ((-16)/(-10) + m)*180/72. Which is smaller: 18/5 or h?
18/5
Let z(i) = -i**3 - 42*i**2 + 87*i - 36. Let f be z(-44). Which is smaller: -2 or f?
-2
Let o(j) = 7*j + 107. Let y be o(-15). Suppose 4*t - 440 = 4*b, 4*b - 5*b - 101 = y*t. Which is greater: b or -105?
-105
Let t = 11825.7 - 11828. Which is smaller: -1/8 or t?
t
Suppose 2*y = 4, -5*o = 4*y - 428 - 34720. Is o less than 7028?
False
Let u = 1 + 0. Let o = 6101/20 - 3053/10. Which is smaller: o or u?
o
Let t = 8054/5 + -1617. Suppose -l - l = i - 9, -2*i + 2 = 0. Suppose -l*v - 17 = 3. Are v and t nonequal?
True
Let x = -22538 + 382912/17. Is x > 0?
False
Let o = 4272 - 4271. Which is smaller: o or 14/743?
14/743
Let s = -367/954 + -12/53. Let c = -5/9 - s. Are -1 and c nonequal?
True
Let y = 392 - 388. Let n(o) = -o**3 + 2*o**2 + 6*o + 3. Let j be n(y). Let u(w) = w + 3. Let x be u(-7). Which is smaller: x or j?
j
Let r = 22365 + -22365.1. Which is greater: 10.8 or r?
10.8
Let g = 10551 + -10550.7. Which is smaller: g or -20.53?
-20.53
Let g = -344565 + 16195447/47. Which is smaller: g or 19?
g
Let o = -487 - -537.12. Let f = -0.12 + o. Let u = -49.9 + f. Do -42 and u have the same value?
False
Suppose 0 = a - 5*h - 6, -5*a = 4*h - 1. Suppose -a + 9 = d. Suppose -d + 12 = i. Do 3 and i have different values?
True
Let l be 5*14 + (22 - 18). Suppose -5*y = 4*h + 204 + l, 2*y + 4*h + 116 = 0. Is -53 less tha