+ 2 = -h*a, 5*a - 3*a = 3*s - 11. Is a at least as big as 3/35?
False
Let y = 66848 + -584318366/8741. Is y <= 1?
True
Let i = -173 - -153. Let d be (5 + i)/(-3) - 27. Which is bigger: d or -20?
-20
Let k = -60 - -59.15. Let u = 7.15 - k. Which is greater: u or 0?
u
Let j(r) = 4177*r + 20922. Let p be j(-5). Let x(k) = -k + 38. Let q be x(0). Is p >= q?
False
Let m(j) = -10*j - 75. Let i(k) = 10*k + 113. Let d be i(-12). Let z be m(d). Are z and -5 non-equal?
False
Let u be (-12)/18 - (1 + (-332)/12). Suppose 0 = 2*g + 2*s - 64, 50 + 46 = 4*g - 4*s. Suppose -22 = -g*p + u*p. Is 47/4 greater than p?
True
Suppose -28740 = 2*j + 28*j + 30*j. Which is smaller: -483 or j?
-483
Let p = 0.3732 + 30.6268. Which is greater: -0.01 or p?
p
Let t = -68 - -87. Let o = t - 14. Suppose -5*l - 3*z = -z + 12, -3*z - 13 = o*l. Is -2 < l?
False
Let r = -393243/143 + 2750. Is r at least as big as 0?
True
Let m = 15.2 + 15. Let j = m - 27.2. Which is bigger: j or 0?
j
Let v = -431 - -432. Is v equal to -4/8031?
False
Let g be (-2 - -2)*(-102)/204. Let u be ((-6)/(-1455))/((-6)/(-30)). Are g and u nonequal?
True
Let m(s) = 6*s**2 + 180*s + 388. Let q be m(-30). Which is smaller: 376 or q?
376
Let n(a) = -a**3 - 2*a**2 - 3*a - 15. Let x be n(-3). Let r be 5 + 121 - (x + 1). Which is bigger: r or 123?
123
Let v(x) = 10*x**3 + 8*x**2 - 27*x + 8. Let s be v(3). Which is smaller: s or 272?
s
Let r be 125/10*((-11)/(-5) + -3). Let f(c) = c**2 + 12*c + 13. Let u be f(r). Let t be (u - -4)/((-138)/(-20)). Is t greater than -1?
True
Let b be (-134)/(-335)*110/(-16). Suppose -3*w - 3 = -2*f, 5*f - w + 3*w + 21 = 0. Is b greater than or equal to f?
True
Let c = 143 - 134. Let d = -197 + 206. Is c > d?
False
Let n be (-6)/36 + (-1207)/426. Let h = 63/5 - 82/5. Which is smaller: h or n?
h
Let l = -17 - 1. Let y = 104.8 + -49. Let z = y + -56. Is l > z?
False
Let j be 1/(-3) + 56/42. Let m = -118.3 - 112.5. Let c = 229 + m. Is j greater than or equal to c?
True
Let s(w) = 14*w**2 - w + 11*w + 19*w - 2*w + 6*w. Let q be s(-4). Is 90 greater than q?
False
Let z = 8237 - 8234.8. Is 22 less than z?
False
Suppose 5*z - 3*i - 6 = i, 3*i - 9 = -3*z. Suppose 4*s - 5*n = 0, -2*n = -z*s + 6*s. Suppose -t + 2*f = -24 - 18, t - 39 = 3*f. Is s smaller than t?
True
Let u be (-2)/(-7) - (-4)/35. Let x be 436/1236 + (9/(-27) + 0)/1. Is u greater than or equal to x?
True
Let r = 1.0398 - 2.0398. Which is smaller: r or 22/15?
r
Suppose -529*b = -466*b. Is b > 1/35?
False
Let n(d) = -74*d + 80. Let z be n(6). Let p = z - -307. Suppose -5*q - 180 = 100. Is q at most as big as p?
False
Let y = -335 + 469. Suppose o = -o - y. Let b = 40 + o. Does b = -25?
False
Suppose 3*r = 2*a + 71, -3*r + 60 = 4*a - 23. Suppose -r*d = -81 - 19. Which is smaller: 5 or d?
d
Suppose 1 = -3*z + 4*o, -z - 1 - 3 = -5*o. Let j be ((-3)/3)/(z/(-4)). Suppose x = -x + j. Is 11/6 at most x?
True
Let t = -42 - -47. Suppose -6 = t*n - 31. Suppose -n*b = -2*b + 6. Is b at least as big as 2?
False
Let a = -1.3 - -1. Let y = 62139 + -62130. Which is smaller: y or a?
a
Suppose 2*m = -4*b + 52, 5*b + 5*m - 6*m = 58. Suppose -3*n = -b*n. Which is greater: n or -8?
n
Let n(j) = -j**3 + 3*j**2 + 2. Let u be n(3). Let w be (-2 + 3/u)*(5 + 1). Is 2 not equal to w?
True
Let p(x) = 5*x**3 - 4*x**2 + 6*x - 8. Let m be 0 + -1 + 3 - (-14 - -13). Let f be p(m). Are f and 108 non-equal?
True
Let m = 881 + -883.28. Let l = m + 4.28. Is l not equal to 40?
True
Suppose -178*a + 180 = -169*a. Suppose -2*p + 4*c - a = -8, -4*p - 4*c = 36. Is -9 at most as big as p?
True
Let j(n) = -3*n**2 + 7*n - 13. Let q(k) = -2*k**2 + 5*k - 7. Let p(i) = 3*j(i) - 5*q(i). Let t be p(3). Which is smaller: -3 or t?
t
Let f = 30143 + -30754. Which is smaller: f or -627?
-627
Let v = -43 - -45. Suppose -4*k + 5*x = 33, 5*x = -5*k - 0*k - 30. Let n(c) = c + 5. Let d be n(k). Which is smaller: v or d?
d
Let b = 27.71 - 27.78. Which is greater: 1371 or b?
1371
Suppose 32*w + 600 = 2*w. Let m be ((-4)/(-3))/(6/27). Let g(k) = -2*k - 6. Let d be g(m). Which is bigger: d or w?
d
Suppose -7028 - 2673 - 27094 = -15*b. Which is greater: b or 12258/5?
b
Suppose 8*g - 3*g + 5*a + 415 = 0, -4*g - 5*a = 335. Are g and -16 non-equal?
True
Let g = -9.481 - 8.214. Let z = g + -0.405. Let x = -18 - z. Is 0.3 smaller than x?
False
Suppose 0 = -q - t - 2160, 2*q - 4*t + 2140 = q. Which is smaller: -2154 or q?
q
Let v be (1/11)/(1/2). Let g be 1*13*(-690)/690. Which is smaller: v or g?
g
Suppose 33*n - 5*o - 968 = 31*n, 2*o = 5*n - 2441. Do -4/7 and n have the same value?
False
Suppose 13*k + 2529 = 254. Let w = 236 + k. Which is greater: 59 or w?
w
Suppose -6*z + 8 = 20. Let d(k) = k**3 + k**2 - 3*k + 1. Let x be d(z). Suppose x*i + 0*i + 18 = 0. Is i greater than -6?
False
Let a = 333277/200 + -10703/8. Let q = a - 657/2. Which is greater: 0 or q?
q
Suppose 0 = 5*x - y - 27, 7*x - 3*x - 12 = -4*y. Suppose 0 = -119*r + 124*r - x. Which is bigger: 2/1255 or r?
r
Suppose -2*k = 5*z - 553, 6*z + 1151 = 4*k + z. Let n = -290 + k. Which is smaller: n or -43?
-43
Let a = -6429 + 7631. Is 1204 > a?
True
Let p = 49 - 343. Let c = 293.9 + p. Which is bigger: -44 or c?
c
Let o = -24413/2558416 - -11/3017. Which is bigger: o or 0?
0
Suppose -206 + 269 = 63*d. Which is smaller: d or 1/6473?
1/6473
Let f = 268 - 268.119. Let t = -45.881 + f. Let x = t + 35. Which is greater: 2/3 or x?
2/3
Let k(s) be the third derivative of -s**4/4 - 17*s**3/6 - 33*s**2. Let u be k(-4). Let o = 0.153 + -0.053. Which is smaller: u or o?
o
Suppose 5*f - 2*m - 2363 + 509 = 0, 5*f - 5*m = 1860. Let y be (-9)/(-3) - f/120. Is y greater than or equal to -1?
True
Suppose 113*u = 84 - 67 + 96. Do u and 3/9338 have different values?
True
Let x = -3021 - -4094. Which is smaller: x or 3221/3?
x
Let i be 3*14/21 - -22. Let a be i/(-16)*520/(-105). Let h(s) = -s**3 + 4*s**2 - s + 1. Let j be h(3). Is j <= a?
True
Suppose -38 = 4*k + 2. Suppose 42 = -5*p - 9*p. Let o be (44 - (2 - 1))*p/12. Is o equal to k?
False
Let z = 687 + -687.0541. Let x = z + -299.9459. Is 1 smaller than x?
False
Let o = 68 - 66.2. Let j = o - 20.8. Let t = j + 19. Which is greater: -121 or t?
t
Suppose 216 = -6*r - 0*r. Let l be (r/(-4))/1 - 4. Let x be 0 - (l/73)/5. Which is greater: x or -1?
x
Let c be 138/(-24) + 6 + 14/8. Let r be (-8)/(c + 30/(-12)). Is 103/6 greater than r?
True
Let d be 1/(1 + (-6)/7). Let q = -145 + 151. Suppose -l = -5*g + 1, 5*g - 55 = l - q*l. Do l and d have the same value?
False
Suppose -4*j + 60 = 4*l, 3*l - 36 = 4*j - 12. Suppose -60 = 3*s + l. Let w be (-2)/s*(-8)/(-3). Is w at most as big as 4?
True
Let m(n) = -18*n**3 - 2*n. Let z be m(2). Let o = 156 + z. Let s(x) = x + 7. Let q be s(-6). Which is smaller: o or q?
q
Suppose 7*n + 852 = -3*g, 63*g - 61*g = 2*n - 588. Is -292 at least g?
False
Suppose 11*n = 169 - 37. Let w be (-10)/((-29640)/17802) - n/2. Which is bigger: w or 1?
1
Let w = 4861 + -9715/2. Let g(o) = -o**3 - 4*o**2 - 4*o - 1. Let p be g(-3). Suppose p*s - 1 = 5. Which is bigger: s or w?
w
Let m(j) = 38*j + 299. Let w be m(-6). Which is smaller: 79 or w?
w
Let n = -7199.7 + 7200. Which is smaller: n or 588?
n
Let i be (7 - 14) + -7 + 8. Let j(o) = -15*o**2 - 15*o - 132. Let u be j(i). Is -582 bigger than u?
False
Let f = 5126.645 - 5125. Which is smaller: f or 2?
f
Let y = -16268243/91 - -178793. Let n = y + -145/7. Is n bigger than 1?
False
Let z be (-4298)/3070 - 2/(10/3). Suppose -4*f + 2*o + 69 = 3*o, -5*f = 3*o - 81. Is z >= f?
False
Suppose 191*r + 143*r = 370*r + 36. Let i be 1 + 1 - (-67)/(-30). Which is smaller: i or r?
r
Let c be ((-39)/(-18) + (-15)/6)*-258. Let b = 0.02 - 0.02. Is c bigger than b?
True
Let d = -403/87 + 70/87. Is -5 bigger than d?
False
Let v = -5767/28 + 825/4. Suppose -5*p + 16 = 4*d, -3*d = -5*d + p - 6. Which is smaller: v or d?
d
Let p(q) = 3*q**2 - 317*q + 1554. Let m be p(5). Is m smaller than 67?
True
Let j = -74 - -89. Suppose -2*m = 5*t + 7 - 121, 0 = -5*m - j. Let r = -25 + t. Which is greater: -1/5 or r?
-1/5
Suppose -3*o + 8 = -5*o - 2*o. Is 2330 less than o?
False
Let i = -21058 + 105289/5. Which is greater: 2157 or i?
2157
Let j = 0.04249 - -3.15751. Which is smaller: -40 or j?
-40
Suppose 0 = 602*v - 608*v - 156. Let r be (-24)/8*v/(-6). Is -59/5 at least 