s m less than -43?
False
Let d(r) = 63*r - 189. Let o be d(3). Is -9/943 less than or equal to o?
True
Let t = 20792 - 14969. Which is smaller: t or 5825?
t
Suppose -3*p + 2*h + 2248 + 9235 = 0, 3*h = 3*p - 11478. Let t = p - 632111/165. Let s = t - 94/1155. Is s at least as big as 0?
False
Suppose -2 = 4*w + 2. Let l(t) = 50*t**2 - 2. Let s be l(w). Let d = 44 - s. Is d at least as big as -4?
True
Let v = 205 - 197.96. Let o = v + 0.96. Are 13/2 and o equal?
False
Suppose 3*o + 4*t - 820 = 0, 4*o + 1374 = 9*o + 3*t. Which is smaller: o or 280?
o
Let n be 5 + (-4)/1 - (2 + (-3447)/(-171)). Which is greater: -21 or n?
-21
Let c be (-4)/(-1 + 5/3). Let h be c + (-161)/(-147) - -4. Which is smaller: -1 or h?
-1
Suppose 2*j = -2*a, 4*a + 15 - 10 = -3*j. Suppose j*l - 4*l - 2*o - 1 = 0, 4*l + 3*o = -40. Suppose v + 9 + 0 = 0. Which is smaller: l or v?
v
Let a = 6098401/1008 - 6050. Let z(u) = -9*u - 26. Let r be z(-3). Is a bigger than r?
False
Let s = 451.489 + -451. Let f = 0.029 - s. Let t = -0.46 - f. Which is greater: t or 0.03?
0.03
Let b = 118291/520665 - 77/337. Let a = 13073 + -13074. Is b bigger than a?
True
Let u = -24781/5 - -4993. Which is smaller: 38 or u?
u
Let l(m) = m**3 - 3*m**2 - 8*m + 19. Let w be l(4). Suppose 2*o = -2*o - w*a + 1, 3*o = -3*a. Is o at most as big as 2/103?
False
Let i = -1.375 + 0.697. Let j = -0.378 - i. Is j at most -3?
False
Let s(u) = 6*u**3 - u**2 + 2*u - 1. Let b be s(1). Let a(g) = g**3 - 8*g**2 + 2*g - 32. Let m be a(b). Is -92 at most m?
True
Suppose 12*d - 5*d = -63. Let l(w) = -w**3 + 7*w**2 + 6*w - 37. Let u be l(7). Is d > u?
False
Let k(j) = -8*j + 79. Let p be k(10). Let o be (70/(-105))/(p - (-50)/54). Which is greater: o or 10?
10
Let x = 13890 + -13895. Suppose 0 = -5*l + 17 - 97. Is x greater than or equal to l?
True
Let b = 169080 - 60733. Let l be b*2/186 + (-14)/(-7). Let v = 1167 - l. Is -1 less than or equal to v?
True
Let i = -4 + 5. Let k be (-2 + i + -4)*(-12)/20. Suppose 2*m = 2*q + 76, -2*m = k*q + 62 + 77. Is -43 at least q?
True
Suppose -5*o + 71 = -134. Let z = 71 - o. Let n be 2/(-1 + -1)*-31. Is z bigger than n?
False
Let z = 132325/3 - 44618. Let n = 505 + z. Is -3 greater than or equal to n?
True
Suppose -f - 50 = f. Let k be 28/(20/(-5)) - -5. Let i be 56*(-11)/22 + (-4)/k. Are f and i nonequal?
True
Let c = 3301/22 + -150. Let i = -11368.5 + 11367.6. Which is smaller: i or c?
i
Let z = 12 + -21. Let u be z/((-141)/(-9) - 3). Let s = -105/494 + u. Is s at most -1?
False
Let p be ((-20)/6)/(5/(-825)*-11). Let a be (p + -3 + 0)*5. Is -264 less than or equal to a?
False
Suppose 541*q - 536*q = f - 73, -57 = 5*q + f. Which is smaller: 342 or q?
q
Let t = 146.01 + -182.405. Let i = 0.395 + t. Which is bigger: -9 or i?
-9
Suppose 0 = -q - 4 + 9. Suppose 10 = 4*m - q*t, -3*m = -4*t + 3 - 11. Let y = 37 - 3735/101. Which is smaller: y or m?
m
Suppose -5*o = 5*c + 10, -c - 19*o = -24*o - 10. Which is smaller: 705 or c?
c
Let h be (-2)/3*66/(-4). Suppose 6*i + 49 = 19. Let p be 124/12 - i/(-15). Which is bigger: h or p?
h
Let g = 135 + -129. Suppose 367*z - 370*z = -g. Let q = 18106/15 - 1206. Which is smaller: q or z?
q
Suppose -35*w = 4*w - 17*w + 22. Is 2/16891 at most w?
False
Let o = 1.062 - -1.938. Let u = -0.26 + 26.26. Let r = u - o. Is r > -1/2?
True
Let f = 0.846 + -0.8. Let d = -62.5 + -14.5. Let q = -77.1 - d. Which is smaller: q or f?
q
Let o = 1114/47 + -892643/37647. Which is smaller: o or 0?
o
Let t = 10 + -7. Suppose -2*h - 2 = -x, -t*x + 17 = h - 3. Let j = -20987/7 + 3003. Is x > j?
True
Let z be -3*(0 - -1)*1. Let d = -908 - -854. Let j be d/(-90)*((-92)/14 + 3). Is z smaller than j?
True
Let s = -44 - -670. Let w = s + -625. Which is bigger: -307 or w?
w
Let h be 6 - (-1 - 3 - -9). Let a be -2*16*(-95)/20. Let f = a - 14439/95. Is f at least h?
False
Let s = -1583 - -1582.923. Is 0.038 less than or equal to s?
False
Let j be (-35)/7 - (-1 - (-9)/(-3)). Let z be j/(-6) - (-10 + 143/66). Which is bigger: 44 or z?
44
Let x(d) = 2*d**2 - 9*d - 65. Let f be x(-11). Suppose i - f = -2*i. Which is greater: i or 93?
93
Suppose -9614 = 7*o - 11658. Is o equal to 295?
False
Let q be 4/(-22) - (-166448)/(-1111). Is q greater than -147?
False
Let d(l) = -39*l**2 + 2*l - 1. Let j be d(2). Suppose -395*s - 46181 = 14649. Which is bigger: j or s?
j
Let t(x) = -x**2 + 6*x - 15. Let s = -312 + 316. Let g be t(s). Let v = 1123/5 - 232. Which is smaller: v or g?
v
Suppose 0 = -4474*u + 4486*u + 12. Is u less than or equal to 2/7753?
True
Let o = 120217.6 + -120236.6. Let u = -2.4 + 2. Let b = -0.7 - u. Which is bigger: o or b?
b
Let x = -398 + 397.729. Let u = x - -1.571. Are u and 2/3 equal?
False
Let k = 3410 - 3398. Let o(b) = -7*b - 7. Let a(x) = 6*x + 6. Let l(h) = 4*a(h) + 3*o(h). Let g be l(2). Is k equal to g?
False
Let v be 644/(-6) + 4/(12/7). Let y be (-1)/(-5) - 2104/20. Is v less than y?
False
Suppose -5*s - 20 = 5*x, -3*s + 5*x + 10 = 2*s. Let h = -4/4779135 + 178806557078/224619345. Let j = h - 796. Which is greater: j or s?
j
Let d be 21/(-105)*(-20)/(-1358). Suppose -3*z + 2*b + 0*b - 9 = 0, 4*b - 17 = 5*z. Is z at most d?
True
Let i = -822.23 - -818. Let b = i - -166.23. Is b != 0.1?
True
Let y(u) = -u**3 + 4*u**2 + 158. Let o be y(0). Which is greater: -8 or o?
o
Let w(x) = x**2 + 7*x + 6. Suppose -7*l + 15*l = -24. Let d be w(l). Is d bigger than -32/5?
True
Let n(c) = c**3 - 6*c**2 - 8*c - 7. Let t be n(7). Let o = t + 6. Suppose -188*d = -202*d - 126. Which is greater: d or o?
o
Let q be (11/22)/((-2)/3644*-1). Let r = q + -3679/4. Is 0 <= r?
False
Suppose -84 = -52*l + 342 - 10. Do l and 672/73 have the same value?
False
Suppose -o = -4*y - 34, y + 67 = 2*o - 36. Let x = -142 + o. Is -90 > x?
False
Let d = 30 + -30.5. Let g = -2.2 - -1.2. Which is smaller: d or g?
g
Let x be ((-27)/15)/((-485)/(-100) - 5). Let y be -56 - 3*(5 - 80/x). Is 0 < y?
False
Let a = 7453/9 + -835. Let n = 4189/612 + a. Is -1 not equal to n?
True
Let u = -606 + 627. Suppose 0 = -5*v + u + 604. Are 124 and v non-equal?
True
Let w = 1 - 54. Let p = 52.6 + w. Is 0 less than p?
False
Let o be ((15/((-15)/2))/8)/((-299)/76). Which is bigger: o or -1?
o
Let l = -119098/17 + 51089812/7293. Let o = 2/1287 - l. Is o at most 0?
False
Let f(g) = -4*g - 131. Let v be f(-33). Is -1/1072 at most as big as v?
True
Suppose 80 + 82 = 2*m. Suppose -6*j + 7*j = -3, r - 88 = 3*j. Do r and m have different values?
True
Suppose -104016 = -105*o - 67*o + 94472. Which is bigger: o or 1155?
1155
Let z be (3/(-52))/(34/408). Let c be 0 + 0 + (1 - -1). Suppose 5*a = -c*y - 1 + 4, y - 7 = 3*a. Is z greater than or equal to a?
True
Let z = -151 + 150.875. Let j = 35.875 - z. Which is greater: j or -2/3?
j
Let s(w) = w + 25 + 2*w + 0*w - 9*w. Let o be s(3). Suppose 15*r + 22 = o. Is -32 < r?
True
Suppose 586 = -5*w + 4*x + 49, 0 = -5*x + 15. Let m = w - -52. Do -2 and m have the same value?
False
Suppose 4*d = -3*h + 9*d - 896, 3*h + 886 = -5*d. Which is smaller: 34 or h?
h
Let k = 18 + -13. Suppose k*d + 196 = 71. Suppose p + 38 - 12 = 0. Is p bigger than d?
False
Suppose 4*d - 11 = 9. Suppose 0 = 4*f + 16, d*c = f - 3*f - 8. Suppose 8 = -5*l - 2*n, -4*l = -c*n + 4*n + 16. Is l equal to 12/11?
False
Let s(n) = -n**2 + 6*n + 7. Let b be s(7). Let z = -98 - -182. Suppose 3*d = -87 + z. Which is greater: d or b?
b
Let h = -44.7541 + 0.0541. Let b = 8 + -53. Let y = h - b. Is -5 less than or equal to y?
True
Suppose -4*d + 3*f - 4643 = 0, 0*f + 10 = 2*f. Which is smaller: d or -2?
d
Let l(m) = -3*m**3 - 13*m**2 - 11*m + 12. Let j(r) = 4*r**3 + 13*r**2 + 10*r - 12. Let q(w) = 4*j(w) + 5*l(w). Let y be q(14). Which is greater: 0.03 or y?
0.03
Let t be (-9 - 135516/33882) + 13. Which is greater: 0 or t?
t
Let v(r) = -2*r**2 + 31*r + 51. Let z be v(17). Let f = -0.306 + -88.694. Is f at least as big as z?
False
Let z(i) = 13*i + 210. Let r be z(-16). Let h = 231 - 1148/5. Is h at least r?
False
Suppose -4*l + 14*l + 1857 = -1443. Which is smaller: 6/7 or l?
l
Suppose 507 = 10*c + 27. Suppose -12*a = -9*a - c. Is 16 greater than a?
False
Let s = -3 - 3. Let h(j) = -j**2 - 9*j - 4. Let w be h(s). Let v(k) = -3*k**2 + 48*k - 174. Let a be v(9). Which is greater: w or a?
a
Let y = -925/32984 + 6/589. Is y less than or eq