19?
False
Suppose -10*j + 376 = -1164. Let l be 30/(-45) + j/(-120). Is -3 <= l?
True
Let b = -1065.73 + 1071. Let q = -1.7 + b. Let h = 0.43 + q. Does h = 1/4?
False
Let a = -55 + 440. Let w = a + -384. Does w = -106?
False
Let c(w) = 15*w**3 - 3*w**2 - w - 5. Suppose -9 = 5*d - 2*d. Let t be c(d). Let s be t/98 - (-6)/14. Are s and -3 unequal?
True
Let x = 9.556 - 63.756. Is 0.1 at least as big as x?
True
Let h be (-1)/(-8) + (-86)/(-688). Which is bigger: -90 or h?
h
Suppose -2*o = 2*x - 10, -2*o + 4*x - 3*x = -22. Suppose 0 = -3*d + 7 - 22, d = -4*t - 21. Let w be t/(-14) - ((-282)/42 - 1). Is w > o?
False
Let w = -30107/6 - -5026. Which is greater: 7 or w?
w
Suppose -4*l - 17 = 3*h + 7, 5*h = -l - 74. Let f = -855/113 - 414392/7345. Let r = -1032/13 - f. Are h and r non-equal?
True
Let l(c) = -202*c + 90. Let z be l(2). Let d(n) = -6*n**3 + 5*n**2 - 9*n + 26. Let y be d(4). Is y > z?
False
Let w = 19 - 22. Let l = w + 3.44. Let h = -0.04 + l. Is h at most 12?
True
Let v = -16913 + 16915. Is 587 > v?
True
Let z(f) = -36*f**2 + 59*f + 7. Let s be z(5). Let b = s - -599. Which is bigger: 28/13 or b?
28/13
Let o = 20996/3 + -6999. Are o and -3822 equal?
False
Let u = 189641/9 - 21071. Which is greater: u or -71?
u
Let k = 1953/4 - 48833/100. Which is bigger: k or 50?
50
Let i(p) = 4*p - 1. Suppose -5*x = -3*c - 87, 2*x - 3*x + 5*c = -35. Suppose 11*n + 4 = x*n. Let j be i(n). Is 4 < j?
False
Let z = -245 - -195. Let c = z + 35. Which is smaller: -18 or c?
-18
Suppose -19 = 5*t - a, t = -6*a + 9*a - 1. Let p be (4 - 18/(-93)) + t. Is p bigger than 0?
True
Let s = -5870 - -5781. Is s at most -796/9?
True
Let j be (-16 - 192) + (42/(-56) - 30/(-8)). Which is greater: j or 40?
40
Let v(o) = -o**3 + 11*o**2 + 12*o + 11. Suppose c = 3*n + 3, 0 = -5*c + 2*n + 51 + 3. Let b be v(c). Is b less than 17?
True
Let b = 2100267/959248 + -731/334. Are 0 and b equal?
False
Suppose 550*i = 636*i. Which is greater: -1/847 or i?
i
Let s = 27974/83931 - -1/27977. Let n = 303/316 - 75/79. Which is greater: s or n?
s
Let l be (12/16)/((-1)/(-40)). Let j = l + -29. Let o be 2/(-1 - 1) - (-192)/188. Is j not equal to o?
True
Let g(q) = q - 9. Suppose 6 = -4*w - 6. Let b be g(w). Which is bigger: -124/11 or b?
-124/11
Let k = -12 + 8. Let l(p) = -71*p - 490. Let r(n) = 68*n + 489. Let o(f) = 5*l(f) + 4*r(f). Let g be o(-6). Is g > k?
True
Let y = -23 - -23. Suppose 10 = -2*n - 5*s, y = 2*n + 2*s - 3*s + 10. Let x be (-2)/5*n/3. Which is smaller: 4 or x?
x
Let p = -0.3 + 0.1. Let y = -49521 - -49522.25. Are y and p unequal?
True
Let v = 23 + -10. Suppose -5*q - 30 = 0, 70*z = 67*z + 5*q + 72. Is z < v?
False
Let i be (-5 - 47)*6/8. Let b be 20/8*(-6 - (-168)/(-18)). Which is greater: i or b?
b
Let w be (2/(-17) + (-10)/(-85))/1. Let q be w - (-15)/36*4. Is q != 2?
True
Let d be 30 - 30 - ((0 - 0) + 1). Let s be ((-8)/54)/d*(-21)/14. Which is smaller: -6/35 or s?
s
Let r = -207398/2635 + 3038/85. Is r at most as big as -42?
True
Let s = -1 - -3. Let g be (16/(-6))/(s/6). Let j = -6404 + 6397. Is j less than g?
False
Let t(f) = f**2 + 5*f - 10. Let y be t(-9). Let q = 21 - y. Let l be 38/15 - q/(-15). Are l and 0 equal?
False
Let r be 30/25*30/18. Let n be -6*(-1)/6 - r. Is n >= 1/222?
False
Let l(x) = x - 4. Let b be l(5). Let y be ((-31)/4340*21)/(-27*4/10). Is y >= b?
False
Let r(d) = 1329*d - 3923. Let o be r(22). Which is greater: o or 25314?
o
Let l(m) = -m**2 - 15*m - 42. Let y be l(-6). Let a be (-2 - y/(-4) - 34)*-3. Suppose -19*j + 22*j + a = 0. Which is smaller: -31 or j?
j
Suppose 186*w + 135 = 191*w. Suppose 5*n - 24 = 2*n. Suppose n*m = 5*m + 84. Does m = w?
False
Let j = -1226 + 1244. Let r(z) = z**3 + 4*z**2 + 2*z - 1. Let i(y) = y**3 + 5*y**2 + 2*y - 1. Let v(p) = 2*i(p) - 3*r(p). Let a be v(-3). Are a and j nonequal?
True
Let o = -19931 + 19932. Which is bigger: o or -24/1237?
o
Let d be 63/378*((-28)/(-8) - 2). Is 23960 bigger than d?
True
Let x = -0.02101 - -1.10101. Is x > -3/5?
True
Suppose -366 = -4*x - 294. Let u be x/405*-6 + 0. Let b = -8 + 5. Is b at least as big as u?
False
Let u = 198151525/333 - 595049. Let h be ((-1)/37)/((-3)/(-54)). Let m = u - h. Which is smaller: m or 1?
1
Let u = 5.9 - 3. Let d = u - 1.9. Let k = 27 + -30. Is d equal to k?
False
Let n be (14192/2844 - 5)*-3911. Let h = -347/9 + n. Are 0 and h non-equal?
True
Suppose z - 72 = 4*t, 5*z + 4*t = 4*z + 72. Suppose -z = -9*c + 15*c. Let n be (-95)/60*-34 - 2/c. Is n at least 54?
True
Let r be 1/((-148)/(-111)*10/(-8)). Let d = -199.1 + 191. Let o = -1.1 - d. Is o != r?
True
Let t(k) = 9*k + 187. Let f(a) = -3*a - 62. Let h(p) = 8*f(p) + 3*t(p). Let z be h(-13). Is z smaller than 27?
True
Let w = -336/17 + -6051/68. Let r = w - -1309/12. Is -32 equal to r?
False
Let u(h) = -69 - 8*h + 0*h - 113 - 57. Let l be u(-30). Which is smaller: 5/54 or l?
5/54
Let q = -903 - -1626. Let f = q + -576. Which is greater: 148 or f?
148
Let b = -19.31 + -0.69. Let u = b - -20.6. Let a = 0.08 + 0.22. Is u smaller than a?
False
Let h be 6/13 - ((-1476360)/234)/(-20). Is -1581/5 >= h?
False
Let z be ((2 - 2) + -4)/(-2). Suppose p + 3*p + 2*c = 78, 0 = -z*c - 2. Let j = p + -19. Is -6 at least j?
False
Let y(d) = -37*d**2 - 20*d + 201. Let z be y(4). Which is smaller: z or -472?
-472
Let v be (5 - -2)*-2*2. Let c(k) = -5*k**2 + 215. Let d be c(-7). Do d and v have the same value?
False
Let c = -9.2 - -2.5. Let n = c + 7. Let g = 32437 + -32462. Does g = n?
False
Let b(q) = q**2 + 6*q + 10. Let g be b(-3). Let z be (3 - 7)/(-3*g - -1). Suppose -3*p - 2 + 5 = t, t - z = -2*p. Which is smaller: -7 or t?
-7
Let c = 1674.2 + -1675. Is c bigger than 288?
False
Let d = 1.2 + 1.8. Let h = 0.38 + -0.61. Let p = h - -0.53. Do p and d have the same value?
False
Let n(l) = 6*l - 19. Let m(z) = -z**2 - 3*z + 5. Let b be m(-3). Suppose 5*w + 3*s = -2*s + 40, 2*w - b*s + 19 = 0. Let j be n(w). Is j < 1/146?
True
Let k = 113500/3 + -37909. Let t = -188 - -112. Which is bigger: k or t?
k
Let o(r) = -r**3 - 12*r**2 + 24. Let b be o(-12). Let s be ((-30)/b - -2)*(-16)/(-6). Let d be s/(8 - -2) + (-3155)/25. Is d greater than -125?
False
Let y(h) = -2*h**3 - 24*h**2 + 14*h + 613. Let i be y(-9). Let o = -1 - -2. Let c be (-1)/(-4 + o)*1. Which is bigger: i or c?
i
Let w = 163.74 - 3.74. Let i = -159.7 + w. Which is smaller: i or -6?
-6
Let m(o) = o + 14. Let d(l) = l**3 + 20*l**2 + 20*l + 11. Let c be d(-19). Let v be m(c). Let k(p) = -2*p + 1. Let u be k(v). Is u less than 1/3?
True
Let s(g) = 3*g**3 - 38*g**2 + 70*g - 84. Let q(l) = l**3 - 2*l - 1. Let j(h) = 4*q(h) - s(h). Let u be j(-40). Which is greater: u or 2/71?
2/71
Suppose -3*m + 23 - 1 = 2*q, -5*m = -4*q. Suppose m*k - 4*i = k - 12, -i + 3 = 5*k. Are -4/151 and k unequal?
True
Let z be (-22 + -1)*(4 - (-6 + 3)). Let c = z - -166. Which is greater: 2 or c?
c
Let p = -874 - -72544/83. Is 26/7 less than p?
False
Let i be -5*(-21)/(-27) + (63 - 59). Which is bigger: i or 2.3?
2.3
Let o = -14 - -25. Let f = 16 - o. Let a(v) = v**3 + 27*v**2 + 185*v + 61. Let b be a(-12). Which is smaller: f or b?
b
Suppose -3550 - 2612 = 39*q. Which is bigger: q or -159?
q
Let n = 10639/2 - 6232. Which is smaller: -913 or n?
-913
Let s(i) = 3*i**2 + 1. Let w be s(0). Suppose v + 4*h - 3*h = 8, -2*v + h = -w. Let p be v*((-6)/9 + 1). Is p at most as big as -2/33?
False
Let b(l) be the second derivative of -2*l**3/3 - l**2/2 - 2*l. Let j be b(-1). Suppose 28 - 70 = 2*v + 3*s, s - 52 = j*v. Is v smaller than -18?
False
Let m = -388/251 + 1149187/741956. Which is greater: m or 0?
m
Let g be (7 - 8)/(-11 - -12). Is -1/606 at least as big as g?
True
Let a = 0.1547 + -34.4647. Let n = a + 1.41. Let t = -33 - n. Are t and 17 unequal?
True
Let n(l) = -3*l**3 + 2*l - 3. Let q be n(2). Let o be ((-72)/14 - -6)/((-3)/(-315)). Suppose 5*c + 4*j + o = 0, -10 = -4*c + 5*j - 123. Is q less than c?
True
Let t = -0.033 - 16.167. Let f = t + 4.2. Let c be ((-12)/40)/((-12)/10). Which is smaller: c or f?
f
Let a = -5524/21 - -1566/7. Which is smaller: a or -3?
a
Let p = 21849 + -21849.61. Is p less than 97?
True
Suppose 4*r + 16 = 4*v, -3*r + 30 = 4*v + 7. Suppose -2*i + 9 = -o + 3, 2*o + 3 = -v*i. Which is greater: i or -2/1077?
i
Let g = 11782 - 11693. Is g at most as big as 14?
False
L