7)/(-54). Let k = 111 - m. Which is greater: 0 or k?
0
Let l = 3.48 - -2.52. Are 0.03 and l unequal?
True
Let i(a) = a**2 + a - 1. Let m(h) = 2*h**2 + 18*h. Let c(z) = -3*i(z) + m(z). Let n be c(11). Let b = n - 431/9. Is b not equal to 0?
True
Suppose -8*i = -3*i + j - 39, -3*i + 9 = -3*j. Let b be 10/56 + i + (-217)/28. Let v(g) = -g**2 - 3*g - 2. Let o be v(-2). Which is bigger: o or b?
o
Let i = 7 - 9. Let x(g) = -g**3 - 2*g**2 - 4*g - 5. Let w be x(i). Suppose 5*o + w = -12. Is o equal to 2?
False
Suppose -50*g = -47*g + 6. Let v be 2*(3 + -2)/((-1)/g). Let y = 4 + 1. Are y and v equal?
False
Let n(w) = -2*w**2 + 1 + 5*w**2 - 12*w - 2*w**2. Let f be 44/4 + (2 - 0)/2. Let r be n(f). Is 16/7 > r?
True
Suppose 7*y + 0 - 14 = 0. Suppose 2*i - 4*o + y*o = -8, 0 = -3*i - 5*o + 28. Is i > 0.17?
True
Suppose 0 = 5*z - 25, 0 = 5*s - 4*z + 48 + 112. Let d(v) = 9*v + 5. Let w(c) = -c + 1. Let i(x) = -d(x) + 6*w(x). Let u be i(2). Is s <= u?
False
Let j = -40.8 - 1.2. Let s = j + 24. Let w = -18 - s. Is 0 equal to w?
True
Suppose 4*f - 1 - 7 = 0. Let l(v) = -11 + 5 + 1 + 5*v + 4. Let h be l(f). Which is smaller: 7 or h?
7
Suppose -9*b = -5*b + 20. Is b at least -4?
False
Suppose -8*l - 30 = -6*l. Let w be (-4)/l + 1/(-6). Which is greater: -1 or w?
w
Let g = 614.8816 + 0.1184. Which is smaller: g or 0?
0
Let p = -26.07 - -26. Let g = 0.93 - p. Which is bigger: -0.2 or g?
g
Let q = -42.03 - -42. Let i = q - 0.07. Is i greater than or equal to -2.7?
True
Let w(b) = -6*b. Suppose 0*c + 2*x = -4*c + 4, -5*c = 3*x - 5. Let v be w(c). Let t = -3 - 2. Which is smaller: t or v?
v
Suppose -q - 4*w = -8, 24*q - w = 27*q - 24. Are q and -13 non-equal?
True
Let f(g) = -17*g + 24. Let z be f(-6). Are 125 and z equal?
False
Let y be -3 - (-1 + (-18)/10). Suppose -3*u - u = 0. Is y less than u?
True
Let x be (-3 + 6)*-1 + 5. Suppose 3*i = x*i. Let w be 87/39 - (-3 + 5). Is w greater than i?
True
Let a(v) be the first derivative of v**3/3 + 5*v**2/2 + 3*v + 1. Let u be a(-3). Suppose -42*d = -33*d + 9. Does u = d?
False
Let g(r) = r**2 + 5*r + 2. Let j be g(-5). Suppose 4*k - 3*i = 21, 2 = j*k + 4*i + 8. Let h be 3/10*4/k. Is -0.09 greater than h?
False
Let j be 24 + (-1 - -2) + -5. Suppose 16 = 2*w + 4*t, 4*w - 5*t = w - j. Let p = 17/12 + -2/3. Are p and w unequal?
True
Suppose 2*b - o = 29, b - 3*o - 22 = -o. Suppose -8*h = -11*h + b. Suppose h = -2*z - 50. Is z < -0.1?
True
Let w(c) = -c**2 + c + 14. Let x be w(0). Let n be 153/12 + (-2)/(-8). Let r = n - x. Which is bigger: r or 1/15?
1/15
Suppose -4*d + 2*t + 137 = -3*t, 5*d = -3*t + 125. Suppose 0 = -5*p - 4*u - 159, 0*u + 5 = -5*u. Let s = p + d. Which is bigger: 3 or s?
3
Let n = -329 - -330. Is n bigger than 10/433?
True
Suppose -8*t - 45 = -11*t. Suppose -n = -24 + t. Which is bigger: 10 or n?
10
Suppose -2*y = -4*y - 10, 0 = -v - 3*y + 19. Let t = 33 - v. Is -3 greater than t?
False
Let o(f) = f**3 - 11*f**2 - f + 12. Let a = 74 + -63. Let k be o(a). Which is smaller: 1/46 or k?
1/46
Let s be (-1)/2 + (-4)/(-24). Let x be (-36)/(-126) + 1/((-63)/32). Is s greater than x?
False
Let z = 4/19 - -26/57. Let h be 2 - 4/160*82. Let s = h - 9/20. Which is greater: s or z?
z
Let p = -7.301 - -0.101. Let h = 5.2 + p. Is 47 equal to h?
False
Suppose 4*g + 34 + 120 = 2*f, -4*g + f = 149. Is g bigger than -15?
False
Let l = 398/5 + -33024/415. Is l less than 1?
True
Suppose 0 = -5*a + a. Let m = 4 - a. Let c be ((6/(-9))/(-2))/(14/(-15) + 1). Is m equal to c?
False
Suppose 2*u - 4*u = -b - 6, -3*u - 5*b = -22. Suppose -2*f = 2*c - 0*c - 12, -3*c = -u*f + 17. Let q be (-3 + f/2)/(-1). Is q != 1?
True
Suppose 0 = -8*h + 3*h + o, -o = 4*h. Is -18/305 greater than h?
False
Let l be (48/(-992))/((18/8)/(-3)). Suppose -2*v = -3*d - 2, -6*d + 2*d + 4*v - 4 = 0. Suppose -5*m = 0, -4*g - 4 = -d*g + 3*m. Which is smaller: l or g?
g
Let i be (65/(-26))/(1/26). Is i equal to -64?
False
Let l = 120.888 - 121. Let b = l - -0.072. Which is bigger: 2/7 or b?
2/7
Let c = -5.395 + -0.005. Let b = 8.4 + c. Which is greater: b or 5?
5
Let u be ((-6)/(-312))/((-1796)/(-360) - 5). Which is smaller: -1 or u?
u
Let x(n) = -n**3 + 5*n**2 + n - 1. Let v be x(5). Suppose -o - v*h + 2 = h, -h = -2. Let d be o/6 + 96/108. Which is greater: d or 0.1?
0.1
Let j = -83 + 142. Let z = j + -59.7. Which is smaller: z or -4/3?
-4/3
Let a = 112 + -562/5. Let i = -29 + 29.28. Let q = i + -0.25. Which is bigger: q or a?
q
Let m be 4 + 15/(-11) + (0 - 2). Suppose 0 = -2*x + 6, -g = 4*g - 4*x + 7. Which is greater: g or m?
g
Let n(u) = -u - 11. Suppose 5*v + 115 = 40. Let k = v + 12. Let o be n(k). Does -9 = o?
False
Let q(n) = -6*n - 1. Let f be q(-4). Suppose -x - f = -6. Let o = -21 - x. Is -1 not equal to o?
True
Let u be (-33)/(-12) - 2 - (-15)/12. Suppose -3*k = 2*t + 82, t - 82 = 3*t - u*k. Which is bigger: 0 or t?
0
Let j be (-4)/10 + 3/5. Let p = -110 - -110.4. Is p at least as big as j?
True
Suppose 0 = -24*c + 801 - 9873. Is c less than -377?
True
Let q = -1 + 0. Let j = -13.7 + -7.3. Is j >= q?
False
Let a be (-6)/(-4)*(-8)/6. Let l = a - -14. Let t = 18 - l. Do 6 and t have different values?
False
Suppose 2*b = -7*b + 63. Is b at least as big as 8?
False
Let z be (-91)/14 - -8 - (-15)/(-10). Do z and 2/1113 have the same value?
False
Suppose 2*x = 2*r - 16, 0 = r - 0*x + 2*x - 17. Let f = r + -15. Suppose -m - 1 - 2 = 0. Are m and f equal?
False
Let k be (-6)/(-10) + (-163)/5. Let d = -135 - -103. Is k less than d?
False
Let z = -21 - -38. Suppose -4*c = -11 - z. Let f be 8 + 2*-1 + 2. Which is greater: f or c?
f
Let y be 0/((-2 + 3)*-1). Suppose -g - 4 - 5 = y. Let d = -68 - -60. Is g less than d?
True
Suppose -5*x + 5*l - 5 - 10 = 0, 3*x = -4*l + 5. Is -2/471 greater than or equal to x?
True
Let n = 35 - 30. Suppose -n = -2*b + 5*f, -4*b + b = 4*f + 4. Which is smaller: b or -4/13?
-4/13
Let k be ((-2)/(-4))/(5/20). Suppose 2*v - 12 = -k*j - 2*v, 0 = 5*j + 4*v - 12. Which is smaller: 6/11 or j?
j
Suppose -a = -0*a - 75. Let k be 2/(-8) + a/396. Suppose -20 = -4*h, -23*h + 1 = 4*u - 22*h. Which is smaller: k or u?
u
Let i = 0.17 - 0.08. Let h = i - -0.11. Which is bigger: h or 1?
1
Let m(d) = d**3 - 16*d**2 + 17*d - 37. Let r be m(10). Is r less than 1/4?
True
Let s be 20/30*153/(-33). Is s greater than 1/5?
False
Let t = -3/521 + -1098/80755. Which is smaller: t or -1?
-1
Let d be (1/3)/((-26)/(-78)). Is d >= 9?
False
Let f(o) = o**3 - 2*o**2 + 4*o - 4. Let r be f(3). Let m(x) = 2*x**2 - 8*x + 7. Let l be m(5). Is r not equal to l?
False
Let n(q) = -q**3 - 7*q**2 - 12*q - 12. Let w be n(-6). Let f be (0 + 30)*8/w*3. Which is smaller: f or 29?
29
Let m = -0.9 + 0.1. Let v = 1 + m. Suppose 2*z - 5*k = 12, -z + 5*z + 24 = -2*k. Which is greater: z or v?
v
Let x = 7.993 + 0.007. Which is smaller: x or 2/5?
2/5
Let g(w) = -2*w + 9. Let t be g(6). Let x(m) = -4*m**2 + 4*m + 5. Let a be x(t). Is -42 not equal to a?
True
Let b = 0.1824 + 31.8176. Do b and -3 have the same value?
False
Suppose q = -4*u + 5, -q + 7 = 4*u - 2*u. Let i(c) = -c**3 - 3*c**2 + 3*c + 5. Let l be i(-4). Suppose h + 0 = l. Is h smaller than q?
False
Let k = 1028 - 1092. Is -64 >= k?
True
Let w = 3211 + -2827. Is w smaller than 384?
False
Suppose 251 = 7*f + 1322. Is 1 equal to f?
False
Let i(k) = -162*k**2 - 4*k - 5. Let r be i(-1). Do r and -163 have the same value?
True
Let d be (-15)/18 - 66483/54. Is d not equal to 1?
True
Let b = -3.2 + 3. Which is greater: b or -7?
b
Let w = 607 + -605. Does w = 17?
False
Let z be ((-9)/12)/((-22)/(-12)). Are -1 and z equal?
False
Let l = 2551/7 + -365. Is -3 bigger than l?
False
Suppose 0*g - 5*g + 5 = -5*m, -5*g - 3*m = -37. Suppose 0*i = g*i + 175. Let z be 4/(-10) + 36/i. Is z bigger than 0?
False
Suppose 6*m - 246 = -78. Suppose 5*n - m = -3*y, -3*y + 28 = 4*n + 2. Which is greater: 28/5 or y?
y
Let z = -0.0248 - 0.0252. Which is bigger: -1/4 or z?
z
Suppose 8*j = 12*j - 48. Do 14 and j have the same value?
False
Suppose -5*a = 3*j + 5, 5*j + 35 - 12 = -a. Suppose 4*p - 6 = -a*p. Let n be (4 - 153/30)*-2. Which is smaller: n or p?
p
Let g = -442 + 470. Let h be (-55)/(-2) - 2/(-4). Is g >= h?
True
Let b be 2/(-6)*(5 - -3 - 8). Which is greater: b or -3/127?
b
Let a be 2/(-4) - -29*9/(-6). Let n be a/(-165)*3/2. Let z = -3 - -4.