True
Let t = -23/76 + 1/19. Let r be (-2)/10 + (-16)/(-20)*-1. Which is smaller: r or t?
r
Let m be (-1)/(2*3/(-24)). Let j = 7 - m. Is j > 3?
False
Let o = 2.3 - 40.3. Let j = o + 27. Let k = j + 8. Is k != 1?
True
Suppose 2*n - 60 = 2*i, 5*i + 31 + 84 = 4*n. Suppose y + 3*y + 4 = 0. Let a be -1 + y - (-56)/n. Which is greater: a or 0?
0
Let y = -8 - -7.97. Let v = -0.33 - y. Let a = v + 0.4. Which is greater: 0.2 or a?
0.2
Let x be (-6)/4*88/6. Is -25 <= x?
True
Let o(c) = -2*c - 7. Let t = -11 - -7. Let x be o(t). Which is smaller: 4 or x?
x
Suppose 0 = -y + 4*z + 144, 3*z + 303 = 2*y - 2*z. Let b = y - 1146/7. Let a(h) = h - 6. Let i be a(5). Which is bigger: b or i?
b
Let o be 2/9 + (-2135)/9. Let b = o + 24. Let j = -1494/7 - b. Which is greater: -1 or j?
j
Suppose -2*c = -f + 6 + 1, c + 1 = -2*f. Let v = f + -1. Is -2/7 less than or equal to v?
True
Suppose -24 = -5*m - 9. Let b = 21 + -19. Is b > m?
False
Let o = 1 - 0. Let r be -2 - (-17)/12*2. Is o less than or equal to r?
False
Let t(j) = 2*j - 7. Let z be t(6). Suppose 0 = z*b + 6 - 56. Suppose -5*y - b = -0*y. Is -2 less than or equal to y?
True
Let w = -2 - -9. Suppose 5 = 5*u - f, 4*u = f + 2 + 1. Suppose -d = u*d - 21. Is d equal to w?
True
Let d = 43/21 + 5183/84. Let c be 2/6 - 191/(-3). Let w = c - d. Is 0 at most w?
True
Let n be (-6)/(-20)*(-5)/2. Let s be (-24)/(-64) + (-3)/8. Is s at least n?
True
Let w = -42 + 26. Which is smaller: w or -17?
-17
Suppose k - 5*y - 18 = -k, -4*y = 2*k + 18. Let d be 0 + k + (-135)/(-129). Let g = 31/258 + d. Is 0 < g?
True
Let f = 10 - 20. Let z = f + 10.1. Which is greater: z or 1?
1
Let o = -114 - -113. Which is smaller: -3/40 or o?
o
Let h = -91/3 + 30. Let l = 11 + -7. Suppose 2*s = -3*v - 2*v - 20, 0 = -l*s - 4*v - 16. Which is smaller: h or s?
h
Let w = 270/7 + -39. Suppose 0*r + 2*r + 6 = -4*o, -3*o + 1 = -4*r. Is o > w?
False
Let h be (6 - (7 + -2))/1. Which is bigger: 1.6 or h?
1.6
Let t(j) = 6 + j**3 - 3 - 2 - 4*j - 2*j**2. Let x be t(3). Let k be (-8)/6 + 3*15/(-27). Is x equal to k?
False
Suppose 0*u = -2*u + 4*d + 8, 5*u = 2*d - 4. Let v = -3 + u. Let g(z) = -z**3 - 11*z**2 - 2*z - 27. Let c be g(-11). Is v at most c?
True
Let a = 90 - 33. Is a < 58?
True
Let w be 2 - 1*7/4. Let n = -46084 - -323202/7. Let r = n - 88. Is r at least w?
False
Let n = -89/170 - -2/85. Let x be (-2)/(-3) + (-5)/3. Which is smaller: x or n?
x
Let d be 15/9 - 3/9*-1. Which is greater: d or -2/11?
d
Let y(v) = -v**3 - 5*v**2 + 4. Let w be y(-5). Is w less than 6?
True
Let o = 3 - 0. Let a be 1*(-1 + -2)/o. Which is bigger: a or -4/5?
-4/5
Suppose r + 3*k = -6, -4*r + 5*k - 4*k - 11 = 0. Which is bigger: r or 7?
7
Let n be ((-3)/(9/42))/2. Let u = n - -5. Which is greater: 1/3 or u?
1/3
Suppose -5*u = 11*u. Which is bigger: 1/25 or u?
1/25
Let b = 11 - 9. Suppose -b*d + 0 = -5*n + 33, 5*n - 24 = d. Is d != -9?
False
Let c = 293 - 3219/11. Which is greater: 0 or c?
c
Let k be 33/(-4) - (-9)/((-63)/14). Which is greater: k or -9?
-9
Let x = -212/45 - -46/9. Let d(t) = 3*t - 16. Let u(f) = -2*f + 15. Let w(q) = -3*d(q) - 4*u(q). Let p be w(-12). Which is smaller: x or p?
p
Suppose 4*s - 8 = 8. Suppose 6*a - s*a - 2 = 0. Is 2/5 smaller than a?
True
Suppose 68 + 47 = 5*b. Which is greater: 21 or b?
b
Let b be 2/1*(-3)/6. Suppose 4*c + 5*f = 23, -1 = -f + 2. Let q be 2 - (2 + c) - b. Which is smaller: q or -3/4?
q
Suppose -f = 1 + 1. Which is greater: f or 0?
0
Let f be (-88)/11 + (-3)/(-1). Let v = -5 - f. Which is greater: v or -3/10?
v
Let v = -2.3 - -8.2. Let j = v - -1.1. Is j > 2/9?
True
Suppose -2*g - 5 - 1 = 3*t, 5*g = 5*t - 15. Let p = -1167/65 + 89/5. Is t bigger than p?
True
Let q be (-3 + 1)/((-2)/3). Suppose q*o = -2*o. Is o != 2/9?
True
Let j = 0 + 6. Suppose 4*l - j = -18, 95 = 5*n - 5*l. Suppose -4*z - 1 = 5*a, -4*z - n = -2*a + 6. Do 1 and a have the same value?
False
Let c be 213/10 + (-3)/(-15). Let g = -85/4 + c. Is -5 less than g?
True
Let v(r) = r**2 + 5*r + 5. Let a be v(-4). Let k(p) = -p**3 + 7*p**2 - p + 10. Let j be k(7). Are j and a unequal?
True
Let k = 51 - 23. Is k greater than 0?
True
Let p = -0.05 + 0.15. Which is greater: p or 17?
17
Let o = -1.6 + 6.6. Is -3 less than or equal to o?
True
Let w(u) = -u**3 - 6*u**2 + 10*u + 7. Let x be w(-7). Which is smaller: x or -16?
-16
Let m = -5 + 6. Let v be ((-10)/(-8))/5*m. Which is smaller: 0 or v?
0
Let b = -247/188 - -3/47. Let q = -127 + 127. Is b not equal to q?
True
Let j = -48/119 + 2/17. Do 0 and j have the same value?
False
Suppose -4 = 2*d + w, 2*w - 1 + 0 = 5*d. Suppose 2*b + 0 = 2. Let y be (-48)/(-22) - (1 + b). Which is smaller: y or d?
d
Suppose 15 + 5 = -4*k. Let j be (-7)/(-1 + -3 + 6). Which is bigger: j or k?
j
Let i(c) = c**2 - 5*c + 3. Let n be i(3). Suppose 0 = -3*r, -2*x + 5*r = -x - 2. Suppose -x*j = -3*v - 11, -4*v + 0*v - 11 = j. Is v not equal to n?
False
Let w = 73.8 - 74. Is -1/14 smaller than w?
False
Let o be (-78)/(-21) - 10/(-35). Which is smaller: o or 0.1?
0.1
Let y be (0 + (-3 - 4))*-1. Suppose -3*i = u - y, 4*u + 3*i = -i + 4. Are -3 and u unequal?
True
Let y(c) be the third derivative of -c**5/60 - 3*c**4/8 + 5*c**3/6 - 2*c**2. Let m be y(-10). Let r = -10 - m. Is r >= -4?
False
Suppose -x + 7*x + 48 = 0. Does x = -7?
False
Let z = -0.26 - 0.04. Let x = 0.06 + -0.36. Let v = x - z. Are -0.3 and v non-equal?
True
Suppose 0 = 2*u - 10 + 30. Let k be 15/u + (-1)/(-2). Are k and -1 equal?
True
Suppose 3*n = -2*n. Suppose b = -n*b - 2. Are b and -1 equal?
False
Let t(s) = -s**2 - 4*s - 4. Let p be t(-3). Let k be (3/201)/(1/2). Let b = k + 61/201. Which is smaller: p or b?
p
Let f(r) = -r**3 - 5*r**2 - 3*r + 5. Let h be f(-4). Let b be 1/(-2)*12/41. Let n = 83/287 + b. Does h = n?
False
Let b be 0/(-2) - 0 - 3. Let u(w) = -w - 4. Let l be u(b). Let k be 2/((-3)/(-2) - 1). Is l at most as big as k?
True
Let f(q) = -2 - q**2 + 3*q + 2. Let w be f(4). Is -4 > w?
False
Let q = -0.07 - 2.93. Let z = 8 - 7.8. Let o = -0.3 + z. Are o and q non-equal?
True
Let g = -106/9 - -536/45. Is 1 < g?
False
Let a be 133/(-21) - (-4)/4. Are -3/5 and a non-equal?
True
Let m(z) = 13*z - 12. Let t(j) = 3*j - 3. Let v(r) = 2*m(r) - 9*t(r). Let g be v(4). Let l be (3/1)/(g - 0). Is l at least as big as 1/3?
False
Let n = -7.92 - -9. Let c = n - 0.08. Which is smaller: 4/7 or c?
4/7
Suppose -5*w - 3*a - 5 = -27, 4*w - 5*a - 25 = 0. Suppose 5*s + 7 = 2*m, w = 5*m - 4*m - 4*s. Which is greater: m or -1/5?
m
Let n = 359 - 387.1. Let h = -28 - n. Let u = -2/103 - -113/515. Is h != u?
True
Let b = -23 - -23. Let w(a) be the second derivative of -a**5/20 - a**4/12 + 3*a**2 + a. Let k be w(b). Which is greater: k or -1?
k
Let w = 154 - 155. Let u(c) = -c**3 - 4*c**2 - 4. Let g be u(-4). Let o = -1 - g. Is o < w?
False
Let v = 19 - 19. Is 4 at most as big as v?
False
Suppose -4*a = 2*c - 18, 3*a = -c + 3*c + 3. Let k(z) be the third derivative of -z**4/24 + z**3/2 + 2*z**2. Let o be k(a). Is o at most -2/3?
False
Let p be (-2)/8 + 371/1452. Let j = 740/2541 - p. Which is smaller: -1 or j?
-1
Let w(u) = -u**2 + u + 2. Let s be w(0). Suppose -2*d - k = 18, k + 4 = s. Which is smaller: d or -7?
d
Let p = 0.06 - -9.94. Let f = -26 + 16. Let t = f + p. Is t greater than or equal to 4?
False
Let c = -111 + 192. Let o = c - 403/5. Let b = -0.1 + 0.1. Is o greater than b?
True
Suppose -2*o - 34 = 4*s, 79 = -5*o - 5*s + 19. Is o < -42/5?
False
Let w be -4 + (-15)/(-10)*6. Is 17/3 >= w?
True
Let n be (-1)/(-29)*6/(-12). Is n smaller than -1?
False
Let x(p) = -p**2 - 5*p + 14. Let a be x(-8). Let l = a + 18. Is 8 bigger than l?
False
Let o = -1.24 - -0.24. Let u = 0.5 - -1.5. Which is greater: o or u?
u
Let h = 34 - 34. Is 2 less than or equal to h?
False
Let w(v) = -11*v + 4 + v**2 + v + 5. Let x be w(9). Is x less than or equal to -4/13?
False
Let j(s) = -4*s**3 - s**2 - s. Let w be j(-1). Suppose 3*r = w*r. Does r = 3/5?
False
Let f = -29 + 19. Let c = f - -10.2. Which is greater: c or -2?
c
Let y = 14 + -14. Which is smaller: y or 3?
y
Let z be 1/(-12)*-9 - (-129)/(-204). Which is greater: -11 or z?
z
Let a be 2 - -2 - (-5 - (-138)/15). Is 2/73 at most a?
False
Let i = -30 + 30. Which is bigger: 2/3 or i?
2/3
Let c(o) = o - 5. Let t be c(3). Let q be t/8 + 3/(-4). Let i be ((-6)/(-32