39). Is 258 less than or equal to w?
True
Let n = 680 + -721. Which is greater: -43 or n?
n
Suppose 85*b + 5*r + 30 = 83*b, -4*b - 2*r - 28 = 0. Is b greater than or equal to -124/23?
True
Suppose -3*f + 85 = -5*s - 0*s, 0 = 2*f - 3*s - 55. Is f greater than or equal to 21?
False
Suppose 0 = -5*d + 5*k + 35, -2*k + 16 = -6*k. Suppose d*q - 12 + 6 = 0. Which is smaller: 3 or q?
q
Suppose 0 = 7*g - 2*g - 130. Let v be g/40 - (-7)/(-28). Is 0.1 equal to v?
False
Let t(v) = -v**2 - 10*v + 15. Let x be t(-11). Suppose 238 + 18 = -x*a. Let y be a/60 - (-6)/(-10). Is -2 less than or equal to y?
True
Let d(c) = c**3 + 2*c**2. Let p be d(-3). Let x = -7 - p. Let n be 1/x - (-9)/(-6). Is 2/9 smaller than n?
False
Let o = -296 - -295.69. Which is smaller: o or 3/5?
o
Let s = -3329/2142 - 1/714. Let x be -1*6*(-4)/(-12). Which is greater: s or x?
s
Let q = -1470 - -1376. Is q at least as big as -91?
False
Suppose -51 = -5*a + 39. Suppose 0 = t + a - 19. Let x be t/45 - (-2)/10. Is x equal to 4/9?
False
Let p = -199987/116 - -1724. Do p and 0 have the same value?
False
Let y = -30 + 7. Let c = 23.1 + y. Which is smaller: -3 or c?
-3
Suppose 4 = s + y, -4*y + 3 + 5 = 3*s. Let d be 6/(-10)*(s - 3) + 1. Suppose 0 = -5*b + 5*k - 5, -b + 5*k - 7 = 2*b. Which is smaller: d or b?
d
Suppose -x + 3*w + 10 = 0, 20 = -5*w + 5. Is x less than or equal to 9/31?
False
Let b = 10.9328 + 0.2072. Is 0 less than b?
True
Let p(i) = -10*i**2 + 2*i + 3. Let d be p(-2). Do -47 and d have the same value?
False
Let w = 0.1 + -0.1. Let v = 70 - 122. Let p = v - -41. Is w < p?
False
Suppose 14*y = 18*y - 20. Let d = -2675/2 + 4645/6. Let a = 568 + d. Is a at most y?
True
Let g(m) = -2*m**2 - 33*m - 46. Suppose h + 4 = k - 6, 0 = 4*h + 3*k + 75. Let f be g(h). Let w = -1131 + 78041/69. Is f equal to w?
False
Let b(g) = g**3 - 2*g**2 - g + 3. Suppose 0*s = -4*s + 32. Suppose -8*l + s = -4*l. Let w be b(l). Which is smaller: 6/13 or w?
6/13
Let r = 49 + -1. Let a be 3658/(-78) - 3/9. Let p = a + r. Is p > 1?
False
Let n = -148.16 - -148. Do -1/11 and n have the same value?
False
Let d be 128/(-99) - 2104/2367. Suppose -6 - 4 = 5*h. Is h greater than d?
True
Let r = -20 + 20.02. Let p = r + -0.22. Which is smaller: p or 2?
p
Let m be (0/(-4))/(2 - 1). Do m and -3/1417 have different values?
True
Let f = 58 + -57.9. Is f less than -147?
False
Let t = 145667/127 - 1147. Let g(i) = i + 1. Let c be g(-2). Which is smaller: t or c?
c
Let s = -2589 + 2590. Is 15/46 < s?
True
Let m(h) = -h**3 - 2*h**2 + 3*h + 1. Let a be m(-3). Let x be (-2)/2*10/(-15). Let k = -1 + x. Which is smaller: a or k?
k
Let n = -244 - -262. Which is smaller: n or 113/6?
n
Let x = -29 - -31. Let o be -2*(15/6)/1. Let b be x/o + (-504)/(-1485). Is b smaller than 1?
True
Suppose 71 = -4*n + m, 10*n + 2*m = 9*n - 29. Is -88/5 < n?
False
Let v = 0.008 - -192.992. Which is smaller: v or 1/4?
1/4
Suppose 3*z = 242 - 290. Which is greater: -135/8 or z?
z
Suppose -v - 4*v = -3*x + 47, v + 57 = 4*x. Let l be 2638/(-3 + x - 0). Let h = 240 - l. Which is smaller: 1 or h?
h
Let y = 44 + -60. Let o be y*(-20)/8 + -2. Which is smaller: 39 or o?
o
Let n be -6 + (-41 - (-8 + 4)). Is 2 less than or equal to n?
False
Let g = 104/3 - 211/6. Which is smaller: -6/13 or g?
g
Let h = -174786 + 715441/4. Let a = h - 3925. Let d = 150 - a. Which is smaller: 0 or d?
0
Suppose 0 = 4*o - 38 - 14. Let y be 764/(-65) - (-2)/o. Which is smaller: y or -11?
y
Let g(l) = l**2 - 9*l + 15. Let d(q) = q + 6. Let h be d(0). Let x be g(h). Are -5 and x unequal?
True
Let y(o) = -606*o + 167. Let k be y(1). Is k smaller than -441?
False
Let a(t) = -2*t**2 + 13*t + 3. Let q be a(8). Let r = 10 - q. Are 31 and r equal?
True
Let u(r) = -13*r + 5. Let w be u(-4). Suppose -w - 23 = -2*g. Suppose -s - 2*s = 2*q + 25, 4*s = 4*q + g. Which is greater: -10 or q?
-10
Let b(l) = l**3 + 23*l**2 + 43*l - 28. Let j be b(-21). Which is smaller: j or -47?
j
Let x = -0.472 - -0.012. Let k = 0.06 + x. Let c = 0.4 + k. Is c equal to 4/3?
False
Suppose -24 = 5*d - 3*z, 4*z + 26 = -3*d - 0*z. Let l(o) = 5*o - 2. Let w(k) = 14*k - 6. Let y(p) = d*w(p) + 17*l(p). Let q be y(-2). Is 0 bigger than q?
False
Let q be ((-56)/6)/(792/540). Which is smaller: q or -2/11?
q
Let s be 3 + -4 - 1 - -25. Suppose -2*m - s = 19. Let w = -8 - m. Which is greater: w or 12?
w
Suppose 11*k - 5*k = -594. Let c = 59 + k. Let h be (-8)/c*(-2 - -9). Is h <= 1?
False
Let r(x) = 2*x**2 - 3*x + 6. Let o be r(2). Let l(w) = w - 14. Let u be l(o). Which is greater: u or -7?
u
Let c = -396.09 + 398. Let p = -0.09 - c. Let m = 2.3 + p. Is m <= 1?
True
Let s = 71 + -31. Suppose 0 = -2*v + 5*y + 1, 5*y - 4 = -3*v - s. Suppose -5*u - 15 = -2*u. Which is smaller: v or u?
v
Let u = 557 + -553. Does u = 42?
False
Let w = -26 + 2. Let c be (-12)/w*(-8)/(-6). Which is greater: -1/10 or c?
c
Let b(n) = n**2 - 48*n - 982. Let l be b(0). Does l = -982?
True
Let w(c) = -c**2 - 8*c - 5. Let o be w(-6). Suppose 0*x + o = x - 2*b, -3 = -4*x + 3*b. Suppose -4*q + 5*q = 0. Does q = x?
False
Let j = -2255 - -2265. Which is bigger: j or 41?
41
Suppose -76*b + 2 = -75*b. Is 7 equal to b?
False
Suppose -l + 3*h - 1 + 2 = 0, -3*l + 8 = -4*h. Suppose -4*i = -2*d + 21 - 1, 20 = -4*d - l*i. Does -15 = d?
False
Suppose 0 = -2*r + a + 3*a - 4, 0 = 3*r - 3*a + 6. Let b be -3 + (-12 - (0 - -3)). Let u be 18/(-14) + b + 18. Which is smaller: r or u?
r
Let i be (-15)/36*1410/100 + 4. Is i >= -3?
True
Suppose -78 = -44*j + 83*j. Let k = -2/39 + -113/78. Which is smaller: k or j?
j
Let b = -38/9 - -196/45. Is b at most as big as -12?
False
Suppose 1615 = -23*r + 5755. Which is smaller: r or -1?
-1
Let w be -1 + 0 - (3 - 3). Let m(o) = -o**3 - 8*o**2 + o + 10. Let b be m(-6). Let q be 3*(-88)/b - 4. Which is greater: w or q?
q
Suppose -2*k - 3*k + 5 = 0. Let m = 128 + -92. Let p be k*(-44)/m + 1. Is p at most -1?
False
Let d be 1470/4*(-10)/(-50). Let w = d + -75. Which is smaller: w or 0.02?
w
Let p = 2 + -3. Let h = 9 - 31. Let l = 118/5 + h. Is p bigger than l?
False
Suppose -4*m = 5*s + 14, -4*s + 7*m = 3*m + 4. Let a(i) = -i - 3. Let c be a(-8). Suppose q - 12 = c*q. Is s < q?
False
Let g = -743.9076 + -0.0924. Let a = -727.96 - g. Let c = -16 + a. Is -0.2 at most c?
True
Let b be 0 + -1 + 2 + (-66)/39. Is b > -2?
True
Let n = 22.792 + -0.792. Which is bigger: n or 0.18?
n
Let q be (-2)/((-56)/(-564)) - (-2)/14. Which is greater: q or 1/5?
1/5
Suppose -51 = -0*j + 3*j. Let t = 14 + j. Let q(x) = x**2 - 8*x + 4. Let p be q(7). Is t at most as big as p?
True
Suppose -134 - 352 = 3*m. Is -162 at most m?
True
Let o = -1646 + 6811/4. Is 56 equal to o?
False
Suppose 43*m + 43 = -0*m. Which is greater: m or -2/189?
-2/189
Let z = -1934 + 141179/73. Suppose -13*j = -9*j. Which is greater: z or j?
j
Let g be -29 + 0 - (-2 - 0). Let q be ((-52)/(-6))/((-1)/(18/(-4))). Let k = q + g. Are 12 and k equal?
True
Let p(w) be the first derivative of -w**3/3 + 5*w**2/2 - 3*w - 9. Let t be p(2). Let x = 1.1 + -0.1. Which is bigger: t or x?
t
Let c be 2*-5*(-35 - -49). Is c smaller than -139?
True
Let p = -44 + 49. Suppose p*i = i + 8, l + 5 = i. Is l less than -8?
False
Let b = -1 - 0. Let t = 2406 - 2410. Which is greater: b or t?
b
Let s be 40/6*(-9)/6. Let x be ((-2)/(-3))/(4/84). Let y = x + s. Do -1/3 and y have the same value?
False
Let t = -40477/118 - -343. Let c(i) = -29*i + 376. Let g be c(13). Is t at least g?
True
Let r(z) = -z + 1. Let y(p) = -7*p + 18. Let h(g) = -4*r(g) + y(g). Let s be h(5). Let o = -16 - -7. Is s at most o?
False
Let f = -18794 + 74389/4. Which is smaller: -1 or f?
f
Let t = -10 + 9.32. Let h = 0.58 + t. Are -35 and h unequal?
True
Suppose 21412 + 11376 = 4*j. Let x = -40782/5 + j. Let m = x + -41. Are m and 2/11 equal?
False
Let m(h) = -h**2 - 8*h + 10. Let j be m(-8). Is j at most 55/6?
False
Let x be 50/10 + 2*74/(-8)*2. Let s be (3/(-2))/((-2)/(-44)). Is s bigger than x?
False
Let h be ((189/14)/(-9))/(3/4). Is 0.014 at most as big as h?
False
Let a = 258 + -231. Is a >= 180/7?
True
Suppose 33*l - 183 = 147. Is l < 95/9?
True
Let c be 8/((-8064)/332) - 1/(-4). Is 0 <= c?
False
Let w(p) = p**3 - 4*p**2 - 5*p + 2. Let g be w(5). Let s be (-9)/15 + (-171)/(-135). Which is smaller: s or g?
s
Let t(j) = 6*j + 5. Let d(