Suppose -c - 4 = -0*c + s, -5*c - 23 = 2*s. Is n >= c?
False
Suppose 3 = 3*n, n + 2*n = m + 12. Suppose 5*d - 43 = 4*u, 4*u - u = -2*d - 15. Let s = u - 1. Is m greater than or equal to s?
False
Let k(h) = -9*h**3 + 4*h**2 - 2*h + 1. Let x be k(1). Which is smaller: 7/6 or x?
x
Suppose 3*g - 4*o - 59 = 0, 2*g - 21 = 2*o + 15. Which is greater: g or 12?
g
Let c = -96 + 105. Is 5 smaller than c?
True
Let t = -218 - -34227/157. Does t = -1?
False
Let v = -4345637/63 - -68976. Let i = -15/7 - v. Which is smaller: i or 1?
i
Let h = 16073/8 - 2009. Is h >= 5?
False
Let s be (8/(-6))/(60/480). Is s at least as big as -7/5?
False
Let b be 4/14 - 524/(-224). Let c(v) = -v**2 + 12. Let w be c(-3). Which is smaller: b or w?
b
Let r(k) = k**3 - 18*k**2 + 17*k + 17. Let n = 0 - -17. Let b be r(n). Is 14 not equal to b?
True
Let x = 1.198 + -0.198. Which is smaller: x or 24/29?
24/29
Let v = 103 - 221. Let r = v - -174. Which is bigger: 57 or r?
57
Suppose -13*f = -9*f + 8. Suppose g - 6 = -2*t, -3*g + 5 + 3 = t. Let u be (-11)/2 + g/(-4). Which is smaller: u or f?
u
Suppose 0 = -22*w - 56*w + 3588. Is 42 at least w?
False
Let r = -1226 + 1227. Is r at least as big as -19?
True
Let f = -14 - -16. Let n be ((-6)/(-9)*15)/f. Let z be 1*(n + -3 + -3). Do z and -7/5 have different values?
True
Let p be (-3)/5 + (-402)/30. Let c be ((-1)/2)/(p/(-8)). Which is smaller: -9 or c?
-9
Let g = -22 + 22. Suppose -3*s = 12 - 69. Is g != s?
True
Let s be (-2)/(-12 + 2) - 0. Let w = -4 + 4. Suppose w = l - 0*l - 5*l. Which is smaller: l or s?
l
Let s = -68645/87 - -789. Let j be (-2)/6 + -4 + (-22)/(-6). Which is smaller: j or s?
j
Let n = -132 - -131. Let p = -23399/52 - -450. Which is greater: p or n?
p
Let c = -20.53 + -0.47. Let f = 22.6 + c. Let i = f + -1.9. Which is smaller: -2 or i?
-2
Let s = -8 + 4. Let i be (1/s*2)/((-8)/(-208)). Which is smaller: i or -15?
-15
Let o be 3/(-5) + (-53)/(-5). Suppose 7*w = o*w - 60. Let v be (-28)/w*(-2)/7. Is 21 bigger than v?
True
Let f = 54 - 21. Suppose 4*m - f = -37. Let t = 2 - 3. Is m smaller than t?
False
Let w = -38 + 112/3. Let m(i) = i**2 - 2*i - 3. Let l be m(3). Which is greater: w or l?
l
Let f = 1378 + -2291. Is f at least as big as -913?
True
Suppose -3*i + 45 = -0*i. Suppose 3*s - 4*t = 7, 5*s - 2*t - 3 = 4. Let o = i + s. Which is bigger: o or 15?
o
Suppose m = -l - 4*l + 150, -l = 4*m - 11. Are -2 and l equal?
False
Let l be 15/(-10) - (-42)/(-4). Let o(a) = 4*a**3 + a**2 + 3*a + 2. Let w be o(-1). Let n be (-8*w/(-24))/(-6). Is l < n?
True
Let n(g) = -2*g**2 + 20. Let h be n(9). Let d = h - -996/7. Is -9/10 at most as big as d?
True
Let f = 56 + -59. Let v be f/(42/(-4)) + (-14)/49. Let q be (-6)/(-4)*8/(-3). Is v < q?
False
Let h(d) = d**2 - 3*d - 4. Let q be h(6). Let s be 3 - 3 - (2 + 1 - 16). Which is smaller: q or s?
s
Let u = -1144 - -1098. Which is smaller: u or -39?
u
Let p(k) = -2*k**2 - 10*k + 13. Let i be p(-6). Let f be ((-2 - -2) + i)/(0 + -1). Let a be (12/170)/(3/15). Which is greater: f or a?
a
Let r(m) = 16*m - 288. Let f be r(16). Is f <= -25?
True
Let m(q) = -1. Let s(v) = 2*v - 19. Suppose 20 = -6*c + c. Let o(p) = c*m(p) + s(p). Let r be o(5). Is -5 at most r?
True
Suppose -326 = -4*y - 3*s, -2*y - 5*s + 258 = 88. Let v = 412/5 - y. Is v at least as big as 1?
True
Let v(n) = -18*n**3 + 2*n**2 - n. Let q = 20 + -19. Let f be v(q). Let l = -11 - f. Is l <= 5?
False
Let x = 232 - 233. Do x and 6/79 have the same value?
False
Suppose -o = 4*o + 25. Let j be (-2)/o*(2 - 7) - 18. Is -20 equal to j?
True
Let g be ((-51)/6)/(3/(-156)). Let m be g/255 + 4/(-3). Which is smaller: -7 or m?
-7
Let h be (-88)/11 + 3618/453. Suppose 4*m + 5*c = -16, -5*m + 6 = -c - 3. Which is bigger: h or m?
m
Let q = 3/8 - 1/8. Is q not equal to 22?
True
Suppose -3*w + f = 6*f + 153, 4*f = 0. Is w >= -52?
True
Suppose -3*c - 1 = -4*c. Let b be (-2)/6 + 16/21. Do b and c have different values?
True
Let m = 8/239 - 502/717. Which is smaller: -7.5 or m?
-7.5
Suppose 0 = 333*y - 332*y + 1. Let t = 12 + -5. Is y >= t?
False
Let u(m) = 2*m**3 + 4*m**2 - m - 6. Let k be u(-2). Let b be 1/(207/48 + k). Which is greater: b or 2?
b
Let d = 1176 + -1166. Is 7/2 smaller than d?
True
Let b(j) = 7*j**3 + 2*j**2 - 2*j + 1. Suppose 0 = 5*f + n, 4*f - 3*n + 8*n = -21. Let c be b(f). Which is greater: c or 9?
9
Suppose -g - 3*g - 5*p + 23 = 0, 2*g = -p + 7. Suppose -5 = -3*z - g*z. Let n be ((-18)/108)/((-1)/((-20)/(-6))). Is z not equal to n?
True
Let f be 24/(-56) + 11/(-7). Let l = -0.1 - -11.1. Let n = -7 + l. Which is greater: f or n?
n
Suppose -2*t + 4*t = 3*m + 15, 4*m + 20 = -3*t. Is -7 greater than or equal to m?
False
Let i = -116 + 116. Let v = -15/68 - 1787/68. Let j = -26 - v. Which is smaller: i or j?
i
Let t = 4004 + -1881879/470. Are t and -1 non-equal?
True
Suppose 0 = 2*c - 5*s - 50, -6*c + 11*c = 4*s + 91. Is -0.5 at least c?
False
Let t = 0.01856 - 0.41856. Let v = -17.87 + -0.13. Which is smaller: v or t?
v
Let k = 652 + -372. Suppose -4*v = v - k. Suppose 4*p - 16 = -v. Which is greater: p or -9?
-9
Let i be 4*(-9)/24 + 49/(-2). Is i bigger than -25?
False
Suppose 3 - 9 = 3*y. Let s(i) = -i**2 - 2*i - 2. Let l be s(y). Let o(d) = -d**3 - 2*d**2 - d - 1. Let u be o(l). Is -4 equal to u?
False
Suppose 7*o + 273 - 35 = 0. Which is greater: -104/3 or o?
o
Let q be 2/(-11) - (-169)/143. Suppose 2*x + 2*r - r = -q, 0 = 3*x + 2*r + 1. Which is smaller: x or 2/121?
x
Let z be 78/14 + 2/((-42)/(-9)). Suppose -2*i + z - 4 = 0. Is 1/3 bigger than i?
False
Suppose -4*z + 4 = -4. Let g be 54/(-140) - z*2/(-8). Is g less than or equal to 1?
True
Suppose 10*p - 441 + 241 = 0. Let r = -1 + 1. Which is greater: p or r?
p
Let s = 21 - 18. Suppose -5*x = -3*o - s*x - 55, -4*o - 5*x = 35. Which is greater: -13 or o?
-13
Let t = 11 + -10.88. Let v = -0.11 + t. Let g = -667/5 - -133. Which is bigger: g or v?
v
Let s be (-332)/(-16) - (-3)/(-4). Let p = -41 + s. Let i = -21 - p. Is 1/8 less than or equal to i?
False
Let d(n) = n**3 + 9*n**2 - 12*n - 30. Let f be d(-10). Is -114/11 smaller than f?
True
Let w = 389 + -425. Is w at least 1?
False
Let z = 279 - 278.93. Which is smaller: 0.1 or z?
z
Let j(n) = 8*n - 2. Let p be j(2). Let g be (4 + 0 - p)/(-2). Let h be (-14)/(-1 + -1) - 0. Which is bigger: g or h?
h
Suppose -17*a + 112 = -13*a. Suppose 2*h + a - 114 = 0. Is 42 greater than h?
False
Let m = -3.2 - -3.32. Let q = -0.1 - m. Let v = q + 9.22. Does 1 = v?
False
Let f(z) = z**2 - 31*z + 28. Let d be f(22). Is -170 < d?
False
Let t = 1561/4 + -390. Which is smaller: t or -132?
-132
Let z = 56 + -52. Suppose -z*f + 15 = -9*f. Is -1 >= f?
True
Let g(k) = k**3 + 34*k**2 + 2*k + 79. Let d be g(-34). Is -2/55 > d?
False
Let v = -58 - -53. Let y be 3/(-5) + (-3)/v. Which is smaller: -6/11 or y?
-6/11
Let c be (0 - 2)/((-27)/189). Is c smaller than 13?
False
Let d be (-228)/(-504) - (-10)/(-35). Is d greater than -219?
True
Suppose 5*f = 5 + 5. Suppose 2*s = 3*s - f. Suppose -28*q = -25*q + 3. Which is bigger: q or s?
s
Let k(q) = -q - 1. Let j be k(-2). Let m be (-256)/(-570) - (-8)/(-60). Is m at least as big as j?
False
Suppose -57*j = -41*j - 10144. Does j = 1265/2?
False
Suppose -4*k - 214 = 12*f - 15*f, -f + k + 70 = 0. Is f less than 66?
False
Suppose 0 = p + y + 4, -5*y - 13 - 7 = 2*p. Let l be (-3 - (-3 - p))*-1. Is 0 bigger than l?
False
Let b(n) = n**2 + 10*n - 1. Let y be b(-10). Let c = -4629/32 - -434/3. Does y = c?
False
Suppose -18*i + 6300 = 1152. Is 286 bigger than i?
False
Let m = 212 - 212.1. Which is greater: m or 113?
113
Let y = 76 - 84. Let g be y + 11 - (2 - -19). Is -18 not equal to g?
False
Suppose -3*x + 4*j = -87, 5*j + 21 = x - 8. Which is smaller: x or -5?
-5
Suppose 8 = 2*r - 4*s, -r - r = -5*s - 10. Let a = 137 - 3017/22. Which is smaller: r or a?
a
Suppose -5*v + 4*j = -29, -j + 10 = 6. Suppose -v*w - 84 = -2*w. Which is smaller: -11 or w?
w
Suppose f = 6*f - 10. Suppose -13 = f*h - 3, 0 = -j - 4*h - 13. Let c = 8 - j. Which is greater: c or 2?
2
Suppose 0 = -3*i + 24 + 15. Let h(p) = -11*p - 24. Let a(o) = 4*o + 8. Let y(c) = -8*a(c) - 3*h(c). Let x be y(4). Which is greater: x or i?
i
Let s(o) = -6*o - 67. Let y be s(-11). Let x be y/3*(-18)/129. Is 3/2 >= x?
True
Suppose 2*b = -6 + 10. Let a(c) = 