-z + 4*q. Let b = -618/5 + 127. Is z at least b?
True
Let y(j) = 3*j**2 + 2*j - 5. Let q(t) = t**2 + 1. Let c(w) = -2*q(w) + y(w). Let f be (-8)/3*4/((-48)/(-18)). Let r be c(f). Which is smaller: r or 7/4?
r
Let o = 494 + -724. Does -230 = o?
True
Let h(u) be the third derivative of -u**5/60 - u**4/8 + 2*u**3/3 + 4*u**2. Let d be h(-3). Do d and 6 have different values?
True
Let z = 744023/3354 + -1331/6. Is 0 smaller than z?
False
Suppose 7*f - 8 = 3*f. Let r be (-6)/2 - (-1 - f). Are r and -12/13 equal?
False
Suppose 4*o - 22 = d - 1, 5*d + 84 = -o. Do d and -12 have the same value?
False
Let f be (-3 + 2)/(4/(-4)). Let i be (4245/(-531) + 8)/((-2)/18). Is f at most as big as i?
False
Let l be (3/18)/(7/532)*-3. Let d = 54 + l. Which is smaller: 15 or d?
15
Let d be (2320/110)/1 - (1 + 1). Which is bigger: d or 18?
d
Let j = 380.3 - 326. Let z = 52 - j. Let x = 2 + z. Which is bigger: x or -0.1?
-0.1
Suppose 0 = 26*p + 4088 + 2334. Which is smaller: 4 or p?
p
Let y = -0.3 - -0.34. Let v = -1245 + 1245.2. Are y and v unequal?
True
Let n be (-334)/(-48) + (-8)/6. Let i = n - 1297/232. Are -1 and i equal?
False
Let b = 8 + -12. Suppose n = -2*n + 12. Let c = b + n. Is c greater than -4?
True
Let g(d) = 8*d + 3*d + 3 + d**2 - 14. Let t be g(-10). Let c be (4/18)/(14/t). Is c smaller than -5?
False
Let d = -1797 + 1026088/571. Is d at most 0?
False
Suppose -10*u = -2*u. Suppose -2*j + 14 = 3*o - u*j, 14 = o + 3*j. Let x(b) = b**2 + 8*b + 2. Let h be x(-7). Which is smaller: h or o?
h
Let f = 0.0184 - 132.4184. Let v = 132 + f. Is -8 < v?
True
Let p = -434 + 434.299. Which is smaller: p or -0.1?
-0.1
Let h = 48.7 - 55. Let g = -7.3 - h. Which is smaller: g or -2/5?
g
Suppose 0*u = -2*u + 2. Let d = -14 - u. Is -15 at most d?
True
Let u be (-90)/120 - -11*(-2)/(-8). Is 8/3 greater than or equal to u?
True
Let w = 0.29 - 0.05. Let o = -16.24 + w. Let q = -15.9 - o. Is -1/10 at most q?
True
Let u be 12/48 - (-2123)/4. Let f be 1/(-3) + 213/u. Which is smaller: f or -1?
-1
Let i = 364 + -429. Which is bigger: 1/4 or i?
1/4
Let q = 353 - 354. Which is bigger: q or 9?
9
Let q = -0.3 - -0.3. Let g = 26 - 13. Let m = -6 + g. Which is smaller: q or m?
q
Suppose 14 = -6*n - 16. Let m be (-32)/72 + n/9. Let q = 133 - 667/5. Is m > q?
False
Suppose -2*t - t = 0. Let k = 2005 - 2008. Which is greater: k or t?
t
Let d = 68 - 610/9. Let l = -26 + 36. Let x = -10 + l. Is x greater than or equal to d?
False
Suppose 3*n - 11 - 253 = 0. Let u = -43 + n. Does u = 45?
True
Suppose 24 = -5*x + 4, 5*i - 5*x = 160. Are 26 and i nonequal?
True
Let z = 42582/1476389 + -16/541. Is z at most 1?
True
Suppose -10*f + 2*f + 24 = 0. Let y(a) = -a**2 + 2*a - 18. Let w be y(f). Is -1 equal to w?
False
Suppose -3 = 3*b - 21. Suppose b*x - 7 = 5. Let v be -2 - -2*2/x. Which is greater: v or -4/3?
v
Let v = -699 + 1247. Are v and 548 unequal?
False
Suppose -3 = 5*g - 2*m, -g - 4*g - 3*m - 8 = 0. Which is greater: g or 6/25?
6/25
Let j be (-1)/71*((-16)/(-12) + -1). Do j and 0 have different values?
True
Let r = 830 + -1663/2. Is r greater than or equal to 4/33?
False
Let i = 27466/471 + 3/157. Is 59 not equal to i?
True
Let u be 65/(-100) - (-2)/5. Let g = 1.0179 - -0.0821. Which is smaller: u or g?
u
Let u = -656 + 655. Is u at least as big as -169?
True
Let i(q) = -11*q - 2. Let r be i(1). Let k be r - -12 - 3/(-1). Which is greater: k or -2?
k
Suppose -253 = -12*c + 9*c + 2*x, c = -3*x + 66. Which is smaller: c or 82?
c
Let a = 1007/4 - 253. Let y = -2 + 4. Suppose -r = y*r. Which is bigger: r or a?
r
Let h(i) = 18*i**2 + 35*i - 35. Let f be h(1). Which is greater: 187/10 or f?
187/10
Suppose -12*q + 10*q - 116 = 0. Which is smaller: 0.1 or q?
q
Let m(s) = s**3 - 6*s**2 + 5*s + 2. Let y be m(5). Suppose y*t = 4*t. Let q = 116567/17 - 6857. Which is smaller: t or q?
q
Let i be (33/9 + -3)*15. Let o = 6 - i. Let y be -3 - ((5 - 3) + (-14)/3). Is o at most y?
True
Suppose -46 + 10 = 2*j. Let g = j - -25. Which is smaller: 11/2 or g?
11/2
Suppose o - 2 = 4. Let j be o/(-33) - (-8)/44. Let a = -82/11 - -711/88. Is j <= a?
True
Let n = 9 - 3. Let v = n - -18. Let m = v - 167/7. Which is bigger: -1/2 or m?
m
Let z(g) = g**3 + 4*g**2 - 8*g - 5. Let w be z(-5). Let b = -11 + w. Which is smaller: b or -8?
-8
Suppose -5*k + 9*k + 404 = 5*z, -2*k = 4*z + 228. Is k >= -105?
False
Let c = 39 + -30. Let b(f) = 2*f**3 - 20*f**2 + 11*f + 15. Let x be b(c). Which is smaller: -49 or x?
-49
Let d be ((-27)/(-144))/((19/36)/(-19)). Let c = 0.1 - 1.1. Which is greater: d or c?
c
Let p = 154 + -155. Are -1/7 and p equal?
False
Suppose -2*o = 3*r + 7, -3*o + 5*r + 12 + 6 = 0. Let m = 168 - 3193/19. Are o and m unequal?
True
Suppose 4*s = -5*t + 38, -6 = -4*t + 2*t + 3*s. Suppose -q - 4*z + 11 = 0, -q + 2*q - 4*z + 5 = 0. Suppose -t*m + 3 = -q*m. Is m not equal to 3?
True
Let j = 1206 - 1206. Is j at most as big as 3/172?
True
Let j be 64/18 - (-16)/(-4). Let s = 11/45 + j. Is s at least as big as 0.02?
False
Let g = 2506/1413 + 2/471. Suppose 0 = 2*q - 3*q + 1. Which is bigger: g or q?
g
Let r = 17 + -37. Which is greater: r or -2?
-2
Suppose -81*y = -87*y + 252. Is 4 bigger than y?
False
Let w = 0.04 - 0.19. Let t = 0.05 - w. Let i(v) = v**3 - 6*v**2 + 3*v + 3. Let y be i(5). Which is greater: t or y?
t
Let x = 14 + -20. Let k be 106/(-282) + (-2)/x. Which is bigger: 0 or k?
0
Let c = -8 + 5. Let p = -31 - -45. Suppose 2*v + p = 2*r, -3*v - 2*v - 7 = 2*r. Is v < c?
False
Let a be 3/(-4) + ((-104)/32)/13. Which is smaller: -24/19 or a?
-24/19
Let u be (-2)/3 + 256/402. Let s(p) = -101*p**3 - 1 + 52*p**3 + 50*p**3 - 12*p**2 - 13*p. Let n be s(13). Which is bigger: u or n?
u
Suppose 5*w - 5*t - 1485 = 0, -4*w = 3*t - 1011 - 149. Are 294 and w non-equal?
True
Let n = -24585 - -24680.028. Let s = 95 - n. Is -1 at least as big as s?
False
Suppose -2*u - j - 150 = -193, -5*u + 94 = -2*j. Which is smaller: u or -23?
-23
Suppose -29 - 1 = 3*i. Let u be (-2)/i + 6/30. Let c be ((-2)/(-3) + -1)*-3. Which is bigger: u or c?
c
Suppose x - 5*x + 28 = 0. Suppose 2 - x = -5*j. Is j >= 2/3?
True
Let j = 0.865 - 0.95. Which is smaller: -0.3 or j?
-0.3
Let w = 1261 - 131145/104. Does w = -1?
False
Let w = 167/3 + -43. Which is smaller: 13 or w?
w
Let p be ((12/21)/2)/((-5)/(-35)). Let t = -3/11 + 17/22. Which is bigger: p or t?
p
Let d(s) = -5 + 16 + s - 5. Let y be d(-7). Let v(n) = -n**2 + 4*n - 2. Let l be v(4). Are l and y non-equal?
True
Suppose 0 = -3*b, -10*j + b = -9*j + 31. Let n be 18/90 + j/30. Which is smaller: -1/3 or n?
n
Suppose 2*v + 15 = -3*d, -2*d + 0 + 6 = -4*v. Is -14 greater than d?
False
Let j = -0.591 + -49.709. Let m = j + 50. Let v = -0.05 + -0.25. Is v at most m?
True
Let l be ((-6)/72)/(3 - 2). Let u(w) = -w**3 + 5*w**2. Let k be u(5). Do l and k have different values?
True
Let q(a) be the second derivative of -a**3/6 - 2*a**2 - 4*a. Let y be q(-3). Suppose -k = -2*o, -8*k + 3*o - 7 = -3*k. Which is smaller: y or k?
k
Let v = -1340.1 + 1332. Are 4 and v nonequal?
True
Suppose -5*l + 552 = 552. Let u = -36891/37 + 997. Is u at most as big as l?
True
Let m = -2 + 2. Let p = -0.1 + m. Let s = -966 - -967. Is p > s?
False
Let k be 0/(-1) + 112/1988. Does 1 = k?
False
Let f be (-11)/(60/(-14) + 4). Let d = 41 - f. Is d > 2?
True
Suppose 6*z - 4*z = 0. Let w(i) = -i**3 - 7. Let a be w(0). Let l(s) = -s**3 - 8*s**2 - 6*s + 4. Let c be l(a). Is z at least c?
True
Let j(w) = w**3 + 6*w**2 + 9*w + 5. Let d be j(-3). Let g be (-54)/d*(64/28 - 3). Is g greater than 9?
False
Suppose 0 = 2*w - 3*d + 18, -3*w + 13 = -2*w + 4*d. Let f be (0 + w)*17/(-153). Is -8 bigger than f?
False
Let h = 50 - 55. Let g = -5.2 - h. Which is greater: g or -4/7?
g
Let b = 143/3 - 43. Suppose 5*w - w - 66 = -5*n, 52 = 3*w + 5*n. Let m = w + -10. Are b and m equal?
False
Let y = 1027 - 1019. Is 1/4 > y?
False
Let u(o) = -19*o - 11. Let z(x) = 9*x + 5. Let t(s) = 3*u(s) + 7*z(s). Let h be t(-3). Which is smaller: -15 or h?
h
Suppose y = 4*y + 33. Let d = -9 - y. Suppose -f + d = -3*f. Which is smaller: f or 0?
f
Let g = -440 - -257. Let t be 1*g/60 + 3. Which is smaller: -1 or t?
-1
Suppose -2*f = 3*u + f + 15, 4*f + 4 = 0. Let x be 2 - (-4 - u) - -1. Suppose x = -0*d + 3*d. Are d and -1/6 nonequal?
True
Let n = 131123/312 -