ch is greater: a or 0?
0
Let a be (1/3)/(3/18). Suppose -2*d + 0 = -a. Which is smaller: d or -2/17?
-2/17
Suppose -5*l + 5 = 5*u, -2*l - 2*u - 3*u - 10 = 0. Suppose -5*k + 5*g = -l, -k - 4*g = k + 10. Which is smaller: k or -1/7?
k
Let t be 1/(-3) + (-1012)/33. Let g = -30 - t. Are 1 and g equal?
True
Let s = -604/45 + 66/5. Let n = 2.07 - 0.07. Let j = n + -2. Do s and j have the same value?
False
Suppose 5*k - 2*l + 16 = l, 5*k + 4*l = -37. Let y(t) = -7*t + 19. Let b(s) = -3*s + 9. Let r(j) = 9*b(j) - 4*y(j). Let v be r(k). Is -3/5 < v?
True
Let r = 64 - 40. Let w = r + -26. Which is smaller: w or -1?
w
Let v be (-3)/(-1) - (-15 + 14). Let j = -5 - -11. Which is smaller: j or v?
v
Let l(x) = -x**2 + 5*x + 1. Let p be l(5). Suppose -2*r + 4*j - j = -15, -2*r + 5*j = -21. Let g = r + -1. Which is smaller: g or p?
p
Let z be 1/(-4) + (-30)/(-24). Let d = z + -1. Is -2/9 > d?
False
Let i = 0.1 - 11.1. Let m = i + 11. Are m and 0.11 equal?
False
Let l be 5 + (-3)/24 + 2/16. Is l at least 2?
True
Let t = -10 + 8. Let w = 5 - 3. Suppose -w*a = a + 4*q + 19, 4*a = -5*q - 24. Which is smaller: a or t?
t
Let s be (-3609)/60 - (-1)/(-4). Let y = 60 + s. Is y less than or equal to -1?
False
Let c be 51/12 + 2/(-8). Suppose 18 = c*n + 2*o, 4*n = 2*o + 3*o + 25. Suppose 1 + 4 = n*h. Is 2 > h?
True
Let t = -0.148 - -8.148. Are t and -5 nonequal?
True
Let m be (-4)/(-10) + (-42)/30. Which is greater: 2/57 or m?
2/57
Let v be 2 + (-4)/(-4) + 0. Is -3 less than v?
True
Let d = 0 - 0. Suppose -3*y = -5*c - d*c + 15, -4*y = -c + 3. Suppose -n - 1 + 2 = 0. Are y and n equal?
False
Let i = -6/139 - 20/5977. Is i bigger than 1/3?
False
Let u be -2 - 18/3*-1. Let n = 2 - u. Let o be (-3)/(n + 1)*-1. Are o and -2 non-equal?
True
Suppose 0 = -7*z - 0*z + 14. Which is smaller: z or 7?
z
Suppose -4*n = 2*z + 8, -3*n + 3 = -4*n - z. Which is bigger: n or -2/209?
-2/209
Let z = 30949/511 + -424/7. Let j = z + 3105/6643. Which is bigger: j or -0.1?
j
Let j = 0 - -2. Let m = -4 + j. Which is bigger: m or -1?
-1
Let s be (-3 - (2 + -8)) + -8. Which is smaller: -1 or s?
s
Let i = 22 - -7. Which is bigger: i or 31?
31
Let n = -5 + 6. Which is greater: n or 2?
2
Let b = -1259/3 + 430. Is b > 9?
True
Let g(x) = 2*x - 2. Let v be 31/(-5) - 4/(-20). Let c be g(v). Let t be 4/c - 4/(-14). Is t equal to 2/5?
False
Let f = -20 - -21. Let c be 2/10 - (-4)/(-10). Is f < c?
False
Suppose 2*j - j + 3 = 0. Let s(x) = -x**3 - 4*x**2 - 2*x + 4. Let n be s(j). Let c = 198 - 1384/7. Which is smaller: n or c?
c
Let v(u) be the second derivative of u**4/12 - u**3/2 - 2*u**2 + 3*u. Let t be v(4). Does t = -6/11?
False
Let k = -35 - -19. Let w be 1 - ((-60)/k + -3). Which is smaller: 0.2 or w?
0.2
Let h = -90 + 95.1. Let v = 5 - h. Let u(g) = -g**3 + 9*g**2 - 9*g + 7. Let b be u(8). Is b > v?
False
Suppose 0 = s - 4*b, 0 = -s + b + 4*b. Which is smaller: 5/16 or s?
s
Let z be -6*(2 - (-16)/(-6)). Is 5 > z?
True
Suppose 2*u - 1 + 3 = 4*s, -3*u - s + 11 = 0. Suppose -3*t = -a + 1 + 9, -5*t = -u*a + 18. Let v = -202 - -2624/13. Is a less than or equal to v?
False
Let u = -60 + 60. Are u and 0.24 equal?
False
Let g = -0.4 - 0.1. Let x = 1 + 0. Which is bigger: g or x?
x
Let d = 3 + -4. Suppose -4*b = 3*p + 24, -b - 3*b = -5*p - 8. Let y be (-2)/p - 2/8. Is y at least as big as d?
True
Let u(t) = -t**2 + 5*t + 14. Let r be u(7). Is r equal to -2?
False
Let c(u) = 3*u**3 - 2*u**2 - 2*u + 2. Let q be c(1). Is 1 smaller than q?
False
Let g = 443 - 7529/17. Let o(c) = c**2 - 9*c + 17. Let s be o(6). Which is smaller: g or s?
s
Let z(l) = 2*l**2 + 9*l - 7*l**3 - 4 + 6*l**3 + 5*l**2. Let q be z(8). Suppose 3*g + g + 14 = -m, 3*g + q = -4*m. Which is smaller: m or 3/5?
3/5
Suppose -13*s + 17*s - 4 = 0. Which is bigger: s or 1/25?
s
Let b(f) = f**3 + f**2 + 1. Let j be b(-3). Let y = j - -12. Which is smaller: -4 or y?
y
Let y = -3.9 - -2. Let l = -2 - y. Let i = 4.9 - l. Which is bigger: 0 or i?
i
Let r = -42 - -209/5. Suppose -161 - 64 = 5*s. Let u be s/35 - (-4)/14. Is u smaller than r?
True
Let n = -27 - -26. Let z be (8/6 + n)*-3. Are -1.1 and z equal?
False
Let q(w) = -2*w**2 - 2*w + 2. Let p be q(-2). Suppose 6*r + 6 = 4*r. Let s be r/6*(-1 + 1). Which is greater: s or p?
s
Let a = 6/7 + -25/21. Let v = -4683/92 + -8/23. Let o = 51 + v. Which is bigger: a or o?
o
Let m be (-64)/28 + 2 + (-4)/(-14). Suppose -10 = -5*x - 4*o + 8, 0 = -4*o + 8. Let v be 6/(-8) + x/2. Which is greater: v or m?
v
Let h be -1*2 + (-148)/(-28). Let u = h - 24/7. Let a be (-1)/(-3)*0 + 1. Which is greater: a or u?
a
Let t be -5*((0 - 7) + 2). Let u be 2/(t + (-3 - -1)). Let c = 75 - 75. Which is smaller: c or u?
c
Let y = -366 - -2566/7. Let g(q) = q - 1. Let l be g(4). Suppose 5*u = l + 2. Is u greater than y?
True
Let x be 1*17/3*3. Suppose -4*p - x = -8*p - c, 5*p = 2*c + 31. Does p = 1/2?
False
Let o be 5 + (462/(-39) - -3). Is o <= -5?
False
Suppose 0 = -0*m + 5*m - 2*k - 10, -4*m + 15 = -3*k. Which is smaller: m or 2/63?
m
Let k = -19 - -94/5. Let b = 0 - -0.2. Which is bigger: b or k?
b
Let t be (-2)/2 + 3*4. Let w = -15 + t. Let n(g) = g**3 + g**2 - 5. Let u be n(0). Is w != u?
True
Let m = -6 - -6. Let z = m + 5. Suppose 2*c - 2 = 5*l, l + 2*l = -z*c + 5. Which is bigger: c or -3/8?
c
Let a be (-6)/(-9)*10/4. Which is smaller: 3 or a?
a
Let c = -18 + 18. Which is bigger: c or 0.03?
0.03
Let c(k) = -k - 16. Let q be c(-8). Is q at most -8?
True
Let n = -1.03 + -0.07. Let y = 1.2 + n. Let z = 0.67 - 0.07. Which is smaller: y or z?
y
Suppose -5*f + 6*f = -2. Is -9/8 greater than f?
True
Let o(d) = 7*d + 64. Let q be o(-13). Do q and -27 have different values?
False
Let w be ((-24)/(-16))/(6/4). Is w smaller than 3?
True
Suppose 2*u - 2*g = 12, -2*u - 2*g - 6 = 2*g. Suppose -u = -i - 4. Which is greater: -3/5 or i?
-3/5
Let u = -6 + 5. Let a be (-1)/(-18)*4*u. Do -2 and a have the same value?
False
Suppose -h + 24 = -5*h. Let b be 1/2*h/15. Which is smaller: 0 or b?
b
Let u = -13.1 + 17. Let p = u - 0.9. Which is smaller: p or 1?
1
Let a = 4 + 3.2. Let o = -7.18 + 0.18. Let w = o + a. Are w and -1 non-equal?
True
Suppose 2*u + t = 44 + 32, 5*t = -3*u + 128. Let s be (-26)/u + 12/54. Is s less than -2?
False
Let i = 26 - 44. Let d = i + 10. Which is smaller: d or -0.1?
d
Let s = -6 + 4. Suppose 4*a - 45 = -2*u - 3*u, 0 = 2*a - 2*u. Let x be (s/a)/(12/(-20)). Which is smaller: x or 1?
x
Let n = -7 - -6. Do n and -8 have the same value?
False
Suppose 0*a + 130 = 5*a. Let v be 4 + (2 - 158/a). Is -1 != v?
True
Let s = 23.68 + -23. Let n = s - 0.6. Is 1 != n?
True
Let a = 2.3 - 0.3. Let j = a + -1.9. Is 1 less than j?
False
Let w(o) = o**3 + 3*o**2 + o + 2. Let m be w(-3). Let i = 87 + -1128/13. Which is smaller: m or i?
m
Let g = 16 + -11. Suppose 3*v = -4*q + g, 2*v + 10 = 4*q - 0*q. Suppose -2*h + 0*h + 3*a = 1, -h - 7 = 5*a. Which is smaller: h or v?
h
Let n be (-6)/(-5 - -7) - -4. Which is smaller: 2/9 or n?
2/9
Suppose 4*t - t + 3 = 0. Which is greater: -1/22 or t?
-1/22
Suppose 40 = -4*h - h. Let l be (-13)/104 - 89/h. Which is smaller: l or 12?
l
Suppose -3*p + 9 = 0, 2*g - g - 15 = -4*p. Let z(m) = -m + 2. Let s be z(g). Is s at least as big as -1?
True
Let m = -501 + 14525/29. Is m equal to -1?
False
Let w = -43 + 42.7. Which is smaller: w or 12?
w
Let u(i) = 3*i - 2. Let p be u(-3). Is p greater than -10?
False
Let a = -6767/55 - -123. Is 0 smaller than a?
False
Let q be 4596/(-1146) + 4/1. Is 1 greater than q?
True
Let j = 4 - 5. Is -10/27 != j?
True
Let a = -0.8 + 0.5. Let h = a - 0.7. Are 0.07 and h unequal?
True
Let k = 62 + -249/4. Suppose 3*w + 9 = c, 0*w = -2*w + c - 7. Let t = w + 1. Do t and k have different values?
True
Let i = -316.9 - -341. Let b = -24 + i. Is b > 0.6?
False
Suppose -3*k + 0*b + b + 40 = 0, -2*b + 16 = 2*k. Which is bigger: k or 14?
14
Suppose -5*u = -2*l - 8, -3*u + 0*l - 5*l = -11. Suppose u + 1 = -3*j. Is j bigger than -2/13?
False
Let s be 4 - (-3 + 1) - 4. Is 9/5 > s?
False
Suppose 5*z = 2*y + 26 - 8, y - 5 = -z. Let p = y + -1. Let x(b) = b**2 + 4. Let j be x(p). Is 5 greater than j?
True
Suppose 3*f - l = 0, -f - 2*l = -6*l - 11. Let x be 908/(-18)*(-9)/(-5226). Let d = x - -2/201. Which is greater: d or f?
d
Let a be 1/(-2)*12/114. Do a and -1 have different values?
True
