Let o = i - -1.4. Which is smaller: o or -2?
-2
Let f be (-49)/(-196) + 6/8. Is -4/43 not equal to f?
True
Suppose 0 = -4*t + 4*p - 4, 4*t + p - 26 = -p. Let k(m) = -4 - 2*m**2 + 3*m**2 + m**3 + 5*m**2 + t*m. Let o be k(-5). Are o and 1/8 unequal?
True
Suppose -5*w + 97 = -2*u, -2*w + w + u = -17. Let h be 6*((-2)/w)/1. Let j = -3 - -2. Which is greater: h or j?
h
Suppose 2*d + 33 = -5*u, 5*d = -3*u - 4 - 31. Suppose 3*c - 5*c - 8 = 0, 5*c - 464 = 2*s. Let v = s - -710/3. Are v and d equal?
False
Let x be -17 + 22 + 47/(-5) + 4. Is x greater than or equal to 67?
False
Let h = 16 + -14. Suppose 5*b = -2*p, -p + h*b = -25 + 7. Which is smaller: p or 9?
9
Let i = 47.054 - 0.054. Let c = i - 44. Is c smaller than 2/5?
False
Let w = 76 + -39. Let v = -36 + w. Is -11 < v?
True
Let j = 3 - 3.5. Let i be 12/15*((-9)/27 - 3). Do i and j have the same value?
False
Suppose 11*z - 1260 = -24*z. Which is greater: z or 31?
z
Let q(r) = -3*r**2 + 7*r + 2. Let h be q(4). Let i be 1*2 + (-17 - h). Which is smaller: -2/11 or i?
-2/11
Suppose r = -4*r + 405. Let n = 487/6 - r. Let m be (-144)/162*6/8. Is m smaller than n?
True
Let l = 43.88 - 44. Let x = l + 0.02. Is x at most as big as -6/11?
False
Let x = 2548 + -899. Is 1648 greater than or equal to x?
False
Let o = -0.74 - -0.721. Let i = 0.099 + o. Let d = 31 + -63/2. Do d and i have different values?
True
Let w = 11.5 - 11.3. Let p be ((-3)/30)/(1/518). Let n = p - -52. Is n equal to w?
True
Let f(h) = h - 8. Suppose -l = -5*l + 32. Let q be f(l). Which is smaller: -2/7 or q?
-2/7
Let w = -131427/157010 - 13/2243. Let h = w + 9/14. Let s = -47 + 48. Is s > h?
True
Let r = 6220885/1163 + -5349. Is 0 >= r?
True
Let w = -19.3 + 0.3. Let u = w + 18.92. Which is greater: -0.1 or u?
u
Let z = 13 + -29. Let u = z - -15.89. Let x = 0.11 + u. Which is smaller: x or -3?
-3
Suppose -2*n + 6 = -4*n. Let r be n/((-7)/(-4) - 1). Is -4 at least as big as r?
True
Let s(f) = f. Let o be s(0). Suppose 2*w + 4*p - p + 11 = o, -p = 5*w + 8. Let j = -5 + 68/13. Which is greater: j or w?
j
Let a(s) = -s**3 - s**2 + s. Let t be a(0). Suppose -5*n + 2 + 3 = t. Let z = 1.04 + -1.34. Which is smaller: z or n?
z
Suppose 5*v + 25 = -0. Let l be (2/(-4))/(v/(-15)). Which is smaller: -4 or l?
-4
Let q = -1094.7 + 1095. Let a = 0.1 - 0.15. Which is bigger: a or q?
q
Let y = 0.1 - 0.1. Let d(h) = 10*h + 1. Let n be d(2). Suppose -4*j - n = -25. Is j at least y?
True
Let v be (19/5)/(5 - 24/5). Which is bigger: v or 18?
v
Let g be 760/(-70) - (-1)/(-7). Which is smaller: -54/5 or g?
g
Let i be (-6354)/(-936)*27*11. Let r = -17299111/8580 + i. Let c = r + -1/195. Which is greater: c or -1?
c
Suppose -3*l + 14 = -2*d, 0 = -4*l + 3*l - d + 3. Suppose 3*j + 2*y - 43 = 0, 8*y - l*y - 75 = -5*j. Which is greater: 13 or j?
13
Let j be (-4)/(-2) + 2 + -2 + 3. Suppose -j*y + 10*y - 5 = 0. Which is greater: y or -1/15?
y
Let h = -38 - -37. Let n = -55/36 - -16/9. Which is smaller: h or n?
h
Let n = -378 - -570. Is n less than or equal to 190?
False
Let z(l) = -l**2 + 9*l - 20. Let x be z(5). Let p be (4/176)/((-3)/30). Do x and p have the same value?
False
Let j = 536 - 526. Which is greater: -0.02 or j?
j
Suppose -6*y = -10*y + 8. Suppose -o + 1 = -y*c, 2*c = -3*c. Is o < -3/8?
False
Suppose -s + 3*s - 100 = 2*u, 5*u = -5*s + 200. Let h = s - 33. Which is bigger: h or -2/3?
h
Let n = -43 + 22. Let i be 5*(-12)/(-40) - (-1)/2. Does i = n?
False
Let y = -4215061 - -240302365/57. Let a = -770 + y. Which is bigger: a or 1?
1
Let h = -0.19 + -0.11. Let a = h - -0.9. Let s = a + -0.7. Do 6/11 and s have the same value?
False
Suppose 5*b - 30 = -0. Let y be 4*-2*1 - -2. Let a = y + b. Is 0 >= a?
True
Let i = -85/17657 - -58253248/582681. Let n = i - 100. Which is smaller: 0 or n?
n
Let n = -396 - -352. Is n < 0.3?
True
Let c be 120/8 + 1 + -12. Let b = 5 + -2. Suppose -10 = 5*v + 5*z, 2*z = 4*v - b*z + 8. Which is smaller: c or v?
v
Let y be (-14)/(-35)*10/26. Suppose -2*n - 11 = -3*h, h - 4*n = -0*h - 13. Suppose 0 = 4*q + h - 3. Which is greater: q or y?
y
Let x(y) = 3*y - 21. Let f be x(7). Let g = -126 - -76. Let a be g/(-224) - 6/21. Which is bigger: a or f?
f
Let i = -8 + 12. Let c(x) = -x**3 - x**2 + x. Let y be c(1). Let r be (y + i)/(42/28). Which is greater: 8/5 or r?
r
Let v = 236 + -235. Is v bigger than 2/477?
True
Let m(z) = 21*z - 4. Let i be m(9). Let c be 6/15 - i/25. Which is smaller: c or -6?
c
Let u = 3 - 2. Let j = 11 - 40. Let f = j + 39. Is u greater than or equal to f?
False
Let v = 1.029 + -0.199. Let u = 0.61 - v. Which is bigger: u or 1/3?
1/3
Let i be (-1)/(-12) + (-3)/12. Let r = -48.214 + 0.314. Let n = -48 - r. Is i smaller than n?
True
Let x = -55 - -70. Suppose 10 = 2*q - 4*t, 3*t = 3*q + q - x. Is q greater than or equal to 17/6?
True
Let q be 1789/952 + (-5)/(-40) + -2. Which is bigger: q or 0?
q
Suppose 4*h + 1 = 13. Suppose -h*c - x - 3 = 8, 2*c + 4*x = -14. Which is smaller: c or -8?
-8
Suppose d + 0 = 2. Suppose 0 = 4*q + d*i, 0*i = -3*q - 5*i - 7. Let j = 1120 - 1103. Is q >= j?
False
Suppose 91 = -p + t + 35, 0 = -4*p - 2*t - 206. Let f = 31 + p. Let o = 38 + f. Is 17 >= o?
True
Suppose 0 = u + 5*b - b - 12, 5*u = b + 81. Is u >= 17?
False
Suppose x - 3*m = m - 6, -2*m + 4 = 0. Suppose -3*j = -x*j - 5*b - 11, 2*j + 2*b + 2 = 0. Let z = -3 + 2. Which is bigger: j or z?
j
Let b = 1.3 - -3.7. Let v = b + -3. Let z = -29/2 + 97/6. Is z bigger than v?
False
Let q(z) = z**3 - 12*z**2 - 29*z + 15. Let b be q(14). Which is greater: b or 15/71?
b
Suppose -5*i = -19*i - 84. Which is smaller: i or -1?
i
Let h = 6911/5 - 1390. Is -8 at most h?
True
Let l(s) = s**2 + 8*s + 5. Let t(z) = -z**2 - 8*z - 6. Let w(j) = -4*l(j) - 5*t(j). Let y be w(-7). Is 3 > y?
False
Let r(y) = y + 3. Let f be r(-5). Let c be 3 - (-84 - -14)/(-10). Which is bigger: f or c?
f
Let p = -50 + 56. Which is smaller: 32/7 or p?
32/7
Let x be 1/(-1) - (1 - (-33)/(-18)). Let p(q) = 4*q - 3*q**2 - q**3 - 4*q. Let s be p(-3). Which is smaller: s or x?
x
Let p(g) = -33*g - 725. Let t be p(-22). Let n = 2258/231 + -68/7. Which is bigger: t or n?
t
Suppose -c + 3 = -4*h - 1, 4*c - 3*h - 55 = 0. Suppose 2*j + c = 6. Let k be 9/j - 3/15. Is -5 smaller than k?
True
Let w be 14/56 - (-122)/(-8). Let h be (w/210)/(1 - 2). Which is smaller: h or -1?
-1
Let d = -30 + 42. Suppose 0 = 7*r - 11*r - d. Let b = r + 5. Is b smaller than 3/2?
False
Let l(q) = -q - 4. Let w be l(6). Let v be (2/(-3))/(w/(-27)). Is -3 greater than or equal to v?
False
Let r(v) = 5*v - 1 + 0*v - 3*v. Let d be r(2). Suppose 16 = 3*n - 2*f + 7*f, -4 = -n - f. Are d and n equal?
False
Let y = 32 - 33. Let w = -2/26529 - -12123763/132645. Let p = w - 92. Which is bigger: p or y?
p
Let c be (-104)/(-272) + (-6)/(-51). Which is smaller: -0.72 or c?
-0.72
Let l = -60.9 + 65. Let f = 3.7 - l. Which is greater: -2 or f?
f
Let b be (-3 - (-1 + 2)) + -2. Let a be ((-36)/1035)/(b/(-15)). Is a at least 1?
False
Let w be -17*((-1216)/120 - (-8)/60). Is w < 171?
True
Let z = -13.8 + 0.8. Let j = -6 - z. Is -3 greater than j?
False
Let k = -102 - -108. Let t(w) = 2*w**2 - 8*w - 22. Let u be t(k). Suppose 3*b - 1 = 2*z, -4*b - b = 5*z + 65. Which is smaller: z or u?
z
Suppose 0 = 4*p - 2*p - l - 4, 0 = -p - 2*l + 7. Suppose -p*k - 7 = -w, -5*k = -w - 1 - 2. Is w not equal to 22?
False
Let x = -0.35 - 6.25. Let n = 0.4 - x. Is -0.1 at most as big as n?
True
Let n = 11751 - 11753. Suppose 2*v + 3*a = -13, -2*v + 7*v - 20 = 3*a. Which is bigger: v or n?
v
Let q = -1/1332 - -2683/25308. Let m = -3 + 2. Which is smaller: m or q?
m
Let y be (6/20)/(84/2072). Do y and 8 have different values?
True
Let y be 1/(-2)*0 + 0. Let m be (-1)/1*4*38. Let z be 1 + -4 + m/(-52). Which is smaller: z or y?
z
Let z = 0.244 - -2.756. Is -0.7 greater than or equal to z?
False
Let n(g) = 2*g - 6. Let v be n(6). Let d(i) = i - 7. Let p be d(v). Let z be 0/3*p - -1. Which is greater: 0 or z?
z
Suppose 3*g + 3*p - 8*p = -59, 4*p = 2*g + 42. Let q(a) = -8*a - 1. Let t be q(2). Let u = t - -3. Is u less than or equal to g?
True
Let v = 0.349 + -0.149. Which is smaller: 69 or v?
v
Let m(i) = -i**2 + i + 10. Let f(w) = -w**2 + 11. Let p(s) = -4*f(s) + 3*m(s). Let z be p(-6). Suppose z*t = -0*t. Which is greater: t or 1/9?
1/9
Suppose 2*