 z = -15 - -19. Let y be 52/8*4/10. Which is bigger: y or z?
z
Let y = -2 + 2. Let g = -0.0582 - 4.0318. Let w = g + 0.09. Which is greater: y or w?
y
Let i(o) = 2*o + 7. Let t be i(0). Suppose -8 = -2*j - 2*j. Suppose 4*v - t + 2 = b, 5*v + 10 = -j*b. Is -1/4 <= v?
True
Let z be 35/4*(-28)/70. Is z < -3?
True
Suppose 7 = s + 3*c, -4*s - c = -9*s + 83. Suppose -3*y - s = p - 6*y, 2*y = 2*p + 16. Is p > -3?
False
Let i = -37 - -36.8. Is -8 smaller than i?
True
Let t = -3 + 2. Let p be t/(-2)*-1*0. Suppose 2*v + 3 = -j - p, v = j. Which is smaller: j or -2/7?
j
Suppose 5*v - 2*p = p - 2, -4*p - 8 = 4*v. Suppose j + 2 = 1. Let y = v - j. Is 2/7 greater than y?
True
Let v = -0.3 + 1.3. Suppose -2*l + 14 = -2*y, 1 = -l - y + 2. Let c be (-5)/(-4)*l/10. Which is greater: c or v?
v
Let h = -37/55 + 3/11. Which is bigger: h or -2.2?
h
Suppose -m + 2*m + 4 = 0. Suppose -2*u = 2*u, 10 = -2*t - 5*u. Which is smaller: m or t?
t
Let h = -62.2 + 51. Let l = h - -4.4. Let s = l + 7. Is -3 at least s?
False
Let v = 0.7 + 0.3. Let k = 0.9 + -0.1. Let x = k - v. Is 1 < x?
False
Suppose 2*a - 26 + 6 = 0. Let c = a - 14. Suppose 0 = 13*d - 10*d + 9. Which is bigger: d or c?
d
Let y = 2169/11 + -197. Which is bigger: 4/5 or y?
4/5
Let y(k) = 2*k**3 - k**2 - 5*k - 2. Let i be y(4). Suppose 4*u = i - 18. Suppose d = 4*d - u. Which is greater: d or 2?
d
Let b = -3 + 4. Let u(d) = 4*d - 1. Let y be u(b). Let o(w) = -w**3 + 29*w**2 - 55*w + 30. Let f be o(27). Is f greater than or equal to y?
True
Let o = 0 + 3. Suppose 2*y = o*y - 3. Let s = 5 + -3. Is y at least s?
True
Let f = -162 - -133. Do 1 and f have the same value?
False
Suppose 30 = 3*i + 6. Let w be 3 - -18*i/(-42). Which is smaller: -1 or w?
-1
Let w be (6/(-66))/((-2)/(-4)). Which is bigger: w or -1?
w
Suppose 3 = 3*s - 2*s. Suppose 5*h - s = 2. Suppose 0 = -2*b - h - 5. Which is smaller: -4 or b?
-4
Let z = -44 - -179/4. Let m(o) = -2*o + 1. Let x be m(-1). Let u = -2 + x. Is u < z?
False
Let v be (-10)/14 - (-2)/(-7). Let q = 17/84 - -11/84. Is q <= v?
False
Suppose -3*k + 4*x - 8 = 0, -3*k + 2*x + 1 = -1. Is k at least 5?
False
Let d be (-1)/(-5) - (-231)/(-55). Let y be 3/18*d*-9. Is y at least 7?
False
Let o be ((-4912)/14)/8 - 2/14. Which is smaller: o or -45?
-45
Let l = 16 - 16. Let b be 13/30 + (-4)/8. Is l greater than b?
True
Let t(c) = c**3 + 8*c**2 + 8*c + 4. Let s be t(-7). Let g = -9 - s. Does g = -5?
False
Let g(v) = v**2 + 4*v - 6. Suppose 4*m + 41 - 17 = 0. Let t be g(m). Let i = t + -10. Which is smaller: i or -5?
-5
Let p(j) = j**2 + 8*j - 3. Let o be p(-9). Let t = -5 + o. Do t and -1/25 have the same value?
False
Let b be 48/20 + (-2)/5. Let u be (-12)/(3 + 0) - b. Let t be 1/u - (-5)/(-10). Which is greater: t or 0?
0
Let z = -12 - -12.03. Let i = 0.12 - z. Is 1 greater than i?
True
Suppose -5*d + 3*r + 32 = 0, d - 12 = -4*d - 2*r. Suppose d*g - 3*g = 5. Suppose 0 = 5*m - 3*m, g*c = 5*m. Are 2 and c equal?
False
Let r = -163 + 172. Does r = 9?
True
Suppose -a - 31 - 22 = 0. Let w be 367/(4/2 - 9). Let n = w - a. Are 1 and n non-equal?
True
Let c(r) = 10*r - 1. Let h be c(1). Let z(f) = -f**3 - 6*f**2 - 9*f - 11. Let p be z(-5). Is h greater than p?
False
Let v = -5 - -6. Let u be (4*2*-1)/v. Let w = -5 - u. Is 3 greater than or equal to w?
True
Let h = -1/5 + 7/10. Which is smaller: -2/41 or h?
-2/41
Let a = 1 + 2. Let i = a + -1. Let s = -21 + 21. Is i at most s?
False
Let s(f) = f. Let u be s(2). Is u > -0.02?
True
Let c(z) = z**2 + 6*z + 5. Let k be c(-4). Let w = k + 7/3. Which is smaller: 0 or w?
w
Suppose -4 = -l, d - 2*l = -d + 12. Suppose -2*y + 1 = g + 3, -5*g + d = 0. Let h be (-4)/(-5)*(-40)/16. Is h at most as big as y?
True
Let x = -13 + 11. Is -3/7 less than x?
False
Let o = -0.1 - 0. Let b = -9 + 6. Let h be b/2 + (-1 - -2). Which is greater: h or o?
o
Let i = 96399 - 36342483/377. Let n = 189074/1131 - i. Let m = n + -166. Are 0 and m non-equal?
True
Let a = -79/2 - -38. Is a at most -0.1?
True
Suppose 6 = 4*v - 2. Let m(t) = -t - 3. Let k be m(-3). Suppose -2*i - 5*z - 9 = 0, -4*z + 3 = 5*i - k*z. Which is greater: i or v?
i
Let f = 264/5 + -54. Is 0 > f?
True
Let g(x) = -2*x**2 + x + 1. Let n be g(-1). Let a be ((-2)/(-3))/(n/3). Let z = a - 0. Do -2 and z have the same value?
False
Let o = -0.2 + 0.3. Let v = -93/80 + 9/16. Are o and v unequal?
True
Let x(f) = -f**3 - 9*f**2 - 7*f + 9. Let k be x(-8). Let y be ((-1)/2)/(1/(-2)). Let u = 0 + y. Do u and k have the same value?
True
Let b(f) = -f + 7. Let c be b(7). Suppose c = 3*d + 4*s + 18, 0 = -2*d - 2*d + 4*s + 4. Let j be 2 + d + 4/(-10). Which is smaller: j or -1?
-1
Let d = -5.6 + 3. Is 1/4 not equal to d?
True
Let u(t) = -t. Let g be u(-4). Let z be 3/(-4) + (-92)/(-16). Suppose 19 = z*m - 1. Are m and g equal?
True
Let d = -31 - -33. Which is bigger: 6/7 or d?
d
Let l be 3/(-30)*(4 + -3). Does -1 = l?
False
Let o(v) = -2*v**2 - 1. Let m be o(1). Let i = -6 + 4. Let c = i - m. Is -1/7 greater than or equal to c?
False
Let g(z) = z**3 + 8*z**2 + 7*z - 4. Let j be g(-7). Let p be (-45)/30*j/3. Is p less than or equal to 10/9?
False
Let y be (-4 + 960/245)*(-21)/6. Suppose 0*h = -5*h. Let l = 0 - h. Which is smaller: l or y?
l
Let c be (-3)/(-15) + 2*(-3)/30. Is -1 less than or equal to c?
True
Let l(p) = -8*p - 4*p**2 - 1 - 8 + 3*p**2. Let m be l(-6). Is m != 1?
True
Suppose -z = 2*l + 19, 5*z + 2*l = 5*l - 30. Let m(x) = -x**2 - 8*x + 4. Let p be m(z). Which is greater: p or -6?
p
Let m be ((-24)/(-15))/((-12)/210). Let o = 27 + m. Which is smaller: 1/10 or o?
o
Let l = -42.2 + 42. Are l and -17 non-equal?
True
Suppose 2*x - 2*j - j = -3, 5*j - 21 = -2*x. Let g = x + -4. Suppose -d + 2*q + 3*q - 27 = 0, -d + 4*q = 22. Which is bigger: g or d?
g
Let r(y) = -y**2 - 5*y + 7. Let f be r(-7). Let j = 8 + f. Let o be (1/(-1) - j) + -1. Is -2 less than o?
False
Suppose 4*u + 2*a = -12, a + 12 = -u - 4*a. Is u bigger than 2?
False
Let i = -32 - -1054/33. Let r(p) = p**2 + 9*p + 7. Let m be r(-8). Which is bigger: m or i?
i
Suppose q - 47 = 4*n, -2*n - 5*q = -0*q + 51. Which is greater: -14 or n?
n
Let t be 16*3/27 - 2. Let q = -0.06 - -0.07. Which is smaller: q or t?
t
Let q = 55 - 26. Which is smaller: q or -0.1?
-0.1
Let v be 2/5*(-35)/(-28). Which is smaller: v or -1?
-1
Let f = -0.9 + -2.1. Is f less than or equal to 2?
True
Suppose -5*w - 5 = -3*t, -3*w = 5*t - 0*t - 31. Suppose 3*c - 6 - 8 = t*f, -2 = 2*f. Suppose -4*b = -5*y - 5 - 7, c*b - y = -2. Is -2 at least as big as b?
True
Suppose -2*c + 18 - 14 = 0. Which is smaller: c or 1?
1
Suppose 2 = -s + 3*n - 8, 0 = -4*s - 5*n + 11. Let z = 2/689 - 2095/9646. Is s less than or equal to z?
True
Let v = -11 - -5. Let n = v - -10. Is n != 0?
True
Let y be (-16)/42 - (-2)/(-7). Suppose 5*q + 82 = 2*d, -5*q - d = -0*d + 94. Let g = q + 18. Does y = g?
False
Suppose -o + 3*o = 0. Let m be (2/4)/1*o. Let k = m + -1. Which is bigger: k or 0?
0
Let t be 12/(-4) + (-5)/(-1). Suppose t*v - 2 = -8. Is v less than -0.2?
True
Let j be (0 - 2)*(-4)/(-11932). Let w = 41780/26847 + j. Is 2 < w?
False
Let y = -30864 - -2376604/77. Let r = 14/11 - y. Is 0 smaller than r?
True
Let k be (-261)/(-18) - 1/(-2). Do 15 and k have different values?
False
Let n = 0.83 + 0.07. Are n and 0 equal?
False
Let n = 52 + -51. Let x = -4.7 + 5. Let g = x - 0.2. Is n less than or equal to g?
False
Let z be ((-36)/60)/(4/30*57). Which is greater: 0 or z?
0
Let v = -581/985 + -2/197. Let h(c) = c**2 - 3*c - 4. Let a be h(4). Let g be 0 + (a - 1) + 1. Is g > v?
True
Let m = 0 - 9. Let r = m + 9. Do r and -3 have different values?
True
Let m(y) = 0*y - 5*y**2 + 5*y - 6*y. Let f be m(-1). Suppose 20 = -5*i, 0*i - 4*i = 3*r + 28. Is r <= f?
True
Let a be 13/(-3) - 1/(-3). Let b = a - -4. Does -1 = b?
False
Let i = -64.3 - -6.3. Let f = i - -55.1. Let x = f + 3. Which is greater: 1/2 or x?
1/2
Let d be (-81)/33 + (-4)/(-2). Which is bigger: d or 1?
1
Let z = 0.38 + -0.08. Let o = 0.3 - z. Let p = -3 + o. Which is greater: p or -1?
-1
Let z = -11 + 14. Is z equal to 0?
False
Suppose 0 = 2*z - 6 - 2. Let c be z/8*(-2)/(-4). Is 1.2 at most c?
False
Suppose 0 = k + r + 3, r = 2*k + 2*r + 9. Let y be 2/k*(-6)/5. Let b = 1 + -3. Is y less than or equal to b?
False
Let m be ((-3)/6)/(1/(-2)). Let f = 1/26 - 