r: 0 or n?
n
Suppose 883 = -3*z + 2*u, -1117 = 3*z + 2*u - 230. Is z at least as big as -295?
True
Let t(r) = -2*r + 6. Suppose -7*l + 12 = -l. Let c be t(l). Suppose -5*v - 25 = 0, c*n + 5*v + 30 + 5 = 0. Which is smaller: -4 or n?
n
Let a = 0.033 + 7.167. Let r = a - 4.9. Is 0.1 not equal to r?
True
Suppose 2*h - h = 3, -2*q = 3*h - 5. Which is bigger: 4 or q?
4
Let a(i) = 2*i**2 + 3*i - 4. Let h be a(2). Suppose -5*p + 41 = 3*j + 10, -10 = -j - 2*p. Do j and h have the same value?
False
Let s = -5.93 - 1.07. Let n = 7.52 - 0.62. Let p = n + s. Is p > 1?
False
Let l = 427 + -431. Which is smaller: 68 or l?
l
Let q be (-2 + 1 - 2) + 5. Suppose -3*r - 4*w = -2, 3*r - q*w = w + 30. Is r at least 8?
False
Let c = 193/336 - 45793/336. Let y = c - -136. Let z = -2.02 + 0.02. Are y and z nonequal?
True
Let v = -1955 - -1924. Which is bigger: -75 or v?
v
Let a = -576094907/21073013 + 4/296803. Let n = -248576/1065 - a. Let w = -206 - n. Which is bigger: 0 or w?
w
Let m be (30/(-18) - (-2 - 0))*12. Suppose m*y + 4*g - 6 = 10, -g = -2*y + 2. Is 2 at least as big as y?
True
Suppose 4*x + k + 1500 = 0, -4*x - 44*k - 1476 = -49*k. Which is bigger: -375 or x?
x
Suppose y + 3*t = -8 + 14, -5*t + 10 = 2*y. Which is smaller: y or -3/347?
-3/347
Let j = 0.3 - 0.31. Let y = 2.99 - j. Is y at most as big as -4/9?
False
Let m = 139 - -66. Which is smaller: m or 207?
m
Let g = 0.11 - 0.193. Let h = 0.017 - g. Are 55 and h nonequal?
True
Let a be 6 + -10 + (-66)/(-45). Which is bigger: -4 or a?
a
Let u = -4 + 3. Suppose -5*j + 9*j = 20. Suppose 6*y - y - j*g + 20 = 0, -5*g - 30 = 5*y. Is y <= u?
True
Let n be 1617/66 - 1*(-2)/(-4). Is 29 less than or equal to n?
False
Let w(q) = q**2 - 15*q + 3. Let z be w(0). Let p be (0 - (-24)/(-33))*-4. Which is bigger: p or z?
z
Suppose 7*i = -43 + 8. Let k = 3 - 1. Let q be (2*(-4)/i)/k. Which is greater: q or 1?
1
Suppose -422 = 5*u + 2*y, 0 = 5*u + y + 280 + 141. Which is smaller: -86 or u?
-86
Let j be -7 + 1428/141 + (-3)/1. Which is greater: 1 or j?
1
Suppose -248*c + 140 = -250*c. Let n = 27 + c. Which is greater: n or 0?
0
Suppose -2*a + 6 = 3*j, -5*j + 5 = 5*a - 0*j. Let y be 0 - (0/(-2))/a. Let h be (-8)/20*7 - -4. Is h less than or equal to y?
False
Suppose 32*s - 33*s + 52 = 0. Is s smaller than 53?
True
Suppose -858 = 5*l + 3*p - 13, -p = -5. Let f be (-39)/11*(-1164)/(-24). Let x = f - l. Which is greater: x or 0?
x
Let f = 77.054 + -0.054. Let c = -77 + f. Is -0.121 greater than or equal to c?
False
Let c be (1/(-18))/(6 + (-4124)/688). Is -2/3 greater than c?
True
Let p be (-1)/(-12) - (-473)/516. Which is bigger: p or 1/33?
p
Suppose 60 + 30 = 6*v. Suppose -68 = v*z - 11*z. Is z bigger than -5?
False
Let g(n) = n**2 - 6*n - 8. Let c be g(7). Let q = 2/519 + -181/2076. Is c less than q?
True
Let n = 391603/5 - 79068. Let t = 751 + n. Does t = 3?
False
Let h(o) = o**2 + o - 2. Let p be h(-3). Suppose s = -u - 58, p*s - 2*u + 15 = -205. Let q be (-7)/(-28) + 30/s. Which is bigger: 2 or q?
2
Suppose 10 = 5*n, n = 3*l - 2*n + 33. Let x be ((-4)/6)/(5/60). Is l equal to x?
False
Let o be (547/5)/(54/4875). Let s = o + -9858. Let z = 35/2 - s. Is 1 at least as big as z?
True
Let m = 701 - 11913/17. Let w(x) = x**3 - 25*x**2 + 2*x - 49. Let t be w(25). Which is smaller: m or t?
m
Let r = -118 + 154. Is r greater than 2?
True
Let q be (-4)/((-48)/36) + 4/(-2). Which is smaller: 2/677 or q?
2/677
Let r be 6/4 - (-12801)/(-102). Which is smaller: r or -125?
-125
Let l = -192 - -628. Is l < 437?
True
Let i = -79.32 - 1.68. Let f = i - -79. Is f equal to -0.4?
False
Let k be (21462/24)/7 + 1. Which is smaller: 129 or k?
k
Suppose 5*u = -3*j + 59, 3*u + u - 46 = -2*j. Suppose -14*l + u*l = 0. Let w be 92/31 - (-5 - -8). Is w bigger than l?
False
Suppose 4*l + 2*s = -0*l + 2056, l + 5*s - 496 = 0. Does l = 516?
True
Let m = -50 + -33. Let b = -83.1 - m. Which is bigger: b or -32?
b
Suppose -128 = 6*m + 2*m. Let z = -33 - m. Is -18 smaller than z?
True
Let i(w) = w - 8. Let v = -4 + -3. Let t be (-1)/(-4)*0 - v. Let u be i(t). Which is smaller: -3/16 or u?
u
Let v(h) = 16*h - 176. Let x be v(11). Is x > 3/23?
False
Let c be ((-2)/10)/((-1)/10). Let a be c - (4 + 58/(-26)). Which is bigger: 0 or a?
a
Let o(r) = 2*r + 2. Let q be o(-1). Let z be 2/(-2) - (6 - (q + -2)). Which is smaller: -11 or z?
-11
Let q = 341163137/174 - 1960689. Let y = -56/3 + q. Is y > 0?
True
Let v(y) = 2*y**3 - 22*y**2 - 20*y - 17. Let b be v(12). Which is smaller: b or 32?
b
Let z be 35/21 + (-601)/(-3). Suppose u - z = -5*k - u, 0 = -4*k - u + 161. Which is bigger: 39 or k?
k
Let o(g) = g - g**2 - 5 + 0 - 3*g. Let t be o(-2). Which is smaller: t or -8?
-8
Suppose 32*q + 571 + 1253 = 0. Is -64 < q?
True
Let d = 0.5 - 2.5. Suppose 5*t + 4*b - 14 - 1 = 0, b = 4*t + 9. Let j be -1 + t/(21/(-27)). Is d greater than j?
False
Let r = 398 + -398.03. Does r = 55?
False
Let q = -67 + 109. Let u(y) = -2*y**2 - 8*y - 4. Let i be u(-6). Let p = i + q. Is p smaller than 15?
True
Let l = -7/642 + 6205/451326. Are 0 and l non-equal?
True
Let o = -82 - -50. Let l = -53 - o. Which is bigger: l or -20?
-20
Suppose -5*i + 2*b + 7 = -0, -5*i = -3*b - 8. Let p be (5/(-10))/(i*(-1)/2). Are -10 and p equal?
False
Let f(r) = -r + 21. Let k be f(21). Is k at most as big as 1/276?
True
Let y(d) = -121*d**3 - 5*d**2 - 4*d - 1. Let x be y(-1). Suppose -x = -4*c - 27. Which is smaller: 71/3 or c?
c
Let d be (-2)/36*12/64. Let c = -5041 + 5041. Does d = c?
False
Let v(d) = d**3 + 4*d**2 + d + 5. Let s be v(-4). Let u be -8 + 0/(-1) + s. Let h(b) = 8*b**3 - 3*b**2 - 4*b - 2. Let c be h(-1). Which is greater: u or c?
u
Let r(p) = 1 + 1 + 3*p**2 + 0*p**2 + 3*p. Let f be 7/(35/15)*(-4)/6. Let t be r(f). Is 7 <= t?
True
Let i be ((-1)/2)/((-2)/(-4)). Let h(s) = s**3 - 10*s**2 + s - 6. Let m be h(10). Let d = m - i. Is 3 greater than d?
False
Let u = -42 + -81. Which is smaller: -124 or u?
-124
Let b = -69 + 71. Let u be (-48)/(-70) - 2/7. Is u > b?
False
Let c(q) = -q**2 + 8*q - 3. Let n(l) = l - 1. Let u(g) = c(g) + 2*n(g). Let f(k) = k**2 - 7*k + 1. Let m be f(8). Let p be u(m). Does 5 = p?
False
Let j(v) = v**3 - v**2 - 4*v + 3. Let l be j(2). Let k = 476 - 20939/44. Does k = l?
False
Let m = -355 + 354. Which is smaller: -3/2 or m?
-3/2
Suppose a = -5*p + 2*p - 5, 0 = -4*p - 4. Let i(m) = 2*m**3 + 40*m**2 + 31*m - 130. Let t be i(-19). Are a and t nonequal?
True
Suppose 0 = -3*a - c + 376, 4*c = 3*c - 2. Which is bigger: 129 or a?
129
Suppose s = o + 40, 5*o + 5*s + 240 = 10. Let r = 70 + o. Suppose -24*v = -278 - 394. Is v bigger than r?
True
Suppose -2*h = -h + 135. Let d = -143 - h. Which is smaller: -4 or d?
d
Let t(x) = -2*x**2 - 4*x. Let h be t(2). Which is greater: h or 0.1?
0.1
Let p = -1/45 - -4/45. Let v = 2 - 0. Suppose -g + 2*h = -0*g - 3, -3*g + v*h + 1 = 0. Are p and g nonequal?
True
Let z = -82/279 - -1/62. Which is greater: z or 2/3?
2/3
Let t = 2105 + -351538/167. Which is greater: -1 or t?
t
Suppose -4*s = 4*u, -2*u = -2*s + 2*u. Which is greater: -1/117 or s?
s
Suppose -2*n + 153 - 295 = 0. Which is smaller: n or -64?
n
Suppose 0*m - 5*m - 15 = 0. Suppose g + 6 = 2*g. Suppose -2*f = g*f + 24. Is m > f?
False
Let b be (-1946)/80 - 7/(-56). Which is bigger: b or -25?
b
Let t = -1 + 8. Let v = -5 + t. Let a = v - 1. Is 0 at least as big as a?
False
Let i be 2/2 - (-6 + 6). Let m be 2/(-7) - i*60/(-63). Is 1 at least m?
True
Let c(g) = -g**3 - 5*g**2 - 4*g. Suppose -3*v + 6 = 3*k, 4 = -2*v - 5*k + 2. Suppose -v*z = -0*z + 16. Let y be c(z). Which is smaller: -14/11 or y?
-14/11
Let y = 0.33 + 0.07. Let m = y - 0.3. Let c = 0 - m. Which is smaller: c or 0.01?
c
Let f = 51.1 + -51. Let p = -24/7 + 137/42. Is p not equal to f?
True
Suppose 5*m - 3*h - 16 = 0, -h = -m - 1 + 5. Suppose -117 = -m*l - 75. Is l < 21?
False
Let u(p) = p**3 + 7*p**2 - 9*p - 2. Let g be u(-8). Let x(d) = -d + 7. Let y be x(6). Let q be (3/g - y)*1. Do q and -1 have different values?
True
Let u(f) = f**2 + f + 6. Let y be u(0). Let j be ((75/6)/(-5))/(1/(-2)). Suppose n + j = y*n. Which is greater: 1/21 or n?
n
Suppose 3*m = 4*l - 237, -213 - 182 = 5*m + 2*l. Which is smaller: -80 or m?
-80
Suppose -u + 72 + 11 = 0. Let d = 19812179/238815 - -23/8845. Let z = d - u. Which is smaller: z or 