rue
Let p be 2/(-28)*-4 - 2/28. Which is smaller: -1 or p?
-1
Suppose -k + 0*k - 5*n = 13, -k - n = -3. Which is smaller: 6 or k?
6
Suppose 4*y = 6*y. Suppose -4*x + 5*x + 6 = y. Let p be -1 - -1*x/(-2). Is 4 at least as big as p?
True
Let l = 19 + -20.1. Let y = -0.9 - l. Which is greater: y or 0?
y
Suppose 21*k + 5*o + 15 = 16*k, o + 7 = -5*k. Let d = 3228/17 + -190. Is d equal to k?
False
Let g = 0.4 + -4.4. Let v = g + 4.3. Which is greater: -2 or v?
v
Suppose 0 = -0*u + 5*u - 25. Suppose 2*s - 9 = -0*s - u*x, -5*x = -5*s + 5. Suppose -3*j + s*m + 9 = 0, 3*m = -2*m. Is j != 4?
True
Suppose 8*c = 3*c + 25, 5*l - 3*c = -10. Let v = 267/2717 + 1/143. Is v bigger than l?
False
Let l = -99 - -76. Are l and -1 unequal?
True
Let w = 7 + -11. Is w >= -1?
False
Let u be (2 - 2)/3 - -5. Are u and 6 non-equal?
True
Suppose -s + 3*c + 2*c + 20 = 0, -4 = 5*s + c. Is 2/259 >= s?
True
Let x be (-2)/4 + (-23)/(-2). Suppose 5*v + 4 = -x. Which is greater: 2/7 or v?
2/7
Let y(b) = b**2 - 3*b + 1. Let k be ((-12)/(-8))/(2/4). Let i be y(k). Let d be ((-1)/2)/i*-3. Which is bigger: 1 or d?
d
Let j(b) = -11*b - 16. Let f be j(-3). Do f and 31/2 have different values?
True
Let s = 5 - 6. Let c be 3/(-9)*(-2)/12. Which is smaller: c or s?
s
Let n = -36.9 + 37. Which is bigger: -0.13 or n?
n
Suppose s + 2*c = -0*s + 3, -10 = 5*c. Let v = s - 7. Which is bigger: -3/8 or v?
v
Suppose 0 = -k - 2*k. Suppose -l + k = 5*i + 12, 2*l - 3 = -i. Which is smaller: 2 or l?
2
Let h = 8.3 + -8. Let k = 0.3 + h. Let y = k + -1.6. Which is smaller: 2/5 or y?
y
Let q be 1 + -2 + (4 - 2). Which is bigger: -5/6 or q?
q
Let n = 84737/1963 - 561/13. Is n less than 0?
False
Let t = -1.1 + 0.8. Let o(b) = -b**2 - 12*b - 16. Let j be o(-11). Let w = 3 + j. Is t < w?
False
Let t = -0.21 - -0.18. Which is smaller: t or -0.2?
-0.2
Let z = 9 - 12.3. Let h = z + 3. Is h at least as big as -0.2?
False
Let w = -277 + 247.9. Let o = w + 29. Which is greater: -3/5 or o?
o
Suppose -4*i + 1 = -y, 2*y + 2 = 5*i - 0. Let r be -3*(y + -1) + -1. Is r > 6?
False
Let p(d) = -d**2 - 6*d + 4. Let t be p(-5). Let i = t + -20. Let o = 8 + i. Which is smaller: -2 or o?
o
Let j(s) = s. Let o be j(-2). Is -5/9 < o?
False
Let h(g) = g**3 + 5*g**2 - 6*g + 4. Let l be h(-6). Suppose u = 4*f - 19, f - l*f + u = -13. Let s be (-2)/(-3) + f/72. Is s > 2?
False
Let p = 127.53 + -127. Let n = p + -0.6. Let b = 1.93 - n. Are b and 2 non-equal?
False
Let v = -5 + 13. Let n be v/6*(-15)/10. Which is greater: n or 1/2?
1/2
Let a(b) = -b**2. Let p be a(-1). Let k be (4/p - -1)*-1. Suppose -j = 2*j - 6. Is j bigger than k?
False
Let q be (1/3)/(7/21). Let v = 0 - 0. Let t = q - v. Is t bigger than 4/7?
True
Let s = 1 - -1. Suppose 5*k - 2*k = 9. Suppose k*o = -s*o. Which is bigger: o or -1?
o
Let l be (24/120)/(((-6)/5)/(-2)). Do 2 and l have different values?
True
Let c be (-1)/(-2)*0/2. Suppose 5 + c = b. Suppose h - 14 - 6 = -b*d, -2*h - 5*d = -20. Is h not equal to -6/11?
True
Let c = -2 + 21. Which is smaller: 18 or c?
18
Let x be (-2 - 0/(-1))*-3. Suppose 8 = x*n - 2*n. Let k be 60/(-35) + n*1. Which is bigger: -1 or k?
k
Let p be (-4)/(-1) - (-63)/(-14). Which is smaller: -1 or p?
-1
Let y be 15/(-9) - 12/(-18). Which is smaller: y or -2/37?
y
Let v(a) = -4*a. Let z be v(-1). Suppose b - 6 = 2*d, -2*d - b = z*b + 18. Let y be d/30 - 2/(-6). Is y >= -0.1?
True
Let z be ((-27)/12)/(6/16). Is z at most -7?
False
Suppose 9*v - 4*v - 5 = 0. Let s = -41 + 27. Let y = s + 14. Which is smaller: v or y?
y
Let r = -11 + 15. Let a = 4.11 - r. Let t = 0.01 - a. Which is greater: 3 or t?
3
Let g(i) = -i**3 - i - 12. Let y be g(0). Let c be (y/3 - -3)*0. Which is smaller: c or 1/6?
c
Let y = 1203 - 46921/39. Let q = -58/195 + y. Suppose 2*j + 4 = -2*j. Which is smaller: q or j?
j
Let b(f) = f**3 + 2*f**2 + 6*f + 3. Suppose -5 = t - 2*t. Let a(j) = -j**3 - j**2 - 6*j - 2. Let p(o) = t*b(o) + 4*a(o). Let s be p(-5). Is 1 greater than s?
False
Let x = -14 - -33. Is x at most 19?
True
Let n be (10/4)/(5/10). Suppose -10*x = -n*x. Is x at least as big as -1?
True
Let l(r) = r - 1. Let s(p) = p + 7. Let f(m) = -2*l(m) + s(m). Let t be f(7). Let j be 0 - t - (-4)/3. Is j > -2?
True
Let o be -2*(2/(-116))/((-9)/18). Let u = 0 - 0. Is o equal to u?
False
Let r(o) = -o**2 - 5*o + 2. Let m be r(-5). Suppose 579*f = 580*f. Is f at least as big as m?
False
Suppose 0 = 5*c - 5*p + 35, 2*c = 3*c + 5*p + 37. Let w be ((-140)/c)/5 + -3. Which is greater: w or -0.1?
-0.1
Suppose w + 6 = 21. Suppose 2*z - w = -o, -2*o - 5*z + 65 = 3*o. Suppose -u + o = -4*u + 2*n, -3*n + 10 = 2*u. Is -3/2 >= u?
False
Let g(x) = x**2 - 5*x - 4. Let w be ((-3)/(-9))/(2/36). Let u be g(w). Which is greater: 5 or u?
5
Let i = 0.4 - 0.4. Suppose 2*q - 12 = 2*t - 7*t, 0 = -5*t + 3*q + 7. Is t equal to i?
False
Let w be (-4)/(-22) - (-217)/77. Let x be (-12)/(-4)*4/w. Is 3 at least x?
False
Let i = -23 + 15. Is -1 less than i?
False
Let v be 4/(-6)*15/(-10). Is 2/13 at least as big as v?
False
Suppose -2*c - x - 1 = -0, -5*c + 4*x = -30. Let p = c + -1. Let s be (-49)/(-28) - (-1)/4. Which is bigger: s or p?
s
Let a = 1.76 - 1.5. Let l = a - 0.16. Which is greater: l or 3/2?
3/2
Suppose 0 = -2*d + 4*o - 23 - 1, 4*d + 45 = 5*o. Which is greater: -9 or d?
-9
Suppose -4*t = -7*t. Is t greater than or equal to -1/3?
True
Let d(j) = -3*j + 10*j**2 + 7 - 2 - 4*j - j**3 - 3*j. Let h be d(9). Is -4 greater than h?
False
Let n = 152239/8568 - -9/952. Do 19 and n have different values?
True
Let m = -41/15 + 12/5. Which is greater: 2/3 or m?
2/3
Let t be 26/14 - 3/(-21). Which is smaller: 0 or t?
0
Suppose 0 = -2*i - 2*i - 24. Let z be i/21 - (-8)/14. Is z greater than 0.2?
True
Let l = 5 + -4.9. Is l greater than or equal to 2?
False
Let q be (-9)/12 + (-150)/24. Suppose 4*o - z - 29 = 0, 0 = -2*o - 2*z - z + 11. Let i be 0/1 + q/o. Is -1/4 less than or equal to i?
False
Suppose 7*n + y + 11 = 3*n, 13 = -3*n + 4*y. Which is bigger: -1.1 or n?
-1.1
Let i = 41 - 35. Which is smaller: 3 or i?
3
Let u = 34 - 31.98. Let a = u - 2. Let r = a + -4.02. Is 0 <= r?
False
Let r = 148 - 178. Is 1 less than or equal to r?
False
Suppose 12 = -5*c + 17. Which is smaller: 3 or c?
c
Let l(r) = -r**3 - 4*r**2 - 3*r - 1. Let i = 3 - 6. Let t be l(i). Which is smaller: t or -2/29?
t
Let t = 13 - 17. Suppose -18 = 3*s - c + 3*c, -2*s - 5*c = 23. Is t > s?
False
Suppose 6*y = 3*j + 4*y + 9, 2*y - 10 = 4*j. Let v(n) = 3*n**3 + n**2 - n - 1. Let d be v(j). Are -3 and d unequal?
True
Let y = -17531/1670 - 2/835. Which is smaller: y or -12?
-12
Suppose 4*y - y = 2*j + 5, 0 = 4*y + 3*j - 18. Let v = -2 - -1.9. Which is greater: v or y?
y
Let u(w) = w**2 - 5*w + 2. Let b be u(3). Let p be 2/((-2)/3) + b. Let x = 2 - 9. Do x and p have the same value?
True
Suppose 31 = -7*t - 18. Do -5 and t have the same value?
False
Let i = -51 + 53. Are i and 0.3 unequal?
True
Suppose 0 = 9*h - 58 + 22. Which is bigger: h or 1?
h
Let y = 2.1 + -2. Let w(r) = 2*r + 2. Let u be w(-2). Do y and u have the same value?
False
Let n be (((-30)/9)/(-5))/((-4)/(-54)). Do 16 and n have the same value?
False
Let p = 17 + -12. Suppose 2 - 7 = -p*q. Let b = -6.8 - -6.9. Which is greater: b or q?
q
Let l(q) = 84*q - 2. Let p be l(2). Let r be p/18 + (-20)/90. Do r and 8 have different values?
True
Let k = -0.06 - -0.17. Let r = k - 0.01. Is r < -2/5?
False
Let c = 1 - -1. Suppose 0 = d + d - 8. Let l = c - d. Which is smaller: l or -3?
-3
Let c(h) = h**3 + 5*h**2 - 2*h + 8. Let f(a) = -a**2 - 5*a - 6. Let z be f(-5). Let q be c(z). Let s be q/10 - (-5 - -4). Which is smaller: 0 or s?
s
Let v be (-10)/(-48)*(-21)/70. Is v at most 0?
True
Let v(r) be the second derivative of r**4/6 + r**3/3 - r**2/2 + r. Let o be v(1). Let p be 1*((-13)/(-4) - o). Is p greater than 3?
False
Let l = -0.18 + -6.82. Let t = 6 + l. Which is greater: 3 or t?
3
Let c be ((80/15)/4)/(2/42). Which is smaller: c or -0.2?
-0.2
Let s be 5/30 + 19/(-6). Is s less than -3?
False
Let v be -1 - (1 - (-2)/(-1)). Let g be 8/(48/9) - 3/4. Which is greater: g or v?
g
Let k = 0.34 - -0.06. Which is smaller: k or 1?
k
Suppose -4*p + 21 - 1 = 0. Suppose -m - 9 = r, -6 = 2*r + p*m + 15. Which is smaller: -9 or r?
-9
Let c = 0.71 + 6.29. Which is bigger: 1/4 or c?
c
Suppose -