+ 0*p = 2*p + 76. Let q be 1*-41 + 10/(-15)*6. Let u = q + 65. Is u at most as big as b?
True
Let i(w) = -2*w**3 + 3*w**2 + 5*w. Let h be i(-4). Let g = h - 164. Which is bigger: g or -9/5?
-9/5
Suppose -8*x = 4*x - 32*x. Is x >= 3/1666?
False
Suppose 4*l = -4*w + 2*l + 14, 0 = -5*w - 2*l + 19. Suppose 146 + 174 = -w*j. Let g = -62 - j. Is 1 less than or equal to g?
True
Suppose 0 = -8*v + 16 - 0. Suppose 4*i = -v*n, 0*n + 4*i = -4*n + 12. Suppose 0 = -n*f - 22 + 4. Are f and -6 unequal?
True
Let f = 0.508 - 0.339. Let u = f + 0.231. Which is smaller: u or 2/77?
2/77
Suppose 119*c + 2558 + 1845 = 0. Is 1 != c?
True
Let i(w) = -w**3 - 10*w**2 + 24*w + 15. Let j be i(-12). Is j not equal to 10?
True
Let b = 46 + -40. Suppose -v + b*v + 240 = 0. Let u be v/21*21/(-9). Is u at most as big as 5?
False
Let c = -352.35 + 367. Let o = c + -2.35. Let n = -10.7 + o. Which is greater: n or 0.1?
n
Suppose -4*o + 2108 - 2032 = 0. Does 57 = o?
False
Suppose 2*m - 3 = o, 8*m + 16*o - 3 = 17*o. Is m bigger than 2/963?
False
Let m(o) = -8*o - 34. Let f(k) = 11*k + 35. Let i(n) = -2*f(n) - 3*m(n). Let r be i(8). Which is greater: 49 or r?
49
Suppose 5*k + 51 = 5*a - 24, 2*a + 35 = -3*k. Let m be 26/k + (-85)/1. Which is smaller: m or -88?
-88
Suppose 26 = -z - 4*v, -2*z + 5*v = -3*z - 30. Let u(f) = f**3 + 9*f**2 - 5*f - 14. Let x be u(z). Let s = x - -63. Does s = -8/13?
False
Let l be -2*-3*1 + -2. Let p = 594366 - 594319. Which is smaller: l or p?
l
Let g(v) = v**3 - v**2 + 1. Let l(f) = 4*f**3 - 2*f**2 + f + 2. Let i(q) = 5*g(q) - l(q). Let p be i(3). Suppose -28*k + 30*k + 24 = p. Is -14 greater than k?
False
Suppose 5*b = 5*v - 108 + 3, 2*b - 21 = -v. Let h be (-4 - -1) + -17 + v. Is 7 greater than h?
True
Let u be ((-18)/15)/(2/30). Let y be 14/(-2) - (-3760)/(-200)*(-10)/(-16). Which is bigger: y or u?
u
Let i = -28 - 4. Let s = -738 - -705. Let m = s - i. Which is bigger: -83 or m?
m
Suppose -448 = -2125*u + 2109*u. Let m be (1/(-5))/((-1)/137). Are m and u equal?
False
Let c be (-2 - (-5)/2)*0. Let r(b) = 24*b + 19. Let s be r(-1). Let j be 1/(616/(-21) - s). Which is greater: j or c?
c
Let g(b) = -b - 5. Let q be g(0). Let r be (-410)/123*(4 - ((-468)/16)/(-13)). Are r and q equal?
False
Let d be (1*-1)/(16/3488). Let y = d - -203. Is 4 greater than or equal to y?
True
Let r = -568 - -565. Is r less than or equal to 22?
True
Let g be 18*-1 + 12/(3 - 7). Let s = -309 - g. Is 2/7 greater than or equal to s?
True
Suppose -5*h + 192 = h. Suppose 4*b = b - 177. Let w = h + b. Is w != -27?
False
Let m be (879/(-30) + -1)/((-36)/60). Are m and 0 unequal?
True
Suppose -o + 3*v = -84, -37 = -o + 2*v + 55. Let z be 0/1 - 1920/(-18). Is o != z?
True
Let g(x) = -19*x**2 + 11. Let s(h) = 40*h**2 - h - 22. Let t(q) = 9*g(q) + 4*s(q). Let w be t(2). Which is smaller: w or -40?
w
Let c = 1187.9 + -1239. Let i = c - 19.9. Let s = -0.15 + -0.85. Which is smaller: s or i?
i
Let x = -472.9151 - 0.0849. Let k = 472 + x. Which is bigger: k or 0.313?
0.313
Suppose -10 = -g + 2*p, -10 - 15 = -g - p. Suppose 26*x + 108 = g*x. Which is bigger: x or -19?
x
Let t = -6121784 - -1046829248/171. Let s = t + 2650966/1197. Let k = s + -2250. Is k > -11?
True
Let k = 2/110039 + -115683/310530058. Which is bigger: 0 or k?
0
Suppose 6968 = 22*k + 66*k + 180*k. Let z(h) = -30*h**3 + h**2 - 1. Let v be z(-1). Which is smaller: v or k?
k
Suppose -5*c + 3*z - 9814 = 25317, 5*c + 5*z + 35075 = 0. Do c and -7023 have the same value?
False
Let w = -48 - -28. Let d be -5*(-28)/w*(-108)/21. Suppose -10*r = -7*r - d. Which is smaller: r or 13?
r
Let o(k) = 3*k + 24. Let a be o(-6). Suppose -a*p + 54 = -4*p. Let u be (3/p)/((-3)/6). Is 3 != u?
True
Let b = 24180 + -24180.2. Is b >= 55?
False
Let x = 251.5 - 239. Let d = -12.6 + x. Which is smaller: d or -129?
-129
Let l(m) = -751*m**2 + 20*m + 8. Let v be l(-1). Which is smaller: v or -2285/3?
v
Suppose 0 = -3*i - 6, 3*k - 2*i - 52 - 36 = 0. Let w be 1/((-7)/(k/(-142))*1). Which is bigger: w or -4?
w
Let i be 54196/(-51)*1/((-22)/6). Let g = i + -290. Which is greater: g or -1?
g
Let q = 27 - 20. Suppose -q*j = -230 + 48. Let p = 72 - 46. Is j != p?
False
Let y(v) = 2*v**3 - 5*v**2 + 13*v - 1. Let i be y(9). Suppose i = w - 8*w. Which is greater: -168 or w?
w
Let d be (15228/(-442))/(36/16 + 3). Let o = d - -111/17. Which is bigger: o or 0?
0
Let q(x) = 3*x**3 + 293*x**2 - 88*x + 202. Let r be q(-98). Which is greater: r or -2335/3?
r
Let g = -3079.3 + 3080. Are g and 22 non-equal?
True
Suppose -944 = 11*h - 355 + 5384. Is -6/11 greater than or equal to h?
True
Suppose -16*d + 1 = 1. Let k = -2439/2210 + 66/65. Is d greater than k?
True
Let v be (1/((-24)/32))/((-2)/3). Let y be (7 - 30/4)*v/151. Is y at most as big as -1?
False
Let n be 0 - -4 - (187/(-11) + 13). Let c = -545/18 + 223/6. Which is smaller: n or c?
c
Let o be ((-10)/(-4))/(77/12 - 6). Suppose o*d + 9*d = -2880. Which is smaller: -191 or d?
d
Suppose s + 1379*d - 1383*d = -140, -5*s - 2*d = 546. Which is greater: -13 or s?
-13
Suppose 310 = 6*r - 11*r. Let g = -51 - r. Let n(l) = l - 2. Let z be n(g). Is z >= 7?
True
Let d = 8.351 + 11.849. Is -1 at least as big as d?
False
Let a = 19 - 10. Let c(s) = 10*s - 7*s + 9*s - 4 + s**3 - 20*s - 8*s**2. Let k be c(a). Which is bigger: 29/7 or k?
k
Let k = 75 - 68. Suppose k*m = -0 + 14. Is 14/19 < m?
True
Let m = 19 + -14. Let j(w) = w**3 - 6*w**2 + 6*w - 1. Let q be j(m). Suppose 5*k + q = -11. Is -2 bigger than k?
True
Let s = 0.0322593 - -784.9677407. Let x = 1.1 + -0.1. Which is greater: s or x?
s
Let i be 4 + (-4 + -1)/(-5). Suppose -2*g + 3*t + 10 = 5, -i = 5*t. Is g less than 3/37?
False
Suppose 5*q = -2*q. Suppose 0 = c + 4, -5*o + q + 1 = c. Let m = -2.3 - -2.01. Which is smaller: o or m?
m
Suppose -230*d - 4*r - 104 = -226*d, -r + 129 = -4*d. Suppose 2*f = 3*k + 90, -5*f + 72 = -3*k - 18. Is d < k?
True
Let i(n) = n**2 + 5*n - 9. Let b be i(-8). Let w = b + -9. Which is smaller: 11/2 or w?
11/2
Let y(p) = 2*p**2 - 62*p + 34. Let c be y(31). Let r be 4 + 16980/(-170) - 4/c. Which is smaller: r or 1?
r
Let a(q) = -q**2 - 15*q + 2. Let l be a(-7). Let v = l + -47. Suppose 0 = -v*g + 13*g + 10. Which is greater: -6 or g?
g
Let y = 43 + -25. Suppose 0 = -19*q + y*q + 1. Which is smaller: q or -1/772?
-1/772
Let x be (-300183)/976144 - (-8)/26. Which is smaller: 1 or x?
x
Suppose 0 = -23*l + 10672 + 1357. Is 524 at most l?
False
Let q be 0/1 - (0 - 3). Suppose a - 7 = q. Suppose 2*m = -c + 21, 0 = 5*c + 12*m - 8*m - 75. Which is greater: c or a?
c
Let g(s) = -s**2 + 6 - 29 - 11*s - 6. Let k be g(-15). Let m = 1167/13 + k. Which is smaller: m or 1?
m
Suppose -134*g + 97*g = -35594. Is g less than or equal to 962?
True
Let b be (-102)/272 - 1958/(-336) - 0. Let y = 3/767 + 23759/4602. Let r = b - y. Which is smaller: r or -1?
-1
Let d = 2440.6 - 2680. Let z = d + 239. Which is greater: z or 56?
56
Let u = 47116979/257220 - 8243/45. Which is greater: u or 1?
1
Let v = 18.357 + -18.327. Is v at least 95/3?
False
Suppose -12*l - 204 - 372 = 0. Let a be (24 - 0)*(-12)/l. Is a < 0?
False
Let t be 1 + (-24)/(-8) + -7. Let w be 2/(-3)*t/(-954). Are -1 and w equal?
False
Let n = -648.4 + 714.41. Let t = n - 66. Let k be -2*(-2)/(-20)*-2. Is t <= k?
True
Let p(t) = -t**3 + 9*t**2 - 24*t + 128. Let g be p(8). Let c = -43135265603/61505493738 + 16/101762895. Let v = -2/1511 - c. Is g at least as big as v?
False
Let x(c) = -c**2 - 26*c - 76. Let l be x(-15). Is l bigger than 85?
True
Suppose 0 = -2*h - 3*k + 22, 6 = 3*k - 0*k. Which is greater: h or 43?
43
Let d(x) = -2*x**3 + 15*x**2 + 14*x + 10. Let p be d(7). Let f = p - 158. Which is smaller: -12/41 or f?
f
Let o(a) = -248*a - 1737. Let b be o(-7). Which is smaller: b or -2/1751?
b
Suppose -9219 + 2998 = -7*q + 14492. Is q smaller than 2959?
False
Let p = 1932 - 2790. Let q = -715 - p. Which is smaller: q or 145?
q
Let d be (-16)/24 - (-16)/42. Let c(b) = -b**3 - 14*b**2 + 6*b + 35. Let i be c(-15). Let f = 197 - i. Which is bigger: d or f?
f
Let p = -0.08432 - 0.01568. Which is smaller: -2031 or p?
-2031
Let n be -3*1/(-15)*5. Suppose -105*w = -106*w + 4. Suppose -w*a + n = -207. Are a and 53 nonequal?
True
Let m = 15.83 - 87.06. Let j = 71 + m. Let u = 2.23 + j. Is u less than or equal to