 t be q(8). Let r be (4160/39 - -44)*6/(-8). Is r at least t?
True
Let k(h) = h**3 + 8*h**2 + 7*h - 2. Let s be k(-7). Let n = 0.4 - 0.7. Let d = n + 0.24. Is d at least s?
True
Let p = 1.5 + -2. Let w = -0.9 - p. Let d = -16810 + 33623/2. Which is bigger: d or w?
d
Suppose -4*f = 3*t - 2083, -47*f + 43*f - 8*t + 2108 = 0. Is f < 518?
True
Suppose 3*y + 49 = 4*r, -5*y + 2*r - 60 = 45. Let n be (-2 - (0 + -1)) + y. Let b be 4 + 4/((-5)/((-150)/(-4))). Are b and n non-equal?
True
Let u = -6108 + 6108. Is -33/131 greater than u?
False
Suppose 3*m = 2 + 4. Let k be ((-7)/14)/(m/(-4)). Let w = 75 + -72. Which is smaller: k or w?
k
Suppose 0*z - 14 = -z. Suppose 868 + 430 = 22*m. Suppose -8 = 4*b, k = -2*b + 69 - m. Do k and z have the same value?
True
Suppose -z - 4*a + 32 = 0, z - 4*a - 18 = -10. Which is bigger: 1029/55 or z?
z
Let k(m) = 17*m**2 + m + 3. Let a be k(3). Let c = 153 - a. Which is smaller: -9 or c?
-9
Let w(p) = -35*p - 243. Let l be w(-7). Suppose -5*m + 470 = 5*u, -l*u + 7*m + 153 = 2*m. Do 91 and u have the same value?
False
Let n = -3082 - -2401. Does -685 = n?
False
Let u be (4/36*6)/(12/(-35802)*-9). Suppose -3 = 4*h - 11. Is h >= u?
False
Let f = 11.93893 - -0.06107. Is f smaller than 178?
True
Suppose 154 = 5*o + 5*q - 26, 0 = 2*q. Let k = o + -20. Let h = k - 24. Is h less than or equal to 2?
True
Let v = -91904/209 - -7474/19. Which is smaller: -45 or v?
v
Suppose 3685 = 214*x + 35745 + 7102. Which is smaller: x or -1276/7?
x
Let u = 278 + -276. Suppose 18*z - 67 = 14*z + j, z = u*j + 22. Let a be 8/12 + (-62)/(-6). Are a and z unequal?
True
Let h = 1249 - -368. Which is bigger: h or -2/3?
h
Let k = 6588 + -6590. Are -0.9 and k nonequal?
True
Let n = -18 - -48. Let l be ((-20)/n)/(2/(-27)). Let d(f) = -f**3 - 7*f**2 - 3*f - 11. Let c be d(-7). Which is smaller: l or c?
l
Let n(g) = 7 + 27*g**2 + 2 + 6 + g**3 + 8 + 5*g. Let h(d) = -d**3 - 26*d**2 - 4*d - 22. Let b(a) = -5*h(a) - 4*n(a). Let k be b(-22). Which is smaller: 17 or k?
17
Let t(f) = 10*f + 20. Let x be t(-5). Let s be (x/90)/((-8)/(-534)). Is s bigger than 2?
False
Let c = 6.68 - -19.32. Let v = -24.993 - 0.007. Let q = c + v. Is q bigger than 0.1?
True
Let r be 1354/(-2031) - 2/6. Do r and 5/1788 have different values?
True
Let y be (228/(-3816))/((-2)/24 + 1/3). Which is smaller: y or 0?
y
Let t = -1684 + 1708. Is t >= 10?
True
Suppose -258 + 33 = -25*r. Suppose 0 = 4*o + 9 - r. Which is smaller: -1 or o?
-1
Suppose -4*r = 4*t - 20, 0 = 2*t - r - 2*r - 30. Suppose 2*d - 19 = t. Let m = d - 10. Is m < 22/5?
True
Suppose 0 = 3693*s - 3637*s - 4760. Which is smaller: s or 77?
77
Let q(j) = 3*j + 2*j**2 - j**3 - 20 - 4*j + 36. Let s be q(0). Suppose -s*u + 1 = -17*u. Which is bigger: -3 or u?
u
Let k be (-42)/(-36)*8/966. Let t = 9742122 - 16132954637/1656. Let q = t - k. Which is smaller: 0 or q?
q
Let z be (-824)/630 - 2/(-9). Let k = 9/7 + z. Let w = 4/2235 - -4442/15645. Which is smaller: w or k?
k
Let d be -1 - 4/(-3) - (-5500)/60. Suppose 0 = 6*v + 26 - 392. Let f = v - d. Is -30 equal to f?
False
Let h be 284/16 + 2/8. Suppose 0 = -3*w - p - 3 - 0, 6 = 5*w - 2*p. Let m = 18 - w. Is h less than or equal to m?
True
Let q = -512/1845 + 7/45. Let r be ((-48)/(-14) + -3)*158/(-123). Let y = q - r. Is -1/2 bigger than y?
False
Let v = -2/1201 - -55252/3603. Which is smaller: v or -2/7?
-2/7
Let r be (-11937)/(-552) + (-6)/(-16). Is 411/20 < r?
True
Suppose 197*p + 8910 = 69*p - 34*p. Is p bigger than -55?
False
Let c = 28401.1 + -28402. Is 1201 >= c?
True
Let a be 6*3/(-27)*-17. Let w(v) = v**3 + 2*v**2 - 6*v - 3. Let f be w(-4). Let x = a + f. Do x and -1 have the same value?
False
Let m(p) = -p**2 - 28*p + 4. Let j be m(0). Suppose 5*w = -j*z + 7*w - 190, 3*w - 141 = 3*z. Which is bigger: z or -40?
-40
Suppose -5*j - 9*i = -6*i - 1393, -2*j + 3*i = -574. Which is bigger: 280 or j?
j
Suppose -10*t + 9*t - 19 = -5*a, 2 = 2*t. Let q be (-34)/(4*a/(-16)). Which is greater: q or -2?
q
Let j = -4201/7 + 599. Let z = -54/35 - j. Which is bigger: z or -100?
z
Let s(v) = v - 14. Let x = -97 + 31. Let z = -60 - x. Let p be s(z). Which is smaller: p or -3?
p
Let d be 30/(-3)*1/((-4)/132). Let w be (((-27)/d)/(-3))/(4/10). Which is bigger: w or -1?
w
Let p = -1808 - -1813. Let s be 1 + 0 + 1 + 0. Suppose -p = s*m - 7*m. Which is smaller: -1/8 or m?
-1/8
Suppose 24 = -5*s + 8*s. Let d be (22/s)/((-11)/(-264)). Suppose -10*v = -4*v - d. Are v and 11 equal?
True
Suppose -x + 2*x + 7 = 0. Let y be (-56 - -11)/(3/(-2)). Let c be 3 - (-2)/(y/(-213)) - -3. Are c and x non-equal?
True
Let h = -7145 - -7141. Is -154/29 at least h?
False
Suppose 0 = -4*b + 12*b + 2800. Suppose 3903 = -7*u + 1446. Is b less than u?
False
Let h = -8049/2 + 4026. Which is greater: -3/188 or h?
h
Let n be -24*(9/(-6) - 0). Let f = -7342 - -7378. Is n >= f?
True
Let m = 9554 - 9554. Is m greater than 9/1678?
False
Let z be 22/3 + -42 + 33. Which is bigger: z or -0.6?
-0.6
Let c = -36 + -38. Let u(j) = -2*j**3 + 41*j**2 + 22*j - 95. Let r be u(21). Is r bigger than c?
False
Let p = 60 + -42. Let t = -169 + -81. Let u = t - -252. Is u <= p?
True
Let q be (((2 - 2)/2)/1)/(-2). Suppose -16*h + 19*h = q. Which is greater: h or 2?
2
Let f = -285.666 + -0.334. Let p = f - -287. Is p at most as big as -4/5?
False
Suppose 27*k + 1526 + 3693 + 3097 = 0. Is k greater than or equal to -2157/7?
True
Suppose -2*t - 3*w + 49 = -45, -2*w + 8 = 0. Let n(m) = m**3 + 41. Let u be n(0). Is u <= t?
True
Let n(a) = a**3 - 13*a**2 + 1. Let f be n(13). Let v be (2318/(-29))/(-2) - 2. Let z = v + -38. Is z greater than f?
False
Suppose 0 = 2*j - 2 - 4. Suppose -9*y = -6*y + j. Let z be 2/(36/(-39)) + y/(-6). Which is smaller: -1 or z?
z
Let f = -3044 + 3034. Which is smaller: f or 68?
f
Suppose 9 = 20*w + 49. Let f be w/((4 - 9)*-3). Is f at most 1?
True
Let u = 187/5875 + 4/125. Let d = 148 - 138. Suppose 0 = -b - 3*a - d, -2*a + 8 = b - 5*a. Which is smaller: u or b?
b
Let t(o) = 1255*o**2 - 18*o + 1. Let p be t(-2). Let f = -1016449/201 + p. Which is smaller: 0 or f?
0
Let m be ((-378)/(-70) + -18)/((-3)/20). Which is greater: m or 9?
m
Let s be (13/((-39)/3))/(3 + 5672/(-1894)). Which is smaller: s or -190?
-190
Let d = 46.7 + 175.3. Let i = -224 + d. Let r = -10 + 8.7. Does i = r?
False
Suppose 10 = x + z + z, 0 = 3*x - 5*z + 14. Suppose x*o - 3*h = 24 + 5, 4*o - 18 = -2*h. Is -2/17 smaller than o?
True
Let z = -474 + 235. Let k = z + 240. Are -0.173 and k nonequal?
True
Let k be (-4)/(-16) - 353/(-60). Let m = k - 37/6. Let q(n) = 89*n**2 + 180*n + 3. Let l be q(-2). Which is smaller: l or m?
l
Let g = 51612/5 + -10300. Is g smaller than 22?
False
Let c = 11.1548 - 0.9548. Which is bigger: 20 or c?
20
Suppose 0 = -2*b + 2*w + 294, -b + 132 = w + 3*w. Which is smaller: 141 or b?
141
Suppose 0 = -26*c - 95*c. Which is smaller: -28/59 or c?
-28/59
Suppose 5*i + 0*i = 1200. Let j be 24/i + 1497/(-14770). Which is smaller: 1 or j?
j
Let r(m) = 3240*m + 38527. Let f be r(-12). Let u(v) = -6*v**2 - 9*v + 5. Let h be u(7). Which is smaller: f or h?
f
Let c = 7065 - 7035. Is 51 smaller than c?
False
Let j(y) = 515244*y**3 - y**2 - 15*y + 11. Let q be j(6). Let f = q - 514171749163/4620. Let u = f - 1/924. Which is smaller: 3 or u?
u
Let n be (-3)/(12/14*(-2 - (-126)/72)). Suppose -12837 = 4*w - m, -5*w - m - 4*m - 16015 = 0. Let o = 12893/4 + w. Do n and o have different values?
True
Let h = -540 + 541.16. Let x = 1.06 - h. Which is bigger: -32.5 or x?
x
Let l(i) = -6*i**3 + 92*i**2 + 31*i + 117. Let f be l(17). Is -2246 <= f?
True
Suppose 3*q - f - 5 = 0, 2*q = -5*f - 0 + 9. Let b(w) = -10*w**2 + 5*w + 11*w**2 - 5 + 0*w**q. Let y be b(1). Which is bigger: -2/39 or y?
y
Let u(m) = 15925*m**2 + 67*m + 66. Let x be u(-1). Is x at least as big as 15924?
True
Let p(l) = -l**3 + 18*l**2 + 5*l + 28. Let s be p(18). Suppose 0 = 130*x - s*x + 876. Does -75 = x?
False
Suppose 5365*y - 5378*y + 37 + 15 = 0. Is y at least -714?
True
Suppose -15*d = -d + 7*d. Suppose -h + 2*h - 1 = d. Which is smaller: 2/827 or h?
2/827
Let i = 0.302 + 163.698. Let m = 341 - i. Which is smaller: m or -0.1?
-0.1
Let g(h) = 12*h**2 + 17*h + 5. Let c be g(-5). Suppose 12*k = 34*k - c. Which is greater: 55/6 or k?
k
Let q be 5*-2*198/(-180). Which is smaller: