)/24). Is 23 less than x?
False
Let g = 42 - 28. Let f = -31 + g. Let y be ((-471)/785 - 4/10) + -7 + -7. Is y greater than f?
True
Let j = -172 - -187. Let a be 2/((-50)/j) - 154/10. Is a not equal to -18?
True
Let q(f) = f**2 - f - 5. Let n be q(-2). Let c be (-13 + 8 - -9) + (-3)/n. Which is bigger: -4/41 or c?
c
Suppose 172 + 253 = s. Let o = 299 - s. Which is greater: o or -124?
-124
Let i = 14636.76 + -14629. Which is smaller: -1 or i?
-1
Let k = 15 + -258. Let p(d) = -4*d**3 - 34*d**2 + 17*d + 20. Let s be p(-8). Are k and s unequal?
True
Let i be (-3)/(-9) + (-272)/6. Let z be 6*1/(-8) + i/(-12). Let c be -2*((-1)/1)/(-2)*z. Which is smaller: 3 or c?
c
Let j = -10029 + 10021.8. Is -4/19 less than or equal to j?
False
Let u = -0.5903 - 496.1097. Let n = u - -497. Which is greater: n or -4?
n
Let l = 105.78 - -1.22. Let h = -107 + l. Is h != -11?
True
Let c = -2/35127 + -44014127/70254. Which is smaller: c or -628?
-628
Let v = 1060/7 - 894/7. Is v > 24?
False
Let g = -228/41303 - -467348532/83225545. Let c = -172/31 + g. Let o(j) = j - 16. Let m be o(16). Is c > m?
True
Let i(c) = 8*c**2 + 7*c - 10. Let q be i(2). Let o be (12/q)/((-7)/(-141)). Which is smaller: o or 8?
o
Let k(c) = c**2 + 7*c - 9. Let u be k(-7). Let p = -109 - -109. Suppose -5 = 5*t, 0 = 5*q - p*q - 5*t + 35. Do u and q have different values?
True
Let i be (88/12485*-1)/(6/(-330)). Which is greater: -1 or i?
i
Let h = 335 - 330. Let o be 274/78 + (-6)/(-39). Which is bigger: o or h?
h
Let w be (2/4)/((-19)/(-88616)). Let f = w - 366122/157. Is f < 1?
True
Let f = -4287.709 - -4250.5. Let b = -0.209 - f. Which is bigger: 2 or b?
b
Let b be (1016511/36)/(-59) - 27/(-12). Which is smaller: -477 or b?
-477
Let z be -9 + 1/(((-9)/8)/(-9)) + -4483. Is z less than 2?
True
Suppose 2*u + 8 = -3*a, -7*u - 5*a - 15 = -2*u. Let m = -101 - -100.38. Does m = u?
False
Let z be (82/410)/(21262/(-10)). Is 1 smaller than z?
False
Let v(p) = -63*p + 2636. Let n be v(42). Is n > 0.1802?
False
Let g = 15371617533/5634655 + 1047/86687. Let a = -2728 + g. Is a not equal to 1?
True
Suppose -48*s = 5*z - 52*s + 4, -4*s + 4 = 3*z. Let v = -209.19 - -208. Let l = -1.2 - v. Which is bigger: l or z?
z
Let o(u) = 742*u + 31. Let b be o(-7). Let t be ((-580)/(-238))/(6/b). Let i = t - -2097. Does i = 0?
False
Let r = -3706 + 3701. Which is greater: -41/8 or r?
r
Suppose 30*p + 62*p = 5162 - 243350. Which is smaller: -2588 or p?
p
Let a = 60 - 60.1. Let s = 316 - 307. Is a less than s?
True
Let r(p) = 36*p - 68. Let i be r(2). Suppose o - 158 = -3*b, -2*o - 5*b + 306 = -i*b. Is 152 > o?
False
Let d = -4649 - -4251. Is -401 >= d?
False
Let q be (10/458)/((-3)/12*-2). Let o be 47578/127095 - (-4)/70*-7. Let y = q + o. Is y less than 0.1?
True
Let k = 124893/1456694 + -62/719. Which is bigger: 1 or k?
1
Let g = -1153/62012 + -46/419. Which is bigger: g or 0?
0
Let h be -20*(28/(-10) + -2). Suppose 4*d + n = 371, 0 = -1166*d + 1164*d + 5*n + 235. Which is smaller: d or h?
d
Suppose -9*m - 470 = -1901. Let v be (10/8)/((-99)/(-12672)). Which is bigger: m or v?
v
Let x(k) = -2*k**2 + 2*k - 13. Suppose 0*s = s - 6. Suppose s*a = 33 - 3. Let g be x(a). Is g smaller than -53?
False
Let u be (24/36)/(2/(-63)*3). Let m be 74*(2 + -7) - (-21)/u. Let w be (-8)/(-36) - m/(-18). Which is greater: w or -22?
w
Suppose 0 = 4*l - 182 + 2. Suppose 7*b = -l + 262. Which is smaller: b or 33?
b
Let f(j) = j**3 + 61*j**2 + 124*j + 360. Let l be f(-59). Let t be (6/(-5))/(2/30). Let k be -43 - (-4)/l*t/(-4). Is k at least -41?
True
Suppose -3*c = 2*v + 2505, -53*c + 48*c + 4*v - 4175 = 0. Which is smaller: c or -831?
c
Let b = 753 + -768. Let z be (-34)/(-255) - (-2)/b. Let u = -1.3 + -19.7. Which is smaller: u or z?
u
Let l be (-3202)/(-10) + (-23)/(13 - -102). Is 329 bigger than l?
True
Let r = 6.4 - 8.4. Let c be 9 - (25/(-23) + 10). Is c at most r?
False
Suppose 274 = -3*m - 455. Let l = m - -271. Which is smaller: 29 or l?
l
Let f be 5/200*-2*-5. Let x = -215 + 215.03. Is x less than f?
True
Let v = -15060 - -12135. Do v and -20470/7 have the same value?
False
Let t = 1.6 - 3.22. Let x = -1.6 - t. Let y = 9/26 + -5/52. Which is smaller: x or y?
x
Let w(l) = 3*l**2 - 14*l + 39. Let q(u) = -u**2 + 7*u - 19. Let r(x) = -5*q(x) - 2*w(x). Let p = 550 - 559. Let o be r(p). Which is smaller: o or -2/3?
o
Suppose -3 - 45 = 6*k. Let p be (k/12)/((812/16)/7). Is 0 at least as big as p?
True
Suppose -4*q - 32 = b, 5*q + 5 = -5*b - 140. Which is smaller: b or -200?
-200
Let u = 4741 - 4886. Is u smaller than -143?
True
Let h be 11/(99/(-6))*(-6)/2. Suppose -i + 4*a = h*i - 180, 2*i = -3*a + 120. Let q be 0 - (-194)/10 - i/150. Which is smaller: 17 or q?
17
Suppose 4*u - u - 9 = 0. Let m(k) = -40*k - 568. Let b(i) = 26*i + 378. Let t(q) = -8*b(q) - 5*m(q). Let g be t(-23). Is g bigger than u?
False
Suppose -418*o - 11 = -203*o - 204*o. Let m be 1 + 43/(-19) + 1. Is o less than m?
True
Suppose -67*w - 1700 - 2454 = 0. Which is bigger: w or -0.26?
-0.26
Let r(z) = -4. Let a(y) = y + 3. Let t(i) = 2*a(i) + 3*r(i). Let m(w) = w - 1. Let o(s) = -3*m(s) + t(s). Let b be o(-4). Do 6/7 and b have different values?
True
Let z be (-2)/(-23) - 806/(-100763). Which is greater: z or 1?
1
Suppose 0 = 153*l - 142*l - 528. Are 540/11 and l nonequal?
True
Let q = 566 - 511. Let z(a) = -a**2 - 1. Let d be z(0). Let b be 4/22 - (-10)/q*d. Which is greater: b or 1/69?
1/69
Suppose -3*u = -508 - 245. Let v(l) = -l**3 + 1050*l**2 - 6225*l + 16. Let c be v(6). Is c greater than or equal to u?
False
Let y be 1350/20 - 3/6. Let p = -65 + y. Suppose 150 = -4*q + l, 2*l + p = l. Which is greater: -39 or q?
q
Let p be ((-1)/3)/(38/12). Let d = -296 - -293. Let n = d - -4. Is p less than or equal to n?
True
Let t(f) = f**3 + 8*f**2 + 12*f + 47. Let n be t(-7). Suppose -n*c + 15*c = -24. Which is smaller: -4 or c?
c
Let f be 2 - (6 - 3) - -3. Suppose 0 = 5*n - 3 - f. Let w = -11/36 - -5/18. Is w smaller than n?
True
Let j = -403 - -424. Suppose -b = -4, 40 = -2*t + b - 20. Let k be ((-6)/92)/(j/t). Is -1 smaller than k?
True
Let i be ((-62)/111)/(-2) + (-85)/255. Which is bigger: i or -53?
i
Suppose 3*b = -6*b. Suppose -7*p - 35 + 133 = b. Suppose 2*l + 10 = -j, -12*j + 17*j = 2*l - p. Which is bigger: j or -7?
j
Suppose 9*k = 10*k + 6, -t + k = -150. Which is smaller: t or 436/3?
t
Let t = -192.6347 + -0.3653. Which is smaller: t or 1/3?
t
Let b be (-246120)/(-230) + (-2)/23. Is b bigger than 1070?
False
Let t be (-5)/(-2)*356/(-2392765). Which is greater: t or 0?
0
Let q(w) = w**3 - 6*w**2 - 11*w + 30. Let u be q(7). Suppose -2 = 4*p + u. Is p bigger than -3/2?
True
Let k be 8554/(-1386) + (0 - -3). Which is greater: k or -4?
k
Let y = 14821 - 15125. Which is smaller: -298 or y?
y
Let o be 2/(-5) - (2 + 138335/(-275)). Let p = -500 + o. Let d = 3 - 3. Which is smaller: p or d?
d
Let s be (-389)/(-5) + 4/20. Let g = -112 + s. Let v(l) = -18*l + 183. Let x be v(12). Which is greater: g or x?
x
Let i = -289.4978 + 2.4978. Which is smaller: -1.6 or i?
i
Suppose 2*q + 33 = q. Let d = -15 - q. Let r be (1292/68)/((-4 - -2)/(-2)). Which is smaller: d or r?
d
Let l = 38 - 28. Let t be l*7*(-30)/75. Let w be (-8)/t + 108/14. Do w and 8 have different values?
False
Suppose -10670 = -285*d + 296*d. Let l = -75661/78 - d. Suppose 5*a = y + 2*y + 23, -2*a = 4*y - 4. Is y at most l?
True
Let d be 6*(13 + 8 - 9). Is d < 41?
False
Let z be (76/3)/((-127)/(-18669)). Which is bigger: 3722 or z?
z
Let i(u) = u**3 - 8*u**2 + 21*u - 46. Let j be i(6). Let v be (11/55)/(j/5). Is v < 1?
True
Suppose 15*l - 16*l = -18. Suppose 5*w + 15 = 0, -5*w - 15 = 7*m - 3*m. Suppose 5*q + 4*s - 21 = m, 3*q + 0*s - 3*s - l = 0. Are q and -3 equal?
False
Suppose 10*o = 6*o + 12. Let u be (46/12 + o)/((-8)/(-224)). Let q = -203 + u. Is -12 greater than q?
False
Suppose -2*x + 0*l = 3*l + 15, 3*l - 90 = 5*x. Suppose -3*v - 2*a + 6 = -0*a, -4*a + 4 = 4*v. Let i(j) = -j**2 + 12*j - 31. Let y be i(v). Are x and y unequal?
True
Suppose 113*a = 115*a - 120. Suppose 0 = 10*k - a - 90. Is k != 111/7?
True
Let v = 3732 + -3732. Which is smaller: v or -44/93?
-44/93
Suppose 4*r - 320*l = -316*l + 372, 2*r + 5*l - 214 = 0. Is 4/15 greater than r?
False
Suppose 0 = 190*o + 2972 + 6528. Do 0.9 and o have 