r: r or -28?
-28
Let b = 0.1 - 0.2. Suppose -3 = -t - 2. Which is smaller: b or t?
b
Let z = 12 + -13. Let w be ((-24)/33)/(-4)*1. Which is bigger: z or w?
w
Let v(d) = -12*d + 4. Let c(f) = 3*f - 1. Let r(o) = 9*c(o) + 2*v(o). Let k be r(-3). Is -10 at most k?
True
Suppose -47*q + 42*q - 15 = 0. Do q and -3 have different values?
False
Let p be 8/6 + 1/(-3). Are p and -2/31 non-equal?
True
Let v(z) = -z**2 - 4*z + 6. Let s be v(-5). Let q = 1 + s. Let u be -1*(0 + q/(-1)). Is 1 <= u?
True
Suppose -5*a - 58 - 492 = 0. Let g be a/56 + 4/16. Which is bigger: g or -3?
g
Let l be (6/(-12) - (-1)/3)*43. Which is smaller: l or -6?
l
Suppose 2*i + 4*u = -1816, -3*u - 2739 = 3*i - 0*u. Let j = i - -8270/9. Which is smaller: j or 2?
j
Suppose s + 6 = 2*x - 0, s + 4 = 0. Let j be -2 - (2130/(-212))/5. Let r = 28/159 - j. Which is bigger: x or r?
x
Let g(w) = w**3 - 2*w**2 + w. Let a(u) = 3*u**3 - 3*u**2 + 3*u. Let y(l) = -2*a(l) + 5*g(l). Let f be y(-4). Suppose 0 = -f*t + 5*t. Which is greater: t or 1?
1
Suppose 15 = -6*v + 3*v. Let s be 0 + 1 + v + 1. Are s and -3 equal?
True
Let l = 1/14 + -33/70. Let r(j) = j**3 - j - 1. Let g be r(0). Is l < g?
False
Let k(c) = 2 - c - 2*c + 2*c**2 - c**2. Let q be k(4). Suppose -2*f + q*f = 24. Is f <= 5?
False
Let i be 35/15*2/7. Let y be 0 + 1 - (-8 - -1). Let p(k) = -k**3 + 8*k**2 - k + 8. Let v be p(y). Is v < i?
True
Let h(l) = -l**3 + 4*l**2 - l + 8. Let n be h(6). Let q be 6/(-9) - n/(-12). Let r = 7 + q. Which is smaller: r or 0?
0
Let g(z) = z**2 - 5*z + 2. Let a be g(5). Let u = a + -3. Which is bigger: -4/3 or u?
u
Suppose -3*o = -o - 10, 3*m = 4*o - 23. Which is smaller: m or -7?
-7
Suppose -5*n - 2 = 3*z, 9*n - 6*n + 2*z = -1. Is -7/19 equal to n?
False
Let w = 10 + -7. Let c = -7 + 5. Let y = c - -5. Are y and w equal?
True
Let c = -24 + 20. Are c and -0.1 unequal?
True
Let t = 7.6 - 8. Which is smaller: -2 or t?
-2
Let m be (-4)/(-6)*1/(-3). Let i be 1/(-1)*(-4)/2. Suppose -2*g - i = -5*u, 3*u = -2*u. Is m equal to g?
False
Let c = -12.3 - -13. Let n = 0.3 + c. Is 0 > n?
False
Suppose 0*n - 2 = -2*n. Suppose -1 = 5*o + 3*b, -3*b + 2*b + 3 = 5*o. Is o smaller than n?
False
Let m = -8 - -3. Let i = m - -13. Is i != 8?
False
Let t = 1 + -31/33. Let b be 1*2*(-9)/66. Let z = t - b. Is z > -1?
True
Let o = -1 - 0. Do o and 1/3 have different values?
True
Suppose 0 = b - 2*b + 4. Suppose 9*l - 4*l = -5*s - 90, b*s + l = -60. Which is greater: -15 or s?
s
Let w = 5/191 - 29233/382. Let i = w - -78. Which is greater: 0.1 or i?
i
Let b be 3/6*(6 - 6). Which is bigger: b or -4/9?
b
Suppose 3*u + 0*u = 0. Suppose -2*b - 3*l = b, u = -b - 4*l. Which is greater: 1 or b?
1
Let s be 3 + (16 + -18 - (-8)/(-10)). Suppose 1 = 3*k - 2. Which is smaller: s or k?
s
Let q be ((-2)/8 - -1)*-1. Which is bigger: -2 or q?
q
Let i be (-18)/20 + 6/12. Is i < 3/4?
True
Suppose -76 - 428 = 2*r. Let z = -52 + r. Let b = z - -1223/4. Is 1 greater than b?
False
Let m(y) = -y**3 + 6*y**2 + 17*y + 7. Let n be m(8). Suppose -5*t + 84 = -3*w, t = -0*t + 3*w + 24. Is t bigger than n?
False
Let x be 4652/(-66) + (-10)/55. Let k = -70 - x. Let y = -5/26 + -3/52. Which is smaller: k or y?
y
Let i(s) = -s**2 + 9*s - 13. Let f be i(7). Is 1 <= f?
True
Let j = 1.3 - -10.7. Which is bigger: j or -2?
j
Let u(x) be the third derivative of -x**6/120 + x**5/30 - x**3/6 - x**2. Let m = -5 - -4. Let h be u(m). Is 1 bigger than h?
False
Suppose p = -2*u - 2 + 8, 5*u - 15 = -p. Let c be 3/(10/(-1 + 0)). Which is greater: c or p?
p
Let m be 22/(-28) + 1/2. Let t = 10 - 0. Let z = 10 - t. Is m greater than z?
False
Let z = 162 - 71. Suppose 4*d - z - 189 = 0. Let v be 4/18 - d/72. Is v < 0?
True
Let v = -8 + 8. Is -2/51 bigger than v?
False
Suppose 6 = 2*q - 3*q. Let n(k) = -k**3 - 5*k**2 + 6*k. Let o be n(q). Which is smaller: o or 3?
o
Let x = -20 + 27. Is x at least as big as 76/9?
False
Suppose -9*b + 28 = -7*b. Are 14 and b nonequal?
False
Let c be (-12)/135*(-10)/(-36). Is 0 at least c?
True
Suppose -5*g = -0*g - 4*a + 13, 0 = -2*g + a - 4. Which is smaller: 1/14 or g?
g
Suppose -1 = -2*d - 3. Let j be (-2)/6 - 30/(-9). Suppose -2*v - 5 + j = 0. Is v < d?
False
Let x be (-16437)/(-66) + (-2)/(-4). Let h = x - 250. Let t = 26/33 + h. Which is smaller: t or 0?
0
Let u = -38 - -41. Are u and 2 nonequal?
True
Let z = -100 + 69. Are -31 and z equal?
True
Suppose 0 = 3*j + 19 + 17. Which is smaller: -13 or j?
-13
Suppose -v - 1 = -0. Is v <= 3/7?
True
Let l(d) = d**2 - 3*d + 3. Let t be l(2). Suppose -2 = 3*m + t. Which is smaller: 0 or m?
m
Let s(g) = 2*g - 35. Let p be s(16). Suppose 3*r + 9 = -12. Is r > p?
False
Let x = 27 - 24. Suppose -x*r - r = 0. Is 2/3 != r?
True
Let n = -31 - -61/2. Which is smaller: 0 or n?
n
Let o = 1.1 - 1.17. Let l = 0.37 + o. Is 2/5 at least l?
True
Suppose 3*l = -2*f - 2*f + 83, -f = -5*l - 15. Is 20 at most as big as f?
True
Suppose -m + 4*l - 8 = 0, 2*m - 10 = 4*m - 5*l. Is 1/80 greater than or equal to m?
True
Let w = -5 - -10. Suppose 4*f + 6*m = m - 33, w*f - 5 = 3*m. Which is smaller: -6/5 or f?
f
Suppose -35 = -2*w - 3*w. Is 7 at least w?
True
Suppose n + l - 39 = 0, 1 = l - 1. Suppose 5 = 5*i + p - n, 4*i - 40 = -4*p. Suppose r + r + i = 0. Is -5 >= r?
False
Suppose -5*y + 20 = -5*a, -2*a = -2*y + 4*y - 8. Let c be 1/(5/y + -1). Suppose -w + 6 = c. Is w greater than 2?
False
Let b = -21 - -20.98. Is 1 equal to b?
False
Let f(z) = -3*z. Let a be f(-1). Suppose 2*y - 2*i - 1 - 5 = 0, -5*y = a*i - 15. Let c = -5 + y. Is -1 >= c?
True
Suppose -4*r = -8, -r = -2*v + v + 6. Is v != 0?
True
Let g(l) = l - 3. Let d be g(9). Which is smaller: -0.1 or d?
-0.1
Let z = -17 - -22. Does 1/3 = z?
False
Let k(f) = f + 5. Let w be k(-4). Is -2/41 >= w?
False
Let c = 2.065 - 0.065. Which is bigger: c or 12?
12
Let l be 2 + -1 + (-9)/6. Let i = -0.046 + -0.054. Which is greater: i or l?
i
Let i = 0.02 + -4.02. Let a(s) = -s - 4. Let b be a(-5). Let t be b/(-3) - 7/(-21). Which is smaller: i or t?
i
Suppose -3*y + 8 = -2*a, 0 = 2*y + a - 0 - 10. Suppose j - c - 6 = y*c, 0 = -3*j - 5*c - 2. Does j = 1/5?
False
Let o = -7 - -10. Suppose -b - 4*b + 7 = -g, -b = 2*g + o. Is b bigger than 0.2?
True
Suppose -74*f - 3 = -71*f. Is f equal to -6/35?
False
Let c(p) = p + 15. Let h be c(-10). Suppose -3*q + 0*q + h*m = 23, 2*m = -q + 7. Which is smaller: 0.1 or q?
q
Suppose 3 = -4*t - 9, 4*o = -3*t + 11. Suppose 2 + 8 = o*d. Let a = d - 4. Which is smaller: -3 or a?
-3
Let x = -38 + 48. Is x smaller than 0.2?
False
Suppose -39 = 4*a - 23. Let x be (-10)/(-8) - 3/12. Let c = x + a. Which is smaller: c or -4?
-4
Suppose 5 - 3 = 2*b. Is b >= 1?
True
Let l be ((-5)/(-5 - 0))/((-10)/(-6)). Suppose 4*o = 3*j + 9, -3*o + 9 = -4*j + 4. Let g = o + -2. Is l > g?
False
Suppose -2*k = 3*o + 1 + 5, 3*k = -9. Which is smaller: 41 or o?
o
Suppose 0 = -3*o + 23 + 1. Suppose -5*w = -4*g - 2 - o, -g - 3*w + 6 = 0. Let h = 5/7 + -23/42. Is h greater than g?
True
Let l be -1 + 1*(-2 + 27). Which is smaller: l or 23?
23
Let p = 46 - 101. Is -55 smaller than p?
False
Let q = -3.8 + -1.2. Let v = q + 2.2. Let h = 3 + v. Which is smaller: h or 0?
0
Let f be (24/18)/(2/3). Which is bigger: f or 0?
f
Suppose -2*v = a - 6*v + 7, -5*a + v = -3. Which is smaller: 1/14 or a?
1/14
Let i = -875/2501 + 13/41. Which is bigger: i or -1/3?
i
Let g = 46 - 46.2. Suppose -2*a = -5*j, 5 - 36 = 3*j + 5*a. Which is smaller: g or j?
j
Let g = -1086/17 - -64. Suppose 2*i + 4*t = -2, -6*i - 3*t = -3*i. Which is smaller: i or g?
g
Suppose 2*p - 6 = 3*g - 39, 0 = -2*g - p + 15. Let i = g - 4. Which is smaller: 3 or i?
3
Suppose -5*j - 1 = -m - 7, 0 = 2*m - j - 6. Suppose -m*x = -0*x - 20. Let s be (-23)/15 + 1/x. Which is smaller: s or -1?
s
Let q be (5 + (-21)/3)*(-2)/34. Is -4 bigger than q?
False
Let l = -2.04 - -0.04. Suppose -g - 4*g = -200. Let u = g - 278/7. Does u = l?
False
Let s = 32 + -19. Let b = s + -9. Which is smaller: b or 2?
2
Suppose 0 = -2*h + 4*h + 4. Which is bigger: -6 or h?
h
Let a = 53 + -53. Suppose -18 = -3*l + s + s, -4*l - 3*s + 7 = 0. Let w be 58/56 + l/(-14). Which is smaller: a or w?
a
Let q be ((-5)/(-15)*-3)/5. Which is bigger: q or -0.3?
q
Let q be (20/318)/5*66. Let s = q - -6979/212. Let y = -34 + s. Which is bigger: y or -1?
y
Let y = -0.27 + -0.0