to b?
False
Suppose 237*v = 255*v + 54. Let z(l) = -2*l**2 + 14 + 4*l**2 + 8*l - 4*l**2 - l**3. Let t be z(v). Is t at least as big as 1/93?
False
Let d = -152/3 + 27989/552. Which is smaller: 0 or d?
0
Let o = -0.06585 + 48.06585. Is -0.46 <= o?
True
Let t be (16485/(-140))/(3/(-76)). Are 2982 and t equal?
False
Let v be 6/(-2) + 12/(-9) + 30/(-18). Suppose 4*o = -4, -5*q + 3*o - 26 - 1 = 0. Are q and v equal?
True
Suppose j - 2*j = -5. Suppose 40 = g - j*g. Let u be ((-4)/48*2 - 1)*6. Are u and g non-equal?
True
Let d = 149 - 119. Let r be -1*(d/(-45) + (-23)/(-12)). Which is smaller: r or -1?
r
Let f(c) = -96*c + 674. Let n be f(7). Is 101/132 at most n?
True
Let w be (-3)/(-4347)*11607 - 8. Which is smaller: 1 or w?
w
Let m be 56/16*(-12)/(-14). Suppose m*z = -2 - 46. Let c be (-1 - -1) + z/(-28). Is c at least as big as 1?
False
Suppose 13 = -4*s - 3*l, 5*s - 4*s = -5*l - 16. Let p be (2 - 2)*s/(-4). Which is smaller: 2/225 or p?
p
Let a be ((-8)/786)/((-34)/51). Let z(t) = t + 8. Suppose -f - 4*v = -0*v - 4, 0 = 2*f - 3*v + 25. Let g be z(f). Which is smaller: a or g?
g
Let k = 10363.2 - 10362.4. Let q(v) = -v**3 + 7*v**2 - 7*v + 7. Let j be q(6). Which is smaller: k or j?
k
Let f = 69.4 - 69. Let p = 2817 + -2852. Which is bigger: p or f?
f
Let i = 13 + -49. Suppose -1390 = 4*y - 1638. Let f = i + y. Is 29 not equal to f?
True
Let f be (-28)/(-16)*((-1976)/280 + 7). Which is greater: -0.91 or f?
f
Let s = -3259933/83445 + 1/5563. Are s and -38 nonequal?
True
Let n = 2.23 + -2.543. Let f = n + 0.202. Is f at most -2/9?
False
Let x(k) = -k + 3. Let d be x(3). Suppose 3 = -n + 4*c - 15, -5*n - c = -15. Let t be n/(-12) - 30/(-36). Which is greater: d or t?
t
Let a = -9875 - -365376/37. Which is smaller: -1/36 or a?
-1/36
Let w(l) = -l**3 + l**2 + l. Let f be w(-1). Let g = 89.4 + -5.4. Let j = -69 + g. Which is greater: f or j?
j
Suppose 88*t + 2980 = -2820 + 1488. Let v = -67/2 + 35. Which is smaller: t or v?
t
Let n = -0.02 + 0.05. Let c = -32.97 - n. Let d = 33.2 + c. Which is smaller: d or 3/7?
d
Let b = -104 - -214. Let v be (-214)/5 + 88/b. Let t = v + 32. Is -13 at most as big as t?
True
Let b = 1.52 + -0.7. Let r = b - -0.18. Which is smaller: r or 1/7?
1/7
Let t(m) = m**2 + 5*m + 19. Suppose -2*c = -0*c + 16. Let r be t(c). Let d = -35 + r. Which is bigger: d or -2/7?
d
Let u = 58 + -40. Let t be (-75)/(-54) - 4/u. Let n = 8182 + -8180. Is t not equal to n?
True
Suppose -1868 = 4*v + 16. Let r = v - -14600/31. Is r bigger than 2?
False
Let f be 1*-9 + -2 + (-463)/(-42). Is -1 at most as big as f?
True
Let d(y) = -14*y**2 + 7*y - 29. Suppose 5*i + 13 = 33. Let u be d(i). Which is smaller: u or -224?
u
Let q(k) = 6*k - 6. Let m be q(0). Let u be m/15 + (-309)/15. Let h be 4 + 1 - u/(-3). Is -3/4 less than h?
False
Let x be (-2)/(-2) + -1 + (-57624)/(-476). Which is smaller: 121 or x?
121
Suppose 6*f + 26 = 38. Suppose -f*b = 4*b. Which is greater: 3/121 or b?
3/121
Let b(k) = 178*k**2 + 18*k - 92. Let o be b(4). Which is smaller: 2829 or o?
o
Let h(d) = d**3 + 5*d**2 - 7*d - 38. Let m be h(-5). Let v = 0 + m. Which is greater: -4 or v?
v
Let i(v) = -v**2 - 36*v - 47. Let n be i(-22). Which is smaller: 779/3 or n?
779/3
Let y be (0/(-1) + (3 - 4))*(-45 - 8). Which is bigger: 122 or y?
122
Let a = -3138 + 3241. Is a at most -0.12?
False
Let c = -207927 + 207927. Let m = -2857142572/117 + 24420804. Let o = m - 782. Which is greater: o or c?
o
Let l(w) = -14*w**2 - 32*w - 48. Suppose u - 26 = -9. Let j(m) = -5*m**2 - 11*m - 16. Let i(p) = u*j(p) - 6*l(p). Let v be i(6). Which is greater: 12 or v?
12
Suppose 3*k + 4*n = 16, -6*n - 1 = -k - 3*n. Suppose 0 = -5*c + 5*g + 50, -2*g + 2 + 56 = k*c. Let z be ((-26)/(-5))/(344/(-40) - -9). Is z greater than c?
False
Let r = 19.2 - 19.083. Let u = r - -0.166. Which is smaller: u or -1?
-1
Let a(h) = -8*h - 201. Let p be a(0). Let w = -31 + p. Let u be ((-1)/2)/((260/w)/(-13)). Is u > -7?
True
Let q = 422.42 + 6.58. Let f = q - 358. Which is smaller: f or 1?
1
Let d(w) = 3*w**2 + 6*w - 5. Let q be d(1). Suppose -q*c - 176 = 4*u, -4*u + 14*c = 17*c + 172. Is -35 less than u?
False
Let l(f) be the third derivative of f**4/12 + 77*f**3/6 - 72*f**2. Let s be l(-34). Let i be (112/6)/((-4)/(-2)). Is s greater than or equal to i?
False
Let p = 24249 + -24443. Is -94 >= p?
True
Let m = -263 + 32. Let y = 231.1 + m. Is y greater than 0.243?
False
Let c be -3 + 1 + 4 + 33/(-11). Which is smaller: -16/91 or c?
c
Let z = -42 + 90. Let b = -46.3 + z. Let d be (4/3)/(2/3). Which is smaller: b or d?
b
Let z = 741 - 743. Do z and -1/7291 have the same value?
False
Let b = -25671 - -25578. Which is smaller: 28 or b?
b
Let l be -1395*((-4)/325)/((-18)/(-45)). Which is smaller: 42 or l?
42
Let z = -2295 - -2295. Which is smaller: z or -4/441?
-4/441
Let t = 0.08 + -0.1. Suppose -3267*f - 22 = -3265*f + 3*q, -f = -4*q - 44. Which is smaller: t or f?
t
Let m = 90 - 90.632. Let n = 0.132 + m. Let d = -10 - -9.6. Is d != n?
True
Let j = 258 + -462. Let k = -204.096 - j. Which is bigger: -0.2 or k?
k
Suppose -3*w - w = -540. Let x(v) = v**2 - 1107*v + 136. Let j be x(0). Which is smaller: w or j?
w
Let h be -78*-4*5/30. Suppose -5*u - 1 + h = w, -4*w = -u - 162. Are 81/2 and w unequal?
True
Let w = 58/3 + -19. Let a = -1571/18 - -790/9. Do a and w have different values?
True
Let a be (-8)/24 + (-346)/6. Let t = 528 - 585. Is t smaller than a?
False
Suppose 4531 + 5024 = -39*v. Which is smaller: v or 0?
v
Suppose -v - 425 = 3*h, -3*h + v - 269 = 158. Let w = h + 141. Let i = -18/23 + 316/345. Which is bigger: i or w?
i
Let j be ((-5*(-4)/180)/11)/(34/408). Which is greater: j or -325?
j
Suppose -3*s - 5*h + 10 + 27 = 0, 2*h = -4*s + 26. Suppose s*y - 3*y + 4*y = 0. Which is smaller: y or 4/43?
y
Let m(i) = -i**2 + 22*i + 26. Let q be m(23). Suppose 4*j - 7 = -q*n + 2*n, -j = 4*n - 28. Is n <= 1/5?
False
Suppose -51*a - 6*a - 336644 = 20*a. Is a less than -4372?
False
Let v = -403 + 583. Let j = 180 - v. Do -2/361 and j have the same value?
False
Let k = 17380.36 - 17329. Is k > -2?
True
Suppose -9*n + 113 = -364. Let q = -163 - -98. Let y = n + q. Is y >= -13?
True
Let c be ((-8)/10)/(4 + (-154)/35). Suppose 4*k + 0*k + 2*f = 266, -2*k = c*f - 134. Let t = k - 65. Which is smaller: 4/21 or t?
4/21
Let k(g) = -g**2 - 9*g - 16. Let x be k(-3). Suppose 5*t - w + 30 = 0, 6*w = x*t + 2*w + 12. Are t and -6 equal?
True
Let p be (240/(-320))/(4/(-1000)). Which is greater: 2 or p?
p
Let l(q) = -407*q - 207. Let m be l(-5). Suppose 0 = 4*n - 2*u + m, 2*u = 2*n + 1003 - 87. Which is smaller: -0.1 or n?
n
Let n = 257 + -273. Let f be (-6)/(-3)*(-90)/12. Is n less than f?
True
Suppose 3*p + 5*w = -3499, 3*p - 2*w = -674 - 2811. Which is greater: p or -1161?
-1161
Let k be 4/6*365/(-30) + -1. Let j = -9 - k. Let f = -2.4 - -1.4. Is f at least as big as j?
False
Let c = -45.94 - -46.02. Is c <= 429?
True
Let a = -236 - -235. Let p be 0*((-7)/(-14) + a). Is p >= -4?
True
Let t(x) = x**3 - 5*x**2 + 8*x**2 + 2 + 3*x - 2*x**3. Let v be t(4). Suppose 3*o + 2*l = -33, 16*o - 2*l = 14*o - 32. Which is smaller: o or v?
o
Suppose 2*j - 186*w + 182*w + 60 = 0, 5*w + 172 = -4*j. Which is smaller: j or -234?
-234
Suppose 2*d = d + 2. Let q(c) = 8 - 3*c**2 - 3*c - 3*c**d - 22 + 10. Let j be q(-1). Is -7 at most as big as j?
True
Let o(x) = 20*x + 79. Let w be o(-4). Let u be 405/12 + 1/(3 - w). Do u and 31 have the same value?
False
Let v = -485 - -487. Let m be (v/(-4))/((-8)/1440). Which is smaller: m or 87?
87
Let d be (-1490)/728 - -3*(-12)/72*-4. Which is bigger: d or 1?
1
Let j = -404411033/25498 - -31721/2. Which is smaller: -1 or j?
-1
Let h(s) = 8*s + 5. Let c be h(6). Let r be (-32671)/(-592) + 3/(-16). Which is smaller: r or c?
c
Suppose -29*h = -18*h + 363. Suppose m = -3*r - 2, m + 6 + 1 = 2*r. Suppose -4 = -3*q - r. Which is greater: h or q?
q
Suppose -12*i = -z - 4, -i - 12 = 3*i + 3*z. Which is smaller: 25/151 or i?
i
Suppose -103 = -3*i - 4*m, 7*i - 334 = -3*m - 62. Which is smaller: 12 or i?
12
Let m(i) = -440*i - 3*i**2 + 445*i - i**3 + 0*i**3. Let v be m(-4). Which is smaller: v or -5?
-5
Let x = 976 - 975. Let i = -3 - -9. Let a be i/(-9)*(-6)/(-244). Is x at least a?
True
Suppose 5*d + 39 - 404 = 0. Let u = 140 - d. Let