 Which is smaller: c or x?
x
Let b = 7 + -7. Suppose 0 = 2*j + 2*p + 2, -2*j = -b*j - p - 10. Let m be (3/9)/(j/9). Is m > 10?
False
Let x = -1176 - -1100. Is x equal to -1?
False
Let a be 1*13 - (-8763)/254. Is a at most 2?
False
Let y(b) = -6*b + 96. Let s be y(-11). Which is smaller: s or 159?
159
Let m be -2*(-6 + 5 + 7/2). Let f be m + (-116)/(-12) - 1/(-3). Which is smaller: f or 11/2?
f
Let k = -44.9 + 39. Let l = k + 4.9. Is l >= -47?
True
Suppose 0 = 5*c - 93 - 27. Let i be (-8)/c*5/3. Suppose 0*s = 3*s + 7*s. Which is smaller: i or s?
i
Let h = -2.6 - -2.69. Let o = -0.04 + h. Is o smaller than 1/3?
True
Suppose 2*d + 8 = 3*a, -5*d + 2*d - a = 1. Are d and 3 equal?
False
Let d = -52 - -100. Let k = 49 - d. Is k not equal to -1/102?
True
Let t = -10 + 10. Suppose t*n - 5*n = -15. Suppose n = -z - 25. Is z not equal to -29?
True
Let x(n) = -2*n**2 + 16*n + 19. Let g be x(9). Which is greater: g or 2/779?
g
Let x = -44 + 371. Which is greater: 328 or x?
328
Let p = 0.23 - 0.09. Let q = -1.86 - p. Let m = q - -2.12. Is -1 greater than m?
False
Let n = -8 - -15. Let a be (66/(-8))/((-6)/(-19 - 5)). Let p be a/(-9) + 28/21. Is n at least p?
True
Let h = -394 + 404. Is h at least -15?
True
Suppose 0 = -2*j - s - 2, 3*s - 4 - 5 = -j. Let v be (-90)/(-6)*(-1)/j. Which is bigger: 8 or v?
8
Let t be 126/49*(-28)/10. Is -7 at least as big as t?
True
Suppose 7*u - 3*u = 12. Suppose -8*q + u*q = -115. Is 24 at most q?
False
Suppose -5*t + 30 = -5*s, -3*s + 4*t - 2 - 17 = 0. Let x(u) = -u**2 - 9*u - 7. Let p(j) = -j + 1. Let w(q) = 2*p(q) - x(q). Let r be w(s). Is -1 bigger than r?
False
Let o = -0.369 - -0.44. Which is bigger: o or -0.2?
o
Let s(h) = -h + 2. Let o(f) = f**3 + 8*f**2 - 3. Let d be o(-8). Let t be s(d). Suppose -5 = -2*x - 3, y + t = -5*x. Is -11 equal to y?
False
Let r = -8.18 - -9.34. Is r < 2/11?
False
Suppose 5*g + 4*h + 360 = 0, -2*h = -5*h + 15. Let u = 3567 - 17833/5. Which is greater: u or g?
u
Let i(y) = 3*y + 7. Let z be i(-1). Suppose 6 + z = 10*a. Which is bigger: a or 2/91?
a
Let o be (-2)/((-5)/5) + 1504/(-286). Let s = -40/13 - o. Which is smaller: 0 or s?
0
Suppose 86*k - 16 = 82*k. Let l be ((-3)/k)/(-2 + (-90)/(-48)). Which is bigger: l or 7?
7
Let n(p) = -8*p**3 - 5*p**2 + 6*p + 3. Let c be n(-5). Is c != 849?
True
Suppose 2 = -2636*y + 2638*y. Which is smaller: 52 or y?
y
Let i = -520 - -526. Let o = -247/5 + 49. Which is bigger: i or o?
i
Let f be 0 + 3 - (0 - 128/(-38)). Are f and 0 equal?
False
Let z = 72.9 - 70. Let l = z + -3. Let f = -9 + 9.5. Which is smaller: l or f?
l
Let r be -6*(-2 + 122/(-3)). Is 254 < r?
True
Let g = -4 + 19. Suppose r = m + 2 + 3, -2*m - 3*r = -g. Which is smaller: -2/47 or m?
-2/47
Let a be 2*-1 + (-3)/3. Let k = -17 + a. Let j = -13 - k. Is 2/3 at most as big as j?
True
Suppose 4*s = 5 + 7. Let l = 49 - 35. Suppose 2*q - 17 = 4*q + 3*f, l = q - s*f. Which is smaller: q or 3?
q
Let a(k) = 6*k - 13. Let q be a(3). Suppose -q*h - 12 = v, -h - 20 = -2*v - 0*v. Suppose -2*s = v, 3*n + 23 = -3*s - 2*s. Is n >= 2/5?
False
Let w be ((-15)/(-450))/((-2)/(-5)). Let n be 3/2 - 3/6. Is n greater than w?
True
Suppose 0 = -5*k + 6*k. Suppose 0 = -3*h + 6, x + 4*h = -k*h + 38. Suppose 3*j - 8 = 85. Is j greater than x?
True
Let z(f) = -f**2 - 7*f - 5. Let w be z(-6). Let i(s) = 4*s + 2*s - 6*s + s + 5. Let c be i(-5). Does w = c?
False
Let a = 3 + -2. Let v = 29 + 13. Let f = -41.98 + v. Which is smaller: f or a?
f
Let c be ((-14)/(-16))/(2/(-4)). Suppose 10*q = 3*q + 672. Suppose -91*a = -q*a - 10. Which is smaller: a or c?
a
Let w be (21/(-10))/(7/((-1540)/(-24))). Is w greater than -20?
True
Suppose -9 = -3*w - 0*w. Suppose -3*q - 4*y = q - 4, -2*y - 6 = 0. Suppose -15 = m - q*m + 3*c, -c - 4 = 0. Which is greater: w or m?
w
Let t be 2/(-3)*108/(-120). Let q be (2/(-31))/(9/(-90)*-10). Do t and q have the same value?
False
Suppose -2*i - 4*c = 12, -4*c + 2 = 4*i + 26. Let x(l) = -2*l - 9. Let k be x(i). Which is greater: 2 or k?
k
Let y be (305/25 - 11)/((-4)/(-26)). Which is greater: 9 or y?
9
Let w be (-8504)/(-93)*(-15)/2. Let v = w - -686. Do -1 and v have the same value?
False
Let t(w) = -w**3 + 6*w**2 + 7*w + 5. Let b(v) = -v**3 + 10*v**2 - 8*v - 2. Let m be b(9). Let l be t(m). Let c be 4/((-4)/16*4 - -2). Which is smaller: c or l?
c
Let p = -8.8 - -1.4. Which is bigger: p or -1?
-1
Let y = 467 - 312. Let q = 155 - y. Is 0.22 bigger than q?
True
Let t = 204 - -87. Which is smaller: t or -0.1?
-0.1
Let d be (3 - -7)*27/18. Is 20 at most d?
False
Suppose k + 5*b + 17 = -1, -5*b - 12 = 4*k. Let m be -9*((-24)/(-9) - 2). Let u(z) = -z**2 - 6*z + 4. Let o be u(m). Are o and k nonequal?
True
Let b(l) = 3*l**3 - l**3 - 1 + 2. Let i be b(-1). Let y = -6165/7 - -881. Is y greater than i?
True
Let c be (-8 + 9)/(20/(-6) - 0). Are 2/3 and c nonequal?
True
Let x be (16/(-80))/(1/5). Let n = -225 + -80. Let r be n/105 - -3*1. Which is bigger: x or r?
r
Suppose -5*i + 2*i = -o - 28, 2*o + 38 = 4*i. Suppose -i*n + 357 = -2*n. Is 51 >= n?
True
Suppose -213 = 2*x + 459. Is -337 smaller than x?
True
Let l be 1/1 + (-3)/5. Let x(g) = 3*g - 9. Let w be x(5). Suppose -9*i + 3 = -w*i. Which is smaller: l or i?
l
Let j(n) = -n**3 + 4*n**2 - 7*n + 9. Let m be (-13 + 11)/(4/3 + -2). Let z be j(m). Which is greater: -17/6 or z?
-17/6
Let u = -5 - -4. Let j = 10 - u. Suppose 2*o - 5*s - j = -0*o, -2*s - 10 = 2*o. Which is smaller: o or -1?
o
Let l be 91/(-21)*(-8)/4*-3. Which is bigger: 1 or l?
1
Let p = -990 - -618. Is -372 < p?
False
Suppose 2*k - 18 = -3*a + a, 15 = 2*a - k. Let i(r) = -r**2 + 5*r**2 + r**3 + 4*r**2 - 2*r**3 - 1. Let s be i(a). Which is smaller: -4 or s?
-4
Let z = 2/1521 + 47135/12168. Which is smaller: z or 5?
z
Let q = -65.79 + -0.21. Let a = -65.9 - q. Which is bigger: a or 4?
4
Let i = 294.87 + -295. Let j = -1.2 + 0.6. Let a = j + 0.6. Is a bigger than i?
True
Let i = 13 - 2. Let g = -13 + i. Let b be 6/(-20) - (-1)/2. Is g greater than or equal to b?
False
Let h(j) = -j**3 - 6*j**2 - 5*j - 5. Suppose -17 = 5*x + 8. Let z be h(x). Let r be 4/5 + z/5. Is r less than or equal to 0.1?
True
Suppose 10 = 4*q - 6. Let t be 80/12 - q/6. Let u = -6 + t. Is 0.2 >= u?
True
Let z = 4 + -5. Let h = -4934/47 + 105. Which is greater: z or h?
h
Suppose 3*z - 5*p = 223, -6*z + 3*z = 3*p - 255. Suppose -2*v = 3*m + 3*v - z, -2*m = v - 47. Are 22 and m equal?
True
Let x = 918 - 625. Suppose g + 2*g = -5*o - x, o + 45 = -4*g. Which is smaller: o or -60?
o
Let g = -2/1987 + 10011/75506. Which is smaller: g or 1?
g
Let y = -0.29 + 2.89. Let n = y - 4.6. Which is smaller: n or -15?
-15
Suppose 9*w - 4*w = 5. Let q be (-55)/88*(w - -1). Is q >= -2?
True
Let r be (-1)/4 - (-34)/8. Suppose -2*x = 4*q - r, -6 = q - 2*x - x. Let c be (-2)/((-6)/27*-3). Is q greater than c?
True
Let m be ((7 - 3)/(-2))/((-4)/22). Suppose 2*u + 18 + 12 = 3*c, 0 = -5*u. Is m > c?
True
Suppose 5*g + 15 = 2*f, 5*f = -11*g + 7*g - 12. Which is smaller: -1/1417 or f?
-1/1417
Let c(n) = 3*n**2 - 13*n + 23. Let y be c(14). Which is bigger: y or 428?
y
Let l = -43 - -55. Let y be (-45)/l - 30/(-6). Which is bigger: 2 or y?
2
Let t(i) = -i**3 + 8*i**2 - 14*i + 11. Let j be t(6). Are j and 15/32 non-equal?
True
Let v(m) = 3*m**2 - 2*m - 15. Let h be v(0). Let w be 0 + 2 + -2 + 4. Suppose 0 = -2*x + 4*j - 26, x - 4*j + w = -7. Is x at least h?
True
Let k = 57437/22 - 2606. Let b = k - -637/44. Let i = b - 19. Which is greater: 2/3 or i?
2/3
Let a(y) = -3*y + 12. Let o be a(8). Let f be ((o/(-52))/(-1))/1. Suppose -4*h - 6 = b - 3*b, 13 = -3*b - 5*h. Does f = b?
False
Suppose -20*y + 19*y = -8. Let c be y/(-2) - 2*-2. Suppose 0 = -z - c*z. Which is greater: 17 or z?
17
Let q(c) = -2 - 3 - 11*c + 14*c - 18*c. Let m be q(-1). Is 7 at most as big as m?
True
Let h = 28 + -43. Let f = -16 - h. Which is smaller: -2/3 or f?
f
Let g(v) = -v**2 + 6*v + 1. Let x(l) = -l**3 - 4*l**2 - 2*l - 2. Let t be x(-4). Let i be g(t). Let a = 220 + -2863/13. Is i greater than or equal to a?
True
Let i be (-49)/84 + (-3)/(-12). Let j = -8 - -7.26. Let y = 0.8 + j. Which is smaller: y or i?
i
Let t = -38 + 38. Suppose -5*x + 4*a = -0*x - 15, -2*x - a - 7 = t. Which is bigger: -1/47 or x?
-1/47
Let i = -0.1 + 0.3. Let a = i - 0.1. Suppose -444*f = -474*f + 30. Ar