 greater than 2?
False
Suppose -4 = -4*v + y - 5*y, 3*y = -3. Suppose v*b - 4 = 6. Suppose 0*k + 5 = -b*k. Which is smaller: 4 or k?
k
Let y = -191/374 + 19/22. Which is greater: -29 or y?
y
Let g = 22.742 - 22.9. Is 1 <= g?
False
Let f = 11 - 17. Let b be f/(-8) - (-894)/(-1128). Let s = b + 151/235. Which is smaller: s or 2?
s
Let v = -0.02 + -4.18. Let z = 5.6 + v. Is z smaller than -1/2?
False
Let q = -2.279 - -0.019. Let u = q + -0.44. Let z = 2.6 + u. Is -1.3 at least z?
False
Let s = 16.8 - 19. Let p = -1.8 + s. Let w = 0.05 + 0.95. Which is smaller: w or p?
p
Let y be 18940/(-465) + -1 - -1. Let v = 122/3 + y. Suppose 0 = 2*w + w. Are w and v equal?
False
Suppose -i = p - 0*p + 30, 0 = 3*i - p + 70. Let y = -36 - i. Which is bigger: y or -12?
y
Suppose 0 = -5*h - 35 - 35. Let r = -2.28 - 0.02. Let a = 0.3 + r. Which is bigger: h or a?
a
Suppose -4*x = 2*x + 42. Which is smaller: x or -8?
-8
Let u = -13 + 4. Let q(z) = z + 9. Let r be q(u). Suppose -b + 5 - 4 = r. Which is smaller: -1/6 or b?
-1/6
Let r = -607 + 598.98. Let a = -0.02 - r. Let p = a - 8. Which is greater: p or -0.3?
p
Suppose 145 = 4*c - 5*z, -3*c + z = -24 - 71. Let d be (-8)/(-10)*c/4. Let s = d - 8. Which is bigger: 0 or s?
0
Let r(l) = 7*l**2 - 8*l**2 - 3*l + 11 + 2*l. Let p be r(-6). Which is bigger: -17 or p?
-17
Let j be (-11)/11 - (-1 + 0). Suppose j*d - 20 = -5*d. Suppose 6 = -4*l - 3*b, d = 4*l - 0*b - 2*b. Are -4/9 and l non-equal?
True
Let i(p) = 2*p + 5. Suppose 7 = -4*b - 1. Let m be i(b). Is 2/17 less than m?
True
Suppose 6 = -3*b, -7 = -0*g - 5*g + b. Let q = g + -2. Suppose 0 = 4*p - 5*v - 11, -2*v = -4*p - 1 + 3. Is q greater than p?
False
Suppose -12 = 20*x - 22*x. Suppose 9*n - x*n = 15. Which is greater: n or -2?
n
Let w be (-28)/(-21) - 6/18. Let a be (3/(-2))/(129/4). Which is smaller: w or a?
a
Suppose 6 = -m + 4*m. Suppose 2*i - 2*s = 0, -2*i + m*s - 3*s = 9. Let h be (12/18)/(2/i). Is -2/5 at most h?
False
Suppose -4*a + 10 = -10. Let w = -7 + a. Let p be (-90)/(-70) + 2/(-7). Is p bigger than w?
True
Let x be -13*(-15)/5 - 0. Suppose 2*h - 2*o = -11 + x, -o + 41 = 4*h. Are 13 and h equal?
False
Let n be (0*1/4)/(-2). Suppose t = -4*t + 35. Let d = -11 + t. Which is smaller: d or n?
d
Let t be (6/(-50))/((-9)/6). Let s = 415 + -416. Is s > t?
False
Let g = 68.1 + -18.1. Which is bigger: g or 0.1?
g
Let j = 366 + -759. Is -389 smaller than j?
False
Suppose z + 342 = 2*x, -3*x + 4*z = -6*x + 491. Does 170 = x?
False
Suppose 0*p + 5*p - 3*r = 1, 0 = -p + r - 1. Let a be 1 + p + -3 - -4. Let v be ((-2)/a)/((-7)/28). Is 3 less than v?
False
Let r be 3/(-6) + (-54)/(-28). Let z(o) = o + 7. Let w be z(-6). Which is greater: r or w?
r
Suppose 0 = -15*a + 22*a + 56. Suppose -7*u - 7 = -8*u. Suppose -5*y - 38 = u. Which is smaller: y or a?
y
Let r(c) = c**2 + 15*c - 100. Let i be r(-20). Do i and 2/21 have the same value?
False
Suppose -j + 1 = -1. Suppose j*q = -q - 3. Let c be (-17)/3 - (-104)/26. Is q > c?
True
Suppose 3*x - 200 = -2*m + 6*m, -196 = 4*m - 4*x. Let r = m - -54. Is -2/153 less than or equal to r?
True
Let o = -54/7 - -239/21. Is o at most as big as -0.1?
False
Let o = 12 - 14. Which is bigger: o or 176?
176
Suppose -5*k + 2*n = -5, -2*k + 3*n = -3*k + 18. Suppose 2*j + 0*j + k*j = 0. Which is greater: j or -1?
j
Let h = -0.4 - -0.4. Let p = 81.03 - 81. Which is smaller: p or h?
h
Suppose 44*o - 3 = -47. Is -3/38 > o?
True
Let y(v) = v**2 - 2*v. Let w be y(0). Is 3/23 less than or equal to w?
False
Suppose n - 28 = 3*d - n, 3*n = -2*d - 36. Let c = 3.3 - 1.3. Is c at least as big as d?
True
Let s be (-3)/5*3/36. Let v = 23 + -17. Let d be ((-3)/v - 0)*2. Is s greater than or equal to d?
True
Let v = 11 + -28. Is -11 greater than or equal to v?
True
Let s = 8743/13 - 673. Suppose -50 = 5*r + 3*u, 50 = -4*r - r - 4*u. Let p = 9 + r. Are p and s nonequal?
True
Let g(u) = -u**3 + 7*u**2 - 9*u + 19. Suppose 23*k - 24 = 19*k. Let m be g(k). Are 1/78 and m unequal?
True
Suppose -11*q = -0*q - 11. Let w = -4/143 - -578/10439. Is w not equal to q?
True
Let s = -2 - -25. Which is greater: 2 or s?
s
Let o = 41.8 - 41.7. Is o > -0.3?
True
Suppose 4*n = 22 + 42. Let w = -17 + n. Let g be 0/(2/1 + -4). Are w and g equal?
False
Let m = 197 + -196. Which is bigger: m or -1/5?
m
Suppose 0 = -y + 5, 32*y - 719 = -2*s + 33*y. Which is bigger: 365 or s?
365
Let p = -1/151 - 28/18573. Suppose 0 = 2*w - 3*w. Is w <= p?
False
Suppose -3*z - 2*a = 2*a - 31, -2*a = -4*z + 12. Suppose -z*i + 90 = 2*k, k + 5*i = 2*k - 30. Which is greater: k or 42?
42
Let g be (-1778)/(-798) - (51/57 - 1). Is g at least as big as -23?
True
Let u = -3 + -1. Let g be u/(-22) + (-204)/(-88). Suppose 6*f = -0 + 12. Is f not equal to g?
True
Let i(a) = -3*a - 9. Let z be i(-5). Suppose 0*n = 3*n - z. Suppose g = -n, -o + g - 11 = 4*g. Is o > 1/2?
False
Suppose 5*u + 7*a + 13 = 11*a, -u + 3 = 2*a. Is 12/89 greater than u?
True
Suppose -2*o + 4*o + 86 = 0. Which is smaller: 4 or o?
o
Let d be (-608)/84 - (0 - -1) - -6. Is d less than -3?
False
Suppose 2*m = -3*p + 11, -2*p - 5*m = -p - 8. Suppose -2*a + p*j = 5, -a + 3 - 7 = -j. Let w = a + 4. Is w equal to -3?
True
Let o = -6.24 - -0.19. Let v = -111 - -105. Let z = o - v. Which is smaller: z or -2?
-2
Let v = 0.01 - -16.99. Let m = -55 + 37. Let k = m + v. Do 2 and k have different values?
True
Suppose 12*r = 651 - 615. Is r <= 9/5?
False
Let x be (-9)/30 + (-613)/(-10). Is x bigger than 61?
False
Let s = -17.91 - -18. Let m = s + -0.06. Let a = -0.1 + m. Is 0 >= a?
True
Let z = -16 + 19. Which is greater: z or 32/13?
z
Suppose -291 = 3*d + n, 0*n + 97 = -d + 2*n. Is -97 not equal to d?
False
Let q = -12 + -64. Let m = -86 - q. Does m = 0?
False
Suppose -776*h = -778*h + 2. Is h bigger than -40?
True
Let p = -16426/2555 + 1/2555. Is -7 at most p?
True
Let a be (-384)/20 - (-5 + (-6)/(-3)). Which is smaller: a or -16?
a
Let u(a) = -a - 6. Suppose -3*t = -7 + 37. Let s(r) = r**2 + 10*r + 4. Let x be s(t). Let h be u(x). Are -9 and h equal?
False
Let m = 0 - 0. Let x = 1599.11 - 1599. Which is greater: m or x?
x
Suppose 781 - 121 = 5*d. Is d <= 132?
True
Let w = 3389/7 - 484. Let q(v) = v**3 + 6*v**2 + 6*v + 1. Let f be q(-4). Suppose t = 5*o + f, -o = -5*t - 0*o - 3. Is t at least as big as w?
False
Suppose -3*a + q = -4 + 3, 2*q = -a - 2. Let n(z) = -z**3 - z**2 - z + 15. Let f be n(a). Is 16 != f?
True
Let v(q) = q**3 + 3*q**2 - 6*q - 5. Let m be v(-4). Suppose 4*w = m*g + g, 0 = 3*g + 5*w. Let x = -736/2625 - 2/375. Which is smaller: x or g?
x
Suppose 2*n = 5*s + 3, 3*n = -2*n - 2*s - 7. Let h be (5/365)/((-42)/(-1766)). Let c = 1/219 - h. Which is smaller: c or n?
n
Let r = 420 + -418. Let q = -5 + 8. Let f = q - r. Which is bigger: f or 0.03?
f
Let p(c) = -2*c**2 - 5*c + 8. Let d be p(-4). Which is bigger: -11 or d?
d
Let x be (-26)/6 + (-2)/4. Let v be (1/4)/(-2*3/132). Let z = x - v. Are z and -0.05 unequal?
True
Let r = -635 - -1229. Is 1/3 bigger than r?
False
Let l = 37 - 134. Which is bigger: -105 or l?
l
Suppose -1 = w - 2*z, z + 3*z = 8. Let y(b) = -b - 5. Let h be y(-9). Let o be 0*(w - 14/h). Is o < 0?
False
Let l be (-6)/9 - 79/3. Let k be 2 - (l/(-6) + -2). Which is bigger: 1/7 or k?
1/7
Let p = 48 + -103. Let k be 0/(-2) + p/(-29) - 2. Is -0.1 != k?
True
Let h = 48 - 65. Let c = -16.79 - h. Which is bigger: c or 0.2?
c
Let h be (24/20 + -6)/((-6)/(-80)). Which is bigger: h or -61?
-61
Let t(a) = a**2 + 61*a - 361. Let w be t(-67). Which is smaller: w or -4/7?
-4/7
Let m = -2487 + 2481. Is -19 < m?
True
Let b = 1.99 - 2. Let s(q) = -7*q + 8. Let g be s(1). Which is smaller: g or b?
b
Let i = 415 + -321. Is i at most 94?
True
Let t be (-651)/35 + 10/(-25). Which is greater: t or -18?
-18
Let p = 3.1 - 17. Let j = p - -14. Let b be (-34)/10 + -4 + 7. Which is smaller: b or j?
b
Let h = -103.3 - -104.4. Is 0.3 bigger than h?
False
Suppose -5*v + 7*v - 122 = -3*b, 5*b = v - 61. Let j = -62 + v. Is j smaller than -1/11?
True
Let r = 1258 + -1312. Is r >= -57?
True
Let d = -229 - -160. Let j = 37 + d. Let h be (-3)/46*j/24. Is h not equal to 0?
True
Let s = 0.0739 + -0.2739. Let b = -32.74 + 33. Which is greater: s or b?
b
Let v = -9 + 3. Let p = 7.16 + -0.16. Let t = p + v. Which is smaller: 0 or t?
0
Suppose 17*i + 9 = 8