
True
Let m = -10 + 16. Suppose -2*f + 0 = -m. Is f at least 2?
True
Let b(c) = 5*c**2 + 3*c + 1. Suppose -3*d + 2*i - 26 = 6*i, 4*d = 4*i + 12. Let h be b(d). Is h less than 16?
True
Let o = -487/1729 + -1/247. Let c = -3.8 - -3. Let z = -0.3 - c. Which is smaller: o or z?
o
Let o be 4/(-18) + (-10)/(-18). Suppose c - 3*r - r = -9, -24 = -3*c - 5*r. Which is smaller: c or o?
o
Let h = 94/585 - -4/65. Does -1/2 = h?
False
Let t(d) = d**2 + 5*d - 4. Let c be t(-6). Let z be c/(-56) - 8/(-28). Suppose 0*l - 2*l = 2*b, 5*l + 3*b = -2. Which is smaller: z or l?
l
Suppose 3*p = 2*t + 6, -4*p + 4*t + 4 = -4. Suppose 2 + 0 = -p*c. Which is smaller: -2 or c?
-2
Suppose 9*k - 10*k = -2. Suppose -4*a = 3*p - 6, 0 = 3*a + a - k*p + 4. Which is smaller: a or 5?
a
Let f = 15 - 10. Suppose 4*a = -5*l - 22, -16 = l - f*a - 0*a. Let d be (-2)/(-33) - (-2)/l. Do d and 1 have the same value?
False
Suppose 3*u = 4*w + 31, -4*u - 3*w + 12 = -w. Let t be 6/(-10) - (u - 7). Is t not equal to 1?
True
Let x = -113/2 - -62. Let i = x - 161/30. Do i and 1 have the same value?
False
Let u = 31 + -32. Which is bigger: u or -2/15?
-2/15
Suppose 3*y + 79 = 4*z, 16 = -2*y - 3*z - 48. Which is smaller: -30 or y?
-30
Let w be (-2)/5 + (-1058138)/6055. Let j = w - -1226/7. Let y = 161/1038 - j. Do y and 1 have the same value?
False
Let s be 5/((-1*3)/(-3)). Suppose -5*o + 3*p + 0 = -11, 3*p - 29 = -s*o. Let k be (-24)/14 + o/(-14). Is -3 greater than k?
False
Let a = -10.9 + 15. Let i = 3.9 - -0.1. Let n = a - i. Which is smaller: n or 4?
n
Let x = 321 + -153. Let i be ((-16)/x)/(9/(-7)). Which is smaller: -1 or i?
-1
Let f(x) = x**2 + x. Let i be f(-1). Suppose 0 = -5*k + 2*c + 4, i = k - 4*c - 3 - 5. Suppose k = -0*y - y + 4. Which is greater: 2 or y?
y
Let q(z) = 6*z**3 - 4*z**2 + 11*z + 10. Let n(i) = -5*i**3 + 3*i**2 - 10*i - 9. Let l(o) = -7*n(o) - 6*q(o). Let r be l(4). Are r and 3 non-equal?
False
Suppose 3*o + 5 = -13. Which is smaller: o or -21/4?
o
Let c(f) = -f - 1. Let n be c(-3). Let q be n/2 + (-7)/4. Is q > -1?
True
Let a = 12 + -7. Suppose -12 - 3 = a*n. Let z = -1 - 0. Is n bigger than z?
False
Let a(y) = -2*y + 90. Let v be a(14). Is 62 greater than or equal to v?
True
Let j(d) = 9*d + 4. Let s be j(2). Let x = -17 + s. Which is smaller: 3 or x?
3
Let q = -0.3 + 0.3. Let m = -0.1 + q. Let r = m + 0.2. Which is bigger: -0.1 or r?
r
Let n(v) = -9*v - 65. Let s be n(-6). Which is greater: -5 or s?
-5
Let l be (-65)/30 - (-2)/12. Let y(w) = 4*w + 4. Let t be y(l). Are -8/3 and t unequal?
True
Let d = 5 + -4. Let w be (-35)/(-8) + -2 + -2. Is d > w?
True
Suppose -11*d = -9*d. Suppose d*y = y + 5. Which is smaller: -6 or y?
-6
Suppose 4*z + 3*p = -10, 4*p = -2*z - 9 - 1. Let g be ((-6 - -3) + 2)*-23. Suppose -1 + g = -j + 5*c, 0 = 2*j - 4*c + 20. Are z and j unequal?
True
Let n be (-4773)/(-105) - (-4)/10. Let t = n - 46. Suppose 3*c = -l + 3*l + 1, 4*c + 10 = -3*l. Which is smaller: t or c?
c
Suppose -w = -1 + 2. Let v be (36/(-81))/((-2)/1). Is v >= w?
True
Suppose -v + 2*v = 3*d - 12, -3*d + 12 = v. Suppose v = -5*m - 0*m + 5. Which is smaller: 3 or m?
m
Let v = 167/1106 + 5/79. Which is smaller: 0 or v?
0
Let l(i) = i**2 + 14*i - 2. Let j be l(-14). Which is smaller: j or -3/4?
j
Let m = 0.03147 + 41.90853. Let r = m + -39. Let n = -0.06 - r. Is n bigger than 0?
False
Let l = -0.1 + 0.2. Let q = -17 - -12. Are l and q non-equal?
True
Let h = -3.7 - -4. Let m = 0.2 - h. Is 1/6 != m?
True
Let s(q) = -q**2 + 13*q + 17. Let l be s(14). Suppose 3*r - 5 = 4. Do l and r have different values?
False
Let k be -1 - 8/((-4)/2). Suppose 4*o - 1 = -4*n + k*o, -5*n - 1 = -o. Which is smaller: -2 or n?
-2
Suppose -u + 11 = m + u, 3*m - 4*u = -17. Is m at least as big as 4/13?
True
Suppose -u - 2 = -2*v, -5*u + v + 13 = -u. Suppose -2*o + 4 = 4*j, -j = u*o - 9*o - 12. Suppose -6*a + j*a = 0. Which is greater: a or -2/5?
a
Suppose -3*r + n - 315 = -880, 0 = 5*r - 2*n - 943. Let h be r/495 + 2/(-6). Which is smaller: 1 or h?
h
Let r = -6 + 6.03. Let a = -13.03 + r. Let l = 8 + a. Which is smaller: 0 or l?
l
Let q be 0 + (-18)/(-16) + -1. Let f be -2*(9/(-63))/(10/(-35)). Are q and f nonequal?
True
Let c = -125/4 - -30. Which is smaller: -0.2 or c?
c
Let h = -0.036 - 0.164. Is h less than -0.01?
True
Let f be (1/2)/(7/70). Suppose -f*n + 4*n = -k + 4, -4*k = -n - 4. Is k equal to 2/3?
False
Let v be (4/6)/((-5)/35). Let t = 0 - 5. Let q = t - v. Which is greater: q or -2/9?
-2/9
Let n = -0.832 - -0.032. Do n and -1 have the same value?
False
Let m(w) = -w**2 + 10*w - 10. Let b be m(9). Which is bigger: -2/27 or b?
-2/27
Suppose -s = -5*s - 260. Let x = 717/11 + s. Which is bigger: x or -1?
x
Let t = 47 + -46.2. Which is smaller: 8 or t?
t
Let o be 6/(-4) + (-3)/(-2). Suppose 2*h + 13 = z - o*z, -2*z + 1 = h. Which is bigger: z or 5?
5
Suppose -2*a - 2*s - 18 = -4*a, 0 = -3*a + 4*s + 28. Suppose 2*f - 3*g = a, -f + 11 = 3*g - 8*g. Is f bigger than 1?
False
Let j = -4 + 7. Suppose -z + 16 = -12. Suppose z = 4*y - 4*i, i + 4*i = -2*y - 21. Which is greater: y or j?
j
Suppose -h + 5*d = -6, d + d - 3 = -5*h. Let l = -55470/10213 - -4/1459. Let p = 36/7 + l. Which is greater: p or h?
h
Let j = -4.1 + 5. Is j equal to 0.3?
False
Let g = -63 - -63.2. Does g = 18?
False
Let b be 1 + -2 + 3 - 5. Let u = b - -5. Let j = -10 + 12. Is j at most as big as u?
True
Let s(q) = q**2 + 2*q - 2. Let u be s(-3). Let h be (u - 1) + 32/(-17). Let c = h - -514/255. Does 1 = c?
False
Let j be (-15)/25 + 1372/20. Which is smaller: -1 or j?
-1
Let n = 0.2 - 0.26. Let p = 0.06 + n. Which is smaller: p or 0.02?
p
Suppose -3 = 3*z, 2*z + 10 = 4*d - 2*d. Are d and 2 unequal?
True
Let m be (-5)/(-2) + 5/(-10). Which is smaller: m or 8/9?
8/9
Let d = -133/870 + -2/145. Let g be (-3 + 4)/(4/(16/(-4))). Which is smaller: d or g?
g
Let u = -6 + 14. Let d be 6/u + 1/4. Let n be (-4)/(-2) + (-84)/49. Are n and d non-equal?
True
Let d = -10754/11 + 979. Which is greater: 1 or d?
d
Let r be ((-6)/(-14))/((-30)/(-20)). Are r and 12 non-equal?
True
Let r = 0.1 + -1.1. Let o = r + 0.9. Let p = -0.2 + 0. Which is smaller: p or o?
p
Let s = -20.04 - -19. Let d = 0.04 + 0. Let v = s + d. Which is bigger: v or 10?
10
Let q(d) = -d**2 - 10*d. Let u be q(-10). Suppose 4*s + 0*s + 4 = 0. Which is smaller: u or s?
s
Let s(d) = -4*d - 11. Let g be s(4). Which is bigger: g or -26?
-26
Suppose 0 = -4*h + 3*h + 4, -19 = -l - 5*h. Is -34 > l?
False
Let q be (-13)/(-4) - 3/12. Let p(t) = t**2 + 6*t + 6. Let n be p(-5). Let o = q - n. Which is greater: o or 3?
3
Let i = -0.04 + 2.04. Suppose 2*v = -0*v - 12. Let w = v + 5. Is w bigger than i?
False
Let q(z) be the second derivative of z**5/20 + 11*z**4/12 - 2*z**3 + z**2/2 + 4*z. Let y be q(-12). Do 3/14 and y have the same value?
False
Let m = 22/9 - 74/45. Let k = 1.06 + 3.84. Let x = -5 + k. Is m bigger than x?
True
Let z be (-33)/(-6) - (3 + 13)/(-4). Is z smaller than 11?
True
Let f = -55 - -65. Is 1 < f?
True
Let l(a) = a**2 + 6*a + 1. Let o be l(-6). Suppose -p - 5*w + 5 = -14, w = 4. Let v = o - p. Which is smaller: -0.2 or v?
-0.2
Let t be 4/6 - 13/(-3). Suppose -t = -4*z + 3. Which is greater: z or 1?
z
Let l be (-1)/(-2)*(-4)/(-15). Let w be (-12)/((-1 - 5)/3). Let a = w + -6. Does l = a?
False
Let w(x) = -x**2 + 6*x - 2. Let o be w(5). Suppose -13 = -o*k - v, 0 = -2*k + 2*v + 20 + 2. Let l be k/(-4) + 34/28. Is l != -0.1?
True
Let n = -6849/17 - -403. Let i = -2.1 + 2. Which is smaller: n or i?
i
Suppose -4*i + 14 + 2 = 0. Suppose -i*t + 283 = -v, -2*t + 0*v - 3*v + 131 = 0. Let g be (-4)/(-10) - 8/t. Which is bigger: -1 or g?
g
Let s(l) = 2*l**2 - 3*l - 4. Let r be s(3). Which is bigger: 6 or r?
6
Let k be (-2 - 8/(-10))/2*-30. Is k < 18?
False
Let n(h) = -h**2 - 5*h + 6. Let r be n(-5). Is 8 > r?
True
Let p = -9.1 - -5.1. Which is greater: -1/5 or p?
-1/5
Let b(g) = -g - 1. Let w be b(-4). Let d be (-2)/w - (-5)/(-15). Is d at most as big as 3?
True
Let m be (8/(-36) - (-1076)/(-396)) + 3. Which is bigger: m or 2?
2
Suppose -2*f = 3 - 11. Suppose 7 = -u - c, -u - f*u - c - 27 = 0. Suppose 0 = s + 4*s + 20. Is u at most s?
True
Let i(x) be the first derivative of -x**2 - 2*x + 5. Let l be i(5). Which is bigger: l or -13?
l
Let a = -31 - -22. Is -7 greater than a?
Tru