e
Let n = 0.0526 + -52.6526. Let a = 54 + n. Is a not equal to 0?
True
Suppose 4*g = -g - 20. Let t be 34/6 + g/(-12). Let a be 258/(-90) + t/2. Which is smaller: a or -1?
-1
Let t be (-1)/5 - -1 - (-2976)/(-720). Which is smaller: t or 14?
t
Let y(q) = q**3 + 3*q**2 + 7*q - 19. Let p(n) = -n**2 + n. Let x(o) = 4*p(o) - y(o). Let u be x(-6). Is u <= 11?
True
Suppose 0 = -3*l + 7*l - 8. Suppose 2*f = -l*f + 8. Let g = 62 + -63. Which is bigger: g or f?
f
Suppose 0 = 1389*s - 1401*s - 240. Do s and -20 have different values?
False
Let i = 21 + -14. Suppose 0 = -6*t + i*t - 1. Is 5/8 greater than t?
False
Let y = 98 + -64. Suppose -3*o = -o - y. Is 18 bigger than o?
True
Let k(f) = -2*f - 7. Let d be k(-6). Let o be d*3 + -11 + 8. Suppose 0 = 2*s + o + 12. Is s greater than -12?
False
Let g be 991/5 + 1 + 21/(-105). Is 198 less than g?
True
Suppose -18*v + 228 + 2904 = 0. Is 175 greater than or equal to v?
True
Let h = 9 - 19. Let z(s) = -s - 24. Let j be z(h). Is j bigger than -14?
False
Let g be (-5)/(4 + ((-34)/4 - -6) + -1). Let d be (-16 - 0)/((-9)/(-6)). Which is greater: g or d?
g
Let t(n) = -n**2 + 15*n + 37. Let l be t(13). Which is greater: 249/4 or l?
l
Let k = 15.07 + -15. Let r = k + 4.93. Let z = 2 - r. Is -1 < z?
False
Let s be -8 + (46 - (5 - -1)). Is 8 less than or equal to s?
True
Let f be (20 - 13)/(2/36). Let t be f/268 + 9/(-18). Is t at most as big as 0?
True
Suppose t + t - 5*r - 20 = 0, 5*t - r = 4. Which is bigger: 8/91 or t?
8/91
Suppose -b - 14 + 4 = 0. Let s be (-6)/16 - b/112. Do s and -42 have the same value?
False
Let k = -19/6 - -8/3. Let g = -22 + 23. Let o = g + -6. Which is smaller: k or o?
o
Suppose -115 = v - 514. Let k = -285 + v. Is 113 at most as big as k?
True
Let l = 17 + -27. Let u = l - -14. Let w be (20/(-6))/(u/12). Is -11 at most as big as w?
True
Let x = 149 - 149. Is x < 259?
True
Let j = -24 + 36. Suppose 10*w - 7*w = -j. Which is bigger: w or -13/4?
-13/4
Let j be 807/(-498) - (-57)/38. Is j less than 0?
True
Suppose 5*s + 5*k = 5, s - k = 307 - 308. Is 6/379 > s?
True
Suppose 13 = 4*a - 7. Suppose -6*y = a*d - y + 595, 3*y = 15. Let m be 3/5 + d/140. Are m and -0.06 non-equal?
True
Let n(m) = m + 15. Let u(p) = p**3 + 4*p. Let g be u(-2). Let v be n(g). Which is greater: v or -1/4?
-1/4
Let h = 83 + -80. Suppose h*z + 54 = 120. Suppose -r + 3*o + 19 = 0, -o + 3*o + 108 = 5*r. Is z equal to r?
True
Let j(b) = -b - 3. Let c be j(-4). Let z(x) = -12*x - 2. Let d be z(c). Let w be 28/(-49) - 8/d. Is w less than 4/11?
True
Let x(p) = -3*p - 15. Let d be 9/(-2) - (-5)/(-10). Let n be x(d). Let b = 3.14 - 0.14. Is b equal to n?
False
Let g be (3/30)/(3/294). Is 9 <= g?
True
Let q(u) = u**3 + 7*u**2 - 9*u - 20. Let l be q(-8). Which is smaller: -9 or l?
l
Let i be 5/(-6) + (-456)/(-288). Which is smaller: -4 or i?
-4
Let q(x) = x**2 - 4. Let h be q(-2). Suppose -3*w + 5 = -3*s + 44, -5*s = h. Which is greater: -14 or w?
w
Let p(r) = r**3 - 3*r**2 - 2*r. Let c be p(4). Is 1 greater than c?
False
Suppose 1 = h - 4*d, h - 3*d - 12 = -2*h. Suppose 4*w + w + 23 = -2*x, w = -h*x. Which is bigger: x or -1/6?
x
Suppose -r + 4*b - 542 = 0, -3*r + 2*b - 3*b - 1626 = 0. Is r at least -1/4?
False
Let a be (9/6)/(13/1664*-12). Which is smaller: -22 or a?
-22
Let v be (380/6)/(-1)*(-18)/8. Is 143 less than v?
False
Let f(v) = 3*v. Let d be f(4). Suppose 2*i = t - i - 6, 2*t = 2*i + d. Let z = -0.151 - 0.149. Is z greater than or equal to t?
False
Let v be 328/(-16) + ((-2)/(-4))/1. Suppose t = 2*t + 50. Let y = t + 31. Which is smaller: y or v?
v
Let v(l) = l**3 - 10*l**2 + 9*l + 19. Let r = -65 + 73. Let x be v(r). Are x and -1/2 non-equal?
True
Let g = 15 - -2. Let u = g + -15. Suppose u*q = -2*q. Is q > -2/27?
True
Let g be 0 - -2 - (1 - -1). Suppose g = 5*p + t - 10, -3*t - 4 = -19. Are 1 and p equal?
True
Let n(l) = 3*l**2 + l - 6. Let a be n(-3). Let c be (144/(-16))/(1/(-2)). Is c >= a?
True
Let p = -338 + 2723/8. Is p at least as big as 3?
False
Let r be (21/9)/(6/(-450)). Is r smaller than -176?
False
Let s be (-1064)/(-760) + 3/5. Let r = -2 - -2.18. Is r != s?
True
Suppose -44 = 37*o - 33*o. Do -2 and o have different values?
True
Let w be 4/(-126)*3*19/2850. Which is smaller: 0 or w?
w
Let q = 91 + -90.63. Let x = q - 0.37. Which is smaller: x or 23?
x
Let s = 64 - 155. Is s > -91?
False
Suppose -7 - 1 = -4*u. Suppose 0*n + u = 2*n. Suppose 8 = -3*q + g + 3, 3*g - 11 = 5*q. Which is smaller: n or q?
q
Let d = -3254/7 + 464. Let l(i) = -i**2 - 2*i + 2. Let c be l(-3). Which is smaller: c or d?
c
Suppose 0 = -2*m - 351 + 459. Is 60 <= m?
False
Suppose 0 = -f + 2*a - 5, -6 = 2*f - 3*a - 0*a. Suppose 0 = h + 2*h - 9. Is f equal to h?
True
Let c(x) be the second derivative of 37*x**4/6 - x**3/6 + 3*x**2/2 - 8*x. Let b be c(1). Is 75 bigger than b?
False
Suppose -3 = 3*a, 3*o + a - 2*a = 13. Suppose 375 = -o*t - t. Let r = -671/9 - t. Is r equal to 0?
False
Suppose 3*k + 0*l = 5*l + 20, 0 = -4*k - 4*l + 16. Suppose 0 = -4*j + k*c - 17, -j - 4*c + 16 = -3*j. Do 2 and j have the same value?
True
Let z(m) = 2*m - 10. Let x = -12 + 17. Suppose -4*a = -0*a + u - 15, -a = -x*u - 30. Let j be z(a). Which is smaller: 5/8 or j?
j
Suppose l = -4*k + 275, -2*l = 2 + 8. Let b be (-30)/k + 556/7. Are 79 and b nonequal?
False
Let v = 113 + -122. Are -8 and v non-equal?
True
Let f = -50 + 54. Suppose f*k + 2 + 4 = -2*h, -4*k + 29 = -5*h. Is k > 0?
True
Suppose -3*j - 20 = 4*x, 3*j - 2*x + 4 + 22 = 0. Does j = -31/4?
False
Let n(m) = -m**3 - 5*m**2 - 5*m - 4. Let g = 9 - 12. Let s be n(g). Let i(b) = b**2 + 7*b. Let p be i(s). Which is smaller: 1 or p?
p
Let r = 187 + -179. Is 29/4 at least as big as r?
False
Let r be (-1)/(11/7249) + -9. Is -669 bigger than r?
False
Let p = 61/3 - 19. Let f be 12 + -9 + (-2 - -7)*-1. Let g be f + 21/9 + (-2)/6. Which is smaller: p or g?
g
Suppose 203 + 31 = -6*x. Is -39 less than x?
False
Let q(t) = 30*t**3 - 2*t**2 - 3*t - 2. Let a be q(-2). Let k = a + 2194/9. Let v(j) = j**2 + 7*j - 9. Let x be v(-8). Which is greater: x or k?
k
Let h be 2/5 + 4/(-10). Let r = 33/829 + -24099/43108. Let n = r + 10/13. Which is bigger: n or h?
n
Suppose 0 = -26*s + 14025 + 9167. Is s smaller than 893?
True
Suppose -1 = -6*n - 13. Which is smaller: 3 or n?
n
Suppose 116 = -7*b - 73. Let n be (-33)/b - 2/9. Does n = 8/7?
False
Let f = 6332 + -481253/76. Let d = 11/39 + -379/1482. Let j = f + d. Which is bigger: j or -1?
j
Suppose -d - 2*d = 4*w + 10, -4*d + 4*w = 4. Let v be ((-117)/(-20))/3 + d. Suppose -3 = z + 2*z. Which is greater: v or z?
v
Let o be 967 - 0*(-13)/104. Which is bigger: o or 966?
o
Suppose -f - 57 - 65 = 0. Which is smaller: f or -124?
-124
Let d = -160.87 - -1.87. Let q = 169 + d. Is 3 at least q?
False
Let a = -103 - -118. Which is bigger: a or -1/3?
a
Let a be 0/(2/(0 - 2)). Suppose 0 = -4*h - 4*y - 19 - 1, a = 5*y + 25. Let t be 21 + 576/(-27) - 14/(-24). Is t at least as big as h?
True
Let d = 22 - 22.18. Let u = 0.11 + d. Let g = -0.0555 - -0.1555. Is g < u?
False
Let x = 1257 - 2571/2. Is x > -28?
False
Suppose -3*t - 8 = -5*a, 0*t = 4*t + a + 26. Let w = 4.8 + -2.8. Which is greater: t or w?
w
Suppose 3*v - 3 - 9 = 0, 4*b + 208 = v. Which is smaller: 1/29 or b?
b
Suppose 4*g + 10 = -6. Let f(q) = -q - 4. Let t be f(g). Which is greater: -5/11 or t?
t
Let b = -787/2 - -392. Let o be ((-2)/4)/((-3)/(-24)). Let t be (-6)/o*8/(-6). Which is smaller: b or t?
t
Suppose -5*o + 4*r + 108 = -9*o, 0 = 4*o - 5*r + 144. Which is smaller: -2 or o?
o
Let i(u) = u**2 - 10*u + 15. Let s be i(8). Let r be -2 + 0/3 - (s - 1). Which is bigger: r or 0.15?
0.15
Let l be (2/4)/((-12)/24). Let i be 3/(-15)*(4 + l). Is i < -2?
False
Suppose -5319 = -13*j + 2455. Is 600 equal to j?
False
Suppose 6*z = 5*z - 14. Let j = z + 23. Let g = j - 13. Is g equal to -5?
False
Let v = 334 + -300. Are v and 37 non-equal?
True
Suppose 652*b - 653*b + 19 = 5*v, 0 = -v + 4. Suppose 0 = -x - 4 + 5. Which is bigger: b or x?
x
Let w be (2 + -3)*-1*-8. Suppose -4*j + 4 = -i - 13, 18 = -2*i + 4*j. Let o be (35/15)/(i/3). Is w smaller than o?
True
Suppose 29*u - 30*u + 2094 = 3*r, -8461 = -4*u + 5*r. Are u and 2109 nonequal?
False
Suppose -3*h = -3*n - 15, 0 = -2*n - 0*n + 4*h - 20. Let d = -2 - n. Suppose 0 = -u + 5*g + 