e
Let t = -1 - 1. Let f be 28/(-84) - (-16)/(-6). Which is greater: t or f?
t
Suppose 0 = 4*a - 2*l + 30, l - 2*l = a. Let b be 5/2*((-690)/(-200) + -5). Which is greater: a or b?
b
Let z = -1633/195 - -106/15. Let v = -1424/1079 - z. Is v bigger than -2/7?
True
Let w = 130 - 128. Is 0.22 not equal to w?
True
Let c = 643 - -325. Is c < 968?
False
Let d = 53.1 + -42. Let a = d + -11. Is a less than 15?
True
Let q = -5063/4 - -13603/12. Let l = q - -409/3. Which is greater: 3 or l?
l
Let f = -25 - 9. Let u = f + 36. Let i = -2.7 + u. Which is greater: 0 or i?
0
Let c = -42 - -34. Let g be (c/112)/((-1)/12). Does g = 1?
False
Suppose -r + n = 406, 4*r = -10*n + 13*n - 1619. Does -400 = r?
False
Suppose 408 = 2*d + 410. Which is bigger: d or 1/50?
1/50
Let h be -2 - (105/5)/(-3) - -22. Which is bigger: 31 or h?
31
Let g = -1/5778 + -294665/75114. Is -3 smaller than g?
False
Suppose 2*j - 4*d + 62 = 0, 120 - 24 = -3*j + 3*d. Let u = j - -34. Is 2/25 < u?
True
Suppose 12 = -15*b - 3. Is 1/39 greater than or equal to b?
True
Let l = 0.244 + 0.156. Are 3 and l nonequal?
True
Let f = 99 + -100. Let p = -8 + 2. Let w be 5/6*9/p. Which is bigger: w or f?
f
Suppose -11 = x + 3*c - 12, 4*c = 12. Is x at most as big as -9?
False
Suppose -7*h - 22 = 62. Let m(a) be the second derivative of -a**4/12 + a**3 + 2*a**2 + 2*a. Let l be m(8). Is l at least h?
True
Suppose 6*m = 2*m - 32. Let p be (4/m)/(-2 + 189/94). Which is greater: p or -46?
-46
Let z = -12 + 21. Let g = -0.34 + -0.66. Are g and z nonequal?
True
Suppose 3*o = 4*t + 35, 4*o + 3*t = o. Let q = 25 + -21.8. Let f = -3.1 + q. Which is bigger: o or f?
o
Let d(h) = h**3 + h**2 + 7*h + 8. Let u be d(-3). Let v = -13 - u. Which is smaller: v or 19?
v
Let p = -2.44 + 4.44. Which is smaller: 26/5 or p?
p
Suppose 0 = -7*l + 355 - 985. Which is smaller: l or -87?
l
Let j = -125 + 145. Let b be (-2)/12 + 115/6. Is b bigger than j?
False
Let b be 1/(-2)*30/21. Suppose -11*p + 3*p = 8. Does b = p?
False
Let w = 11 + -20. Let z(n) = -n**2 - 11*n + 77. Let p be z(5). Let r = p - w. Are -1 and r equal?
False
Let h be (7050/(-35))/(-5) - 4/14. Is 40 != h?
False
Let d = 17 + -3. Is d > 17?
False
Let u = -108 - -1624/15. Let c = -1174 + 1175. Which is greater: c or u?
c
Suppose k + 7*k + 14*k = 0. Which is greater: k or 326?
326
Let z = -1.468 - -2.53. Let t = z + -0.062. Let q = 0.5 + -0.58. Which is smaller: q or t?
q
Let y = -4 - 0. Let l be (-4 - y) + ((-25)/8 - -3). Is 1 >= l?
True
Let g(o) = -o**3 - 4*o**2 + 11*o - 3. Let b be g(-6). Let u(k) = 2*k**2 - 4*k - 1. Let m be u(b). Does 5 = m?
True
Let b = 84 - 87.9. Let w = b - -4.09. Let v = -0.09 + w. Is 7 at least v?
True
Let r = -3 + 2.9. Let g = -91 - -545/6. Let d = 1/30 - g. Which is smaller: d or r?
r
Let u = 439 + -310. Is 127 bigger than u?
False
Let g(r) = 2*r + 16. Let h be (1 + -7)*(3 + -1). Let c be g(h). Which is smaller: -7 or c?
c
Let f = -5.03 - -5. Let q = f + 24.03. Let r = 47.2 + -47.2. Is r bigger than q?
False
Suppose -3*j + 8*j + 72 = -a, 0 = 2*j - a + 26. Let l be (1/j)/(6/(-24)). Let m = -270 + 270. Is l less than or equal to m?
False
Let h(r) = r**2 - 6 - 2*r**2 + 2*r**2 + 3*r. Let y be h(3). Which is smaller: y or 3?
3
Let n = -23 + 15. Let j = n + 2. Let r be 99/j*(-6)/9. Is r equal to 11?
True
Let h be 0 + -53 + (6 - 3). Let r(p) = -18*p**2 - 39*p - 4. Let b be r(-3). Do b and h have different values?
True
Suppose -5*p + 4*v = -40, -2*v - 3*v = 25. Suppose 4*s - 3*g + 3 = 6*s, 0 = p*g - 20. Let o be 3/s - 12/(-56). Is o at most 1?
True
Let s = 1/10381 - -653983/207620. Let w = 17/5 - s. Suppose -3*a - 2*a = -65. Is a < w?
False
Suppose -4*m - 2*q - 7 = 1, -3*m = -2*q - 1. Let a be ((-12)/10 - -1) + 0. Which is bigger: a or m?
a
Suppose -34 = -5*k + 5*f + 1, -3*f - 16 = -2*k. Suppose 0 = g - k*q - 0*q + 10, -5*q = 4*g - 60. Which is greater: g or 8?
g
Suppose -4 = -2*y - 0. Which is smaller: y or 3?
y
Suppose 11 = 5*n - 4*a, 3*a = 4*n - 4 - 4. Let w be 42/(-15) - 6/30. Let b be (4 + w)*(0 + n). Which is smaller: -10/9 or b?
-10/9
Let q(r) = -r**3 + 20*r - 10. Let h be q(9). Which is bigger: -560 or h?
h
Let v(h) = -h**2 - h - 1. Let o be v(3). Let u(k) = -2*k - 14. Let l be u(6). Let d be l/(-6)*((-3 - 0) + 0). Is d equal to o?
True
Let j be (-4158)/35*(-35)/2. Which is smaller: j or 2078?
2078
Let g = -1055 + 1031. Is g at most as big as 15?
True
Let t(w) = -w**3 + 2*w**2 - 4*w - 4. Let k be t(5). Let l = 67 + k. Is -32 less than or equal to l?
True
Let s(f) = -f**3 + 10*f**2 - 6*f - 3. Let m be s(6). Let c(n) = -n**2 - 2*n. Let q be c(2). Let b be 14/m*(-10)/q. Which is smaller: 3 or b?
b
Suppose -25*s - 44 = -119. Which is smaller: 14 or s?
s
Suppose -3*t + 4*n = 53, 5*n - 34 = 2*t + n. Let k = 12 + t. Which is bigger: 0 or k?
0
Let h = 8374 + -11413761/1363. Is h at least as big as 1?
False
Suppose -19 - 13 = 32*q. Which is smaller: 12/145 or q?
q
Suppose 3*v - 15 = 9. Suppose 5*u + 3 = v*u. Which is bigger: -25 or u?
u
Let c be (2/(-4))/(11 - 890/80). Which is greater: -2/11 or c?
c
Let l be (33 + -36)*(1 + 4/(-3)). Let z be ((-2)/(-3))/((-2)/(-3)). Is l bigger than z?
False
Let w = -0.14 + 1.74. Let z = w - 15.6. Let l = z - -13.8. Which is smaller: -5 or l?
-5
Suppose -14*r = -21*r + 294. Which is greater: r or 43?
43
Let f = -48 - -46. Is -15 equal to f?
False
Suppose q + 0*y = 5*y - 15, 4*y = 2*q + 12. Let t = 482 + -4336/9. Are q and t equal?
False
Let m be 3/4 - 1914/2255. Let f = m - -2/41. Let o(v) = v**2 - 2*v. Let q be o(2). Which is smaller: q or f?
f
Let x(g) = g**3 + 7*g**2 - 64*g - 38. Let l be x(-12). Which is bigger: 1.6 or l?
l
Let z(w) = -w**2 - 7*w + 2. Let h be z(-7). Suppose -m = -h*x - 21, -5*m = -3*x - x - 117. Is 26 > m?
True
Let d = 33 - 36. Let l be -5 + (d + 0)/(-1) - -3. Which is smaller: l or 5?
l
Let n = 7/9 + -4/9. Let s(y) = y**3 + 23*y**2 - 7*y + 29. Let g be s(-23). Let l be 2/(-4) + 57/g. Which is bigger: l or n?
n
Let s be (-16)/(-26) - 14/91. Which is smaller: s or 1/9?
1/9
Let s = 5821/70 - 414/5. Let b = 139 - 125. Suppose -1 = 3*n - z - 0, b = -4*n - 5*z. Is s at most n?
False
Suppose -k - 56 = -3*k. Suppose 5*d = d - k. Which is smaller: d or -3?
d
Let b be (-10)/24*(-1)/(-5). Let m(p) = -p**2 + 5*p + 5. Let l be m(6). Let d be -1 + l/(-4 - -3). Which is smaller: d or b?
b
Let u = -49 - -28. Let f = 31 + u. Which is smaller: f or -2?
-2
Let v = -12.35 + 0.35. Let w = 13 + v. Which is greater: 6/7 or w?
w
Let c = 1599 - 1609. Is c <= -21?
False
Let a be -2*1694/4 + (-690)/(-138). Is a equal to -841?
False
Let v(i) = 19*i - 1. Let g be v(1). Let q be (-9 - -5) + g/4. Let u = 1.6 + -0.1. Which is smaller: q or u?
q
Let m(i) = i + 3. Let k be m(-2). Let t = -1/273 + 110/5187. Is k at most as big as t?
False
Let i = -28 - -28. Suppose i = h - 7*h + 48. Is 8 at least as big as h?
True
Suppose -j = 4*s + 2, 4*s = 3*j - 5*j - 4. Are s and 8/73 non-equal?
True
Let p(g) = -g**2 - g + 6. Let o be p(0). Suppose o*w - w = -15. Let b be 0 - w - (-192)/(-60). Which is bigger: -0.3 or b?
b
Suppose -2*j + 4*j = 5*i + 15, -5*i + 4*j = 15. Let n = -3 - i. Is n < -1/50?
False
Suppose -o - 3*o = 0. Suppose -2*k - 2*y - 24 = 0, 0 = -4*y + 2*y. Let v be ((-20)/k + -2)*3. Is v at most o?
True
Let n = -187 - -379. Suppose -21*a + 5*a = -n. Is 10 at most a?
True
Let a = 289.43 - 288. Let j = -1.6 + a. Let b = j - -0.22. Which is smaller: 1 or b?
b
Let s(k) = -k**2 + 15*k + 31. Let u be s(16). Let c = 50/3 - u. Let t(g) = -g. Let l be t(-1). Is l less than c?
True
Let y(f) = -13*f - 520. Let s be y(-40). Which is bigger: 6/649 or s?
6/649
Let p = 1915 + -1916. Which is smaller: p or -44/27?
-44/27
Let y = 0.25 + 6.75. Let v = -7.12 + y. Let i = v - 0.08. Which is greater: i or 0.5?
0.5
Let a = -0.9 + -0.1. Let y = -1208.13 - -1208. Which is greater: y or a?
y
Let w = -0.71 - -0.677. Let a = w + -0.967. Which is smaller: -1/6 or a?
a
Suppose -3325 = 5*p - 5*d, 5*d + 2615 = -4*p - 0*d. Which is smaller: p or 0.1?
p
Let x be ((-102)/15)/(46/10) - -2. Is x smaller than 2?
True
Suppose 6 = 4*m - 2*m. Let h be (-10)/(-30) + (-1)/m. Which is smaller: 2/9 or h?
h
Let p(j) = 0*j**2 - 7*j + 8 + j**2 + 1. Suppose 57 = -3*r + 72. Let b be p(r). Which is bigger: -2/7 or b?
-2/7
Let p be 38/(-171)*12/328. Which is bigger: p or