 than c?
False
Suppose 7*y - 265 = -279. Let d be ((-84)/(-21))/(y/(-4)). Let s be ((-28)/6)/((-4)/6). Is d greater than s?
True
Suppose -1 = 2*x + 1. Let r be (0 - -2)/(x/(-2)). Let o = -1/123 - -178/41. Which is bigger: o or r?
o
Let z be 0/((-10 - -23) + -11). Is z greater than -7/163?
True
Suppose 0 = m - 4*k - 423, m - 471 = -5*k + k. Is 4 less than or equal to m?
True
Let w(m) = -2*m**2 - 43*m - 40. Let c = 67 + -92. Let g be w(c). Is g at least as big as -214?
False
Let k = -1912.238 - -1909. Let n = 0.062 - k. Let l = -0.5 - n. Is 1 > l?
True
Suppose -4*j = -2*m + 1284, -75*m + 73*m = 4*j - 1276. Is m <= 642?
True
Let h = 17209 + -17208.7. Which is smaller: h or 2/503?
2/503
Let j be ((-6)/(-6))/((-4)/2604). Which is bigger: -650 or j?
-650
Let g(t) = t**2 + 16*t - 316. Let z be g(8). Is z equal to -10?
False
Let f(l) = 31*l**2 + 306*l - 30. Let o be f(-7). Which is greater: -652 or o?
-652
Let w be 16 + (-12535)/670 + (-12)/(-4). Which is greater: 0 or w?
w
Let z be ((3*2 - -2) + 313544/6622)/(-2). Which is greater: -27 or z?
-27
Let z = -82/3 - -677/24. Let b = z - 93/8. Which is smaller: b or -12?
-12
Suppose 38 = -3*q - 7. Let i = -26179 + 26171. Which is greater: q or i?
i
Let c be ((-3252)/7)/((-162)/(-252)). Which is smaller: c or -724?
-724
Let z = 557 - 343. Let x = z - 213.9. Is x not equal to 167?
True
Let d(y) = -2*y + 41. Let v(o) = 14*o - 66. Let m be v(6). Let b be d(m). Suppose 5*l = f, 4*f - 2*f = -b*l + 30. Which is smaller: f or 11?
f
Let j = -472.5 - 774.5. Which is smaller: j or 0?
j
Suppose -5*h - 10836 = -4*o, 0 = -5*o + 2*o + h + 8138. Which is smaller: o or 2715?
o
Let g = -12745 - -12746. Is g less than or equal to -11/335?
False
Let g be 1*3 + (-81 - -115 - 88). Let x = 2 - -3. Suppose 260 = -x*l - 0*l. Is l < g?
True
Let s be (-176)/6*(-72)/16. Let i = s - -20. Let b be (-2)/(-10) + i/(-960). Is b equal to 1?
False
Let i(b) = -3*b**2 - 13*b - 3. Let k(g) = -7*g**2 + g + 2. Let x be k(-1). Let o be i(x). Let f = -35 - o. Is f >= -11/8?
False
Let s(l) = -11*l - 50. Let a(i) = 5*i + 24. Let x(v) = -13*a(v) - 6*s(v). Let p be x(10). Is p at most -5?
False
Let c = 445.25 - 445. Let b = 0.27 - c. Is 0.1 bigger than b?
True
Let s = 36 + -4. Let z = -3 + s. Let r be (-1)/(1*2/(-58)). Is z smaller than r?
False
Suppose 4*w + k - 9 = 0, w = -w - 2*k. Suppose 5*r = w*g + 28, 0*g + 3*g = 3*r - 18. Let a = -1092 - -1098. Which is greater: r or a?
a
Let h(j) = -j**2 - 2*j + 17. Suppose 14*t = 5*t - 45. Let u be h(t). Which is bigger: u or 13/12?
u
Let t = -28141/9 + 3131. Is t >= 4?
True
Let h be -1 - (-36)/84 - 246/(-14). Let i be (-3)/(-9) + ((-510)/(-126))/h. Let a(y) = y + 6. Let c be a(-6). Which is bigger: i or c?
i
Let q = -8.076 - -7.776. Does 1271 = q?
False
Let x(m) = -m**2 + 11*m - 12. Let l be x(9). Let c(r) = l + 15 + r - 2 - 5. Let g be c(-14). Does g = -4?
False
Let v = -178132/85985 - -8/2965. Let s be (9/((-18)/2))/((-27)/(-81)). Are v and s equal?
False
Let d(k) = 4*k**2 + 14*k + 42. Let q be d(-4). Let w = -51 + 48. Is w less than q?
True
Let d = -2 - -7. Suppose c - d*c - 68 = 4*h, -2*c = 4*h + 40. Let n be c/(-117)*(-24)/(-28). Which is greater: 0 or n?
n
Suppose 0 = -4*b + 293 - 69. Let x = 18025 - 17963. Is x greater than or equal to b?
True
Let y(v) = -18*v - 17. Let z be y(7). Let a = z - -75. Let k = 68 + a. Which is bigger: k or 1/13?
1/13
Suppose -5*k - 473 - 192 = 0. Let u = 68 + k. Which is smaller: u or -67?
-67
Let q(i) = -6*i**2 + 18*i + 25. Let d be q(-3). Is d bigger than -78?
False
Suppose -31*t = 130*t - 2576. Which is greater: -43 or t?
t
Let r be 9726/(-8) - 93/372. Is r at most -1215?
True
Let o = -20928 - -20784.2. Is 0 > o?
True
Let b(x) = 14*x + 10 + 4 + 20*x - 30*x. Let d be b(0). Is 2/15 not equal to d?
True
Let w be 12/90 - (-31419)/25. Let f = 1257 - w. Which is greater: 0 or f?
f
Suppose 0 = 3*v - 5*b - 12, -v - 6*b - 30 = -2*b. Which is smaller: -6/23 or v?
v
Let j = -0.4579 - -0.4579. Is j >= 521/2?
False
Let a = 30238.8 + -30236. Let y be 146/(-4)*(-1)/(-7). Let j = -11/2 - y. Which is greater: j or a?
a
Let t(w) = -7*w**2 - 1. Let l be t(2). Suppose 4*i = -2*y + 6 + 8, 5*i = -3*y + 16. Suppose -j = 2*o + 32, i*j + 2*o = -0*o - 152. Which is greater: l or j?
l
Suppose 5*b - 1287 + 6262 = -4*z, 3*b = 3. Is z not equal to -1244?
True
Suppose 88*r - 22811 - 366861 = -93200. Do 3364 and r have the same value?
False
Let r be (-1 + 3*3)/(-10 + 11). Suppose 0 = -6*n - r + 404. Suppose 0 = -5*s + b + b - n, -2*s - 5*b = 38. Is -12 > s?
True
Suppose 4*y - 43 = -4*n - y, -n - 4*y + 19 = 0. Suppose -n*o + 3*o - 68 = 0. Let b(d) = -6*d - 1. Let x be b(3). Which is greater: x or o?
o
Let w be (-15)/(825/(-506)) - 9. Is w at most 60?
True
Let l = 175 + -174.678. Let z = -0.078 - l. Is z less than or equal to 5?
True
Suppose 3*a + 219 = -2*z - 53, -a + z = 84. Are a and 6 equal?
False
Suppose -29*x - 12 = -27*x. Suppose -2*r - 30 = 3*r. Is r bigger than x?
False
Let h(w) = -54*w**3 - w - 6. Let l be h(-2). Let b = l - 625. Which is smaller: -196 or b?
b
Let p(t) = -t**3 - 12*t**2 - 25*t + 26. Let z be p(-11). Suppose f - 3*n = -125, -55 = -f + 4*n - z. Let o = f + 243/2. Is o equal to -5?
False
Let t be 7/(21/10) - 14124/4815. Which is greater: t or 1126?
1126
Let q(p) = 2*p**3 + 35*p**2 + 19*p + 76. Let w be q(-17). Do w and -34 have different values?
True
Let f be (-4)/14 - (-39)/63 - (-4779460)/(-14334852). Which is bigger: -1 or f?
f
Let q = -313 - -314. Let s(z) = -2*z**3 - 12*z**2 + 77*z - 7. Let n be s(-9). Which is greater: n or q?
q
Let c(y) = -165*y + 5896. Let u be c(-18). Is 8866 < u?
False
Let h be (2*15/(-110))/((-1220)/1225 - -1). Is h != -67?
True
Suppose 2*i - 38 - 10 = 0. Let l = 4 + i. Suppose -168 + l = 5*h. Does -27 = h?
False
Let b(n) = -2*n**3 + 3*n**2 + 2*n + 2. Let u be b(2). Suppose -753 = 5*g - 3*s, -g = -u*s + 52 + 93. Which is smaller: -154 or g?
-154
Let k be 21*24/672*(-5944)/(-21). Which is bigger: k or 213?
213
Let z = 0.183 + -39.083. Let u = z - 3.1. Let m = u + 42. Which is greater: m or -4/25?
m
Suppose 4*k - 20 = t, -3*t - 32 = -5*k - 0*t. Suppose 0 = -4*p - k, 2*r + 3*r - 41 = p. Suppose -r*h + 48 = -0. Is 6 less than h?
False
Let n = 0.118705 - 0.018705. Let d = 23/90 + -413/1590. Which is smaller: d or n?
d
Let w be (-381)/(-15) - (-9)/15. Suppose 25*k - w*k - 117 = 0. Let c = -106 - k. Is 11 bigger than c?
False
Let p be 159838/435 - 2/(-3). Let x = p - 1839/5. Is x greater than or equal to -1?
True
Let c(y) = -3*y**3 - 16*y**2 - 35*y - 45. Let o be c(-5). Is 106 bigger than o?
True
Suppose 5*v - 878 = -z, 3*z = v - 2*v + 184. Suppose 3*u - 3*k = 183, 4*u + k - v - 69 = 0. Let t = u - 795/13. Are -1 and t nonequal?
True
Let h be (-30)/(-105) - (-2)/(-7). Suppose h = u + 27*u + 784. Is -27 > u?
True
Let y(d) be the first derivative of -7*d**4/2 + 4*d**3/3 - 12*d - 5. Let m be y(3). Let b = m - -3176/9. Is 3 not equal to b?
True
Let d(h) = -h**3 - h**2 - 31*h + 34. Let q be d(1). Let t = -24824597/64080 + 1/12816. Let p = t - -44701/115. Is p <= q?
False
Suppose 45*l - 26*l - 1045 = 0. Suppose 0 = 4*k + 3*c - 239, 5*c + 8 - l = -k. Which is greater: 63 or k?
63
Let l = 4271064/97 - 44032. Are l and 0 equal?
False
Let r be (471/1099)/((-6)/133). Which is greater: r or 5/6?
5/6
Let v = -283 + 285. Suppose 2*z = -2*h - z - 18, -8 = v*z. Which is smaller: h or -2?
h
Suppose -5*y = 10, -4*x + y = -5*x - 64. Is x less than -151?
False
Suppose -156 + 137 = -s. Let x = s - 5. Is x <= -1/9?
False
Let d(n) = 221*n + 202. Let z be d(-1). Which is smaller: -18 or z?
z
Let v = 13579 - 13572.3. Let p be (-2)/(-5) - 6/40. Which is smaller: v or p?
p
Let w = -542/51 - 21502/357. Which is greater: w or -71?
w
Suppose d + 20 = 6*d - 5*m, 2*m + 6 = 4*d. Let g be (d - 9/15)/(4/610). Which is smaller: g or -245?
-245
Let w(m) = -m**2 + 21*m + 148. Let g be w(17). Which is smaller: g or 31?
31
Let u = 2781 + -1755. Is u < 0?
False
Let n(h) = -2*h - 8. Let w be n(0). Let b be -2 - 20/(3 + w). Suppose b = t + 1. Which is smaller: -3 or t?
-3
Suppose 0 = p - 14*p - 4251. Let f = 318 + p. Which is greater: -12 or f?
f
Suppose 0 = 4*x + 2*s - 2, -4*x = -7*x - 2*s + 5. Does x = 47?
False
Suppose 46*y - 19*y = 1674. Suppose -3*b - 295 + 109 = 0. Let j = y + b. Which is s