?
False
Suppose -25 = -w + 3. Let c(s) = 2*s + s + w + 2*s - 7*s. Let p be c(22). Is 2 at most as big as p?
False
Let r be ((-155)/50)/(3 - 2190/725). Let z = r - 301/2. Let o = 830 - 47311/57. Is o < z?
False
Let m(h) = 3*h**2 + 16*h + 9. Let t be m(-6). Let l be ((-3384)/t)/4 + (-18)/(-63). Let o be 0 + 9/(-12) - 590/l. Is o >= 14?
True
Let x = -19 - 1. Let g(u) = 2*u**2 + 1283*u - 11734. Let w be g(9). Is w > x?
False
Let v be -3028*-5*6/(-60). Let h be -3 - (6060/v + (-5)/(-5)). Is h at most as big as -1?
False
Let i = 14 - 10. Suppose 0 = u - 3*a + 57, -16*a + 1 = -17*a. Which is smaller: u or i?
u
Let o(i) = i**3 + 7*i**2 + 7*i - 10. Let s = -3 - 3. Let l be s/51 - 0 - (-700)/(-119). Let m be o(l). Is -14 bigger than m?
True
Let n(f) = 59*f - 1948. Let l be n(33). Is l smaller than -64/95?
True
Let g be 4 + 6/(-12)*6. Let f be g - -3 - 4 - -6. Is f > 31/5?
False
Let j be ((-2234)/(-28))/((-150)/(-175))*(3 - -1). Is 371 bigger than j?
False
Let o(s) = 28*s**2 + 117*s - 233. Let l be o(2). Which is smaller: 111 or l?
111
Let d = -50.38 - -1492.38. Is d less than -0.1?
False
Let n = -877 - -424. Let a = 32615/72 + n. Is 1 less than or equal to a?
False
Let g = 6 - -8. Let y be (g/63)/(2/19). Is 1 equal to y?
False
Let n(c) = c**3 - 88*c**2 + 84*c + 543. Let x be n(88). Is x equal to 7934?
False
Let l = -4.9422 + 4.9. Let m = l + -0.0578. Do m and -0.039 have different values?
True
Let k = -280 - -348.9. Let j = k - 69. Which is greater: j or -0.049?
-0.049
Let s = 45 - 44.8. Suppose 5*a + 21 = 4*n - 19, -3*a - 32 = -4*n. Let u be -4 + (44/(-24) - a). Which is smaller: s or u?
u
Let h(w) = 4*w + 3. Let j(d) = -d - 8. Let y be j(-11). Let t be h(y). Let n be 5 - 2 - t/5. Is -2/31 greater than n?
False
Let g be 15408/360*(-22 - -2)/2. Is -427 bigger than g?
True
Let z be (0 + 1 - 1) + -93. Let h(w) = -2854*w + 17033. Let t be h(6). Is t at most z?
False
Let u = 704 + -701. Suppose -u*s - 2*l + 10 = 0, -24 + 4 = s - 4*l. Let r = -0.059 - -0.092. Is r <= s?
False
Let w(i) = 2*i**2 - 6*i - 9. Let l be w(4). Let f be (-1)/(0 + l/2). Suppose 20 = -f*p - 3*x, -2*p + 4*x = -4*p - 24. Is -1 at most as big as p?
False
Suppose 7*r + 32 = -164. Are 2.5 and r nonequal?
True
Let s(p) = p**2 + 69*p + 96. Let l be s(17). Is l less than 1562?
True
Let h(q) = -8*q - 13. Let p be h(0). Let x(k) = k**2 - 2. Let t be x(4). Let s = t + p. Is s less than 1/59?
False
Let o be (-1)/((-8)/(-5 - 3)). Which is smaller: o or 5/383?
o
Let k be (-777)/(-666) - 3137/2690. Is 1 > k?
True
Let p = 8161 - 8161. Which is smaller: p or -60/427?
-60/427
Let f = 10 - -1. Suppose -5*y = -2*a + a - 19, -5*a - f = -4*y. Let x = 10.787 + -9.787. Do a and x have the same value?
True
Let r(t) = t**3 + 24*t**2 + 139*t + 38. Let o be r(-12). Which is greater: 1086/11 or o?
1086/11
Let h(p) = -2*p**2 - 7*p + 41. Let u be h(-7). Let a be 222/6 - (-2 - u). Suppose -3*j + 62 = 3*m - 28, 90 = 3*m + 5*j. Which is bigger: m or a?
a
Let r = -29761 + 29800. Suppose -231 = -5*y - 71. Do y and r have the same value?
False
Let q = 280 - 280.1. Suppose -a + 8 = -2. Which is smaller: q or a?
q
Let i = 322.21 + 15.79. Which is smaller: 1 or i?
1
Let v(h) = -h**2 + 5*h - 1. Let y be v(3). Suppose 306 = -i + 283. Is i > y?
False
Let y = -664 - -133493/201. Which is greater: y or 1?
1
Let c = 4672 - 3602. Is 1070 < c?
False
Suppose 0 = y + y + 96. Let m = 60817/2 + -1401007/46. Let d = m - y. Is d bigger than -1?
True
Let i be 72/(-360)*(-63 - 6/3). Is -123 less than i?
True
Let l(s) = 2088*s**3 - s**2 - 32*s - 30. Let m be l(-1). Which is bigger: -12527/6 or m?
m
Suppose -9*c - 824 = -1976. Suppose 3*m + c = -2*h, 114 = -2*h - 5*m + 9*m. Are -60 and h non-equal?
True
Let h be 4/6 + (-3)/(-9) - -215. Suppose 0 = -21*a + 19*a + h. Which is smaller: 106 or a?
106
Suppose 0 = -6*y + 61 - 175. Let c = y - -17. Let p be -2 + ((-3)/(1 - -2) - c). Is p < -2/59?
True
Suppose 5*d - 45 = -6*q + 3*q, 0 = 3*q - d - 27. Suppose 6*n = q*n. Suppose 0 = -n*i + i - 2. Do i and 9/4 have the same value?
False
Let l be (-118278465)/(-4928593) - (-48)/(-2). Is l < 1?
True
Let m = -61 + 306/5. Suppose 316 = 5*f - 3*y, f - 96 = 75*y - 58*y. Which is smaller: f or m?
m
Let w be 1/((-138)/12) - 2128/(-16008). Which is bigger: 12 or w?
12
Let s = -4772 + 4887. Is s at least as big as -4?
True
Suppose 0 = 2*y + 3*w - 22, -5*y - 4*w = -38 - 3. Suppose -3*d = q + q + 11, 13 = -2*q - y*d. Which is smaller: 0.075 or q?
q
Let b(n) = -n**2 + 6*n - 9. Let d be b(3). Suppose -3*o = -0*o - 5*a - 50, d = o + 5*a + 10. Let y be 34/o - 4/10. Is 21/5 at least as big as y?
True
Let d(q) = -868*q - 6963. Let g be d(-8). Let p be 6/(2 - 10/4). Which is greater: g or p?
p
Let n = -663 + 541. Let z = 24 + n. Which is smaller: 0.4 or z?
z
Suppose 1 = -3*j - 4*b - 0, -2*b = -2*j + 4. Let a = 30 - 4. Let m be a/117 + (-40)/234. Which is greater: m or j?
j
Let x(d) = -12*d - 12. Suppose 24*g - 30*g = 6. Let k be x(g). Are k and -22 non-equal?
True
Let x = 145294 - 145295. Let z be (382/372 - 1) + 0. Is z at most x?
False
Let s(k) = 13*k - 750. Let n be s(55). Which is smaller: n or -3?
n
Let m(b) = -b**2 - 52*b + 922. Let i be m(31). Which is greater: -1649 or i?
-1649
Let a = 25272 + -101087/4. Which is bigger: a or -5/383?
a
Let w(p) = 3*p + 138. Let g be w(-26). Suppose -g*o - 20 = -70*o. Which is smaller: o or 13/24?
13/24
Let a be 298/114 - (-4 + ((-630)/(-27))/5). Which is smaller: a or 2?
a
Suppose 0*m = -2*m - 14. Suppose 2*i = -4*i - 36. Let y be 4/i*(-2 - (-44)/16). Is m less than or equal to y?
True
Let t = -105 + 111. Suppose -4*s + 48 = 2*s. Suppose -4*i - 3*c + 0*c + t = 0, -2*i + 4*c = s. Is i less than 7/13?
True
Let r = 1063 + -1541. Let w = r - -4249/9. Is w < -5?
True
Suppose -32 - 616 = 18*f. Let k be (23 + 1)*f/24. Is k greater than or equal to -35?
False
Let l = -0.2 - -1.2. Let t(q) = q**3 - q**2 - 4*q + 6. Let r be t(0). Suppose -r*h + 14 = -10. Is h < l?
False
Let f = 26613/2 + -13307. Is -102 < f?
True
Let v = -0.4662 - 1.5338. Is 475 <= v?
False
Let n be (1/(-1822))/((-150)/(-360))*5. Is -1 greater than or equal to n?
False
Let n be ((-1)/(-2))/(5/80). Let o(k) = -23*k**2 - 29*k**2 + 1 + 6*k + 51*k**2. Let y be o(n). Is -16 at most y?
True
Suppose 16 = 2*z - 30. Suppose -z = 3*f - 20. Let g = 309.61 + -310. Are g and f equal?
False
Suppose 16*o - 174 = 114. Suppose -t + m + o = 0, -3*t - 2*m + 25 = -14. Let u = 181/12 + -19/12. Is u != t?
True
Suppose 4*w - 1 - 3 = 0. Suppose 3*r - 2*r + 150 = 3*f, -2*r = -4*f + 202. Let d be (-84)/f*(2 - 8/3). Do d and w have the same value?
False
Suppose -45 = z - 2*c + 15, 2*c = 8. Let a(o) = -o**3 + 45*o**2 - 51*o + 271. Let u be a(44). Let s = u - z. Is 17 greater than or equal to s?
True
Let c = 233.7 + -222.7. Let v = 1.75 + -1.6. Are c and v unequal?
True
Suppose -z + 4*z - 6 = 0. Let c be z - 2 - 26/(-10). Let x = 19962 - 19958. Is x < c?
False
Let m = 468632/26899 - 644/37. Which is greater: m or -1?
m
Suppose -68*y - 1765 = 7687. Which is bigger: y or -144?
y
Let h = 5328 - 5187. Suppose -7*q + m + 714 = -2*q, q + 3*m = 130. Which is bigger: h or q?
q
Let r = 2921 + -2897. Is 43 at most as big as r?
False
Let t = 27 + -225. Let z = -199 - t. Which is smaller: -3/134 or z?
z
Let f be -2*2/((-4)/102*24). Let a = 9193/1956 + -19/163. Let i = a - f. Is i not equal to 2/3?
True
Let u(o) = o**2 + 8*o + 2. Let m be u(-3). Suppose 60 = 8*v + 12*v. Suppose 2*j - 3*p = -31, -3*j - 38 - v = p. Which is bigger: j or m?
m
Let i = 30 + -164. Let k = i - -132.7. Which is bigger: k or -0.2?
-0.2
Let t = 0.3 - 4. Let k = 48.3 - t. Let j = 52.18 - k. Is -0.2 not equal to j?
True
Let d(k) = 2*k + 40. Let u be d(-18). Suppose -18 = -u*b + 66. Is -4 > b?
False
Suppose 5*g = 2*c - 25, -4*c - 5*g + 78 = 13. Suppose 7*x + c = 22. Is x at least as big as 4?
False
Let v be (-13 + 476/35)/((-136)/10). Which is greater: -1 or v?
v
Let w be 4/14 - (-2138)/14. Let j(o) = 2*o**3 - 43*o**2 + 34*o - 120. Let h be j(21). Is h at most as big as w?
True
Let a = 2858 + -3573. Which is smaller: -717 or a?
-717
Let w = 123 - 206. Let v = -203.6 - -201.6. Is v > w?
True
Let p = -1184 + 781. Let c = 407 + p. Which is bigger: -2/17 or c?
c
Let d be 8/(-10) + (3 - 241/105). Suppose 0 = 3*v + 11 - 2. Let h = v - -3. Do d a