uppose -35 = -3*z + 61. Suppose -5*o + 4*l + z = -o, -2*l - 4 = o. Suppose 0*r - o*r - h - 16 = 0, 5*r = -4*h - 9. Which is smaller: r or -6?
-6
Let s = -55 + 56. Which is greater: -3/55 or s?
s
Let d(h) = -3*h + 4. Let y be d(6). Let p be 6/21 - 38/y. Suppose -5*j + 25 = -u, p*u - u + 4*j = 20. Is 1/6 smaller than u?
False
Let a(g) = -2*g**2 + 2*g + 1. Let u be a(2). Suppose -4*k - 4*o = 12, 4*o - 7 + 16 = -k. Which is greater: k or u?
k
Suppose -5*a + 0*a = -40. Let p = 11 - a. Let l = -6 + p. Is -3 less than or equal to l?
True
Let t = 54.1 - 57. Let k = 3 + t. Let m = 6 - 6.3. Is m <= k?
True
Suppose 3*n + 3 - 3 = 0. Which is bigger: n or 1/20?
1/20
Let v(q) = q**3 + q**2 + 2. Let m be v(0). Let u(p) = -2*p - m + p + 0. Let n be u(-3). Is n >= 1?
True
Suppose -2*f + 0*f = 0. Suppose f*p + 16 = 4*p. Which is bigger: p or 5?
5
Let n = -67 + 65. Are -2 and n non-equal?
False
Let u be (2/(-4))/((-31)/124). Let n = 355/4 - 87. Does u = n?
False
Suppose 0*o - 6 = o - 2*y, y - 3 = 3*o. Which is smaller: -23 or o?
-23
Let k = -0.06 - 1.84. Let z = -0.1 + k. Let d = z + 1. Are d and 3 equal?
False
Let s(n) = -n**3 + 3*n**2 + 2. Let i be s(3). Suppose -2*o - 2*w = i, 0 = -7*o + 4*o + 2*w + 12. Is o < 1?
False
Let n be -3 - (120/(-9))/5. Is -1/3 != n?
False
Let u(d) = -d**3 - 7*d**2 + 5*d + 4. Let i be u(-8). Which is smaller: 29 or i?
i
Let c = 0.17 - 33.17. Is c at least 0?
False
Suppose 5*p - 2*i - 43 = 0, 5*p + i - 41 = 5*i. Let m = p + -10. Which is bigger: -10/9 or m?
m
Let w(j) = -j - 3. Let f be w(-5). Let n be 2/9 - f/9. Suppose n = 5*a + 11 + 9. Which is smaller: a or -3?
a
Let t be 15/(-9) - (-2)/3. Let w be 1/t + 6/5. Which is bigger: 1 or w?
1
Suppose 5 + 1 = -4*k - 2*q, 3*k = q + 3. Which is bigger: k or 1/7?
1/7
Let c be 1/(2*1/10). Let r be ((-1)/(-2))/(c/10). Is -2/7 smaller than r?
True
Let p = -18 - -18. Is p greater than 2/5?
False
Let a(z) = -z**2 - 5*z + 6. Let b be a(-6). Let m = -86.1 + 82. Let n = 4 + m. Which is smaller: n or b?
n
Suppose -4*p + 3*x = -0 - 5, -5*x + 15 = 5*p. Let c be p/9 - (-186)/135. Is -0.1 at most as big as c?
True
Let i = 0.37 + -2.37. Which is smaller: 4 or i?
i
Let s = 3 - 3. Let u be 2/10 + 18/(-15). Let p be (-19)/(-30) - u/(-2). Is s greater than or equal to p?
False
Let o = 319/24 + -85/6. Is o greater than or equal to -2?
True
Let y = 11 + -7. Suppose w - 5*a + 21 = 0, y*w + 9 = -0*a + 5*a. Let s be w/(2/(-2) + 3). Which is smaller: 1 or s?
1
Let f(l) = -l**2 - l + 4. Let m(w) = -w - 1. Let o(i) = -f(i) - m(i). Let p be o(-3). Is -1/13 less than p?
True
Let z = 1 + 1. Suppose 5*t = 3*n - 170, 0 = t - 0*n - 5*n + 34. Let m = t - -308/9. Which is smaller: z or m?
m
Let z be (-2 + 0)*(-111)/6. Which is bigger: 36 or z?
z
Let k = 29/2 - 15. Let m = 4.4 - -2.6. Let g = 11 - m. Which is bigger: k or g?
g
Let g(z) = 2*z - 7. Let q be g(2). Which is bigger: q or 8?
8
Let c = -82 + 88. Let f(n) = -2*n**2 - 2*n - 1. Let z be f(-1). Let m be (-1 + 0)*-5 - z. Is c != m?
False
Let z = 0.1 - 1.1. Let s = z + 2. Let n = s - 0.8. Which is greater: -1 or n?
n
Suppose 5*h + 1 = -s, -2*s + h + 24 = -2*h. Suppose s*o = 4*o + 10. Does o = 2?
True
Let n be 4*(-1 + (4 - 2)). Let t(w) = -2*w**2 + w. Let v be t(3). Let l = -10 - v. Which is bigger: l or n?
l
Let w = 18 - 14. Suppose -2*g + 18 = 2*m, 3*m + 5*g = w*m + 9. Which is smaller: 8 or m?
m
Let u(d) = d**3 + 5*d**2 - d - 6. Let k(s) = s + 2. Let b be k(-7). Let w be u(b). Let r = -1/6 - -17/30. Which is smaller: r or w?
w
Suppose 3*f = -6 - 21. Is -10 at least as big as f?
False
Let u be (-14*(1 + 0))/1. Let a be u/(-90) + (-10)/45. Let s = -3 + 4. Is a not equal to s?
True
Let j be (-35766)/120 - 6/8. Let z = -300 - j. Is z <= -2?
False
Let p be (-9)/2 + (-3)/(-2). Let w = -4 - p. Which is bigger: w or -2?
w
Let m = -1963.01 + 1942. Let n = m - -21. Which is smaller: 0 or n?
n
Let q(g) = g**3 + 5*g**2 + 6*g + 10. Let p be q(-4). Which is smaller: p or -0.09?
-0.09
Let h(a) = -2*a + 8. Let j be h(7). Is -5 bigger than j?
True
Let c be (-786)/(-12) + -6 + 2/(-4). Which is smaller: 0.1 or c?
0.1
Let v = -53 + 72. Which is greater: 20 or v?
20
Let i = -10 - -11. Which is bigger: i or -1/3?
i
Suppose -b = -5*t + 23, t - 10 = -5*b + 5. Let q = b - 3. Is -2/11 at most q?
False
Let l = 2/61 + 108/427. Let f = -6 + 0. Is l != f?
True
Let j be ((-6)/(-9))/((-2)/3). Let k = 1 + j. Let b be 2/(1*-4)*k. Is 0 smaller than b?
False
Let l = 92 + -88. Suppose h - 8 = -3*h. Are l and h nonequal?
True
Let i(g) = g**2 + 5*g - 2. Let f be i(-6). Suppose -5*q + 35 = 5*u, -f*u + 4*q + 0*q - 12 = 0. Suppose -3*z = -4*c + 19, -c + 4 = -u*z - 2. Are z and -1 equal?
True
Let y = -19.5 - -1.5. Which is smaller: -2 or y?
y
Let c = 53.1 + -53. Is c at most -13/3?
False
Let r = -0.4 + 0.4. Let t = r + 0.2. Let l = -0.2 + t. Which is bigger: l or 0.1?
0.1
Suppose 0 = -2*a + 10, -4*g - 4*a + 69 = -11. Do g and 14 have different values?
True
Let t be (6/4)/((-42)/(-178)). Let b = t - 20/7. Let w(u) = -5*u - 5. Let x be w(-2). Is b greater than x?
False
Let b = -54 - -175. Is 120 equal to b?
False
Let m(b) = b - 5. Let k be m(7). Do 2/5 and k have different values?
True
Let s be 1/(-1)*-3 - 4. Is s < -3?
False
Let h be 6/(-3)*(-8)/2. Suppose -5*q = -t + 10, -4*q + t = -3*t + h. Is -1 greater than q?
True
Suppose 0 - 1 = -2*w - t, -4*w - 5*t = -11. Are -6/19 and w non-equal?
True
Let p = -10 + 11. Which is smaller: -5 or p?
-5
Suppose -2*j + 83 = 3*j + 3*l, -5*l - 20 = 0. Let m = 18 - j. Is -1 != m?
False
Let u = 241/11 + -22. Which is bigger: 0 or u?
0
Suppose 0 = 3*j + j. Suppose -2*p + 0*p = j. Suppose p*t = t. Which is greater: 1 or t?
1
Suppose 0 + 4 = 2*t. Let z be ((-1)/(-2) + 0)*2. Let k = z + 2. Is k bigger than t?
True
Suppose -k - 6 = -2*u + k, u + k = 13. Let r(j) = -j**2 + 9*j + 8. Let v be r(u). Do 16 and v have different values?
False
Let r(g) = -g**3 + 11*g**2 - 9*g - 9. Let o be r(10). Let p be 78/(-30) + (3 - o). Is -2 at most as big as p?
True
Suppose 2*t + 6 = n - 5, 2*t - 4*n + 8 = 0. Let g be (-38)/4 + 3/t. Let j be g/66 + (-6)/33. Is 0.2 equal to j?
False
Let b be 12/(-20) + 6/10. Which is greater: -1/3 or b?
b
Let t = 0.4 + -0.7. Let b = t + 0.4. Let j = -3 - -4. Which is smaller: j or b?
b
Let l be 4 + -1 + -1 + -1. Let b be (14/(-6))/(1/3). Let z(x) = x**2 + 7*x. Let i be z(b). Is l less than i?
False
Suppose -2*p + 2*g - 57 = p, p + 4*g + 19 = 0. Which is smaller: -20 or p?
-20
Let j be ((-3)/(-18))/(1/2). Let o be -1*(-2)/(-2) + 7. Suppose o - 1 = 5*p. Is p smaller than j?
False
Let x(k) = 3*k - 6. Let u be x(2). Let m = 1/59 - -115/177. Are m and u unequal?
True
Let f be 2/(-8)*-4 - 2. Which is greater: f or -2/3?
-2/3
Let y = 94 - 65. Suppose 4*u - 5*m = y, 0*u - 4*m - 21 = -u. Let p = -3090/13 - -238. Which is smaller: p or u?
p
Suppose 8 = -3*a + a. Which is greater: a or -2?
-2
Let k = 62 + -869/14. Do k and -1 have different values?
True
Suppose r - 2 - 3 = 0. Suppose -d = -4*o + 2, r*d - 7*d + 2 = -2*o. Are 2 and d equal?
True
Suppose -22 = -2*r + 5*o, 4*r - 28 = -r - o. Let u be ((-2)/4)/(8/16). Which is greater: u or r?
r
Let b = -160 + 164. Suppose i - 9 = -3*z - 0*i, 4*i + 28 = 4*z. Are b and z equal?
True
Let f be (6 - 5)/(1/24). Suppose 0 = -h + 3*j - 11, -f = 4*h + 2*j - 4*j. Is -4 greater than h?
True
Suppose -2*n = -3*n. Let u(x) = -x**3 - 3*x**2 - 4*x - 3. Let j be u(-2). Is j greater than n?
True
Let g = 3.01 + -0.01. Let y = g - 4. Is -1 greater than y?
False
Suppose 9*f + 120 = 4*t + 5*f, -2*t - 5*f = -95. Which is greater: 36 or t?
36
Suppose 4*d - 18 = -a - a, 4*d = 4*a. Suppose 0 = -t - d*t. Let m = -1 - -3. Are m and t unequal?
True
Let l = 0.16 + -0.11. Let j = l + -0.55. Which is smaller: j or 0.1?
j
Let c = -1 - -4. Let w be 1 - ((-4660)/16)/5. Let l = 59 - w. Which is bigger: c or l?
c
Suppose 4*c = 4*a, -2*a + 5*c = -6*a + 9. Let n be ((-6)/3)/(-72)*(-2 + 4). Which is bigger: a or n?
a
Suppose 5*j - 2 - 18 = 0. Let g be 0/(-1) + -1 - -5. Suppose 0 = -u - g*l - 3, 0 = 5*u + j*l + l. Is 2/7 less than or equal to u?
True
Let r = 10 - 9.98. Let c = 0 - 0.2. Which is bigger: c or r?
r
Let o = 1.3 - 2.7. Which is bigger: 2 or o?
2
Suppose -2*h = -35 + 55. Is -9 at most as big as h?
False
Let i be (-2)/(-5)*1*5. Suppose 0 = 4*k - 9 - 7. Is i > 