reater than or equal to z?
True
Let f = -0.66 + -0.34. Which is greater: -26 or f?
f
Suppose 20 = 4*x - 16. Let c be (0 + 4)*x/6. Let i = 0 - -0.1. Is c less than or equal to i?
False
Let q(d) = d**2 - 2*d - 2. Let p be q(5). Let i = -31 + 44. Is p smaller than i?
False
Let x be (-16)/8 - 3*-1. Which is greater: x or -2/325?
x
Let y be 1/(-2)*6 - 4. Which is smaller: 3 or y?
y
Let j = -6 + 3. Let q = j - -1. Is q at least -4?
True
Let c = 73 + -49. Let j = c - 23. Which is greater: j or 3?
3
Suppose 20 = n - 5*w, n + 3*w = -0*n - 12. Let o(x) = x + 2. Let p(i) = -2*i - 3. Let f(h) = 7*o(h) + 4*p(h). Let s be f(n). Is s equal to 0?
False
Let k(t) = -2*t - 2. Let w be k(-9). Which is bigger: 78/5 or w?
w
Suppose 0 = -a + 7. Suppose -452*g = -447*g - 25. Which is bigger: a or g?
a
Let q = 0.05 - 0.45. Let u = q + 0.5. Let n = 0 + u. Which is smaller: 3 or n?
n
Let v = 14 - 23. Let h(z) = z**3 + 8*z**2 - 9*z - 4. Let x be h(v). Which is greater: -3 or x?
-3
Let w = -1/25 - 23/50. Let z = 0 - 1. Which is smaller: z or w?
z
Suppose -3*l + 14 = 4*l. Are 0 and l nonequal?
True
Let o = 556/3 - 182. Is 3 > o?
False
Let g = -0.35 + -13.65. Let m = g - -12. Do 0 and m have the same value?
False
Suppose 5*q - 2*o = -196, q + 38 = -0*q + o. Are q and -38 nonequal?
True
Let a be (-256)/(-24) + (-2)/(-6). Is 11 > a?
False
Let h(c) = c**2 + 6*c - 7. Let v be h(-6). Let k = v - -13. Let i be (-4 + 6)/((-22)/k). Which is bigger: i or -2?
i
Suppose 5*z - 4*k = 43 + 4, -3*z - k = -18. Which is bigger: z or 5?
z
Suppose 11*i = 8*i + 3. Is 0 at least i?
False
Let h = -0.289 - 0.071. Which is smaller: 1 or h?
h
Suppose -4*w = 2*o - 4, -7 + 3 = -5*w - 3*o. Suppose -d = w*d - 12. Let m = 3 - d. Is -2 equal to m?
False
Let h be ((-6 + 2)/(-2))/(-4). Are h and -2 equal?
False
Let l be 8/(-12) + 4/3*2. Which is greater: 6/5 or l?
l
Let g = 51/205 - 2/41. Let c = -10 + 5. Let y = c + 5. Is y less than or equal to g?
True
Let x(c) = c**3 + 9*c**2 - 9*c + 10. Let l be x(-10). Is l >= -3?
True
Suppose 0 = -4*u + t - 4, 0 = 4*t - 20 + 4. Is u < 6/7?
True
Suppose 10 = -0*z - z. Let g be 2 - (-2 + z/(-2)). Let i be (-276)/96 + 2/(-16). Which is bigger: i or g?
g
Let z be 6/2 + 24/(-8). Let o be (1/3)/(4/(-4)). Is o greater than z?
False
Suppose 0 = -z - z + 2. Let y = 11 - 11. Is z not equal to y?
True
Let g(v) = -v**2 + 2*v - 2. Let p be g(3). Let i = 0 + p. Let u = 4 + i. Which is smaller: 0 or u?
u
Let d be 2 + ((-206)/41 + 0 - -3). Is 0 less than d?
False
Let q be -1 + (3 - (-4 - -2)). Is q greater than 32/9?
True
Let b be 4 + -3 + 7/(-3). Are -2 and b nonequal?
True
Let d = -80398/101 - -796. Let m = d - 93/404. Which is greater: m or -1?
m
Let d = -16.4 - -22.4. Which is greater: -0.07 or d?
d
Suppose 4*v - 36 = 4*k, 2*v = 3*k - 0*k + 21. Let i = -9 - -16. Which is smaller: i or v?
v
Let i be 4/22 - (-4)/(-22). Suppose -3*q - q = i. Which is smaller: 1/9 or q?
q
Suppose 0 = 3*a - 2*y - 7, 0 = 5*a - 4*y - 13 + 2. Suppose -6*z = -a*z. Is -2/35 smaller than z?
True
Let p = -83479/777 - -4872/37. Let l be 8/20*(-365)/(-6). Let j = p - l. Are 0 and j unequal?
True
Suppose 15*h = -h. Which is smaller: h or 2/311?
h
Let c = -3 - -2.75. Let h = -31.95 + 32. Let i = c + h. Which is bigger: i or -1/3?
i
Let f be (-2862)/70 + (-10)/(-35). Let t = 41 + f. Is 1 equal to t?
False
Let g be (3 - -1)*3/(-6). Let h be (0 + 0)/(g/2). Which is bigger: 1 or h?
1
Let y be (-20)/(-36)*(-6)/(-4). Let m = -22 + 23. Is y smaller than m?
True
Let t(b) = b**3 + 9*b**2 + 9*b + 3. Let z be t(-8). Let u = 7 + z. Let v be u - 6/(-63)*-12. Is v at least as big as 1?
False
Suppose 8*d = 3*a + 7*d + 4, -4 = 2*a - 2*d. Let z = -2 + 1. Do a and z have different values?
False
Let k = -22 + 43/2. Let m = 9 - 6. Suppose -5*l = -2*f - 10, 4*l - f = m*l + 5. Is k greater than l?
False
Suppose -5*z - 2*p - 5 = -3*p, -z + 5*p - 25 = 0. Which is smaller: -2 or z?
-2
Let p = -126.2 - -126. Let t be (-2)/(-6) + 174/(-63). Let l = -71/35 - t. Is l at least p?
True
Suppose 5*h - 13 = -3*m, -4*h + 2*m = -3 - 3. Suppose 0 = 4*i + 4*v - 20, 5*i - 21 = -v - h*v. Which is greater: 14/5 or i?
i
Let i be -4*(-1)/(0 - -1). Suppose -i*r = -0*r - 80. Suppose -r = -6*m + m + 4*y, -3*m = -3*y - 15. Which is smaller: 2 or m?
m
Let x be (3 + -1)*(-1)/(-1). Suppose -s - s = 2, -x*i + 3*s = 5. Let a = -7/2 + 1. Is i greater than a?
False
Let s be ((-24)/(-16) + -2)*(-4)/(-9). Is s greater than -12?
True
Let v be ((-208)/24)/(28/(-1682)). Let u = v - 521. Let s = 2/7 - u. Is 0 bigger than s?
False
Let d = -9 + 16. Let o = d + -7. Which is greater: 3 or o?
3
Let u = -0.015 - 0.085. Is 2 less than or equal to u?
False
Let w be 8/20*(0 - -40). Suppose 0 = -3*o + 7*o + w. Which is smaller: -3 or o?
o
Suppose 78 = -5*q - 3*g + 4, 50 = -3*q + g. Is q bigger than -14?
False
Let m = 1.094 - 0.094. Let n = 167 + -1505/9. Which is smaller: m or n?
n
Let m(i) = i**3 - 5*i**2 - 1. Let h be m(5). Which is smaller: -1/5 or h?
h
Suppose r = 3*d + 2 - 6, -4*r = -3*d + 16. Suppose 3*c + 4 + 2 = d. Let l = -5 + 3. Do l and c have different values?
False
Let m be (-4)/(-6) - 2/(-6). Suppose 0 = -2*i - m - 1. Let x be 1 + 6/(-33) + i. Which is smaller: 0 or x?
x
Suppose 0 = -3*f - 3*j - 33, -12 + 29 = -4*f + 5*j. Which is bigger: f or -2?
-2
Let r = 64 - 51. Which is smaller: 2/3 or r?
2/3
Let h = 3.1 - 3. Let c = -2.3 + 0.3. Which is smaller: c or h?
c
Suppose -2*h = 2*f + 6 + 4, -2*f = -4*h - 2. Suppose -5 + 13 = -4*r. Let c = f - r. Which is smaller: 0 or c?
c
Suppose 4*h + 3*r = 147, -5*h + 4*r - 6*r = -182. Let c be ((-2)/(-8))/((-5)/(-40)). Let y be 1/c - 10/h. Which is bigger: y or 1?
1
Let g = 0.95 + 0.05. Let m = 3 + g. Let p = -3 + m. Which is greater: p or -4?
p
Let t be 3*130/(-52)*1/(-90). Let o = -0.3 + 0.1. Is t greater than o?
True
Let h = -17 + 17.11. Let x = -0.51 + h. Let m = -0.1 - -0.1. Are x and m non-equal?
True
Suppose 0 = 4*d - 2*d + 2. Let t(c) = 2*c - 1 + 1 + 0. Let q be t(d). Is q equal to -1?
False
Let z be (-10)/20*(-3 - -1). Suppose 5*l + 11 = -0*l + 2*o, -17 = 3*l + 4*o. Let d = l - -4. Is d less than or equal to z?
True
Let c be ((-2)/4)/(-5 + 222/24). Suppose 0*q - 2*q + 5*f - 23 = 0, 0 = -3*q - f + 8. Is c < q?
True
Let l = 130/3 + -662/15. Do -1 and l have the same value?
False
Let k = 5 - 2. Suppose -r - 14 = -3*u - 3, -k*u + 23 = 2*r. Suppose r*n = 5*n + 6. Are n and -6 non-equal?
False
Let g = -1715335/24 - -71486. Let c = -41/3 + g. Let x = 1/12 + c. Which is smaller: x or -1?
-1
Let q = -62 + 60. Which is smaller: 2 or q?
q
Let b(y) = y**3 + 4*y**2 + 3*y + 4. Let p be b(-4). Let w be 2/(-6)*(-6)/p. Let d = 1 - 1. Which is smaller: w or d?
w
Let o = -716/7 + 102. Suppose -8 = -4*l, -3*l - 5 = 3*y - 4*l. Let g be (-3 - -3)/(y - 1). Does g = o?
False
Suppose -5*b = -b - 40. Suppose b + 0 = -5*h. Is h greater than -2?
False
Suppose 5*s = 2*i + 59, 4*i = -3 - 5. Let p = 10 - s. Which is greater: -2/5 or p?
-2/5
Let h = 1/74 - -67/518. Let o be ((-36)/(-15))/(-3)*-5. Suppose 0 = 5*l - l - o. Is h at least as big as l?
False
Suppose -8 = -3*y - 2*b, -6 = -y + 3*b + 4. Suppose -4*u - 25 = -9*u. Do u and y have the same value?
False
Let n = -14 - -14.04. Which is bigger: 1 or n?
1
Let s(b) = -9*b**2 + 1. Let d be s(1). Is -7 equal to d?
False
Let f = 0.05 - 2.05. Let q = f + 5. Are q and -2 unequal?
True
Suppose -3*t - 4*u - 10 = -5*t, -3*t + 2*u + 15 = 0. Let n be t - (-3 - 1/(-1)). Let h = 20/3 - n. Is -0.2 at most h?
False
Let d(h) = -h**2 - 4 + 2*h + 3*h + 2*h. Let r be d(7). Let j be (1/(-2))/((-2)/r). Which is smaller: 2/9 or j?
j
Let x = 5 - 4. Let i be (-12)/4 + 2*x. Is 1/5 != i?
True
Suppose 0 = 3*p + p + 4. Is -5/4 smaller than p?
True
Let f = -0.9 + 5.9. Let a = -5 + f. Let g = -4 + 2. Which is smaller: g or a?
g
Let d = 0.2 + 0.8. Let t = 52 + -57. Which is bigger: d or t?
d
Let f = 0.4 - 0. Let i = -4.9 + 0.9. Let b = -3.8 - i. Which is smaller: f or b?
b
Let i(b) = b**3 - 8*b**2 + b - 8. Suppose 4 = 2*k - 4*s, k - 3*s = -0 - 1. Let n be i(k). Is n > -1?
True
Let s be 0/2 + (-1 - 0). Which is smaller: -1/6 or s?
s
Let r = 88 - 88. Let c = 1 + -1. Suppose 3*u = -c*u - 18. Which is greater: r or u?
r
Let a(n) = -2*n**2 - 9*n + 9. Let f be a(-7). Let j be 4 + 3/(21/f). Which is bigger: 0 or j?
j
Let l be 6 + -3