 smaller: c or x?
x
Let u = -786 + 1182. Let i = u - 271. Which is bigger: i or 126?
126
Let q = 28 - 43. Let y = -47 - q. Which is smaller: -33 or y?
-33
Let w = -1.8 + 2.9. Let g = w - 1. Let m = -0.3 + g. Are m and 2 unequal?
True
Let k(y) be the third derivative of y**6/120 - 2*y**5/15 + y**4/4 + y**3 - 6*y**2. Let h be k(7). Which is greater: h or -6/7?
-6/7
Suppose 0 = 2*s, -12 + 22 = 5*n - 5*s. Let j be ((-2)/7)/((-1)/5). Which is smaller: j or n?
j
Let s(p) = p**3 - 8*p**2 - 12*p - 12. Let u be s(9). Let m be 13/u*2/(-13). Is 1 equal to m?
False
Let r be (6988/(-8) - 5)*2/(-7). Is 0 > r?
False
Let d(v) = v**3 + 12*v**2 + 15*v + 10. Let c be d(-11). Let l be (c/15)/((-32)/(-12)). Let k = 5/4 + l. Is -3/7 > k?
False
Let n = 3104 + -28030/9. Is -11 != n?
True
Let f = 2 - 1. Let w = 14275 + -14198. Which is greater: w or f?
w
Suppose 0 = g + 3*y - 181 + 7, g - 174 = 2*y. Let v be 2/13 + g/(-117). Which is bigger: v or 0?
0
Suppose 0 = 3*l, 12*n - 7*n + 3*l + 5 = 0. Are n and 1/338 unequal?
True
Let p be ((-6)/16 - 0) + 0. Let g be 2/(1/(-4) - (-14)/(-8)). Let k be ((-2)/g*-1 + 2)/3. Which is smaller: k or p?
p
Let i be (-49)/(-5) - (-12)/60. Suppose 0*g = -3*g + 15, -4*l + 2*g = -i. Let j be l/10 - 38/60. Is j less than -1?
False
Let r(o) = -11*o + 69. Let h be r(6). Suppose -10 = -i + 3*i. Let n = i + h. Which is smaller: -5/4 or n?
n
Suppose -4*o + 426 = -3*m, -2*m + 95 = o + 3*m. Suppose 0 = 52*k - 57*k - o. Which is smaller: -18 or k?
k
Let t be 2/(-42)*109035/(-75). Let u = 500/7 - t. Let g be 4/(-8) - 21/(-6). Which is smaller: g or u?
u
Let d(g) = 7*g**3 - g - 2. Let z be d(2). Let r be 11/z - 2/(-8). Let i be (5 - 1) + (10 - 14). Are i and r nonequal?
True
Let s = -69.4 + 68.4. Is 36 greater than or equal to s?
True
Let q be -1*61*(10 - 11). Suppose 5*y - 16 + q = 0. Which is bigger: y or -10?
y
Suppose -4*h + 3*y + 18 = -h, -5*h = 2*y - 23. Let r(q) = q**3 - 5*q**2 - 2*q + 9. Let z be r(h). Let j be (-8)/5 - 4/10. Is z <= j?
False
Suppose 5*b + 0*q = -4*q - 60, 39 = -3*b - 3*q. Let p be -2*(-2 + -2)/b. Let c = 6 + -8. Which is bigger: p or c?
p
Let t be (117/(-11691))/(-13)*30. Do 0 and t have the same value?
False
Let l(t) = -3*t - 2. Let a(k) = 2. Let m(o) = 6*a(o) + 2*l(o). Let v be m(8). Let d be (-2)/(-8) - (-2)/v. Which is smaller: d or -1?
-1
Let a = 8 - 0. Let z be a/220*(5 - 10). Which is bigger: 1 or z?
1
Suppose 0*x + 2*o = 4*x - 10, 4*o = -x + 7. Suppose 19 = -x*i + 4*p, 3*i - i + 6 = p. Let d = -2127/25 - -85. Is i not equal to d?
True
Let o = 91 + -84. Let d(f) = 16*f**2. Let q be d(-1). Suppose -o*s = -3*s - q. Is 13/4 not equal to s?
True
Let r be -1 - 5/(5/2). Let b = -1 + r. Let j = -23 + 20. Which is smaller: j or b?
b
Suppose 3*m - 7*m + 12 = 0. Let l(q) = 2*q**2 - 8*q - 10. Let k be l(6). Suppose m = -o - k. Is -16 > o?
True
Suppose -24 = -2*x + 40. Let l = x + -28. Suppose 4*s = -t - t, l*s = 2*t. Which is smaller: s or 30?
s
Let t = 71 - 70. Which is smaller: -2/177 or t?
-2/177
Suppose -19 - 7 = 5*a + 3*z, 4*z + 16 = -4*a. Let w(m) = m**3 - 2*m**2 + m - 1. Let o be w(2). Let s = a + o. Which is bigger: s or -3?
-3
Let g be (-10)/(1 - 12/8). Let u(d) = -2*d**2 + 20. Let w = -7 - -7. Let j be u(w). Is g less than j?
False
Let k = -52.6 - -43.9. Is 2 less than k?
False
Let c = -3113/14 - -445/2. Is c less than -11/6?
False
Suppose -2*c - 50 = 3*c. Let z = c + 13. Let m be -2 - (0 + (z - 6)). Is m equal to 12/7?
False
Let t = -590 - -589.6. Let i = -0.88 + 1. Do t and i have the same value?
False
Let q = 9 + -15. Let z(y) = 24*y - 989. Let j be z(41). Is q less than or equal to j?
True
Let w be 6/(-18) - 364/(-12). Suppose w = -5*d + 115. Which is smaller: d or 18?
d
Let l(k) = -k**2 + 31*k - 84. Let p be l(28). Is p at least as big as -7/8?
True
Let j be ((-66)/(-36))/(3/42*7). Is 4 >= j?
True
Let q = 13 - 22. Let s = 6 + q. Let o = -1 - s. Does 2 = o?
True
Let a = -3 + 1. Let s be a + (-2)/(-6)*-131. Let y = 46 + s. Which is bigger: 0.2 or y?
y
Let w = 30.7 - 30. Let b = -0.6 + w. Which is smaller: b or 10?
b
Suppose 4*k - 3*k + 1 = 0. Let d be -2*2 - 2/k. Let i be 1 - ((d - -3) + -2). Which is smaller: 3 or i?
i
Let f = 5.1 + -0.1. Let z = f + 0. Is z equal to -1/4?
False
Let w be ((-2)/(-6))/((-6)/(-90)). Suppose -3*c + 4 - 1 = 0. Which is bigger: w or c?
w
Let h(m) be the first derivative of -m**3/3 - 3*m**2 + m - 6. Let j be h(-4). Let n be (-10 + j)*-4*1. Is 4 bigger than n?
False
Let o = 50 + -17. Let j = o + -167/5. Which is greater: -0.5 or j?
j
Let n = 665 - 435. Let t = -238.95 + n. Let r = -0.05 + t. Which is smaller: 2 or r?
r
Suppose 0*a = 5*a + 35. Is a greater than -8?
True
Let s(f) = 4*f - 2. Let b be s(0). Do -2 and b have the same value?
True
Let x(h) = h + 1. Let k(v) = -8*v**3 + 2*v**2 + 4*v + 3. Let y(t) = k(t) - 4*x(t). Let n be y(-1). Is 11 at least as big as n?
True
Let f(i) = i**2 - 9*i + 12. Let x be f(3). Let u be (((-10)/21)/(-5))/((-28)/x). Do u and 1 have different values?
True
Let z(x) = -19*x**3 + 2*x + 1. Let w be z(-1). Suppose -7*d + w*d + 737 = 0. Which is smaller: -66 or d?
d
Suppose -3*i - 3*j = -5*j - 41, 3*i + 5*j = 13. Let r be (i/(-22))/((-2)/16). Let a be 1/r + 175/(-28). Is a greater than 0.3?
False
Suppose 409 + 193 = 14*d. Is 44 greater than or equal to d?
True
Let d be (4 + (-164)/20)*-15. Suppose -h = -3*z + 2*h - d, -z = h + 19. Is 0.1 at least as big as z?
True
Let r = -2 - -5. Suppose -3*a + 618 = r*z, 0 = 4*a + 5*z - 660 - 160. Let h be (12/a)/((-2)/(-10)). Is 0.3 smaller than h?
False
Let x = 40.983 - 41. Let m = -3.983 + x. Is m != 1/3?
True
Suppose -1927*n - 18 = -1926*n. Which is greater: n or -52/3?
-52/3
Let k = 6.9 + -7. Let l = 44 - 34. Which is smaller: k or l?
k
Let j = -22 + 21.93. Let o = -0.03 + j. Which is bigger: -2/7 or o?
o
Let t(m) = -m**3 + m**2 + 6*m - 8. Let q be t(2). Let d = 0.2 - 1. Let f = 0.2 - d. Is q greater than f?
False
Let w(f) = 3 - 2 + f**3 + 0*f**2 + 4*f**2. Let l be w(-4). Suppose -3*q + y = -4*y, -q + l = -2*y. Is -3 greater than q?
True
Let m = 12 - 10. Suppose 0 = -9*i + m*i - 35. Which is greater: i or -27/7?
-27/7
Let x be (-2 + 1)/(6/(-42)). Let o(f) = 7 - 3 + f**2 - x*f + f. Let d be o(5). Which is smaller: d or 2/5?
d
Let x be (-4 + 1)*(-33)/99. Which is smaller: x or -2/3895?
-2/3895
Suppose 0 = -l - 2*r - 2*r + 19, 5*l - 5*r + 30 = 0. Let f be (-1*11/22)/(-2). Which is smaller: l or f?
l
Suppose 43*o + 1440 = 75*o. Is o at least as big as 30?
True
Let z = 965 - 966. Which is smaller: z or 1/34?
z
Let y = -9.8 + 9.68. Which is greater: y or 6?
6
Let q = -125 + 126. Are q and -10/3 unequal?
True
Let s = 15.32 + -0.32. Let l = -12.2 - 1.8. Let w = l + s. Which is smaller: -5 or w?
-5
Suppose -x - 11 - 2 = 0. Let o = x - -52. Let c be (-11)/(-13) + 6/o. Is -3/7 at least c?
False
Let w = -187 - -401/2. Is w greater than 15?
False
Suppose -3*f - 60 = 3*d, f + 5*d = -2*f - 56. Which is greater: f or -265/12?
f
Let a be (2 - -1 - 5)*-3. Suppose -a*y + 15 = -3*y. Suppose w = -5*o - 23, o + 5 = -y*w + 10. Is w smaller than -1?
False
Let v = 3.9 + -7.1. Let f = -3.3 - v. Do 3 and f have the same value?
False
Let s be -1 + -7 + 429/48. Which is smaller: s or 2?
s
Let m = -0.52 - 0.08. Let d be (-2)/(-11) - 1126/22. Let r = d + 53. Are m and r non-equal?
True
Let d = -24.97 + -0.03. Let k = -37 - d. Let j = k - -15. Is 2 equal to j?
False
Suppose -5*x - 6*j + 306 = -2*j, j = 3*x - 187. Let z = 411 - 348. Which is smaller: z or x?
x
Let g be -4 + 108/26 + (-148)/(-52). Let z be (-1)/((5 - 4) + g). Which is smaller: 1 or z?
z
Let s = -79 + 125. Let k = s - 51. Which is bigger: -21/5 or k?
-21/5
Let j = -45 - -44.5. Let a be 14/6*10/(-35). Does j = a?
False
Let f = -340 + 780. Is 0 less than or equal to f?
True
Let o = -1509 - -1534. Are o and 37 equal?
False
Let s(r) = 3*r - 10. Let d be s(5). Suppose 0 = 3*m - 5*m + 4*y + 10, 5*y + 5 = -d*m. Let g be (20/28 - 4) + 4. Which is smaller: g or m?
g
Let d = 134 + -1075/8. Let x = 4809/13 - 370. Which is smaller: x or d?
d
Let p be 350/(-14)*98/(-5). Is p < 490?
False
Suppose 0 = -2*p + 3*p - 4. Suppose -p*j = 3*j + 168. Which is greater: j or -23?
-23
Let y(i) = -8*i**2 - 342*i + 22. Let v be y(-44). Is v at most -418?
True
Let b = -25/2 + 13. Let t = -26.96 - -46.96. Which is 