 347. Is 113 at most as big as a?
True
Let p = -45320/73109 + -2/2521. Let w = 313/551 + p. Suppose -r = 16*r - 19*r. Which is bigger: r or w?
r
Suppose -k - 48 = 3*k. Let q be (-35)/(8 - 3) + 28. Let s be -12 - (-6 - (-154)/q). Is s > k?
False
Let l be -5 - (1 + -12 - (-4 - 0)). Suppose -631*n + 633*n + l = 0. Which is smaller: 1/159 or n?
n
Let g(p) = 15*p**2 + 60*p + 415. Let s be g(-8). Is 894 less than s?
True
Let q be 10/(-55) - ((-7925)/(-275) - 26). Let l = -0.01 + -0.79. Which is smaller: q or l?
q
Let b be (4 + -43)/3 + (0 - -3). Let a be b/(-65) - (-1360)/(-9516). Is a greater than 0?
True
Suppose -2*g = 2*q - 3682, 5*g = 10*g + 3*q - 9193. Which is bigger: g or 1833?
g
Let r = -5176 - -6011. Is 834 smaller than r?
True
Let y = 3397/3660 - 7/610. Let v = 13 + -5. Suppose 0 = -3*d + q + v, 6*q = 2*q - 20. Which is bigger: d or y?
d
Let n be (-3 - (-40)/(-5)) + -454. Is n smaller than -462?
True
Let g = 578083/26 - 22234. Is g < -105?
False
Let q = -264 + 284. Suppose -q + 131 = -3*v. Does v = -38?
False
Suppose 0 = 59*r - 60*r - 76. Let x be ((-2)/4)/(5586/r). Are x and -1 equal?
False
Let d(o) = o**2 + 12*o + 12. Let u be d(6). Let a = u + -125. Which is bigger: -13 or a?
a
Let y be 2/197*(-2)/(-72). Let t = y + 274223/3546. Is t greater than or equal to 76?
True
Let t be 12 - (1 + (-14 - -24)). Is -3169/5 smaller than t?
True
Let f be (112/(-80))/((-17)/(-2)). Which is smaller: -1 or f?
-1
Suppose -v = -5*v - 2*a, 3*v - 10 = -4*a. Let k be v + 3/(-6)*-6. Let w be (3 - (-1 + 4))/(2/k). Is w >= -42?
True
Let u = -0.269 - 0.011. Let j = u + -0.42. Which is smaller: j or -1?
-1
Suppose 5*v - 36 = -3*m + 80, -183 = -6*m - 3*v. Let a(y) = y**2 + 2*y. Let g be a(-2). Is m at most as big as g?
False
Suppose 180*y = 173*y + 385. Which is smaller: y or -38?
-38
Let s = -23/119 - 7405/476. Which is smaller: -0.7 or s?
s
Let k = 15 - 31. Let d(f) = f**3 - 6*f**2 - 46*f + 259. Let j be d(7). Are j and k nonequal?
True
Let n = -11 - -8. Let l = -6307 - -63049/10. Which is smaller: l or n?
n
Let w = -63 - -118. Let x = -1369.1 - -1314. Let p = x + w. Which is smaller: -2/3 or p?
-2/3
Suppose 108 = 48*z - 42*z. Suppose 3 = z*t + 21. Let p = -12977/918 + 240/17. Which is smaller: t or p?
t
Let w = -14574 + 14577. Is -2/1069 smaller than w?
True
Let c = -48 + 53. Suppose 3*x = -c*b - 40, 4*x + 4*b + 35 = -5. Which is smaller: -15/4 or x?
x
Suppose -106*w - 559*w - 30734 = -263484. Which is smaller: 5/2 or w?
5/2
Let q = -0.6 + 1. Let t = -0.3 + q. Let f = -0.02971 - -42.02971. Do f and t have the same value?
False
Let y = 0.06 - -4.94. Let x = -12294 - -12304. Which is smaller: y or x?
y
Let r = -111 - -113. Let f be (-3)/12 + 26/8. Suppose -i = r*i + f. Is i greater than or equal to -3/11?
False
Suppose 5*w - 11 - 2 = -4*x, -2*x - 1 = -5*w. Let g be x - 9 - 4766/(-681). Is -1 at least as big as g?
False
Let w = -0.11093 + -4.43807. Is w smaller than 0.1?
True
Suppose 0*u + 75 = -4*a + 3*u, -2*u - 20 = 2*a. Let p be -10*(-14)/(-21)*9/a. Which is bigger: 3 or p?
p
Let z be (-1 + -3 - -4)/1. Suppose -5*j + 8*o - 3*o = -5, 0 = 3*o + 3. Suppose j*s = -2*r - s, s - 4 = 0. Which is smaller: r or z?
r
Let i = -0.67 + 46.11. Let u = 0.44 - i. Is 1/3 less than u?
False
Suppose 0 = 4*y + 5*i + 5110, -y - i - 788 = 490. Which is smaller: y or -1282?
-1282
Let b be 0/((1 - -1)*(-18)/36). Let p = 201147 - 28763868/143. Let s = 5/13 + p. Is b at least s?
False
Let x = 2.045 + -0.045. Let k = 32 - -2. Let n = 40 - k. Which is bigger: x or n?
n
Let i = 424 - 424.1. Which is smaller: i or -3/802?
i
Let i be 1/(4/(-12)) - (-1 + -3). Let d be (-2 + i)*((-10)/(-49))/(-2). Is d equal to -1?
False
Suppose -12570 = 11*c + 8341. Let l = -511368/269 - c. Which is smaller: l or -1?
-1
Let y be 8/2 + -2*2/4. Suppose -y*b - 2 - 1 = 0. Let x be (33/(-18) - -2)/(38/18). Are x and b unequal?
True
Let t(q) = 3*q + 14. Let a be t(-14). Let f = a + 42. Let c = f - 15. Is c <= 2/3?
True
Let a be 7464/2655 + 770/(-275). Is 0 < a?
True
Let b(y) = -y**3 - 22*y**2 - 42*y + 5. Let g be b(-21). Suppose g = -4*a - r, -r - 54 + 274 = -2*a. Is a not equal to -111?
False
Let d(j) = -2*j**2 - 61*j - 73. Let r be d(-50). Is -2022 bigger than r?
True
Let p(b) = 27*b**3 + 5*b**2 - 5*b. Let l be p(1). Let w be 400/104 + 2/13. Which is smaller: w or l?
w
Suppose -3*h = -8*h. Let m = -16823 + 2960845/176. Is h at least m?
True
Suppose 4*c = -3*i + 6*i - 129, -2*i + 2*c + 88 = 0. Suppose -4*l - i = 93. Which is bigger: -1 or l?
-1
Let q be (124/56)/((-58)/(-3132)). Which is smaller: 3 or q?
3
Let o = 911 - 1758. Let m be 209/o + (-4)/22. Which is smaller: 0 or m?
m
Let c = -3456.1 - -3457.08. Is c less than or equal to -3/19?
False
Let j = 295153/31 - 9521. Which is greater: j or 0.15?
0.15
Let x be 5/75*30261/(-14). Let f = x - -733/5. Suppose -2 - 1 = -y. Is y bigger than f?
True
Let z = -0.26598 + 8.26598. Let k = 628/4251 + 2/327. Are k and z equal?
False
Let x(f) = -2*f**3 - 2*f**2 + 21*f - 18. Let y be x(1). Is -5/2363 <= y?
False
Let o = 132 - -31. Let t = o + -163. Which is smaller: 0.068 or t?
t
Let j be (-6)/6*18*-1. Let o be (-2)/9 - (-1520)/36. Suppose 2*t = -0*t + 4*f + o, -5*f + 60 = 5*t. Is j > t?
True
Suppose 0 = g - 0*g - 5, 2*p - 2*g = 160. Suppose -2*v - b + 161 = 0, 14*b - 317 = -4*v + 11*b. Which is smaller: p or v?
v
Let r = 640 - 630. Which is smaller: r or -7/19?
-7/19
Let h be (-20)/(-9) - 12/54. Let r = 222.8 + -188.8. Which is smaller: r or h?
h
Let z be 0/((-90)/(-150) + (-13)/5). Which is smaller: 2173 or z?
z
Suppose -39*m - 18278 = -9*m + 8*m. Does -493 = m?
False
Let y = -5069 + 7429. Is 2361 greater than or equal to y?
True
Let p be -450 + 455 + -33*2/14. Let u = 172 + -46. Let v = u - 14. Which is greater: p or v?
v
Let t(u) = -6*u**2 + 82*u + 232. Let d be t(16). Which is smaller: d or -46?
-46
Let t = 0.1866 + -81.8866. Let v = t + 80. Which is smaller: v or 1/7?
v
Suppose -9951 + 25805 = 5*y - 85651. Which is greater: y or 20300?
y
Suppose -3*q + 6 = -3*o, o - 4*o + 4*q = 9. Let h = -5115 + 5135.8. Is h at least as big as o?
True
Let f(d) = -66*d**2 + 5*d - 4. Let k(b) = 14*b - 41. Let x be k(3). Let u be f(x). Is -62 greater than u?
True
Let r be ((-1)/3)/((-23)/37605). Which is smaller: r or 2175/4?
2175/4
Let i = 44 - 50. Let y be (1992/855)/(-4) - i/10. Is 1 smaller than y?
False
Let i = -0.875 + 0.105. Let x = 0.47 + i. Is x > 11?
False
Let r = -9.91499 - -0.05599. Let d = r + 9.8. Let n = 2.941 - d. Is n equal to -22?
False
Let z = -2.4 - 4.6. Let f = 8 + z. Is f < -8/19?
False
Let x = -0.014 - 0.114. Let y = x - -0.168. Let j = -0.4 + 0.3. Is j < y?
True
Let h(l) be the second derivative of l**4/4 + l**3/6 - 3*l**2 - 39*l. Let s be h(0). Let t be ((-2)/s)/(38/(-24)). Do 0 and t have the same value?
False
Let u(k) = -k**3 + 21*k**2 + 43*k + 74. Let g be u(23). Let x be 10/3 + 1/(-3). Suppose -g*p = -x*p. Is p at least as big as 2/79?
False
Let c be -1*(-17)/(-45) + (-3)/(-15). Let z be ((-4)/8)/((-2)/12) - 2. Is c at least as big as z?
False
Suppose -10806 = -153*u + 147*u. Does u = 1797?
False
Let g = 303/16 - 4011/208. Which is bigger: g or 1/2?
1/2
Let n(v) = v**3 - 22*v**2 + 20*v + 22. Let j be n(21). Is j >= 1/5547?
True
Let y = 107.1 - 107. Is 235.27 equal to y?
False
Let t be 72/56 - (-6)/(-10). Let n(k) = -k**3 + 16*k**2 + 13*k + 69. Let q be n(17). Is q at most as big as t?
False
Suppose -181*u = -167*u - 1764. Let j = -137 + u. Which is bigger: j or -81/8?
-81/8
Suppose -5*p - 2*c - 2*c + 162 = 0, -5*p + 135 = -5*c. Suppose 2*o = -2*b - 44, o = 5*b - 2*b - p. Which is smaller: -19 or o?
o
Suppose 4*x + x - r = 23, 3*r = 4*x - 25. Suppose 5*a - 3*s - 20 = 0, 21 - 6 = -5*a - x*s. Let p be (-2)/(-18) - (-12)/324. Is p greater than a?
False
Let s = 5401.6 + -5402. Let g = -0.08 + 0.51. Let q = s + g. Is q <= -1/6?
False
Let z = -0.395 - -3.595. Let v = 0.1 - -0.1. Let q = v - z. Does 0.6 = q?
False
Let h = -134 - -46. Let c = 89 + h. Which is smaller: 18/35 or c?
18/35
Let c(u) = 2*u - 15. Let b be c(0). Let n be b/(1 - (-3)/9*-6). Suppose n = 6*d - 33. Is 7 > d?
False
Let d be 3/(-9) + (305/(-3) - 4). Let x = -1154/11 - d. Let m = 4 + -4. Is m less than or equal to x?
True
Let p be (-21 + 4)*4/(-4). Let b(q) = -q**3 - 6*q**2. Let d be b(-6). Suppo