n 254?
True
Suppose -1499 = 15*x + 2146. Let h = x + 248. Which is bigger: h or 12?
12
Let n = 35028 + -175136/5. Which is bigger: n or -377?
n
Let n(i) = 8*i**3 - 13*i**2 + 4*i + 5. Let y be n(2). Which is smaller: 207/8 or y?
y
Suppose -2*q = m - 2, 0 = -3*m + 4*q + q + 17. Suppose 0 = 23*f - 4 - 19. Suppose 51 + f = m*x. Which is smaller: 25/2 or x?
25/2
Let l = 1033 + -1034.923. Let h = l - 0.077. Is -43 >= h?
False
Suppose 0*x = -x - 8. Let s = 37 - 32. Let p be ((-159)/9 + s/15)/2. Which is greater: p or x?
x
Let m = -263 - -231. Let h be ((-2)/16)/(12/m) - 2. Is h >= -42?
True
Suppose 1025*g - 769*g = -1015*g - 313937. Suppose 5*r - 328 = -1573. Is r equal to g?
False
Let v be (-12)/(-4)*118/3. Let r = 28579 + -28462. Is r < v?
True
Let z(t) = 28*t + 15. Let q be z(7). Let l = 25424 + -25214. Which is greater: l or q?
q
Let d = 272.03 + 4.97. Let o = 276 - d. Are o and 0 non-equal?
True
Let f = 6522 + -6522.1. Is 3/2687 < f?
False
Let g = -76 + -152. Let y = -237.3 - g. Let u = y - -9.5. Is 0.01 bigger than u?
False
Suppose -21*n + 19*n + 30 = 0. Let p = -71 - -73. Let m be (1 - p) + (-2)/1 - -21. Which is smaller: m or n?
n
Let y(r) = -3*r**3 + 17*r**2 + r - 1. Let d be y(5). Let s(z) = 13*z**2 + 2*z + 1. Let j be s(2). Let g = d - j. Is -5 at least g?
False
Let c = -0.077 - 141.223. Let x = -139.3 - c. Let b = -2.8 - -3. Which is greater: b or x?
x
Suppose 2*a = 5*j + 6933, 38*a + 4*j - 17481 = 33*a. Which is greater: a or 17448/5?
17448/5
Let k be (4/(476/(-21)))/((5/(-174))/5). Which is greater: k or 32?
32
Let l(q) = -q**2 - 6*q + 4. Let c(d) = 3*d**2 + 12*d - 8. Let k(x) = 2*c(x) + 5*l(x). Let u be k(2). Let t be u - (7/(-2) - 0). Is -8 at most as big as t?
True
Let i(n) = n + 5. Let g be i(-7). Let p(d) be the third derivative of -d**5/60 + 7*d**4/12 - 49*d**3/6 - 37*d**2. Let h be p(9). Is h smaller than g?
True
Let l = 106 + -105.54. Let b = l + -0.36. Is -1 greater than b?
False
Let t = -112016 + 13217797/118. Is t greater than or equal to -2?
True
Suppose 0 = -5*f - 2*d - 1705, 82*f = 83*f + 4*d + 359. Which is smaller: -340 or f?
-340
Let b(y) = -7*y + 16. Let l(n) = 15*n - 31. Let c(q) = 13*b(q) + 6*l(q). Let a = -454 + 476. Let s be c(a). Is -2/59 at least s?
False
Let k = 1.1321 + -0.9821. Let d(x) = -3*x + 1. Let a be d(-1). Let l be (6/a)/((-12)/16). Is k at least l?
True
Suppose 35*l - 27*l = 16. Suppose l*t + 23 = -2*b + 11, -3*t = 4*b + 19. Is b at most -4/13?
True
Let m(k) = -k**3 - 7*k**2 - k - 2. Let a be m(-7). Suppose 2*y + 3*t + 1 = 2*t, a*t - 10 = 5*y. Is -2/1285 less than y?
False
Let f be 1/(-48)*(-20)/1180. Which is greater: f or -1?
f
Let c be 8/(-1) - (-92650)/11730. Is c less than 0?
True
Let k = -1396 - -1984.5. Let u = k + -588. Which is bigger: u or 61?
61
Let w be -21*((-60)/(-18) + -3). Let m = -781/175 + -67/25. Which is greater: w or m?
w
Let d = -0.27 + 6.27. Let h = -303 + 213. Let t = 89 + h. Which is greater: t or d?
d
Let d = 12.0592 + -0.0592. Which is smaller: d or 57?
d
Let r be (((-5)/174)/5)/(660/(-528066)). Let g = 93/20 - r. Is g at least 1?
False
Let k = 0 + 0.2. Let i = 23 - 23. Let m be (-210)/75 + 2 + i/(-1). Is m bigger than k?
False
Let q = 6.88 - 7. Let y = 41 - 40.79. Let l = y + q. Is l at least as big as -2/3?
True
Suppose -3*z - 1685 + 233 = 0. Let j = z + 41625/86. Let h = -18 + 18. Is j at most as big as h?
False
Let m be 1/2 + 113/2. Let g = m + -278/5. Let v(c) = 4*c + 22. Let q be v(-5). Which is smaller: q or g?
g
Suppose 0 = q - 1, -2*q = -3*z + 2*q - 22. Let t be (3*-1)/(z/4). Let s be (-36)/(-1134)*(-72)/(-2). Is s at least as big as t?
False
Let z(q) = -15*q**2 + 379*q - 64. Let k be z(28). Is k less than or equal to -1211?
True
Let s = -2.219 + 1.819. Which is bigger: s or 635/8?
635/8
Let g = -369 + 373. Suppose m + g = 0, 4*r = 2*m + 875 + 61. Which is smaller: r or 233?
r
Let k = -622.27 - -681. Let s = 14.7 - -44.3. Let j = k - s. Does 2/3 = j?
False
Let y = 308 + -177. Suppose 3*a - 167 + y = 0. Is a at most as big as 10?
False
Let t be 32/(-624) + (24200/312)/11. Let r = 0.01 + -1.11. Let z = r - -1.8. Is z less than t?
True
Let d = 8/125 - -20489/2125. Let h = 3989/425 - d. Which is bigger: h or 1?
1
Let k(s) = 7*s - 312. Let o be k(17). Which is smaller: o or -203?
-203
Let h(o) = -2*o - 13. Let n be h(-6). Let a be -24 + n + 19 + -16. Which is greater: a or -18?
-18
Let f(p) be the third derivative of p**4/6 + 13*p**3/3 + 25*p**2. Let k be f(-5). Let s = k - 10. Are -1 and s unequal?
True
Suppose -5*u + 0*u + 20 = 0. Let t be ((-15)/12650*-5)/((-3)/u). Which is smaller: 0 or t?
t
Let v(l) = l**2 + 5*l - 25. Let c = 402 + -399. Let u be v(c). Which is smaller: -1/327 or u?
u
Let k = -46.28 + 47. Let o = k - 0.3. Let p = o - 0.62. Which is smaller: p or 1?
p
Suppose 0 = -17*t - 113521 + 14887. Which is bigger: t or -5801?
-5801
Let k(c) = -10*c**2 + 10*c - 7*c**3 - 2*c**3 + 10*c**3 - 3 - 2*c. Let w be k(9). Let s = 14 + w. Is s equal to 8/5?
False
Let c be 1230/(-70) + 17 - (-325)/581. Is 1 less than or equal to c?
False
Let m(n) = 2*n**2 - 127*n + 889. Let k be m(8). Which is greater: 11/991 or k?
k
Let k = -286 - -217. Let m = 65.3 + k. Is m equal to -0.1?
False
Suppose -41 + 52 = 11*y. Let r = 0 - -4. Let x be r/(-12)*-2*3. Do x and y have different values?
True
Let r(k) = 5222*k + 6. Let w be r(2). Let c be w/36 - 19/38. Let d = -288 + c. Is d less than or equal to 3?
True
Let j = -197366429/9 + 22047355. Let l = 117101 - j. Let f = -652 - l. Which is bigger: f or 0?
0
Suppose -5 = -2*s - 5*g, -s + 7 = s + 3*g. Let y be (s - 14/4)*-52. Let q = 73 + y. Which is smaller: -12 or q?
-12
Let k(x) = x. Let m be k(-2). Let b = 1440824/13 + -112195. Let q = b - -1361. Which is greater: m or q?
q
Let u be (1 - 5) + (1 - 0). Let d(z) = -2*z - 1. Let t be d(u). Suppose 0 = -t*w + b + 24, 0*b = -2*w - 3*b - 4. Is w <= 9?
True
Let u be (-3)/45*-12*10/(-103). Suppose 0*s = -14*s. Is s less than u?
False
Let p be (8200/(-15))/10*-3. Let b = p + -140. Is b less than 19?
False
Let h = -3466 - -3409. Is h greater than or equal to -49?
False
Let k be 264/(-484) + (1 - 138/(-11)). Do k and 640 have the same value?
False
Let q = 39.68 - 40. Let o = -0.42 - q. Suppose -4*l - j - 24 = -3*j, 2*j = -5*l - 21. Is l not equal to o?
True
Let b(s) = 170*s - 9. Let i(w) = 85*w - 5. Let c(j) = -3*b(j) + 5*i(j). Let g be c(2). Let k be (-1)/(-7)*-12 + 48/g. Which is greater: k or -30/13?
k
Suppose -193 = -4*t - 181. Suppose -t*f - 192 = -5*z, 8*f - 13*f = z - 16. Is z <= -1/2?
False
Let v be 25 - 26 - 7*(2 + (-76)/36). Is 101 >= v?
True
Let p(o) = 11*o**2 - o. Suppose 5*f + 13 - 8 = 0. Let c be p(f). Suppose -c = -i - 11. Is i greater than -1/3?
True
Let h(n) = -n**3 - 32*n**2. Let x be h(-32). Let f(v) = 2*v**2 - 2*v. Let i be f(x). Is i < 6/47?
True
Let i be 6/(-9) + -26*4/24. Suppose d + 6 = -x + 6*x, -2*d = -4*x + 12. Is i >= d?
True
Let y = -1079481/181 - -5964. Which is smaller: y or 0?
0
Suppose u = -21*d + 26*d - 3, -2*u + 4*d = 24. Let c be (-88)/6 + 4/(-12). Which is bigger: u or c?
c
Let y = -28261 + 1328213/47. Which is bigger: 0.2 or y?
0.2
Suppose 3*c - 490 = -7*c + 5*a, -5*a + 210 = 4*c. Is c greater than -120?
True
Suppose 134*w - 137*w = 27. Let u be -6*(-6)/w + 105/60. Is u less than -2?
True
Let z be (-1*(-1)/2)/(-1). Let q = -376.2302 - -0.0302. Let b = q + 376. Which is smaller: b or z?
z
Let f = -6/50855 + -31672488/50855. Is -624 not equal to f?
True
Let m be (0 - 6/(-10))*(16 - 4522/285). Is 265 at least as big as m?
True
Let w = -3749/15100 - -5/604. Let o = 263/50 - w. Do 7 and o have different values?
True
Let x be (10 + -9)/((48/(-28))/(4/(-42))). Let l = 0.47 - 0.4. Let d = 0.07 - l. Which is bigger: d or x?
x
Let x(u) = 2*u**2 + 2*u - 5. Let a be x(4). Let v be (39 - a) + -26 + 0. Is v equal to -22?
True
Let c(t) = -t**3 - 20*t**2 - t - 24. Let q be c(-20). Let f(y) = -6*y - 20. Let o be f(q). Suppose -4*p - 36 + o = -4*j, 0 = -j - 3*p + 12. Is j >= 35/4?
True
Suppose -44*d + 163 - 410 = 413. Which is smaller: -122/9 or d?
d
Let a = -936 - -951. Is -423 smaller than a?
True
Suppose 2*d - 7*d + 67 = -3*w, -w = 2*d - 29. Suppose t + 2*n = d, n + 8 = -2*t + 48. Let j be (-4)/t - 4/99. Is -0.2 less than j?
False
Let n be (-13 + (-40)/(-3))*-3. Is 4/4077 