 be t(-1). Suppose -2 = -3*i + 4*i - v, 0 = i + 5*v - f. Are r and i non-equal?
True
Let k = 0.204 - 0.131. Let t = -0.327 - k. Which is smaller: t or -16?
-16
Let c(f) = -f**3 + 10*f**2 + 38*f + 13. Let i be c(13). Which is smaller: 2/6455 or i?
i
Let m = -17.1 - -17. Let u = -1.45 + 168.45. Let p = -115 + u. Which is smaller: p or m?
m
Let l be 10*((-15)/5 + 7/2). Suppose 3*g = -q + 6*q - 12018, 0 = -l*g - 5. Let h = q + -7282/3. Which is greater: h or -25?
h
Let i be 77/(-385) + 712/10. Suppose -70*t + i*t + 844 = 2*k, 4*k + 2*t - 1680 = 0. Which is smaller: 422 or k?
k
Let r = 10.35 + -10.59. Let k = 0.16 + -0.26. Are r and k non-equal?
True
Let x(d) = -d**3 + 3*d**2 - 20*d + 8. Let c(z) = z**3 - 4*z**2 + 19*z - 7. Let a(f) = -4*c(f) - 3*x(f). Let t = 1266 + -1261. Let u be a(t). Is u > -27?
True
Let z be ((-9135)/(-84))/(1*(-3)/8). Let a = z - -289. Is a equal to -2/267?
False
Let v = -0.21 - -8.21. Suppose -151 - 401 = 141*l + 12. Is l at most as big as v?
True
Let w(k) = k**3 + 11*k**2 - 11*k + 3. Let n = -34 + 22. Let i be w(n). Let r = 48 - 60. Is i bigger than r?
True
Suppose l + 48 = -2*k, -3*l + 4*k - 204 = -10. Let p(b) = -25*b + 37. Let u be p(-9). Suppose 36*x + 2314 = u. Which is greater: l or x?
x
Let x be -10*(-2)/(-12)*-3. Suppose 7*q - x*q + 24 = 0. Let m = q + -24. Is -35 > m?
True
Suppose 198 = 22*q - 0*q. Let l be 5 + (-5)/(20/q). Which is smaller: l or 2?
2
Let b be (9/6)/(4/(-7)). Let x = 507 - 524. Let h(d) = -d**3 - 16*d**2 + 17*d - 2. Let n be h(x). Which is smaller: b or n?
b
Let h = -50.51 + 0.01. Let y = 62.5 + h. Which is bigger: 0.08 or y?
y
Let n = -0.76 - -0.46. Let d = 1.601 - 1.52. Which is bigger: d or n?
d
Let z(m) = m**2 + 12*m + 35. Let l(b) = -3*b**2 - 37*b - 105. Let r(x) = 3*l(x) + 8*z(x). Let i = -70 + 57. Let q be r(i). Which is smaller: q or -8?
q
Let w be -1 + 0 + 2 - -2 - 131. Let g = -189 + 189.1. Which is smaller: g or w?
w
Let b be (-4902)/(-1204) + 1/(-2). Suppose 35 - 15 = 5*a. Which is smaller: b or a?
b
Let k = -31022624 - -713274743/23. Let j = k + 10675. Are -5 and j nonequal?
True
Let a(l) = l**2 + 1. Let k be a(3). Let v(r) = -r**2 + 5*r + 5. Let x(w) = 3*w**3 + 2*w**2 - w. Let h be x(1). Let f be v(h). Which is bigger: k or f?
k
Let f(p) = 7*p**2 - 75*p + 170. Let o be f(8). Suppose -4*i + 9*i - 90 = 0. Is i at least as big as o?
True
Let x = -2263/257 + 12861215/1799. Let b = x + -7128. Which is greater: 13 or b?
13
Let h = -8276 - -8276. Is h < 1/6810?
True
Let u = 717 + -801. Is u smaller than -48?
True
Let b = -1306 + 1270. Let h(p) = -8*p - 5. Let f be h(-5). Let o = f + b. Which is smaller: o or 1/11?
o
Let c(v) = v**3 - 16*v**2 + 3*v + 49. Let y be c(16). Let b = y + -88. Is b >= 5?
True
Let n(k) = k - 5. Let d be n(5). Suppose 2 = -a - x, 31*a - 3*x = 35*a + 3. Let u be 2/150*(1 + a/3). Which is bigger: d or u?
u
Let c = 42 - 43. Let w be ((-2)/c)/(-23 - (-32 - -16)). Let q = 0 + 13. Do w and q have different values?
True
Let v be 4/(-14) - 1055/7. Suppose 24311 + 55489 = -525*b. Is b >= v?
False
Let c(r) = -r**3 - 67*r**2 + 521*r - 20. Let b be c(7). Is b at most -23/265?
False
Let s be (-77)/99*(-298)/102. Let q = s + -38/17. Let z = 11/27 + q. Which is greater: z or 1/3?
z
Suppose -5 = -6*j - 275. Which is bigger: -40 or j?
-40
Let s = -21.2 - -16.9. Let m = 46.8 + -51. Let g = m - s. Which is bigger: 8 or g?
8
Let y be -4*(-1 - (-5)/11). Suppose -45 = -2*o + 3*r, 2*o + 4*r - 13 - 11 = 0. Let l(u) = -u + 20. Let t be l(o). Are t and y nonequal?
True
Let u be 5/(-10) - 11/(-2). Suppose -58 = -2*l - 4*v, 28 = u*v + 8. Let g(n) = -n**3 - 9*n**2 - 2*n + 2. Let j be g(-9). Which is smaller: j or l?
j
Let x be 2/(-8) - (-71595)/(-180). Which is bigger: -4368/11 or x?
-4368/11
Let t = 26335 + -49404463/1876. Is t less than 0?
True
Let a = -56605/38528 + 177/128. Is 1 greater than or equal to a?
True
Suppose 0 = -25*i + 16644 + 4906. Are i and 860 nonequal?
True
Suppose -150*m + 10*m + 420644 = 26*m. Is m at least as big as 2532?
True
Let u be 2 - 8 - -8 - -5. Suppose u = n + 3, -16 = 2*s - 4*n. Which is smaller: -8/43 or s?
-8/43
Suppose -d + 28 - 6 = 0. Let y = d + -18. Which is smaller: y or 5?
y
Let v = -1410 - 3582. Is v less than 0?
True
Let g(x) = -5 + 5 - x**2 - 6 + 5*x. Let o(v) = v**3 + 8*v**2 + 14*v + 115. Let f be o(-8). Let j be g(f). Which is bigger: j or 2/27?
2/27
Let o(t) = 2*t**2 + 118*t + 1885. Let u be o(-30). Is 0.5 at least as big as u?
False
Let t(s) = s**3 - 8*s**2 - 184*s - 39. Let m be t(-10). Which is bigger: m or -14/251?
m
Let g = -2099630/113 + 18581. Is g at least -1?
True
Suppose -8*w - 20*w - 1008 = 0. Let o(s) = -s**3 - 37*s**2 - 33*s + 107. Let j be o(w). Which is smaller: j or -13/40?
j
Let x(q) = q**3 - 3*q**2 - 2*q - 1. Let s be x(4). Suppose 8*i + 26 = 210. Suppose 0 = 3*j + 5*k - i, -2*j + 4*k + 26 = 3*j. Do s and j have different values?
True
Suppose -17060 = -9*h - 16484. Let y = 92 - 29. Is h greater than or equal to y?
True
Let j = 55 + -131. Suppose 2*d - t - 6 = -0*d, 0 = 2*t + 4. Suppose 0 = 4*h - 2*h + 3*u + d, u = 0. Which is smaller: h or j?
j
Let y = -7227 - -5421. Is -1806 not equal to y?
False
Let y be (93439360/1167990)/8 - 10. Which is bigger: 1 or y?
1
Suppose t + 5*x + 43 = 0, -t = -5*t - 3*x - 206. Let g = t - -29. Suppose 0 = j - 2*k + 37, -6*j + 5*k = -7 + 180. Is g at most j?
True
Let r = -302 - -307. Suppose -3*n - 2*c - 2*c = 5, 0 = c + r. Is -35 greater than n?
False
Suppose -5*x = 5*j - 175, 5*j - 3*j + x = 75. Let y(s) = s**3 - 11*s**2 + 16*s + 73. Let k be y(8). Suppose -j = -k*z - z. Which is smaller: z or -4?
-4
Let s be (3 + 86)/(2/146) - (-130 + 126). Is 6500 at most as big as s?
True
Let l = 876 + -881.718. Let o = l + -0.282. Which is smaller: 23/4 or o?
o
Suppose 5*d - 3 = 2*i, 0 = -d + 1 + 2. Suppose 4*f = 10*f - i. Let a be 5*(f + 4/(-2)). Which is smaller: -9 or a?
-9
Let v = 20148 - 32280. Is v >= -12132?
True
Suppose t - 16 = -15. Let i be 56/(-98) - (-4188)/7378. Is i less than t?
True
Let g = 185/171 - -486083/855. Which is smaller: g or -1?
-1
Let h = 5.18 - 0.58. Let a = 5 - h. Let c = -16/11 - -92/33. Is c at least as big as a?
True
Let m = 3602 - 3603. Is 1/2826 at most m?
False
Let d = 322.55 - 333. Let r = d - -9.9. Which is greater: 1 or r?
1
Suppose -5*z = 4*p - 33, 15*z = p + 17*z - 9. Let i be (-14)/147*(-6)/4. Which is smaller: p or i?
i
Let g(t) = 10*t**3 - 3*t**2 - t + 1. Let v be g(2). Suppose 7*f - 199 = v. Which is smaller: 37 or f?
37
Let n = 20752/3 + -1888433/273. Let x(m) = -m**2 + 5*m - 1. Let y be x(5). Is y != n?
True
Let m be 120/(-208) - (-2)/4. Suppose -4*w - 272 = -5*c, -2*w - 270 = -5*c + 3*w. Let f = -57 + c. Which is smaller: f or m?
f
Let y = 31.076 + -31. Let d be 26556/(-108) + (-1)/9. Let a = d - -247. Is y less than or equal to a?
True
Suppose 5*l = -5*k + 30, 5*k - 15 = -0*k. Let x be 2 + ((-23)/l - -4)*3. Which is bigger: x or 10?
10
Let w(s) = -s**2 + 165. Let v be w(0). Suppose -2 = -f, -493 = -3*o + 25*f - 24*f. Are v and o equal?
True
Suppose 2*g = -2*g + 14 - 18. Let v = -126 - -1378/11. Which is greater: g or v?
v
Let q be 2/(-6) - (-3 - (-6)/(-18)). Let n be 2/(-4) - ((-30)/(-7))/q. Is -1 less than or equal to n?
False
Let k(h) = h**3 - 33*h**2 - 9*h - 168. Let o be k(33). Which is smaller: o or -462?
o
Let g = 652 - 652.73. Let h = g - -30.73. Is h at least -2/31?
True
Let t = 1.7862 - 1.7862. Let v = 17/19 - -276/95. Is t <= v?
True
Let z(o) = -23*o**3 - o**2 + 9*o + 9. Let k be z(-1). Suppose 36*u - 14*u - k = 0. Is -2.85 <= u?
True
Let w = -1240.2 - -1219.2. Are -1.65 and w unequal?
True
Let g = 819 + -1328. Let b(f) = -8*f**3 - 2*f**2 + 8*f + 4. Let p be b(4). Which is bigger: g or p?
p
Let d be 2/(-2)*-3*1. Let j be -11 - (-850)/75 - ((-52)/(-9))/(-4). Which is bigger: j or d?
d
Let z(u) = 24*u - 4. Let h(o) = -24*o + 3. Let q(d) = -6*h(d) - 5*z(d). Let r be q(-1). Let i(j) = -3*j - 66. Let n be i(r). Is n smaller than 9/8?
True
Let h be ((-5)/4 + ((-341)/44)/(-31))/1. Do h and -10/5057 have the same value?
False
Let z be (12/10 + (-1368)/1440)*(1 - -1). Which is bigger: z or 2/9499?
z
Suppose -2187*j + 2230*j = 0. Is -1/16546 >= j?
False
Let d be (-3)/24 - (3 + (-19820)/6240). Which is greater: d or 0.2?
0.2
Let q be (-5)/(15/(-12)) - (0 + 1). Le