values?
True
Let l = -0.6 - -1.6. Are l and -3/4 nonequal?
True
Suppose -3*v = -1 - 5. Let h = v - 5/2. Which is bigger: h or -2?
h
Let v be 109/(-22)*1 - -5. Is 1 < v?
False
Let f be 4/2 + (-20)/6. Suppose -5*x = -4*x. Let c be (3 - x) + (-13 - -8). Which is bigger: f or c?
f
Let o(h) = 13*h**2 + 2*h + 1. Let v be o(-1). Let k be (-15)/v + 2/(-8). Suppose 0 = 4*y - 3*y - 5*l + 28, 4*y + 17 = l. Is y equal to k?
False
Let j = -79/21 - -1387/84. Are j and 13 equal?
False
Suppose -5*n - 5*m = -145, -3*n + 4*n - 4*m = 34. Suppose -4*a + n = 2*z, -4*a + 24 = z - 1. Is a bigger than 5?
False
Let y(a) = -a**3 - 7*a**2 - 9*a - 2. Let x be y(-6). Is x equal to 16?
True
Suppose -2*r - 22 = -5*m, 5*r + 4*m + 29 - 7 = 0. Is -6 at least as big as r?
True
Let p = -116 + 1506/13. Let v = p - 7/39. Which is greater: v or 3/7?
3/7
Suppose -4*v - 1 = -21. Let y be 1*-1 + v + -3. Let x be 8/(-10)*(-2)/8. Is y at least x?
True
Let q = 173 - 178.96. Let x = q + 6. Let l = x + -1.04. Which is smaller: l or 3/7?
l
Let u(b) = -b**2 + 11*b - 15. Let w be u(9). Which is smaller: w or -4?
-4
Suppose -6*r = -4*r. Suppose 0 = d - r*d - 4. Does d = 2?
False
Suppose 7*c - 3*c + 18 = -o, -4*c = 2*o + 16. Which is smaller: 4 or o?
o
Let i(z) = -z**2 + 2*z + 6. Let x be i(0). Let k(u) = -u**3 + 5*u**2 + 6*u - 2. Let q be k(x). Which is greater: 0 or q?
0
Let m = 15.948 + 0.052. Which is bigger: m or 0?
m
Let w be 0/(-1 + (4 - 5)). Let i = w + -2. Are 4 and i equal?
False
Suppose -2*b - l - 3 = -3*b, 3*b - l - 19 = 0. Let y be (-14)/b - (-3)/4. Which is smaller: y or 1/8?
y
Suppose 0*j = 5*d - 4*j + 15, -2*d + j - 3 = 0. Which is smaller: d or -0.045?
-0.045
Let y be ((-12)/192)/(2/12). Do -1 and y have different values?
True
Let c = -13 + 23. Let l be (-1 + 1)*(-5)/c. Let q = 88 + -614/7. Which is bigger: q or l?
q
Let k be 6/(-3) + 8 - 2. Suppose 5*g - 20 = k*y, 2*g = 5*y + 9 - 1. Which is smaller: -2 or y?
-2
Suppose 0*a = 4*a. Let h = 34/3 - 164/15. Is h > a?
True
Suppose 0*l - l - 3 = 0. Let s be (-18)/l + -3*1. Is 3 less than or equal to s?
True
Let d = -0.03 - 0.57. Let a = d - 0.4. Which is bigger: a or -3?
a
Let l(a) = -a**2 + 11*a + 28. Let v be l(13). Let t = 2.4 - 2.29. Let g = 4.89 + t. Which is bigger: v or g?
g
Suppose 11 = -2*h + 13. Suppose -4*p - 4*k + 3*k = -11, 3*k = -5*p + 19. Let z = h - p. Does 1/4 = z?
False
Let l be (-1)/(-4) - (-92)/16. Suppose -4*c = -7*c + l. Let m be (c - 2) + 3 + -2. Is 0 <= m?
True
Suppose 12 = -4*w, -2*j + w - 36 = -w. Let s be -2 + (2 - (-12)/j). Which is smaller: -1 or s?
-1
Let x = -2.8 + 62.8. Which is greater: -1 or x?
x
Suppose -k = 3*v - 11, 3*k - 4*v = -0*k - 19. Is k <= 2/7?
True
Let p be 180/91 - 2*1. Let i = p + 4/13. Let y(m) = -5*m. Let k be y(0). Which is greater: i or k?
i
Let x = 7 + -6.7. Let s = -0.4 + x. Is s < 0.2?
True
Suppose 4*t = 6 + 6. Suppose y - 3*y - 6 = -c, t*c - 18 = -4*y. Suppose 2*w + w - c = 0. Is w at least as big as 2?
True
Let f be ((-3)/4)/((-1)/4). Suppose 0 = -0*m + f*m. Which is greater: m or 2/45?
2/45
Let l = -56 + 45. Does -11 = l?
True
Suppose -7*q = -3*q - 2*m + 6, 3*q - 3*m - 3 = 0. Let g be (-3)/(-18)*3*q. Let d be 4/6*(-3)/g. Which is bigger: d or 2/13?
d
Let i(j) = -j**3 - 26*j**2 + 28*j + 31. Let x be i(-27). Which is greater: 5 or x?
5
Let a be ((-6)/(-15))/((-1)/5). Let m(r) = -r. Let v be m(a). Let b be 32/80*10/3. Is b less than v?
True
Suppose 7 = 5*u + 2. Are 2/9 and u unequal?
True
Let p(z) = -z**3 + 5*z**2 + 2*z. Let n be p(4). Suppose 4*d - n = -2*w - 2*w, 0 = -w - 5*d + 26. Which is greater: 3/7 or w?
w
Let g be (-104)/(-28) - (-6)/21. Suppose -g*k = -9*k. Which is bigger: -2/5 or k?
k
Let x = 6 + 13. Is 18 less than or equal to x?
True
Let y(u) = u**3 + 3*u**2 - 2. Let j be y(-2). Suppose -l = j*l. Which is smaller: l or -2/35?
-2/35
Let h = 4.4 - 0.3. Let o = -4 + h. Let z = -0.8 + 0.83. Is o greater than z?
True
Suppose -2*c = 2*c, 5*c + 3 = q. Suppose -q = -2*n - n. Let d be -1*((-2)/(-2) - 2). Is n at least as big as d?
True
Let x be (-8)/12 + ((-2528)/(-84))/4. Does 6 = x?
False
Let p be 2/(-7) + (-92)/(-126). Suppose -3*y + 3*b + 33 = -0*y, 4*y - 3*b = 45. Suppose -2*s - 5*a + y = 0, s + 3*a = a + 5. Do s and p have different values?
True
Let q be -4 + 2 + 49/25. Which is smaller: 0 or q?
q
Let w = -0.92 + 0.65. Which is bigger: 0 or w?
0
Let a(u) = u + 5. Let t(s) = s - 1. Let v be t(-5). Let g be a(v). Let b = 0 - 1. Is b >= g?
True
Let c(x) = -4 + 3*x**3 - 2*x**3 - x - 2*x**3 - 7*x**2. Let i be c(-7). Let s = 6 - 4. Which is bigger: s or i?
i
Let h = -272/3 - -1318/15. Which is greater: -3 or h?
h
Suppose -3 = g - 7. Let s be (11 + -9)*(-2)/g. Is 1/34 bigger than s?
True
Suppose 1 = -p - 5*q, 4*p + 11 = 2*p - q. Let r be p/(-4) - 3/(-6). Let g be 1/2 + 1/6. Which is smaller: g or r?
g
Let l = 27 - 25. Is l smaller than 3?
True
Let b be (3/7)/(21/(-14)). Which is bigger: 0.2 or b?
0.2
Let w = 0 + 0. Let j = -77 - -384/5. Which is greater: w or j?
w
Let g(s) = -3*s - 4 + 2*s + 5. Let q be g(2). Suppose -2*d + 5*d = 0. Does q = d?
False
Let k = -35 - -35. Which is smaller: k or -2/31?
-2/31
Let n be (((-2)/3)/(-1))/(4/3). Is n at least as big as 0.5?
True
Suppose c + u = -17, -2*c - u + 43 = -6*c. Let r be (-15)/c - (-2)/(-8). Let l = 0.05 - -0.55. Is l != r?
True
Let p(u) = -u**2 - 12*u + 2. Let h be p(-10). Suppose 0 = 4*s - 6*s + b + 1, 5*s = -4*b + h. Let d = s - 2. Is -1/6 equal to d?
False
Suppose -4*t + 2*t = 0. Let i be (-7 - 153/(-18))/((-14)/(-4)). Does t = i?
False
Let n = -33 - -44. Is 11 >= n?
True
Suppose -2*x - 9 = -1. Let u(p) = -p**3 + 7*p**2 + 9*p + 2. Let s be u(8). Let n be (15/s)/((-1)/2). Which is smaller: x or n?
x
Suppose -3*k + 5*t = 17, 2 + 3 = -3*k + 2*t. Let x = -1 + 4. Suppose -3 + 0 = -x*g. Are g and k equal?
True
Let g = -1.8 + 1.1. Let t = 0.5 + g. Does 2/3 = t?
False
Let c(q) = q**3 - 3*q**2 - 6*q + 5. Let u(d) = d + 8. Let j be u(-4). Let b be c(j). Let g = -3 - b. Which is greater: -4/7 or g?
g
Let u = 2 - 2.1. Let r be -3 - ((-2)/8 + (-35)/12). Which is smaller: u or r?
u
Suppose -7*k - 1 = -8*k. Is 4 != k?
True
Let b be (-4)/2 - (-6 + 3). Let h be (-12)/(-56)*(-4)/(-3). Is b at least h?
True
Let s = 46 - 46. Which is bigger: s or -1/25?
s
Let n = -368 - -1463/3. Let y = -116 + n. Which is bigger: 5 or y?
5
Let u be 2/13 - (-50)/13. Are 1 and u non-equal?
True
Suppose -6 = 3*t - 6*t. Let b be (-4 - -1)*t/3. Let y = 9 + -11. Is y at least as big as b?
True
Let k = 8.65 - -0.35. Is 3 > k?
False
Let z = 0.18 - 15.18. Let w = z - -14. Which is smaller: 0.1 or w?
w
Let u be ((-2)/1)/((-2)/(-197)). Let m = 1771/9 + u. Let j = -1/97 + 197/291. Which is bigger: m or j?
j
Let o = 15 - 19. Which is bigger: -2 or o?
-2
Let c be 33/12 + (-3)/(-12). Suppose -o + 2 = -c*o. Is 1 equal to o?
False
Let s = -2/365 + -2042/365. Is s at least -7?
True
Suppose -5*a - 2 = 4*j - 1, 3*a = -2*j - 1. Which is smaller: a or 2/13?
a
Let i = 2 - 5. Let s = 10 + i. Let h = 7 - s. Which is smaller: h or 2?
h
Suppose -5*a + 23 = -0*c - c, 18 = 4*a - c. Is a at least 2?
True
Let d be 8/(-24) + (-454)/6. Let f = 379/5 + d. Let b = 0 - 1. Which is smaller: f or b?
b
Suppose 4*v - 5*b = -2, 0 + 4 = 2*b. Is 3/5 equal to v?
False
Let t = -1 - 0. Let f = -20/77 + 6/11. Which is bigger: f or t?
f
Let t be 0/(-3 - 2/(-1)). Suppose t = -3*j - 0*j + 3. Let u be (-4)/(-18) - 32/306. Is u at most as big as j?
True
Let f = 0.03 - -1.97. Let a = 2.18 + -0.28. Let t = a - f. Is 0 at least as big as t?
True
Let q(b) = -b**3 + 3*b**2 + 5*b - 5. Let c be q(4). Let k be ((-49)/21 + 3)*(-2)/3. Are k and c nonequal?
True
Suppose -3*z = -7 - 11. Suppose -l + z = -2*l. Let y be 2 - l*(-9)/24. Are -1 and y unequal?
True
Suppose l + 4*l = -5. Let t(p) = p + 3. Let r be t(-4). Do r and l have different values?
False
Let o(v) = -v**2 + 4*v - 4. Let b be o(3). Let z be 2/5 + 203/(-420). Which is smaller: b or z?
b
Let m = 4 - 9. Let y be -17 - 3/(-2 + -1). Let d = -21 - y. Does m = d?
True
Let v = -84/19 - -2173/513. Which is smaller: v or -1?
-1
Let c(s) = -2*s - 4. Let b be c(3). Suppose 4*u - 7 - 5 = 0. Let x be ((-1 - 3) + u)*9. Is x less than b?
False
Let y(v) = -v**2 - 5*v - 1. Let w be y(-5). Which is bigger: -1/21 or w?
-1/21
Let r = 3 - 35/12. Which is smaller: r or 0?
0
Le