r 0.2?
l
Suppose 10 = 5*v, 4*v + v - 10 = -4*h. Let w be 8/3 + 3*-1. Which is bigger: w or h?
h
Let p be (-38 + 2)/4*(-16)/24. Which is smaller: 16 or p?
p
Let i = 1.1 + -0.1. Is i greater than or equal to -0.4?
True
Let w = 1 + 0. Let l = 0 + 2. Suppose -x = l*z - 9, 0*x - z + 6 = 2*x. Is x greater than or equal to w?
True
Let l = 26.9 + -27. Let s = -12.02 + 0.02. Does l = s?
False
Suppose 5*v + 30 = 8*v. Let h = v - 9. Let q = 11/24 - 1/3. Which is bigger: q or h?
h
Let x(f) = f**3 - 8*f**2 + 6*f + 9. Let v be x(7). Let s be -3 + (2 - (-3 + v)). Which is greater: -1 or s?
s
Let v = 1 + -1. Let d be (v/(1 + 0))/2. Let a = -1042 + 1042. Is a < d?
False
Let q = 6 - -2. Suppose -11 + q = -o. Is o less than 4?
True
Let o(c) = 6*c - 26. Let z be o(8). Which is smaller: 21 or z?
21
Let y = -4.99 + 5. Let s = -0.01 + y. Is 0.5 >= s?
True
Let r = 58 - 407/7. Suppose -10 = 4*x - 6. Which is greater: r or x?
r
Let l = -548 - -3842/7. Let w(m) = -2*m - 3. Let h be w(-2). Is h not equal to l?
True
Suppose 0 = 2*t + 2*t + 2*z + 18, -41 = 3*t - 4*z. Is -8 smaller than t?
True
Suppose -2*q + 8*n = 4*n + 204, 5*q = -4*n - 468. Is -95 equal to q?
False
Let k(w) = -2*w**2 + 14*w - 14. Let l be k(6). Which is bigger: -26/11 or l?
l
Suppose -2*t = 5*z - 0*z - 8, -2*z - 5*t = 1. Is 1 >= z?
False
Let f = -9 - -17. Suppose -5*a = -a - f. Let o be 9/(6 - 3) - a. Is 2 at most o?
False
Let k = -6 + 3. Let b = -5 + 9. Suppose -b*l + 32 = -4*o, 0 = 3*o - l + 20 - 6. Is o at most as big as k?
True
Let j(x) = x**3 + 6*x**2 - x - 1. Let v be j(-6). Is v < -2/7?
False
Let w(h) = h**3 + 5*h**2 - h - 4. Let x = -2 - -1. Let r = -4 + x. Let i be w(r). Which is greater: 1/4 or i?
i
Let q = 3 - 5. Let v be (4 - 2)*1/q. Is v at least -1?
True
Let t = 15 + -14.91. Let h = -1.09 + t. Which is smaller: h or 1/3?
h
Suppose -5*b + 12 = b. Which is greater: b or 10/9?
b
Let i be 2*((-207)/6 - -5). Which is smaller: -58 or i?
i
Let w(a) = a**2 - 7*a + 5. Let i be w(4). Let r be (-2)/11*(i - -1). Is r > 2?
False
Let v be 1/3 - 8/6. Let w be -1*14142/(-57) + -2. Let o = -246 + w. Is v <= o?
True
Let z = -28135/23 + 1223. Which is smaller: z or 1?
z
Let z(q) = 5*q + 34. Let i be z(-7). Which is greater: 2/49 or i?
2/49
Suppose b = 5*b - 48. Suppose 4*z - 2*z + 12 = 4*i, 4*i - b = 3*z. Let p = 0 + z. Which is smaller: p or 2/3?
p
Suppose 0*g + g + 1 = 0. Let q be (g - 2)*21/9. Let y = q + 22/3. Which is greater: 2 or y?
2
Suppose 101 = 4*q - 0*f + f, 2*q = f + 43. Suppose -q = s + 2*s. Let c be (-2 + (-3 - -7))*14/(-4). Which is smaller: s or c?
s
Let r be (17/51)/(1/(-3)). Which is smaller: 2 or r?
r
Let q = -8/21 - -37/42. Let v = -8 + 6.5. Let b = 1 + v. Which is smaller: b or q?
b
Suppose 4*y = -y + 15. Let f = y + -2. Which is smaller: 2/3 or f?
2/3
Let t = 6752872/11 - 613232. Suppose 3422 = -5*f + 92. Let o = t + f. Which is smaller: 0 or o?
o
Suppose 31 - 11 = -5*n. Let k be ((-12)/(-28))/(n/(-7)). Which is smaller: k or 0?
0
Let q be 12/(-20)*(-23)/(-3). Let g = q + 22/5. Which is smaller: g or 0?
g
Suppose -8 = -f + 5*f. Let q be f/(-2)*6/(-22). Suppose 0 = -4*m + 5*k - 11, 0*k + 8 = 5*m + k. Which is greater: q or m?
m
Suppose -2*d - 2*d = -20. Is 7/2 less than d?
True
Let l(k) = -k**2 + 8*k + 3. Suppose 0 = -2*h - 1 - 5. Let u(g) = -g**3 - 2*g**2 - 1. Let t be u(h). Let m be l(t). Is -2/7 at least m?
False
Let y(m) = m**3 + 7*m**2 + 5*m - 7. Let d be y(-5). Which is smaller: 19 or d?
d
Let h = -181/33 + 42/11. Let u be 7/(-4) + 4/(-16). Let v = u + -1. Is v at least h?
False
Let z(x) = -x**3 - x + 5. Let o be z(0). Let s be (18/(-4) - -1)*-2. Let f = s - 3. Which is greater: o or f?
o
Suppose -a - 120 = -5*h, -4*a + 57 + 63 = 5*h. Which is smaller: h or 20?
20
Let b(y) = y + 8. Let w be b(-8). Let n = w + -2. Let p = n + 3. Which is bigger: p or -3/7?
p
Let n = -14879 - -70804/5. Let o = n - -716. Which is greater: o or -3?
o
Let z(o) = o**2 - 6*o + 4. Let k be z(5). Let y = 10/3 - 56/15. Which is greater: y or k?
y
Suppose 13*y = 8*y. Let z be ((-2)/(-3))/((-3)/54). Let r be ((-3)/z)/(9/(-4)). Do r and y have different values?
True
Suppose -5 = 2*r - 2*h - 3*h, -2*h = 3*r - 40. Let x be ((-1)/r)/(24/(-40)). Are x and 0 equal?
False
Suppose 4*n + 2*y + 12 = 6*y, -n - 4*y + 22 = 0. Suppose n*a = -0*a + 4. Suppose 2*r - a = -0*r. Is 2 less than r?
False
Let v = 5 - 1. Let t = -14 - -13.9. Which is smaller: v or t?
t
Let t = 24 + 1. Let n be 10/t - 3/(-5). Are 1 and n nonequal?
False
Let y = -6225/8 - -777. Does -2 = y?
False
Suppose 5*d - 5 = -5. Which is greater: d or 3/28?
3/28
Let u = -45 - -31. Is -0.07 not equal to u?
True
Let n = 39 + -83. Which is bigger: n or -45?
n
Let o = -0.4 - -0.3. Is 5 at most o?
False
Let w = -3.1 - 0.9. Let t = w - -3.6. Is -1/5 greater than or equal to t?
True
Let m be (12/(-2))/(-1) + 0. Do 4 and m have the same value?
False
Let q = -28 + 17. Let c(z) = z**2 + 27*z - 136. Let l be c(-31). Which is greater: l or q?
q
Let h(u) = 2*u - 10. Let g be h(7). Suppose -3*v + g = -7*v. Which is bigger: v or -1/15?
-1/15
Suppose g - 6*u + u = 7, -g - 2*u - 7 = 0. Let q be (2/g)/((-20)/(-24)). Is q <= -1?
False
Let i = -394157/4501 + -2/4501. Let u = i - -88. Are u and -1 equal?
False
Let r(l) = -2*l**2 + 4*l + 5. Let s be r(3). Which is greater: s or 5?
5
Suppose 5*p - 2*r = 0, p - 4*p - r + 11 = 0. Is 1 greater than or equal to p?
False
Suppose -5*n + 0*n = -25. Suppose -3*u - n*r - 6 = 0, -5*r + 3 = 4*u + 6. Let l be 1*12/(-9)*u. Is l >= -3?
False
Let k be (2 + 0)*(-1 + 32/28). Which is smaller: k or -2.8?
-2.8
Let f = 1.15 - -0.05. Let c = f - 0.2. Let t = -0.1 + c. Which is smaller: t or 1/3?
1/3
Suppose -a = -5*a. Which is smaller: -3/5 or a?
-3/5
Let b(m) = -3*m**2 - 1. Let x be b(-1). Which is greater: -0.1 or x?
-0.1
Suppose 5 = x + 1. Suppose -l = -3*a - 0*l + 14, 4*l = -3*a + x. Is 3 at least as big as a?
False
Let s = -16.6 - -16.5. Which is greater: s or 4?
4
Let g(p) = p**3 - 6*p**2 - 7*p - 2. Let u be g(7). Suppose f = -0*f, 6 = -3*k - f. Are u and k equal?
True
Let a(j) = j**3 + 4*j**2 - 4*j - 5. Let z be a(-4). Is -1 equal to z?
False
Let p(f) = -f**3 + 2*f**2. Let k be p(1). Let w be k*1*(0 - 0). Suppose w = -y + 3*y. Which is smaller: y or 1?
y
Suppose 1 = y + 3. Is -3 at least as big as y?
False
Let z = 95 + -379/4. Is z greater than or equal to 8?
False
Suppose 0 = -a + 2. Suppose -17 - 6 = -5*r - 2*c, -5*r + 4*c = 1. Suppose 0 = r*g + 2*n + 4, 5*g - 1 = 4*n + 29. Is a greater than or equal to g?
True
Let p be (-1 - 1)*6/10. Let x = -3 - -3. Suppose 0 = -3*z + j, x*j - j = z. Which is bigger: z or p?
z
Suppose i = 5*w + 3*i - 5, -2*w - 2*i = 4. Which is smaller: 5 or w?
w
Let v(k) = -2*k**2 - 2*k + 3. Let t be v(-4). Does -21 = t?
True
Let a be 2/5*(-5)/(-8). Suppose v + 5*p = 6*v - 15, -4*p + 2 = 3*v. Let t(u) = u**3 - 3*u**2 + 2*u + 1. Let r be t(v). Is a >= r?
False
Let k = 0.5 + 5.6. Let u = -0.1 + k. Let h = -7 + u. Which is bigger: 2 or h?
2
Let k be (-3 - -4)/((-2)/(-82)). Is k at most 43?
True
Suppose -b = 3*b - 8. Let l = -428 - -432. Do b and l have the same value?
False
Let t be (-1 - -1) + (3 - 2). Let a = 730/1253 - 2/179. Is t smaller than a?
False
Suppose -j = -3*j - 2. Let a be 1/46*-2*4. Which is smaller: a or j?
j
Let m = 6 + -4. Let w = m - 3. Let a = 539/8 + -67. Which is smaller: a or w?
w
Let b(h) = h**3 - 5*h**2 - 7*h + 5. Let a be b(6). Is -2/67 equal to a?
False
Let y = 0.75 + -0.9. Let q = 0.85 - y. Which is greater: q or -2/13?
q
Suppose -2*k + 3*w + 6 = -5, 0 = -4*k - 2*w - 18. Let r be 44/(-30) - 4/12. Is r > k?
True
Let q be (-2 - -2)*(-2 - -3). Suppose -4*u + 4 = 4*f - q, -3*f + 6 = 0. Do -1 and u have the same value?
True
Let k(g) = -g**2 - 2*g + 3. Let c be k(-4). Let l = c - -9. Which is smaller: l or 3?
3
Let y = -5 - -3.8. Let v = -2 - y. Let o = v + 1. Which is smaller: o or 0.1?
0.1
Let y = -7 + -14. Let p = 35 + y. Suppose 10 = -3*j - a, -5*j - 3*a = -2*a + p. Which is bigger: j or -3/5?
-3/5
Let c = 60 + -58. Is c smaller than 1/43?
False
Let f be ((-10)/15)/(4/(-6)). Let r be 4/(-8)*(2 - f). Is r smaller than -2?
False
Suppose 2*u - 30 = -3*u - 5*w, 3*u - w - 6 = 0. Suppose 0*t - 3*t - 9 = -u*g, 0 = 3*g. Do -5 and t have different values?
True
Suppose 0 = 3*h + h - 12. Suppose -3*q + 10 = -2