p = 0.74 + -0.24. Is p bigger than 0.1?
True
Let k = 83 + -665/8. Which is smaller: -1 or k?
-1
Let s = -1/16 + 37/80. Let j(g) = -g**3 - 2*g**2. Let k be j(-2). Which is greater: s or k?
s
Let i = 152 + -1062/7. Which is greater: 1/26 or i?
i
Let b = -20 - -31. Which is greater: 1/2 or b?
b
Let b = 29257/185 + -791/5. Do -0.1 and b have the same value?
False
Let v be (2/4)/(6/24). Does v = 5/3?
False
Let v = 25/39 + -4/13. Suppose -z - q = 2*q + 3, -q - 5 = -z. Suppose -2*m - m = -z. Is v smaller than m?
True
Let v be (-1 + 5)*((-450)/24 + -5). Which is smaller: v or -94?
v
Let h(q) = q**3 - 4*q**2 + q. Let s be h(4). Let k = s - 4. Suppose 3*g + 5*a = 1, 2*g + 0*a + 3*a = k. Are -3 and g equal?
True
Let b = 8.81 - -0.19. Let q = -8 + b. Let i = q + -1. Is i less than or equal to 0?
True
Suppose 6 = 4*k - 3*k. Let h(u) = u - 8. Let p be h(k). Does -1 = p?
False
Let k(g) = -g**3 - g**2 + 1. Suppose -2*a - 4 = 3*z, -a - 5*z = -0 + 9. Let v be k(a). Is v >= -4?
True
Let i be (342/(-86) + 4)/(1 + -2). Which is smaller: i or -1?
-1
Let a = -4.2 - -1.2. Is -0.01 greater than or equal to a?
True
Suppose -2*b = 5*p + 24, 2*b - 3 = 3*p + 5. Which is smaller: b or -12?
-12
Suppose 3*h = 5*h. Which is smaller: -3/5 or h?
-3/5
Suppose 2*t - 6 = -2*f, 8*f - 4*f + 3*t - 9 = 0. Which is smaller: 2/15 or f?
f
Let y = 2 + -5. Suppose 4*k + 3*f - 49 = 0, -2*k - f + 13 = -k. Suppose 0 = -c + 4*b + 21 - 6, 3*c - b + k = 0. Which is bigger: c or y?
y
Let o(z) = -3 + 9*z - 10*z + z**2 + 2. Let l be o(0). Which is smaller: -3 or l?
-3
Let v = -1 - -1.1. Let z = 0.34 - -0.16. Let f = -2.5 + z. Is v < f?
False
Let q = 48 + -47. Suppose i + i = 0. Which is bigger: i or q?
q
Suppose 2*l + 52 = 4*i + 10, 0 = 4*l - 4*i + 72. Is -46/3 at most as big as l?
True
Let q = 0 + 0. Let g = q - 0.1. Which is greater: -0.3 or g?
g
Let g = -70.9 + 71. Is 1/11 bigger than g?
False
Let k = 17 - 18. Does k = 1/9?
False
Let u = 6.82 + 0.18. Let h = u + -10. Is h greater than or equal to 2?
False
Let h(a) be the second derivative of a**4/12 + a**3 - 7*a**2/2 + 6*a. Let g be h(-7). Is g equal to 1.6?
False
Suppose 0 = -5*m + 2*s - 6, -3*s + 7 = -3*m - 2. Let p be (m/3 - -2)*-2. Let g = 1 + p. Are -1 and g equal?
False
Suppose -2*m + 5*m = -15. Is -6 less than m?
True
Let z = 208/3 + -96. Which is greater: z or -26?
-26
Let b = -7/36 - 1/18. Are -0.2 and b non-equal?
True
Let i be 20/(-150) - (-184)/30. Which is smaller: 24/5 or i?
24/5
Let s be (36/40)/(12/(-10)). Which is smaller: -2 or s?
-2
Let n = -0.09 - -0.25. Let w = n - -0.84. Which is smaller: w or 2/5?
2/5
Let o = 31/66 - -1/33. Suppose 3*l - 4*t + 2 = 0, -l - 3*l - 2 = -5*t. Which is greater: l or o?
l
Suppose 0 = p - 3*p + 10. Suppose -3*n = p*a - 5, 2*a + 0 - 2 = 0. Which is greater: 4/17 or n?
4/17
Suppose 3*p - 2*s = 3*s - 18, -4*s = -12. Let m = -8 + 13. Let u = 4 - m. Is p less than u?
False
Let c(z) = 2 + 2 - z**2 - 6 + 10*z. Let a be c(10). Which is greater: -3 or a?
a
Suppose 0*r + 45 = -3*r. Let b be 36/r + (-2)/(-5). Suppose -5*t - 3*a - 17 - 13 = 0, -2*t = -4*a - 14. Which is smaller: b or t?
t
Let h be 6/(-5)*20/(-6). Suppose c + 5 = -h*c. Let k be (-2)/10*4/(-2). Which is bigger: c or k?
k
Let t(g) = g**2 + 6*g + 6. Let c be t(-5). Is 4/9 != c?
True
Let d = -0.08 - 1.02. Let k = d + 0.1. Let m be 6/4*4/12. Is k greater than m?
False
Suppose 19 + 1 = 5*c. Suppose -c*y - y - 40 = 0. Is -6 less than or equal to y?
False
Suppose -r - 2 - 2 = 0. Let m = -5 - r. Is -1 bigger than m?
False
Suppose -5*v + 5 = 0, t + 2*v + 18 = 5*t. Suppose 0*n = t*n. Let q = n + 0. Does 0.1 = q?
False
Let o = 22/59 - -8402/885. Let f = o - 32/3. Which is smaller: f or -2?
-2
Let x be -5*1/2*-2. Suppose 58 = -4*j - 5*d, 0 = -3*j - d - x - 33. Which is greater: -11 or j?
-11
Let y = -207/10 - -12223/590. Let s = y + 115/177. Which is greater: s or 0?
s
Let m = 0 - 15. Is -1 at most m?
False
Suppose -3*v + 9 = 3*z, 4*v = v + 9. Let a(i) = 3*i - 6. Let c be a(4). Let h be ((-2)/4)/(3/c). Which is greater: h or z?
z
Let i = 102 + -716/7. Which is smaller: i or 0?
i
Let g(u) = u - 15. Let q be g(0). Let a be ((-1)/q)/((-3)/(-39)). Let r = a + -158/165. Is 1 <= r?
False
Let n(g) = -g + 8. Let q be ((-2)/4 - 1)*-12. Suppose q = 2*i - 2*w, -6*i + i + 4*w = -43. Let d be n(i). Is 1 equal to d?
True
Let k = 3 - 2. Let c be (-2)/((-20)/(-25)) + 4. Which is smaller: k or c?
k
Let x be (5 + -4)*(-1)/(-14). Which is greater: x or 0?
x
Let w be 2 + -1 - 26/16. Is -2 > w?
False
Let s = -2 + -2. Let l be -5*1*(s - -3). Let o be 2/4*(-1 + 9). Which is greater: l or o?
l
Let z = -35 - -35. Which is bigger: z or -0.13?
z
Let d(s) = -s**3 + 6*s**2 - 6*s + 4. Let l be d(5). Which is greater: -2/41 or l?
-2/41
Suppose 0*x + 9 = 3*x. Suppose 0 = -3*n + x. Let d = 19/28 - 3/7. Which is smaller: d or n?
d
Suppose 0 = 4*f - 5*g - 6, 0 = 4*f + 3*g + 8 - 30. Let h = f - 0. Which is greater: h or 3?
h
Suppose 5*n - 9 = 2*l, 3*n + 3*l = 5*l + 7. Let a = 6 + -4. Is a greater than n?
True
Let k(m) = -m**3 - 3*m**2 + 1. Let w be k(-3). Let x = -2 - w. Suppose 2*y + 2*y + 41 = 5*b, 0 = 3*y - 5*b + 37. Is x smaller than y?
False
Let i(k) = -k**3 - k**2 - k - 2. Let h be i(-2). Let u be 15 + (h - 2)/(-2). Let v be 2/7 - 4/u. Do v and -2 have the same value?
False
Let z(l) = 4*l**2 + l + 2. Let n(s) = 13*s**2 + 3*s + 7. Let g(o) = -2*n(o) + 7*z(o). Let a be g(-1). Let t = 29/15 - 7/3. Which is smaller: t or a?
t
Let d be -3 - -1 - -2 - -2. Suppose 0 = -d*n - 5*g - 22, n - 9 + 2 = 2*g. Is n > 1/6?
False
Suppose 2*d + 2 = 3*i + d, -2*i = 5*d + 27. Let p = -1/78 + 161/390. Is p != i?
True
Let j = -1.1 + 1. Let y = 5/16 - 77/144. Does j = y?
False
Let z = 32 + -31.9. Suppose 3*j - 4*m + 3 = 0, 0 = -0*m - 2*m. Is z smaller than j?
False
Let g = 0 + 1. Let r be 198/162 - (-1)/9. Are r and g nonequal?
True
Let t = -66 - -55. Let q be (-2)/7 + 75/(-7). Is t greater than or equal to q?
True
Let f = -8 + 5. Let o = f - -4. Let r = -0.03 + 1.03. Does r = o?
True
Let p(z) = 7 - z - 2 + 0*z. Let x be p(5). Let a be (0 - 8/12)*(-2)/(-28). Which is greater: a or x?
x
Let v(m) = m**2 - 9*m - 3. Let j be v(9). Let c be (-4)/j*(-2)/24. Let x(h) = -h**2 - 5*h - 5. Let p be x(-4). Is c >= p?
True
Let t(c) be the third derivative of c**6/120 + c**5/30 - c**4/12 - 2*c**3/3 + 4*c**2. Let y be t(-3). Which is smaller: y or -1?
y
Let c = 9 - 4. Suppose 0*t + c*t + 25 = 0. Let q(p) = -p**2 - 5*p. Let l be q(t). Is l equal to 0?
True
Let m(f) = f - 20. Let n be m(18). Let a be n + 1 - -3 - 15. Is -14 at most as big as a?
True
Let v = -5 + 19. Suppose 3*h = -2*b + h - v, -3*b - h = 11. Is -3 >= b?
False
Let v = 0.16 + -1.96. Let p = -0.1 - 1.9. Let d = p - v. Is d <= 1?
True
Suppose -k + 48 = 4*t, 4*t + 4*k - 16 = 32. Let v(i) = i - 12. Let s be v(t). Let h = 10/3 - 82/21. Which is smaller: h or s?
h
Let o = 69092/147 + -470. Are o and 1 non-equal?
True
Let r = 0.5 - 1.2. Is -0.3 <= r?
False
Let w = 212 - 211. Are w and 11.5 unequal?
True
Suppose 0*m - 5*m = 0. Which is smaller: m or 2/3?
m
Let n = -323/795 + 1/159. Is -8 < n?
True
Let i = 3 - 5. Does i = -2?
True
Let t = -4 + 8. Suppose 7 + 9 = 4*z. Let s(g) = -g**3 + 3*g**2 + 5*g. Let i be s(z). Is i less than or equal to t?
True
Let x = 53 + -52. Is x greater than or equal to 1/59?
True
Let k = 0.02 + 5.98. Let b = k - 5.7. Do b and 1 have the same value?
False
Let o be (-3*1)/((-9)/6). Let y be (-2)/4*o/8. Which is smaller: y or 0?
y
Let m = 6 - 3. Let z = -33 + 42. Suppose v + z = -2*t, -v - m*t - 1 = 11. Which is bigger: -5 or v?
v
Let a = -13 - -21. Let k = -9 + a. Let c = 0 + 1. Which is smaller: c or k?
k
Suppose 3*q + 3*m = 12, 2 = 4*q - 0*q - 3*m. Suppose 0 = 2*a - 4 + q. Is a equal to 1?
True
Suppose 12 = -n - 0*n. Let t be 7*(-1)/3*n. Let m be 4/t + (-4)/(-14). Which is smaller: -1 or m?
-1
Suppose -3*v = -3*f - 2*v + 33, -3*f - 2*v + 33 = 0. Which is bigger: 10 or f?
f
Let z = 0.05 + -4.25. Let x = 4 + z. Is -5 greater than x?
False
Let v(g) = 4*g - 3. Let p be v(6). Let u be (-8)/30 - (-14)/p. Which is smaller: 0.1 or u?
0.1
Let o be (-6)/4*-2*70/(-6). Is -69/2 less than o?
False
Let c = -0.07 + 21.07. Is c less than or equal to -2/3?
False
Suppose 4*f + 10 = 3*m, -5*m + 6 = -f - 5. Let w be -1 + (2 + f)/1. Which is smaller: 4 or w?
