 + b. Is 1 at least as big as s?
True
Let q be (-4)/(-18)*(-3486)/56. Which is greater: q or -14?
q
Suppose 2*a - 44 = -2. Let q = a + -19. Is 3 >= q?
True
Let t be 3 + ((-80)/64)/((-77)/(-185)). Which is smaller: t or 0?
t
Let o be (51 - -2)*(-22)/(-14). Let w = -83 + o. Suppose -12 = 4*s - 5*r + r, 0 = 4*s + 2*r. Is w >= s?
True
Let u = 886 - 2533/3. Let g = -42 + u. Let o = 16.5 - 23.5. Do o and g have the same value?
False
Let m = -1536 + 749. Is m greater than -788?
True
Let s = 561/52 - 41/4. Let h = s + -15/52. Which is bigger: -8 or h?
h
Let g = 130 - 130. Suppose -l + 116 = -5*t, g = 4*l - 4*t - 222 - 194. Is l less than 100?
False
Let q be 8*1/(-4)*3. Let z(j) = 21*j**3 - 2*j**2 + 2*j - 1. Let n be z(1). Suppose m = 5*c + 18, -6*c = -2*c + n. Is q at most as big as m?
False
Let z(a) = -2*a + 4. Let b be z(-8). Let j be 3/(-4) - 9/b. Suppose -5*x = -0*x. Is x equal to j?
False
Let p = 61 + 28. Let m = p - 89. Which is smaller: 1/16 or m?
m
Let t be (4 - 2 - -3) + (-78)/13. Let x be (9/84)/(6/(-4)). Which is bigger: x or t?
x
Suppose 5*m - 1 = 4*y, -2*y + 4*m = -2 + 4. Let d = -12.6 + 13. Let p = -0.4 + d. Are y and p non-equal?
True
Let h be (-21 + 19)/(1*2). Let u be -2 + -1 + 1 + 0. Let i be u - 1 - (2 - 4). Is i at most h?
True
Let l be (-4 - -2) + 32/4 + -5. Let s = -8 + 6. Let m be 3 + l*(s + -1). Is m less than -2/5?
False
Suppose 32 = 2*c + 5*t, 7*t = 2*c + 2*t - 52. Let x = -16 + c. Let d = -4 - -7. Which is bigger: x or d?
x
Let r(g) = -4*g + 105. Let c be r(26). Which is greater: c or -154?
c
Let f = 12 - 13. Are f and -0.22 nonequal?
True
Let h = -0.9 - -4.9. Let g = 14 - h. Let c = g + -12. Is c smaller than 0.05?
True
Let j(r) = 2*r**2 - 3. Let w be j(-2). Suppose -w*m + 37 + 3 = 0. Which is greater: m or 2?
m
Let r(c) = -2*c**2 + c - 1. Let i = -86 - -86. Let t be r(i). Is t bigger than 1/70?
False
Suppose -33*v + 38 = -35*v. Let q(x) = -22*x**2 + 2*x - 1. Let y be q(1). Is v != y?
True
Suppose 4*a - t - 49 = 0, -a - 1 = t - 7. Suppose a*w - 5*w = -42. Is -6 greater than w?
True
Let v be 11/22 + (-26)/28. Is 1 at least v?
True
Let k = -3246/11 + 32801/110. Let p = -13/5 + k. Which is greater: p or 2?
2
Suppose 0 = -2*o - 0*o + 2. Let l be (7 - 7)/(o/(-1)). Which is bigger: l or 3/11?
3/11
Suppose -3*n - 4*q = -2*q + 4, 5*n = 3*q + 6. Is -12/17 at least n?
False
Let d = 1263/10 - 648/5. Which is greater: -3 or d?
-3
Let y = -6 + 5. Let k be -2 + (y - (-2)/(-1)). Which is greater: k or -1?
-1
Let q = 4/595 + 1451/119. Let t(u) = 13*u**3 + u**2 - 2*u + 1. Let k be t(1). Is q smaller than k?
True
Suppose -29 = t + o - 2, o - 98 = 4*t. Is t less than or equal to -316/13?
True
Let l = -32423/4774 - -95/14. Which is smaller: 1 or l?
l
Let y = -4367/4704 - -46/49. Which is greater: y or -1?
y
Suppose 4 = -8*o + 20. Let j be 12/(((-1)/(-4))/(o/(-4))). Is j equal to -24?
True
Let w be (-33)/(-22) - 747/(-6). Let t be 4/18 + 161/w. Does t = -3?
False
Let h = -83.7 + 83.6. Which is smaller: h or -4/53?
h
Let l = 7 + -22. Let o = 285 - 299. Are o and l equal?
False
Suppose 2*n - 5*i + 10 = 2, -5*i + 10 = 0. Let y(u) = u**3 + 4*u**2 - 2*u - 5. Let m be y(-4). Do m and n have different values?
True
Let o = 13.5 + -17.5. Do o and 0.76 have the same value?
False
Let z be (-1 - -2)*21/7. Suppose 3*o - z - 12 = 0. Let g be (o/6)/(2/4). Which is smaller: g or 3?
g
Let u be (-84)/14301*(-6)/4. Which is bigger: -1 or u?
u
Let s = 40.6 + -40.63. Is s <= 3/19?
True
Suppose 0 = 16*w - 17*w + 5. Suppose -12 = -2*o + w*o. Is -2 not equal to o?
True
Let c = 66 + -65. Does 2/199 = c?
False
Let l = 0 - 2. Let y be (332/168 - 2)*-239. Let q = y + -35/6. Is l not equal to q?
True
Let g = 1.6 + -4.8. Let y = 2 - -1. Let f = y + g. Which is greater: f or 0?
0
Let x(v) = -2*v**2 + 3 + v**2 - 5 + 2*v**3 - 3*v**2. Let y be x(3). Is y not equal to 15?
True
Let a = 849 - 836. Which is smaller: 3.3 or a?
3.3
Suppose 6 + 13 = 4*v - g, 4*v = -2*g + 34. Suppose -2*b = -v*b + 92. Let f = 29 - b. Which is smaller: 7 or f?
f
Suppose -3*n + d + 15 = 0, -4*d - 15 + 3 = 0. Suppose -3*a + 4*k - 12 = 0, n*a - k - 3 + 6 = 0. Is 3/41 <= a?
False
Let z = -3.4 + 0. Let j = -2.6 + z. Let i = -3 + 2.9. Is i at least as big as j?
True
Suppose 0 = -6*x + 1410 - 162. Which is smaller: x or 210?
x
Suppose 65 = -28*x - 355. Is x less than -7?
True
Let u(k) = k**2 - 5*k - 4. Let x be u(-3). Let h = 85 - 63. Are x and h equal?
False
Suppose 0 = -3*c - 3*z + 15, 3*z + 0 = 4*c - 13. Suppose k + c*l - 14 = -0*k, -44 = -4*k - 4*l. Suppose -15*w + k*w = 0. Are w and 2/7 non-equal?
True
Let d be (-1)/((-1)/2) + 3. Let f(h) = h**2 - 8*h + 18. Suppose 0 = 5*r + 8 - 38. Let g be f(r). Is d at least as big as g?
False
Let x be (4/12*-9)/(6/16). Is 0.01 >= x?
True
Let m(y) = y**3 + 27*y**2 + 110*y + 1. Let n be m(-22). Is 19/16 > n?
True
Let z = 2 - 10. Let c be 6*3/(-24)*z. Suppose -2*v + 1 = -n - c, 0 = 4*n + v - 8. Is -2 greater than or equal to n?
False
Let q(z) = -2*z - 25. Let k be q(-12). Let y be (k + 4/6)/(4 - 5). Are -31 and y unequal?
True
Let f = -1 + -2. Let h = f - -7. Let l = 7 - h. Do l and 3 have different values?
False
Let r = 70 - 37. Let y = -27 + r. Let g be 24/36 - 4/y. Is -5/8 at least as big as g?
False
Let n = 6.5 - 4. Let d = n - 2.6. Is d bigger than -2?
True
Let l = 80.3 + -74.3. Which is smaller: 0.04 or l?
0.04
Suppose -11*h = -7*h - 20. Suppose 2*c + 15 = 51. Suppose -4*m + c = -6. Is h bigger than m?
False
Let l = 0.072 - -3.928. Let q be (-15)/5 + (-697)/(-5). Let b = q - 136. Are l and b non-equal?
True
Let s be -6 + 1971/531 - -2. Which is bigger: s or -1?
s
Let v = -501 - -129. Does v = -372?
True
Let z be (-1)/(-1) + 335/690*-2. Which is bigger: z or -3/7?
z
Suppose -3 = -3*s + 3*b, -1 + 4 = 3*s - 5*b. Suppose s - 4 = 3*d. Is d at most 1?
True
Let x(f) = 5 - 4*f**2 + f**3 + 8*f**2 + 0*f**2 - 4*f. Let v be -1 + (-4)/(-4) + -5. Let c be x(v). Is c > 1?
False
Let p be 0 - -7 - 1 - (8 + -5). Let a = -3 - -3. Suppose -3*t + g - 1 = 0, a*g + g - 4 = 0. Is t greater than or equal to p?
False
Let m(i) = -11*i - 6*i + 5*i. Let c be m(-1). Suppose -9*t = -c*t - 9. Which is bigger: 2/5 or t?
2/5
Let c be (1*-1)/(15/4). Suppose 2*h = 7*h + 4*o - 17, -3*h - 3*o + 12 = 0. Is c less than or equal to h?
True
Let l be 3/(((-2)/(-2))/7). Let f = l + -14. Let b(u) = u - 7. Let w be b(f). Which is smaller: w or -7/5?
-7/5
Let u be 11/33 - 5/(-3). Suppose -7*o - 40 = -u*o. Let m be (-1 + -1)/(o/(-4)). Does m = 2/35?
False
Let o(g) = g - 20. Let h be o(10). Let c be 0/2*(-7 - 75/h). Which is smaller: c or -3?
-3
Let g = -2 + 1. Let k(b) be the third derivative of b**4/24 + 8*b**3/3 - 13*b**2. Let o be k(-10). Which is smaller: g or o?
g
Let b = -659.4 + 661. Suppose 6 = 5*r - 3*i, 2 = 2*r + 2*r - i. Which is smaller: b or r?
r
Let c = -10.041 + 9.9. Let b = c - -0.041. Is -3/8 not equal to b?
True
Let y(j) = j + 6. Let r be y(-11). Let v be -3 + 30/5 - 1. Which is bigger: v or r?
v
Let a be ((-14)/49)/(6/14). Let j = 0.05 + 0.01. Let o = -2.94 - j. Which is greater: o or a?
a
Let v = 126183/17 + -7425. Is v <= -2?
True
Let x = -254 + 254. Is 1/220 < x?
False
Suppose 0 = -u - 95 + 91. Are -16/3 and u equal?
False
Let j(b) = 2 - 2*b - 3*b + 6*b. Let n be j(3). Suppose -n*o = p + 5 - 0, -3*p - 15 = -5*o. Which is smaller: 1/2 or o?
o
Suppose 0 = -6*x + 2*x - 68. Let g = -16 - x. Is 2/3 not equal to g?
True
Let a be 8/(-32) - (84/(-16) - 4). Which is smaller: 79/8 or a?
a
Suppose -2*f + 5*q + 5 + 21 = 0, 3*f - 5*q = 29. Suppose 0 = -2*t - 5*l + 182, f*t - 248 = 3*l + 2*l. Which is smaller: t or 85?
85
Let o = 8 - 7.4. Let v = -0.7 + o. Let s = -0.3 - v. Which is smaller: -2 or s?
-2
Suppose 3 = 4*n - 25. Let f = n + -5. Let l be (-2)/f - 46/(-50). Which is smaller: 1/3 or l?
l
Let x = 1651 + -34661/21. Suppose 0 = -c + 105 - 106. Which is smaller: c or x?
c
Let s be 5*((-54)/135 + (-3)/(-5)). Is 45/19 greater than or equal to s?
True
Suppose 0 = m - 36 - 18. Let i be 2/9 - 39/m. Let x(p) = -p. Let q be x(2). Which is bigger: i or q?
i
Let x be (-3)/5*(10 - (-306)/(-30)). Which is smaller: x or -1?
-1
Let y(o) = 8*o - 11. Let w(q) = 15*q - 23. Let v(g) = -2*w(g) + 5*y(g). Let u be v(2). Does u = 11?
True
Let v = -1840/11 + 168. Let x be (((-2)/(-3))/(56/42))/(-1). Which is greate