rue
Let a = -1.118 + 0.818. Let m = 63 + -27. Which is greater: m or a?
m
Let y = -529 + 759. Do y and 230 have the same value?
True
Suppose 2*s - 16 = 28. Suppose -5*m + s = -4*a, -2 = 4*a + 10. Suppose 3*d - 2*p = -16, -3*d - m*d = -2*p + 20. Are -2 and d equal?
True
Let h = -698 - -490. Let z = 145 + h. Let x = z + 71. Which is smaller: x or 9?
x
Let g(x) = 43*x**2 - x - 1. Let i be g(-1). Let v = -40 + i. Suppose q + 8 = l, -v*l + 32 = l + q. Is 34/5 less than or equal to l?
True
Let g = 486.8 + -488. Let b = -2.8 - -1.4. Let v = b - g. Is -3 smaller than v?
True
Let z(t) = -11*t - 96. Let v be z(-9). Suppose m + v*j + 134 = 0, 3*m = -5*j - 95 - 287. Let n = -121 - -3. Which is bigger: n or m?
n
Let k = -360.12 - -0.12. Let p = -360.1 - k. Is -39 >= p?
False
Let h = -162 + 149. Let g(f) = -f**3 - 16*f**2 - 41*f - 24. Let k be g(h). Which is smaller: k or -2?
-2
Let z = 40.79 + -39.79. Which is greater: -2291 or z?
z
Let g(u) = -6*u + 12. Suppose w + 0*a - 83 = -2*a, 3*w - 219 = 4*a. Let q = -75 + w. Let y be g(q). Is y greater than or equal to 6/91?
False
Suppose 7 = 4*q - 5*b, 3*q + 6*b - 2*b - 13 = 0. Suppose 0 = 171*a - 167*a - 404. Let m = a - 97. Which is bigger: q or m?
m
Suppose 9*t = -3*t - 132. Let b be 28/(-6) - (-16 - t). Suppose 0 = -3*m - 12, 3*w + 66 = 4*m + 7. Is b not equal to w?
True
Let c be (-60)/50 + 15905/(-50)*-2. Which is greater: 632 or c?
c
Let o be (0 + -5 + 4 - 4) + 9. Suppose o*z = 3*f - 58, 0 = 2*z - 0*z - 10. Is f less than or equal to 79/3?
True
Let v = 49 + -50. Let g be -68*(-9)/(-12)*v/3. Suppose 19 = 4*h - 3*h. Which is greater: h or g?
h
Let w = -9485/8261906 + 109378541983433/9724263362. Let j = w - 11248. Are -1 and j nonequal?
True
Let a be (21 - -5)/(3/(-6)*22/(-33)). Let w(j) = 22*j - 1. Let h be w(-3). Let n = h - -146. Which is smaller: n or a?
a
Suppose -4*k - 90 = 258. Suppose -8*d + 285 = -403. Let y = k + d. Is -2/73 less than y?
False
Suppose -26*n = -96*n - 24*n + 275890. Which is smaller: n or 2932?
2932
Let x = 183.485 - 98.28. Let q = x - 0.205. Let f = q - 85.4. Are 0 and f non-equal?
True
Let x = 18164/1581 + 53/93. Which is smaller: 13 or x?
x
Let j(b) = -20*b - 83. Let k be j(-9). Let d be 9*(55 + 0)/(-5). Let o = k + d. Which is smaller: o or -1/2?
o
Let p = 453230 + -453500. Let a(n) = -271*n + 1. Let i be a(1). Is i at least p?
True
Let a be 1554/3367 - 1413/104. Let d be -10*-4*9/(-30). Is d at least a?
True
Let d = 401 - 439. Which is greater: d or -116/3?
d
Suppose -2*i - 3*i - 38 = 2*b, 4*i + 3*b = -29. Let u = 9 + i. Let d = 236 - 1643/7. Which is greater: u or d?
d
Let g = 1/135 - 196/135. Which is smaller: g or -0.02?
g
Let t(u) = 171*u**2 - 5*u + 14. Let i be t(2). Let g = i - 8935/13. Which is bigger: 2 or g?
2
Let q(r) = -r**2 + 4*r - 1. Let p be q(-4). Let c = 117 + -111. Suppose 194 + 10 = -c*v. Which is smaller: v or p?
v
Let b = -54392451/293 + 185640. Which is bigger: 0 or b?
b
Suppose 9 = 5*r + 64. Let w(x) = -x**3 + 3*x**2 - x + 9. Let s be w(3). Let t be ((-4)/18*s)/((-8)/(-60)). Is r less than t?
True
Let u(j) = j**3 - 6*j**2 + 4*j - 2. Let f be u(5). Let m(w) = w**3 - 9*w**2 - 20*w - 29. Let g(c) = 69*c - 265. Let b be g(4). Let n be m(b). Is f equal to n?
True
Suppose 43 = s + 3*u + 18, -3*s - u = -91. Suppose 319 = -2*i + t, -191 = i - t - s. Is -159 bigger than i?
False
Suppose 6 + 26 = 8*v. Suppose 0 = 6*l + v*l - 4*l. Let r be l*(2/4*2)/(-1). Do r and 0 have the same value?
True
Let w(r) = -46*r + 71. Let n be w(2). Let v be (14/n + -1)*(42 + 0). Which is smaller: v or -68?
v
Let g be -3*(-2)/(-14)*1596/(-684). Is g greater than -8/793?
True
Let x = -557 - -557. Let r = -91/270 - 404/27. Let w = r - -15749/1030. Which is smaller: x or w?
w
Suppose y - 4*n + 19 = 0, -14 = -2*y - 2*n - 3*n. Let p be (2 - (-14)/(-8))/(y - -2). Which is bigger: p or -1/50?
-1/50
Suppose -14*c - 36 = 4*h - 15*c, -3*c = -4*h - 28. Let d be 3/(15/h)*6/(-2). Are d and -1 non-equal?
True
Let i(h) = 16*h - 87. Let b be i(5). Let m = 511 - 519. Is b <= m?
False
Let x = -2183 + 2393. Is x greater than 0.03?
True
Let u be (107 + 1)*10/40. Let k = -0.07 - 0.93. Is u bigger than k?
True
Suppose q + 0*s - s - 4 = 0, -2*q = s + 4. Suppose -24*p + 29*p + 125 = q. Which is smaller: -28 or p?
-28
Suppose -4*h = -3*s - 5, 0 = -4*h + 8 - 0. Let b = 0.94 + -1.3. Let v = -0.09 - b. Is s greater than v?
True
Let b be (6 + 12/(-2))*(7 - 8). Is -81/122 != b?
True
Let u be 2/11 + 26*(-89)/22. Let s be (-9 + 5)/(-4) - u/(-25). Suppose -3*f + 6 = -5*f. Is f > s?
True
Let h be -38 + (-1128)/(-24) + -1979*1/(-14). Which is smaller: h or 149?
149
Let n(b) = 2*b + 13. Let x be n(-5). Suppose 1 = x*w - 11. Suppose 5*f = -0*c - c - 46, 0 = -w*f - c - 37. Which is smaller: -6 or f?
f
Let k = 0.3 - 0.39. Let t = -605 - -599. Which is smaller: t or k?
t
Suppose 0 = -11*r + 38 + 39. Let o be ((r + 2)/(-54))/((-1)/68). Which is bigger: o or 10?
o
Let c(o) = 2*o + 338. Let l be c(22). Suppose -391*k - 297 = -l*k. Which is smaller: k or -32?
k
Let r = -9310.21 + 20.21. Are r and -1/3 non-equal?
True
Suppose l - 12 = -3*l. Suppose -225 + 126 = -11*q. Suppose -l*o = -6 + q. Which is smaller: o or 1/70?
o
Let n = -3 + 25. Let b = n - 41. Is 0.1 less than b?
False
Let s be (-4)/(-6)*(-15)/(-2) - 0. Suppose -j + s*n + 81 = j, 118 = 3*j - 4*n. Let z = 38 - j. Is z at most -2?
False
Let q = 5366 - 10731/2. Which is bigger: -51/62 or q?
q
Suppose 24*a + 218 = 266. Which is smaller: a or 59/20?
a
Let l be 18*1*(-10)/(-15). Let j be 133/105 + l/(-18). Which is greater: j or 1?
1
Let f(t) = -153*t - 771. Let g be f(-5). Which is smaller: g or 3/49?
g
Suppose 4*j - j + 1 = 2*b, 4*j = -b + 6. Suppose -3*o = -2*m - 597, -6*o + 4*o = b*m - 398. Which is smaller: 198 or o?
198
Let t = 1964.02 + -1932. Let u = t - 32. Which is greater: -7 or u?
u
Let g = -12 - -4. Suppose 577 = 3*n + 580. Is g at most n?
True
Let m be (-722)/570 - 10/25. Let n be (-140)/63 + 4/18. Which is greater: n or m?
m
Suppose 0*q = 2*q - 16. Suppose 0 = -q*u + 5*u - 12. Let a be 1 + 8/u - (-5)/3. Is a >= 2?
False
Suppose -7*u = -4*o + 335, 5*u - 14*o = -16*o - 249. Suppose 147 = 2*n - n. Suppose 0 = -6*f + 3*f - n. Is f less than u?
False
Let m be (-1 + 1)*7/14. Suppose 0 = -4*z + 5*s - 113, m = -2*z + 4*s - 3*s - 55. Let i be 4 + z*10/75. Is i smaller than 1/15?
False
Suppose 6 + 2 = 4*w. Suppose x = -4 + 5, 5*u = -5*x + 25. Suppose w*f + 44 = 4*a, u*f + 40 = -2*a - 78. Which is bigger: f or -29?
f
Let n = -355 + 91. Let w = n - -264. Let x = 0.2 + 4.8. Is x greater than or equal to w?
True
Let k = 18702.97 + -18698. Which is greater: 2 or k?
k
Let x = 1992.9 + -2094. Let m = -109 - x. Let f = -8 - m. Do f and -67 have different values?
True
Let k = -85.35 + 373.35. Let j = 48 + -48. Is k > j?
True
Let b be (-543812)/(-56166) + 2/(-33). Which is smaller: 11 or b?
b
Let t = -71 - -359/5. Let d = -2.25 - -0.25. Which is bigger: t or d?
t
Let h be (-665620)/(-276) - 1/((-6)/8). Is -1 >= h?
False
Let z = -346 - -1767/5. Let i = 2891094/35 - 82595. Let k = i - z. Is -1 at least k?
False
Suppose 10*g + 0*g + 45*g - 55 = 0. Is g > -35/2?
True
Let b be -5*(-21)/(-140) - 59005/20. Is -2950 >= b?
True
Let l be (2646/(-32))/7*(-36)/165. Let m = -13/5 + l. Let g(t) = -t**3 + 2*t**2 - t + 2. Let s be g(2). Is s less than m?
False
Let l be ((-23)/20585)/(-3 + (-43)/(-15)). Is l at most as big as 1?
True
Let x = -28 - -54. Let o be 117/x*(-11 - -1). Let p = -54 - o. Which is greater: p or -10?
p
Suppose 12*a - 424 = 4*j, 90 = -2*j + a - 87. Is j at most 9?
True
Let v be (0 - 1/(-23))*-1. Let y = -0.274 - -32.274. Let d = 30 - y. Which is smaller: v or d?
d
Let r(j) = -j**3 - 90*j**2 - 580*j + 112. Let s be r(-83). Let x be (-2 - -3) + (-114)/(-4). Which is bigger: s or x?
x
Let i(h) = -47*h**2 - h - 2. Let o be i(8). Let q be 1 + 2 - o/(-1014). Are q and 1 unequal?
True
Let l = -1911 + 19029/10. Let x = l + 43/5. Which is smaller: x or 13?
x
Let s = 41/1565 - -874801/61035. Which is bigger: 15 or s?
15
Let v be ((-30)/17)/(3/2). Suppose 4*y - 42 = 2*p, -5*p + 5*y - 2136 + 2081 = 0. Which is greater: v or p?
p
Let y = -4.45 - -4. Let h = 0.2 + y. Let c = -2/1431539 - -1431549/7157695. Which is greater: c or h?
c
Suppose 2*n + 5*q = -22, 2*n + 3*q + 15 + 15 = 0. Suppose