 <= -3/11?
False
Suppose 17*k + 3518 + 562 = 0. Which is greater: -243 or k?
k
Suppose -3*c + 361 = 4*l, 3*l + 62 + 67 = c. Let u = 210 - c. Do u and 87 have different values?
False
Let k(c) = -c**2 - 2*c + 4. Let w be k(-4). Let m be (3/(-33))/((-4)/1420*-5) + 3. Which is smaller: w or m?
w
Let q = 586 - 650. Are q and -68 nonequal?
True
Suppose 1101 = -4*m + 297. Do -203 and m have different values?
True
Let o = -383/6715 - -7/85. Let j be (-4)/2 - -1*1. Are o and j non-equal?
True
Let u = -0.54 - -1.11. Let l = u - 0.37. Is 4 less than l?
False
Suppose -2*s + 2 = k - 12, -5*k - s = -70. Suppose -2*z - 12 + k = 0. Is z greater than -2/39?
True
Suppose -2*o = -2*c - 234, 3*c + 360 - 23 = -4*o. Is c > -114?
False
Let l(k) be the first derivative of k**4/4 - 7*k**3/3 - 7*k**2/2 - 7*k + 4. Let q be l(8). Which is bigger: q or 2/35?
q
Let t = -28 + 109/4. Let s = -539 + 545. Is t less than or equal to s?
True
Let k = 48 + -51. Let d be (k/9)/(50/12). Suppose 2*i + 5 = m - 0*i, -3*m - 3*i - 12 = 0. Which is smaller: d or m?
m
Suppose 4*u - 25 = 5*h, -4*h + 9 + 12 = 5*u. Suppose -t = 3*t - 20. Suppose t*r - 4*r - 6 = 0. Which is bigger: r or u?
r
Let o = 3 - 1. Let u = -1 + o. Let z = 0.0343 + 2.9657. Is z not equal to u?
True
Let p(y) = y + 23. Let u be ((-1)/6*4)/((-1)/(-33)). Let c be p(u). Do 2/47 and c have the same value?
False
Let c(m) = m**3 - 3*m**2 + 2*m - 1. Let q be c(1). Suppose 6 = 2*k - 4, 2*u - k + 7 = 0. Is u < q?
False
Let w be 4/(-3)*18/(-12). Suppose -w*m = -m + 5. Let c(k) = k**3 + 4*k**2 - 3*k + 9. Let f be c(m). Which is smaller: 1/10 or f?
f
Suppose -8*t = -17*t + 216. Which is greater: t or 22?
t
Let g be (-10)/(-6)*-2*3. Let z(x) = -5*x + 66. Let n(l) = l**3 - 8*l**2 - 5*l - 23. Let w be n(9). Let u be z(w). Which is bigger: g or u?
u
Let d = -1155 + 1155. Which is bigger: 5/308 or d?
5/308
Suppose -4*s + 4 = -5*b + 9, -4*b - 3*s + 35 = 0. Suppose -b*q - 4 = -7*q. Suppose r = -3*r + q*v - 10, 0 = -2*v + 10. Is r greater than -2?
True
Let w = 0.0977 - -0.1023. Is 46/15 at most as big as w?
False
Let z = 13 - 16. Let p = -5 - z. Let s = 46 + -43. Which is greater: p or s?
s
Suppose -4*h + 1594 = 394. Which is smaller: 299 or h?
299
Suppose -5*n = -5*d - 2415, 4*n + d - 1935 = 6*d. Let k be (n/244 - -1) + 0 + -3. Is -1 at most k?
True
Suppose 14*v - 46*v = 3328. Is -102 equal to v?
False
Let t(p) = p**2 - 6*p + 2. Let y be t(5). Suppose -5*s = -5*n + 10, -4*n - 4*s + 35 = s. Suppose 17 = n*k - 3*c, 2*c = -k - c - 11. Is k > y?
True
Suppose -441*j = -431*j + 220. Is -19 smaller than j?
False
Let h = 89.9 - 90. Which is greater: h or -0.43?
h
Let i = -335 - -336. Which is greater: -115 or i?
i
Let h be 0/(1 - (-1 - 0)). Let w = -0.65 + 0.05. Let t = w - 0.4. Which is smaller: h or t?
t
Let k(l) = 29 + 31*l**2 - 14*l**2 + l**3 - 8*l**2. Let n be k(-9). Is 29 less than n?
False
Suppose o + 32 = 3*o. Suppose 2*l = 6*l + 5*s - 35, s = -5*l + 70. Which is smaller: o or l?
l
Suppose -3*d - d + 56 = 0. Let c(u) = 5*u. Let p be c(3). Let f = d - p. Does f = -1?
True
Let j be 6/(-15)*(-20)/(-4). Let s be 0/(5 + j) + 3. Let x be (-3 + s)*(4 + -3). Is x < 6/13?
True
Let a be -6*4*(1170/(-12))/(-15). Which is bigger: a or -157?
a
Let c = 2.8 + -0.8. Let o = 107 - 100. Which is greater: o or c?
o
Let f be 2/8 + (-189)/(-28). Let m(g) = f*g - 2*g**2 - 7 - 11 + 14. Let o be m(3). Is o smaller than -5?
False
Let b = 62 - 32. Let p = -34 + b. Is p greater than 1?
False
Let o be (-17)/(-57) - 3/9. Let l(d) = d**3 - 13*d**2 - 15*d + 12. Let x be l(14). Let z be (x/10)/(3/(-15)). Is z smaller than o?
False
Let b be (12 - (-217)/(-28))*(-8)/(-10). Which is smaller: 3 or b?
3
Let p be 4/(-5)*(-100)/8. Let w be (-9)/(-6)*p/5. Let q = 0 + w. Which is smaller: q or 13/3?
q
Let s = 2.62 - 2.83. Which is bigger: s or -3/8?
s
Let x = -16 - -15. Let m = 207 + -466. Let i be m/91 + (-3)/(-1). Is i at least as big as x?
True
Let n = -0.341 - 0.659. Do 23/6 and n have different values?
True
Let g(m) = -6*m - 21. Let a(f) = 1 - 6 - 2 - 4*f + 2*f. Let x(k) = -8*a(k) + 3*g(k). Let t be x(-3). Is t at most as big as -1/29?
True
Let f = -44332/29 - -1528. Which is greater: f or -1?
f
Suppose -27*x + 25*x = 2100. Is x equal to -1050?
True
Let b be (0 - -1)*0*(-4)/24. Suppose 5 = -c, -n + 5*n - 2*c - 6 = b. Is -2/9 greater than or equal to n?
True
Let l(g) = 2*g**3 - 15*g**2 + 23*g - 25. Let t be l(10). Is t at most 703?
False
Let s = -1068 - -20294/19. Is -0.023 at most as big as s?
True
Let t = 0.1 + 0. Let w be (35/(-1))/7 - 28/(-6). Which is bigger: w or t?
t
Let k = -54 + 43. Let o = 2 + 0. Let h = k + o. Which is greater: h or -1?
-1
Let l be 4/(-6)*(-38)/8. Let h = l + -211/66. Which is greater: h or 0?
0
Let a = 1 - 1.4. Let i = -0.9 - a. Suppose 0 = 17*y - 46*y + 58. Are i and y unequal?
True
Let a = -386 + 459. Which is greater: 215/3 or a?
a
Let x = 28 - 27.998. Let p = x + 0.198. Is p less than or equal to 15?
True
Let p = -29879 - -1583527/53. Which is bigger: 0 or p?
0
Let v = 279/5 + -56. Let q = 1355/21 + -524/7. Let x = q - -10. Is x less than v?
True
Let u = -8 + 3. Let g be 4/((0 - u)*10). Is g not equal to 1?
True
Let s be 8 + -4 + (-2 - 1). Let t = 4 - s. Is 8/5 less than or equal to t?
True
Let b be 265/(-20) + 1/4. Let m = -5 - b. Let u = m - 11. Is 1 less than or equal to u?
False
Suppose 7*j - 2*j = 15. Suppose 5*p + j*w = 39, 6*w - 6 = p + 2*w. Suppose p = -3*s - 9. Which is smaller: -6 or s?
-6
Let v be ((-1603)/(-14))/(2*4/8). Is 114 equal to v?
False
Let u = -91 + 19. Let k = -71 - u. Do k and -0.55 have different values?
True
Let c(o) = -2*o**3 - 2*o**2 - 21*o - 706. Let u be c(0). Is -708 bigger than u?
False
Suppose 0 = 7*u - 43*u + 144. Suppose -2*g = 5*r + 15, 3*r - 2*g = -g + 2. Is r >= u?
False
Let b = -122 + 121.974. Let k = 0.144 - b. Is 2/5 less than k?
False
Let h = 0.0365 - -12.5635. Which is smaller: 1 or h?
1
Let f(k) = -k**3 + 9*k**2 + 11*k + 3. Let d = -5 + 15. Let v be f(d). Suppose 5*a - 2*z - 58 = 0, 0 = -2*a + 11*z - 12*z + 25. Which is smaller: v or a?
a
Let j = 3 - -1. Suppose -h = -2 + j. Which is bigger: -3 or h?
h
Suppose 0*w = 3*w + 15, -2*t + 2*w + 10 = 0. Suppose 3*i + 0*i = t. Is i bigger than 0?
False
Suppose 27 = 25*z - 28*z. Is z greater than -11?
True
Let d(r) = -r**3 - 6*r**2 + 7*r + 3. Let a be d(-7). Let b be ((-6)/(-2) - a)/(-2). Let w = -527/9 + 59. Which is greater: b or w?
w
Let n = -4519/4811012 + 6/3569. Does 0 = n?
False
Suppose -2*s - 7 = -b, 13 = 5*b - 2*s + 2. Suppose 0 = 2*z - 8, -2*z + 7 + b = -3*n. Does -1/25 = n?
False
Suppose 3*w = 4*k - 165, -4*w + k - 220 = -2*k. Is -223/4 equal to w?
False
Let h(o) = 2*o - 72. Suppose -4*g = 51 + 41. Let q be h(g). Do q and -118 have different values?
False
Suppose -4*r = -r. Let c(z) = -z - 19. Let s be c(r). Let q = -965 + 946. Is q < s?
False
Let g(n) = -4 - n + 4 - 3. Let c be g(-12). Is 10 at least as big as c?
True
Let k(o) be the second derivative of o**5/20 + o**4/2 - 8*o**3/3 - 2*o**2 + 6*o. Let x be k(-8). Let i(p) = -3*p**2 - 1. Let y be i(1). Is y > x?
False
Suppose 4*q + g - 5*g = 4, 3*q - 8 = -2*g. Suppose 5*u - h = 0, 2*u - u = q*h - 9. Let i be 2/(-5) + 3/45. Does u = i?
False
Suppose -3*g + 22 - 4 = 2*t, 5 = -g + 3*t. Let m be (-38)/g*(-2 + 4). Is -18 != m?
True
Let k(d) = d - 1. Let u be k(4). Suppose -r = 3*l - 37, u*l - r - 6 = 23. Let c = 10 - l. Which is smaller: c or -2?
-2
Suppose 7 - 8 = -b. Is -2/83 < b?
True
Let i(b) = -2*b**3 + b**2 - b + 38. Let u be i(0). Suppose 3*d = -5*o - 85, 2*o + d + d = -u. Is o greater than or equal to -12?
False
Let i be (264/144 + (-6)/4)*-3. Let a = -1/215 + -851/1935. Which is smaller: i or a?
i
Suppose a - 156 = -11*s + 13*s, 5*s - 5*a + 385 = 0. Is -549/7 not equal to s?
True
Let b = -63 + 67. Let q be 9*((b - 6) + (-5)/(-3)). Is q <= -28/13?
True
Suppose 2*o + 190 = -l, 8*o + 368 = -2*l - 0*l. Which is smaller: l or -195?
l
Suppose 234 = 4*a - 22. Suppose -3*l + 51 = 4*h, 3*l + l = -4*h + a. Suppose l*g = 6*g + 14. Is 4 > g?
True
Let q = 1.3 - 1. Let p = -131 + 89. Let h be (-3)/7*(-28)/p. Is q at least as big as h?
True
Suppose 0 = -3*h - m + 663, -6*h + 885 = -2*h + m. Let u be 12/(-9) - h/(-18). Is u greater than 1?
True
Suppose 5*a - 5 = -5*s, 10 = -4*s + 4*a + 6. Let b be -2 - 1/(