3 + 1424/7. Is c less than r?
True
Suppose 2*z + 2*x - 31 = 21, 20 = z - x. Suppose -z*q + 1830 + 1344 = 0. Is 137 smaller than q?
True
Let m be (-45)/(-40) - 30119/(-8). Is 3764 greater than or equal to m?
False
Let u be (-1)/(((-315)/150)/21). Let z = 4 + 1. Which is bigger: z or u?
u
Let c be (-248425)/(-6525) + -32 - -6*(-1)/1. Which is bigger: c or 0?
c
Let w be (1 - -4 - 4)*(2 + 638). Which is smaller: w or 1?
1
Let n be (-3)/(4*(-3)/(-36)). Let m be (6/18)/(-2 - 21/n). Let r be 2 + (-18)/(-16) + -3. Which is smaller: r or m?
r
Let n = 8186/5 - 91183859/55695. Is 1 less than or equal to n?
False
Suppose 0 = 4*t + 5*b - 20, 2*b = 0. Suppose -3*i - 6 = 2*s, -4*i - 4*s - t = 7. Are i and -2/671 equal?
False
Let s = -4477 - -13433/3. Let y = -0.26 - -0.1. Let t = y - -0.216. Is t less than s?
True
Let t be (16/42)/((-292)/(-1022)). Which is greater: 519 or t?
519
Let k = -5130 - -5041. Is k at least 8?
False
Suppose -9*f = -35*f + 312. Let r be (0 - f/(-9))*804/(-8). Is -133 less than or equal to r?
False
Let t = -97 - -57. Let k = 4527 - 4567.9. Let x = t - k. Is x < -3?
False
Let y be -4 + (-10)/(-15) + 788/6. Suppose 0 = 126*a - y*a + 166. Does 83 = a?
True
Let y be -57 - 6 - 2/(-2). Is y > 2?
False
Let n = 0.208 - 234.208. Let g = -233.9 - n. Is -552 at most g?
True
Let m be ((-16)/(-68))/(2/(-120)) - 0. Let z = -23726/1683 - m. Suppose 2*l = 1 - 3. Which is greater: l or z?
z
Let s = 0.043 + 11.457. Let t = 535 - 542.5. Let y = s + t. Which is smaller: y or -0.11?
-0.11
Suppose 4*s - 2500 = c + 314, -4*c - 2*s = 11238. Is -2810 at most as big as c?
True
Suppose 0 = -o + 3*l + 11 + 8, 3*l = -3*o - 3. Let z(i) = -i**3 + 5*i**2 - 4*i + 3. Let u be z(o). Let q be ((1 - u) + 2)/1. Which is greater: q or 10?
10
Suppose -55*k = -25*k + 840. Suppose 0 = a - 10 + 6. Suppose 56 = a*b - 6*b. Is k greater than or equal to b?
True
Suppose 18*m + 11*m - 116 = 0. Let q be (m/(12/(-7)))/((-3)/9). Which is smaller: q or -0.2?
-0.2
Let q(v) = 3*v**3 + 23*v**2 + 13*v - 4. Let x be q(-7). Suppose -x*m + 3*o + 12 = 0, -2 = 2*o + 8. Is m < 3/89?
True
Let u be ((-2388)/596 + 4)/1. Let c(n) = -n**3 + 6*n**2 - 34*n + 401. Let v be c(8). Which is smaller: v or u?
u
Let l be (15/10 - -3)*(-416)/(-12). Suppose -l*u + 157*u = 1. Is u less than or equal to 5/208?
False
Let v = -22758.1 - -22758. Do 25.71 and v have different values?
True
Let h = 114691/4059 - 932/33. Which is smaller: 0 or h?
0
Let l be -1*1/1 + 2. Let j(t) = t**2 + 18*t + 43. Let w be j(-3). Let h be 2/(-54) + 3 + (-5 - w). Which is bigger: l or h?
l
Let n = -7.5 + 7.5. Let w = -9/904 - 27021/9944. Is n < w?
False
Let d = -15602 - -15607. Which is smaller: 1013 or d?
d
Let f = 349621/806 + -110/403. Let a = f + -438. Is a at most as big as -17?
False
Let t(a) = a**2 - 77*a + 353. Let o be t(71). Which is smaller: o or -88?
-88
Suppose o - 3*v = 8 + 3, -11 = 2*o + 5*v. Suppose -3*g + 3*q - 16 = 5, -g - o*q = 1. Let k(p) = -10*p - 6. Let d be k(g). Is d smaller than 45?
True
Suppose 0 = 91*f - 100*f. Is f != 2/223?
True
Let x = 9.4 - 9.3182. Let a = 2.0818 - x. Which is smaller: -12 or a?
-12
Let k be ((-5964)/35)/((459/(-720))/(-17)). Is -4544 less than k?
False
Suppose -5*z + 0*f + 83 = -3*f, 0 = -z - 2*f + 27. Suppose -z*u = -15*u - 4. Let l = 29 + -115/4. Are l and u nonequal?
True
Let r be (5 + 133/(-21))*(-126)/276. Which is smaller: r or 0?
0
Let v be (14 - 8 - 6)/(-1 + 0). Let h be (9*(-2)/(-6))/(-1 + v). Are h and 24/5 unequal?
True
Let x = 334.668 + 0.332. Let m = x - 298.25. Let a = 37 - m. Which is greater: a or -0.1?
a
Let q = 469 + -470. Which is smaller: -32/37 or q?
q
Let o(j) = 5*j**3 - j**2 + j. Let w be o(1). Suppose w*m - 140 = 4*v + m, 0 = -3*v + m - 101. Let y be -37 - (8/28 - 148/28). Which is smaller: y or v?
v
Let d be (-294)/(-56)*(-280)/3. Let u be 8/37*(8 - d/(-60)). Does 1/3 = u?
False
Let i be 8/(-10) - 384/(-30). Let v = 143 + -130. Is i > v?
False
Suppose 41*y = -594 + 635. Which is smaller: -2/17751 or y?
-2/17751
Suppose -53 = 6*q + 25. Let t(g) = g**2 - 4*g - 29. Let z be t(-7). Let m be 1/(z/(-45) + 1) - -1. Is q at most m?
False
Let f be 12/8 - 111/(-2). Suppose -3*h + 6*h = f. Let i = 15537 + -15519. Is i at least h?
False
Let u(t) = -t**3 + 14*t**2 - 22*t + 1. Let i be u(9). Suppose -i = 6*d - 7*d. Suppose 3*z - d = 5*z. Do z and -104 have the same value?
True
Let f be ((12 - -3) + -23)*14/(-16). Let h(b) = 2*b**3 - 14*b**2 - 2*b + 13. Let t be h(f). Is t smaller than 2/347?
True
Let d = -132 + 926/7. Let i = 444178 + -57742827/130. Let b = i + -30/13. Which is greater: b or d?
d
Suppose 12*o + 45 - 57 = -0*o. Which is smaller: o or 0.00905?
0.00905
Let l(w) = -w**3 + 6*w**2 + w - 14. Let t be l(6). Let o = 7 - 16. Let n = o - t. Are -4/19 and n equal?
False
Let c be -10*((-7 - 4) + 4). Let n = c + -45. Is 24 bigger than n?
False
Let k be 136 - 143 - (-21 + 4). Suppose 0 = -4*d - 2*a - 8, 5*d - 3*a = -18 - 3. Let f be 1*-25*d/5. Is k at most as big as f?
True
Suppose 5*w + 4*s = 344 + 735, -4*w - 2*s + 868 = 0. Which is greater: w or 220?
220
Suppose 117*s - 45*s = 72. Is s at least -4/1555?
True
Let n(d) = -36*d**3 - 6*d**2 - 5*d + 25. Let a be n(2). Which is bigger: -292 or a?
-292
Let l = 42847 - 41417. Is 3 bigger than l?
False
Suppose -5*h - 2*x = -8444, 456*x - 457*x = -h + 1693. Is h greater than or equal to 1692?
False
Let x(w) = 7*w**2 + 19*w - 1. Let h be x(-3). Let s = -7 - -13. Suppose o + h*g = s*o - 60, -19 = -2*o + g. Is o smaller than 10?
True
Let f = 4 - 1. Let q(t) = t**3 - 6*t**2 + 4*t - 3. Let m be q(f). Let u(z) = -z**3 + 18*z**2 - 15*z - 54. Let k be u(17). Which is greater: k or m?
m
Let h = -319 - -363. Suppose h*q - 248 = 48*q. Which is smaller: q or -63?
-63
Suppose -r + 167 = -3*x + 423, 1244 = -5*r + 3*x. Let a = r + 438. Does 192 = a?
False
Let q(p) = 2*p**3 - 36*p**2 + 34*p - 6. Let m be q(17). Let i(n) = -2*n + 11. Let c be i(8). Is c equal to m?
False
Let y(v) = 5*v**2 - 8*v - 4. Let a be y(3). Let d be 241/(-22) + 6/(-4). Let b = d + 1598/55. Which is greater: b or a?
a
Let f(w) = w**2 + 152*w - 4915. Let p be f(27). Which is smaller: p or -74?
p
Let x = 752 + -761. Let w = -3 - 10. Let m = w - x. Which is bigger: 1 or m?
1
Let p(m) = -7*m**3 + 2*m**2 + 16*m + 30. Let k be p(-6). Which is smaller: k or 1520?
k
Let f(v) = -2*v**2 - 8*v + 13. Let j be f(9). Let w = -885/4 - j. Which is smaller: -2 or w?
-2
Let k = 6920 + -6873. Which is bigger: -59 or k?
k
Let z(j) = j**3 + 11*j**2 + 16*j - 19. Let g be z(-9). Which is smaller: g or -1/368?
g
Suppose 8*z + 525 = -163. Is -60 at most as big as z?
False
Suppose -235*l + 232*l + 11094 = 0. Let s be 3182/l - (2/(-1))/(-2). Is -1 greater than or equal to s?
False
Suppose 0*c = -4*h - 3*c + 128, -2*c = 8. Let t be (10/4)/((-4)/(-56)). Is h at least t?
True
Let j = 252.1 + -266. Let k = j + 13.8. Let w be (-3)/(-2) - (-39)/(-130). Which is bigger: w or k?
w
Suppose 266*t + 133*t = 79*t - 373760. Are -1157 and t equal?
False
Suppose -15 = -2*p + 5*u, 9 = -p + 5*u - 8*u. Suppose -b + 3*y + 6 = p, 46 = 3*b + 5*y - 0*y. Is b <= -4?
False
Suppose 6*n - 2*r = 224, 0 = -2*n + 7*r - 3*r + 98. Which is bigger: n or -158?
n
Let t(b) = -173*b**3 + b. Let g be t(1). Suppose -981 = 5*m - 4*w - 131, -4*m = -w + 680. Is m not equal to g?
True
Let r = -143 - -252. Suppose -21*i + r = 25. Which is greater: i or 33/7?
33/7
Suppose 5*n + 10*s - 146 = 12*s, -3*s = -5*n + 149. Suppose -2*m = 4*p - 110, -p = -4*p + 5*m + 63. Which is smaller: n or p?
p
Let f = -5.846 + 3.846. Is f at most as big as 36/5?
True
Let x(o) = 7*o**2 - 12*o - 6. Let w be x(-6). Let h = w + -325. Does -1 = h?
False
Let h = -3.421 - -3.421. Are h and 2/445 nonequal?
True
Let t = -5 - -43. Let f = t + -22. Let a(p) = p**3 - 16*p**2 + p - 10. Let v be a(f). Which is smaller: v or 7?
v
Let w = -92 - -91. Let b(r) = -2*r**2 - 2*r - 1. Let c be b(w). Is c smaller than 1/291?
True
Suppose -29 = -7*j - 3*t, -71*j + 70*j = -4*t - 44. Which is smaller: j or -6?
-6
Let y = 5 + -5. Let t = 0 - y. Let a be (-40)/(-32)*(-3 - 244/(-80)). Is a greater than t?
True
Let n be (-2493)/148 - (-882)/392. Which is greater: n or -14?
-14
Let b(l) = -13*l - 298. Let a be b(-31). Which is greater: a or 77?
a
Let i(z) = -152*z**2 + 1065*z - 6. Let w be i(7