c?
True
Let w = 703.98 + -698. Let r = w + -6. Suppose 0 = -4*d - d - 5*k - 5, 0 = -2*d - 3*k - 4. Is r at most as big as d?
True
Suppose -6*j + 76*j - 10850 = 0. Is j greater than 155?
False
Suppose u + 1 + 4 = 0. Let g = -21375/2 + 10684. Which is bigger: u or g?
g
Let k be 3/2*120/45. Let f be 3/((-19)/(-4) - k). Suppose -f*g - 2*b = g - 22, g - 8 = -4*b. Which is greater: 18/7 or g?
g
Let r be (1 + -8)*(-6)/(-42). Which is smaller: r or 2/449?
r
Suppose -5*y = -5*p - 5, -4*y = -2*y - 5*p + 7. Let z = 1016/255 - -58/85. Which is bigger: y or z?
z
Let f = -10296585825/139 + 74074475. Let v = f + 1682. Which is smaller: -1 or v?
-1
Let s be (117/(-26))/(6/10)*-62. Which is smaller: s or 466?
s
Let b = -131 - -133. Which is greater: -40 or b?
b
Suppose x - 2 = 0, 4*s + 6*x - 2*x = -8. Let y = -5 - s. Suppose -35 = 791*k - 786*k. Which is greater: y or k?
y
Let f = -8 - -8.1. Let u = -24 - -64. Which is greater: u or f?
u
Let a be 16/12*((-49)/(-4) + 5). Is 23 at most a?
True
Let f = 39/10 + 18/5. Suppose -28 = -4*q - 2*r, -21 = -q + 11*r - 8*r. Is q equal to f?
False
Let w be 28/(-35)*(-50)/(-20). Is w < 376?
True
Let w be ((-20)/15)/((-1)/(-3)). Is 1 at least as big as w?
True
Let r = 1003 - 998. Is r at most -0.107?
False
Let m(z) = 43*z**3 + 5*z**2 + 4*z - 5. Let w be m(2). Which is smaller: 368 or w?
w
Let a = 84 - 47. Are a and 37 non-equal?
False
Let g = -5 - -7. Let i = -8.3 - 3.7. Is i at least as big as g?
False
Let f = -472/717 + -2/239. Let m = 3833 - 3843. Does f = m?
False
Let q = 76 + -74. Suppose -q*s - 5*i - 208 = 0, 5*s - 2*i + 489 = i. Is s >= -99?
True
Let a = 67 - 65. Let s be (1/8)/(-3*a/36). Is s greater than or equal to -3/2?
True
Let o = 3016 - 48233/16. Is 0 < o?
True
Let t(p) = p**2 - 5*p + 9. Let g be t(4). Suppose 0 = -3*j + 3*q - 21, 21 = -2*j + 5*q - g. Let b(s) = 2*s - 25. Let m be b(9). Which is greater: m or j?
j
Suppose -3*g + 7*g = l + 20, 0 = -g + 5*l - 14. Suppose 0 = g*r - 2*r + 20. Let k be (-1)/r - 2/10. Are k and 4/3 non-equal?
True
Let s be 12/(-78) + (-5271)/(-39). Do s and 135 have different values?
False
Let z be 6/14 + 0 + 22/14. Which is greater: 13/7 or z?
z
Let i = 6.57 - 6.57. Which is smaller: i or -872?
-872
Suppose 8*n - 2*d + 8 = 9*n, 3*n = -2*d + 8. Which is smaller: n or 1/1479?
n
Let l be (((-1521)/36)/(-13))/((-27)/(-8)). Is l != 1?
True
Suppose 0*n = 4*b - 2*n + 48, 46 = -4*b + n. Let w be b + (1 - 1)/((-4)/(-2)). Is -10 smaller than w?
False
Suppose 2*r = -2*r + 2*x + 34, 2*r - 4*x - 14 = 0. Let u be 4 - ((-66)/r - -2). Do u and 9 have the same value?
False
Let n = 49 + -29. Suppose -w - 4*a + 7*a + 1 = 0, -w - n = 4*a. Suppose 1 = -u - 5*m, 0*m + 3*m = 0. Which is greater: w or u?
u
Let m(j) = 29*j - 129. Let o be m(12). Which is smaller: o or 220?
o
Suppose 3*c + 2*c = -20. Let a be 12*((-10)/(-5))/c. Suppose 2 = -4*p + i - 2, -2 = -3*p + 2*i. Which is smaller: a or p?
a
Let u = -758.64 - -759. Is 1 bigger than u?
True
Let k = 12 - 24. Let h = 9 + k. Which is smaller: h or -1?
h
Let j be ((-14)/(-35))/((-1)/10). Let w be 7/j - (-8 + 6). Which is smaller: w or 1/6?
1/6
Let l = -0.082 - -0.142. Let y = -4 + 4. Which is greater: l or y?
l
Suppose 4*t + 13 = 5*s - 11, 2*s - 5*t = -4. Let d be (1 - 1) + s/(-18). Suppose 1 = -158*l - 1 + 2. Which is greater: d or l?
l
Let s = -50.013 + 0.013. Let i = 49.9 + s. Is i less than or equal to 27?
True
Let a = 33.731 + -0.731. Which is greater: -30 or a?
a
Let x(m) = 3*m**2 - 2*m + 1. Let a be x(-3). Suppose a = j + 5. Let t = -30 + j. Are t and -4 nonequal?
True
Let b = 211 + -212. Is 3/31 < b?
False
Let b be 3 - ((0 - -6) + -3). Suppose 11 + 6 = 4*h + 3*s, b = 3*h + 5*s - 21. Which is smaller: h or -1/8?
-1/8
Let j = -98 - -97.915. Let h = -3.085 - j. Let k be (-2)/4*1*-1. Which is greater: k or h?
k
Let r = 11 + -15. Let x be 0*2/r - -3. Let v be (-180)/54*(-6)/5. Is v at most x?
False
Suppose 6*x + 4*x - 14040 = 0. Let f(c) = -10*c**2 + 5*c - 3. Let z be f(4). Let r be 2/11 - x/z. Is r less than 9?
False
Let k(u) = 2*u**2 + 16*u - 2. Let h be k(-8). Let y be (2 + -2 + 1)/(h/(-10)). Let l = -8 - -13. Is y greater than l?
False
Let d = -689 - -715. Which is smaller: d or 24?
24
Suppose -2*j - 325 = -2811. Let n be (8 - (-242)/(-30))*(-111590)/6. Let x = n - j. Is x less than -3?
True
Suppose 3*r - 32 = 4*h, -3*r = -3*h + h - 16. Let z = h + -20. Is -28 greater than z?
False
Suppose -76 + 95 = t. Is t at most as big as 19?
True
Let g be 87/58*(-10)/(-3). Which is smaller: 40/7 or g?
g
Let z be -9 - 1*2386/(-264). Which is greater: -1 or z?
z
Suppose 600 = -5*s + 9*s. Let o be s/120*((-4)/(-10) + 0). Let t = -13 - -14.1. Is t != o?
True
Suppose -3*g + 3*z + 186 = 0, 182 = 2*g + g - 4*z. Let o = 78 - g. Which is greater: 7 or o?
o
Let s = 21 - 19. Suppose f + 0 - s = 0. Which is greater: -0.14 or f?
f
Let x(o) = o + 1. Let m be (-3)/18*-3*0. Let b be x(m). Let n = 0.6 + -0.4. Is n >= b?
False
Let u be 2 - (-2 + 144/(-4)). Let i = u + -18. Suppose -3*b = -2*r + 2*b - i, 4*r - b = -8. Which is smaller: 2/23 or r?
r
Let v(j) = j**3 - 7*j**2 - 9*j + 2. Let o be v(8). Suppose -15*h - 320 = -7*h. Let b be (102/85)/(o/h). Are b and 9 unequal?
True
Suppose -5 = 3*d + 1, 0 = -2*k + 2*d - 14. Let t(y) = y**2 + 5*y - 20. Let b be t(k). Let m(l) = 2*l**3 - 4*l**2 - l + 1. Let j be m(3). Are j and b nonequal?
False
Suppose 46 = 4*b - 2*f, 2*b + 7*f - 5 = 2*f. Which is smaller: b or 12?
b
Let b(f) be the second derivative of 0 + 1/12*f**4 - 5*f - 1/2*f**2 - 1/6*f**3. Let g be b(1). Is -1 less than g?
False
Suppose -299*y + 408 = -297*y. Is 202 greater than y?
False
Let r(d) = -11 + 5*d**2 + 3*d**3 + 0*d**3 - 4*d**3 + 8*d. Let i be r(6). Which is greater: 1/19 or i?
i
Let i = -19.25 - -0.25. Is 6 <= i?
False
Let f be (-22)/(-11) - (-51922)/66. Let z = -9882/11 + f. Let a = z + 107. Are a and -3 nonequal?
True
Let o = -161 - -174. Which is greater: o or 26?
26
Let w = -3.86 + 3.6. Which is greater: -3 or w?
w
Let g = 0.19 - 11.19. Let d = 11 + g. Let a = d - 2. Is a smaller than -3?
False
Let g be 2/51*3 - 53508/(-54978). Let t = 5 + -3. Suppose 3*s - m = 8, t = 4*s + 2*m - 2. Which is smaller: s or g?
g
Suppose -2212 = 29*f - 22*f. Do -316 and f have different values?
False
Let g(x) = -13*x - 33. Let k be g(-2). Let t = -7 + 12. Suppose -5*v = -t*m - 1 + 16, -19 = 3*v - m. Which is greater: v or k?
k
Let p be 3 - ((-2373)/18)/7*-2. Let l = 34 + p. Is -2/9 not equal to l?
True
Let k(p) = -3*p**3 - 2*p**2 - p + 2. Let n be k(1). Suppose 0 = z + 3*d + 13, 0*z = -3*z + 3*d - 99. Let r be ((-63)/z)/((-1)/n). Is 9 less than or equal to r?
True
Let q(h) = -2*h - 23. Let a be q(-11). Which is bigger: 1/92 or a?
1/92
Suppose i + 20 = 6*i. Suppose -i*d = 3 - 23. Suppose 0 = -5*n + 10, -d*g - 2*n = -4*n - 21. Is 4 bigger than g?
False
Let y be (-1 - 12/(-16))/1. Let w(z) = -z**3 - 7*z**2 - 7*z + 5. Let r be w(-6). Let l be 4/22 - (-64)/r. Is l at least as big as y?
True
Let f(q) = q**3 + 6*q**2 - 16*q - 4. Let k be f(-8). Which is smaller: k or -0.08?
k
Let b = -0.1563 + 0.2563. Let p = 145015 + -3189729/22. Let z = 55/2 - p. Does z = b?
False
Let f = 0.02 - 1.52. Let u = -0.05111 - -1.05111. Is f greater than u?
False
Suppose -f = 5*j - 2 + 3, -5*j = -f - 41. Let h be (2/6)/((-1)/213). Let c = h - -51. Are c and f equal?
False
Let z(b) = 13*b + 91. Let l be z(-6). Suppose -2*o + l*o - 616 = 0. Which is bigger: 0.2 or o?
o
Let g = -63 + 61. Let w be ((1 - 0)*-4)/2. Is g less than w?
False
Let m = -253 + 267. Which is smaller: m or 22?
m
Suppose 5*b + 4*w = 2*b + 70, 5*w = b - 55. Let c be (-2*(-108)/8 - -2)/1. Is c smaller than b?
True
Let n = 2/7 + 4/35. Let m = -2 - -4. Let d = m - 1. Is n greater than d?
False
Let d = -77 + 76. Let x(t) = -2*t - 1. Let j be x(-3). Suppose -j*u + 4*m = 0, -3*u + 5*m = m. Are d and u equal?
False
Suppose 2*z - 6 = -5*s + 3*z, 0 = -4*s + 5*z + 9. Let f be (0 - (-122)/(-3)) + -2. Let j = -43 - f. Which is bigger: j or s?
s
Suppose 10 = -3*s + s, -2*t - 3*s = -69. Is t smaller than 41?
False
Suppose -129 = 10*u - 9*u. Is -130 greater than u?
False
Let s(y) = 17*y + 643. Let g be s(-22). Is g at most as big as 271?
True
Let n be 6/2*(0 + 5). Suppose 0 = -11*o + n*o - 8. Suppose -3*d + c + 1 = 0, d + o*d + 4*c + 4 = 0. Is -4/3 at least d