t 2?
True
Let w = 35 - 35. Which is greater: w or -1/139?
w
Suppose 2*b - 5 - 13 = 4*t, 5*t - 9 = -2*b. Suppose 5*a = b*a + 2. Which is smaller: 0 or a?
a
Let w = 70 - 88. Is -2/7 at least w?
True
Let p(n) = -13*n**2 - 9*n - 19. Let j(u) = -7*u**2 - 5*u - 10. Let o(t) = -11*j(t) + 6*p(t). Let c be o(0). Let i = 7 + c. Is 4 greater than or equal to i?
True
Let j(i) = 4*i + 25. Let v be j(-6). Which is smaller: -1/28 or v?
-1/28
Let x(y) = y**2. Let z be x(1). Which is smaller: z or -2/115?
-2/115
Let c be (-24)/10*1*(-3)/(-12). Which is smaller: c or -4/7?
c
Let q = -27/4 + 125/4. Let x = q - 24. Suppose 4*p = -h - 29, -5*p + 3*h + h - 10 = 0. Which is bigger: x or p?
x
Suppose -b + 6*j = 3*j - 11, -4*j - 16 = 0. Let a be -2*b*(-3 + 2). Which is smaller: -4/3 or a?
a
Suppose 30 = -4*w + 2*w. Let o = -9 - w. Suppose 0 = l - 4, 30 = 4*i + 5*l + o. Is 1/2 smaller than i?
True
Let n = -20/21 - -458/525. Let i be -2*(-2)/4 - 2. Are n and i equal?
False
Let z = 2.136 + -0.166. Let m = z - -0.03. Which is smaller: m or -2?
-2
Suppose 4*b + 5 = -b. Let j = -1 - -1. Is b >= j?
False
Let s(v) = -2*v - 6. Let d be s(-3). Which is bigger: -4/9 or d?
d
Let i(v) be the second derivative of -v**5/20 - v**4 + v**3/6 + 6*v**2 - 7*v. Let c be i(-12). Which is smaller: c or 5/7?
c
Let t be (-9550)/(-2)*9/(-66). Let g = t + 651. Which is smaller: g or 0?
g
Let p = 17/3 - 49/9. Do 3/2 and p have different values?
True
Let r(j) = 0*j**2 - 5 - j**2 - j + 8*j. Let x be r(6). Is -2/21 at least x?
False
Suppose -3*r + 4*h = 8, 4*r + 0*r + 2*h = 4. Suppose 6*l - 3*l + 3 = r. Let v be ((-1)/6)/((-8)/6). Are v and l nonequal?
True
Let t = -3.92 - -4. Let g = 0.02 + t. Let l = -39/2 - -121/6. Is l equal to g?
False
Let z(o) = o. Let j be z(-1). Let i(d) = 2*d. Suppose 0*h = 4*h + 4*f, 4*f = -h + 3. Let c be i(h). Is c greater than or equal to j?
False
Suppose 3*t = -t + 8. Let r be (t/84)/(1/(-4)). Is r < -1?
False
Let x be 75/(-4) + (-12)/(-16). Let r be (-3)/(-27) + 6/x. Which is greater: r or 0.4?
0.4
Let c be (-4)/(-9) + 2/9. Suppose 2*g = s - 2, -5*s + 10 = 3*g + g. Which is smaller: c or g?
g
Let b = -0.13 - -2.13. Let y = 0.5 - 0.4. Is b > y?
True
Let f = 140/891 + 2/81. Are 3 and f equal?
False
Suppose 0 = 2*n + 2*n + 2*p - 2, 0 = 2*n + 5*p - 5. Suppose n = -u - 2 - 0. Suppose -2*w + 6*w = -5*m + 10, -3 = 4*m + w. Is m > u?
False
Let q = 42 - 14. Let c = 56 + -36. Suppose c = -3*h - 4*w, -2*w - q = 5*h + 2*w. Which is greater: h or -3?
-3
Let t = -6 - -2. Let c = t - -1. Suppose 0 = -7*o - 10 - 11. Is o equal to c?
True
Let z = 8 - 5. Let a = -15 + 14.9. Which is bigger: a or z?
z
Let x = 3865.077 - 3868. Let z = -0.023 - x. Let u = z - 3. Is -1 less than or equal to u?
True
Suppose -5 = t + 4*t. Is 2.5 less than or equal to t?
False
Suppose 3*k = 4*t - 2, 2*t - k + 4*k - 10 = 0. Suppose v - t*f - 25 = -7*f, v = 2*f - 10. Let s be 16/(-15) - 2/(-5). Is s at least v?
False
Suppose -5*t + 0 = 5*i - 35, -i = 2*t - 13. Which is smaller: 1 or t?
1
Let u(j) = 2*j + 0*j + j + 5. Let c be u(-7). Let x = c - -47/3. Which is greater: x or -1?
x
Let n(a) = -a**3 + 7*a**2 + a - 7. Let u be 6 - 1 - (-4)/2. Let b be n(u). Let r be (2/6*3)/(-4). Which is smaller: b or r?
r
Let h be (6 + -3 + -1)*-1. Let p be (2 + -2)/(4/h). Which is greater: p or 3/7?
3/7
Suppose 0 - 4 = 2*m. Let u be 1 - -1 - 4/m. Which is greater: -2 or u?
u
Suppose i + 1 = -2*k, 4*k + k + i = -1. Let s = -299 - -291. Do k and s have different values?
True
Suppose 2*y = -2*y + 4*f + 32, -5*y + 4*f + 43 = 0. Which is smaller: 81/7 or y?
y
Let v = -13 - -14. Is 0.1 > v?
False
Let v be (-4 - -5)/(1 + (-24)/23). Is -0.1 at most v?
False
Let l = -44 + 263/6. Which is greater: 1 or l?
1
Suppose 0 = q + 3, 5*n + 3*q + 22 = -12. Let o be n - -7 - (-2)/(-1). Suppose 4*i - i + 3*g = o, 5*g + 2 = -3*i. Are 1 and i non-equal?
False
Let j = 20 - 19. Let a be 3 - j/((-21)/(-39)). Is 1 at least a?
False
Let x be (0/(-1))/(7/7). Let v = 159/4 + -40. Is v equal to x?
False
Let w = -5.2 - 58.8. Is 0.1 equal to w?
False
Let o be 17 + -20 + 130/43. Which is smaller: o or 1?
o
Let g be (-1 + 2 - 3)*-1. Let o be g/7*(-7)/3. Suppose 0 = 2*x + 4, -3*x = 5*h - 7*x + 2. Is h less than or equal to o?
True
Let t(u) = -u**3 - 7*u**2 - 6*u + 4. Let c be t(-6). Suppose -c = -w - w. Suppose -20 = 4*z - w*y, -5*y + 12 = -z - 11. Is -2 greater than z?
True
Let w(i) = i**3 + 2*i**2 - 10*i - 3. Let r be w(-4). Suppose 0 = 5*v + 4*x + 26, -4*v + 2*x = v + 32. Let b = r + v. Which is greater: b or 1?
1
Let a be ((-2)/(-3))/((-36)/(-4)). Let c = 94/189 + a. Let j be (1 + -2 + 1)/1. Is j smaller than c?
True
Let o be (-2)/4 + 5/((-930)/(-87)). Is 1 less than o?
False
Let i(g) = -g**3 + 4*g**2 - 4*g + 1. Let n be i(3). Is n less than -5/3?
True
Let u = -1 + 5. Let d = -0.097 + -4.003. Let k = d + u. Is k >= -0.1?
True
Let j(k) = -k + 1. Let p be j(5). Let y be (-14)/30 - p/(-20). Do -1 and y have different values?
True
Let q be 3/(-27)*(-14 + 7). Are 1 and q unequal?
True
Let x be 564/336 - (-1)/(-4). Is 0 at least as big as x?
False
Suppose -2*b = 5*m + 46, 4*b - 5*m + 8 = -24. Is -12 equal to b?
False
Let u(f) be the second derivative of -f**5/20 - f**4/3 + f**2/2 + 6*f. Let r be u(-4). Which is smaller: r or -3/8?
-3/8
Let t = 8.5 - 9.5. Which is smaller: t or -99?
-99
Let u = -7.92 - -8. Which is bigger: 2/7 or u?
2/7
Let f be (-2)/11 - (108/44)/(-3). Is 1 less than f?
False
Suppose 10 = 2*c + 2*j, -4*c + 4 = -4*j + 24. Suppose 24 = 2*l - 5*a, 6 = -l + 5*a + 23. Suppose -2*n + l*n - 4 = -y, -n + 4*y = -5. Is c at most n?
True
Let x = -77/6 - -13. Which is smaller: -1.9 or x?
-1.9
Let u(i) = -i**2 + 7*i - 4. Let m be u(7). Let r = m - -6. Let b = 5 - r. Which is greater: b or 2?
b
Let t = 2.6 + -2.52. Which is smaller: t or 1/3?
t
Suppose 0*l - 4 = -4*l. Let k be 38/(-52) - (-2)/4. Which is smaller: l or k?
k
Suppose 2*u - 10 = 4*u - 3*g, 4*g = 8. Let z be (-4)/(-6)*1547/(-14). Let n = z - -73. Which is greater: u or n?
n
Let z(n) = 102*n - 3. Let k = 1 - -3. Let y be z(k). Let u = y + -9317/23. Is 0 greater than u?
True
Let w = 13.2 + -13. Let g = -8.3 + 8. Let m = 0.4 + g. Which is greater: w or m?
w
Let v = 23/140 + 31/20. Which is smaller: 2 or v?
v
Let i be 0 + -1 - (-6)/(-2). Let w be i/(-1 - -3 - 1). Which is greater: w or -3?
-3
Let x be 2/(-660)*(-16)/1196. Let t = x + -1016363/1529385. Let v = t + 2/31. Which is smaller: -1 or v?
-1
Let t(k) = -k**3 + 2*k + 1. Suppose 0 = j - 0*j - 2. Let w be t(j). Let z = 1/24 - 37/24. Is w != z?
True
Let o = -4.7 - -0.7. Let m = o - -4. Which is smaller: 2/5 or m?
m
Suppose 5*y + 3*z + 14 = 0, 3*y = 2*y - 2*z. Let l(a) = -a**2 - 2*a - 1. Let i be l(-3). Let n = i - -1. Which is greater: y or n?
n
Let a(q) = q - 4. Let b(r) = 4*r - 11. Let t(g) = -7*a(g) + 2*b(g). Let s be t(-6). Which is greater: -3 or s?
s
Let j = -681/140 - -4/35. Is j <= -5?
False
Suppose -3*z = -5*v + 24, 14 = -0*v + v + 4*z. Suppose 16 = -3*s - g, g + 0*g - 5 = 0. Let c = v + s. Which is greater: c or 0?
0
Let m = -308401/420 - -5139/7. Let r = -1/20 - m. Which is greater: r or -1?
r
Suppose 2*p = 17 + 1. Suppose 2*a + a = p. Is a less than or equal to 2?
False
Suppose 87 - 7 = -h + 5*b, -4*b = -3*h - 273. Let x = -473/5 - h. Which is greater: -2/5 or x?
x
Let u(a) = a + 8. Let p be u(-8). Let b = 44/2093 - -6/91. Is p at least b?
False
Let a be ((-2)/(-9))/((-5)/15). Is 0 greater than a?
True
Suppose -2*b + 5*b - 45 = 0. Which is greater: b or 16?
16
Suppose 319 - 31 = -6*y. Let k be (-11)/(-1 - 20/(-26)). Let q = k + y. Is q at most as big as -1?
False
Let b = -19 + 31. Let g be (-51)/4*8/b. Let r = g - -8. Which is bigger: 0.1 or r?
0.1
Let h be (5/(-30))/(0 + (-9)/(-12)). Is 8/7 greater than h?
True
Let b be (-2)/14 - 736/(-56). Is 14 less than b?
False
Let n = 19.08 + -19.2. Which is bigger: -1 or n?
n
Let q = 15 + -25. Suppose -14 = 3*s + 13. Which is bigger: q or s?
s
Let o(t) = t**2 + 7*t + 11. Let s be o(-4). Is s at least as big as 1/9?
False
Let a = -37802/777 + -4/259. Let u = -48 - a. Let r = -0.9 + 1. Which is smaller: r or u?
r
Let f = -90.215 - 1.885. Let y = -83 - f. Let s = -9 + y. Is 2/31 at most as big as s?
True
Let r = -23 - -19.9. Let s = r + 3. Is s at least 0.4?
False
Let m be (1/(-6))/((-10)/(-75)). W