 n at most as big as 1?
True
Let h(a) = -a**2 + 9*a - 17. Suppose -2*p = -3*l - 4*p + 14, -5*p - 34 = -4*l. Let o be h(l). Which is greater: o or 2/99?
o
Suppose o + 3*z = -4*o + 30, 4*z = -o + 6. Let x(r) = -r**3 + 7*r**2 - 3*r - 12. Let j be x(o). Which is bigger: 5 or j?
j
Let v = -2606212 - -604639199/232. Let x = -69/8 - v. Let b = 0 + 1. Which is smaller: b or x?
x
Let u(c) = -c - 4. Let a be (28/8)/((-3)/6). Let z be u(a). Which is smaller: z or 4?
z
Let m be (2/4)/((-1)/(-60)). Suppose -52 = -2*i + 4*u + 10, -i + u + 31 = 0. Is i at most m?
False
Let o = 2/51 - -2597/102. Suppose -3*f = -5*v + 92, 0 = 5*f - 3*v + 85 + 47. Let h = o + f. Which is smaller: -4/5 or h?
-4/5
Let m(b) = -20*b - 117. Let v be m(-6). Let n = -960 - -547. Let r = -1641/4 - n. Is r <= v?
True
Suppose -5*a - 26 = 4. Let n(f) = 2*f - 9. Let q be n(a). Is -20 greater than q?
True
Suppose 4*v - 47 = -5*t, 0 = 5*v - 3*v + 4. Suppose 9 = t*x - 8*x. Is 21/8 less than x?
True
Let o be -4*(19/(-76) - 6/(-8)). Is o smaller than -63/26?
False
Suppose -52 = j + 5*f, 3*f - 4*f = -2*j - 71. Let a = -37 - j. Is -3/59 <= a?
True
Let q(t) = 12*t + 4. Let u be q(5). Suppose z - u = -4*j, 13 = 2*j + 2*z - 13. Let p = j + -17. Which is smaller: -2/7 or p?
-2/7
Let f = -1551 + 1549. Let r = 4 - 8. Let v = r + 3. Which is bigger: v or f?
v
Suppose -x = -1, -4*g + x - 5*x = 64. Suppose 91 = 6*m - 203. Let v = m - 65. Which is greater: g or v?
v
Suppose 4*b - 5 = -b. Let g be -1 - (3/15)/((-1)/(-5)). Let v be ((-1)/3)/(g/(-6)). Which is smaller: b or v?
v
Let c(f) = f**3 - 9*f**2 + 13*f - 22. Let q be c(8). Are q and 67/4 equal?
False
Let s = 86.06 + -24.86. Which is smaller: 2/7 or s?
2/7
Suppose 2*p + 117 = -r, 30*p = 27*p - r - 177. Which is greater: 0.3 or p?
0.3
Let o(v) = -v**3 + 9*v**2 + 7*v - 23. Let s be o(10). Is s at least as big as -53?
True
Let b(p) = -4*p + 6*p - p + 1 + 2*p**2. Let m be b(-1). Let l be m/(-5) + 48/(-5). Is l greater than or equal to -10?
True
Let u = 72 - 19. Let n = u + -48. Are 5 and n equal?
True
Let g(d) = -d**3 - 2*d**2 + d + 1. Let z be g(2). Let u = 1 + z. Let l be (-39)/u*(-7 - -3). Is 2/3 >= l?
True
Let g = -108.9 + 107.7. Let r = 2 + -1.9. Which is bigger: r or g?
r
Let u be (6/(-44))/(9/24). Let y = -13 + 14. Suppose -h + 4*x - 2 = 2, -4*h - x = -y. Which is smaller: h or u?
u
Let p = -89 - -711/8. Let h(k) be the third derivative of -k**6/120 - k**5/6 - k**4/3 + 5*k**3/3 + 6*k**2. Let r be h(-9). Is p at most r?
True
Let t = 865271/470 + -1841. Which is bigger: -1 or t?
t
Let k(q) = -q**3 + 6*q**2 - 6*q + 2. Let p be k(4). Let l = -11 + p. Let i be 3/(-1 + 12 + 0). Is l at most as big as i?
True
Let o = 2 - -1. Suppose -3*a = o, 2*r - 5*a + 449 + 326 = 0. Let d be 221/r - 2/(-12). Which is smaller: 1 or d?
d
Let t = 0 - 3. Let y(b) = -4*b + 5. Let r be y(t). Let n = 23 - r. Are 6 and n non-equal?
False
Let n = 1242.61 - 1250. Let u = n + 0.39. Are -0.1 and u equal?
False
Let a(n) = 5*n + 1. Let r be a(3). Let c be (-26)/22 + r/16. Which is smaller: c or -1?
-1
Let y = 1896/187 + -194/17. Let b = y - -152/33. Which is smaller: 4 or b?
b
Let y be (-3 - 1) + (-2)/1. Let i(o) = -4*o**3 + 79*o**2 + 19*o + 10. Let x be i(20). Which is smaller: x or y?
x
Let z be (-24)/(-42)*7 - (-78)/(-7). Which is greater: z or 1?
1
Suppose -950*f + 973*f - 23 = 0. Let i(l) = l**3 + 2*l**2 - 2*l - 1. Let o be i(-2). Let a be 1/10*(-12)/o. Which is smaller: a or f?
a
Let k(i) = 56*i - 3. Let x be k(2). Suppose -71 = -4*m + x. Let l be (-2 + -1)*(-15)/m. Which is greater: 2/37 or l?
l
Let s = 1073 + -3254/3. Which is greater: -12 or s?
s
Let q(s) = 2*s - 6. Let t be q(3). Let r = -40 - -41. Is t greater than r?
False
Let d = -7 + 9. Suppose d*v + 34 = 2*s + s, -2*s + 27 = 3*v. Let w = s - 5. Is w greater than 7?
False
Suppose -6*z - 46 + 28 = 0. Let o = 3 + -4. Are o and z equal?
False
Let u be -3 - 7 - (4 + 0). Let r = -24 + 11. Which is bigger: u or r?
r
Suppose 126 = v + 116. Which is greater: v or 7?
v
Let v(g) = -g + 1. Let l be v(2). Let j be (3/2)/(l + 4). Let h = 1.218 - 0.218. Which is greater: j or h?
h
Let q = -0.005 - 6.195. Let k = 8.2 + q. Is k greater than -3/10?
True
Suppose 3*y + 98 - 32 = 0. Suppose 0 = -8*w + 2*w - 138. Is y not equal to w?
True
Suppose 0 = 2*p - 0 + 2, -5*p = -3*j + 2. Let n(q) = q**3 - 6*q**2 - 1. Let w be n(5). Is w > j?
False
Let g be (-3)/4*(32/6 + 1). Which is greater: -6 or g?
g
Let f(j) = j**2 - 31*j + 29. Let q be f(30). Suppose -s - 2 = -6. Is q greater than or equal to s?
False
Suppose -2*n - 3*n = -2*c + 60, 3*c + 43 = -2*n. Let o = -13 - n. Let s = 4 + -5. Is s >= o?
False
Let g = -12.37 + 11. Let o = 0.17 + g. Is o >= 0?
False
Let v = 1401 + -1402. Which is bigger: v or 4/63?
4/63
Suppose 0 = -6*p + p - 5. Let u be (6/2 + 3)*(p + 2). Do 6 and u have different values?
False
Let x = -3164 - -6292. Let s be x/1037 - (1 - -2). Which is smaller: 0 or s?
0
Suppose 18*i - 17*i = 2*l + 1028, -1520 = 3*l + 4*i. Do l and -512 have the same value?
True
Let u = 28023 + -28016. Suppose 2*y + 5*f + 17 = 0, y + f = 4*y - 17. Which is smaller: u or y?
y
Let n be 18/(-7)*(3987/(-351) + 11). Is 0 less than or equal to n?
True
Suppose -66*i + 71*i = -5. Which is bigger: i or -2/23?
-2/23
Let c be -3*(244 - 2)*(-2)/6. Let x be (-1)/6 + 297/c - 1. Let r = 0.1 - 0.1. Which is smaller: x or r?
r
Let w(g) = g**3 - 4*g**2 - g + 5. Let r be w(3). Is r <= -12?
False
Let k = -8308/11 - -755. Let t(g) = -2*g**2 + g + 1. Let l(n) = 3*n**2 - 3*n - 3. Let q(p) = -3*l(p) - 5*t(p). Let c be q(-3). Which is bigger: c or k?
c
Let n be 1 - (0 - -1) - -2. Suppose -4*k + 6*k - 2 = 0. Let x be k*-2*(-14)/42. Which is smaller: n or x?
x
Let x be 5 - (2 + 0)*1. Which is smaller: x or 0?
0
Suppose -5*b - 8928 = -36*b. Is b not equal to 289?
True
Let r be -35*((-12)/(-105) - 4/10). Are 16 and r non-equal?
True
Let p = -3998 + 28120/7. Which is smaller: 19 or p?
19
Suppose 11*n + 95 = 348. Which is greater: n or 0.3?
n
Let k = 0.2078 + -0.1878. Is 1/11 != k?
True
Let b = -0.0863 - 0.0037. Let s be 2/5 - (-52)/(-80). Which is smaller: b or s?
s
Let w be (-20)/(-24)*2/(-60). Which is bigger: w or 1?
1
Let t(z) = 6*z**3 + 3*z**2 + 0*z**2 + 3*z - 2*z**2 - 7*z**3 - 13. Let n be t(0). Is n <= -13?
True
Suppose 7 = -m - 2*m + a, 0 = -m + 3*a - 5. Let b(w) = 4 + 2 - 4*w + 3*w. Let y be b(7). Is m greater than y?
False
Let v be 3 + -4 + (-6)/(-2). Suppose 345 = -3*n - v*n. Let z be (-1)/(-6) + n/90. Is z < 0?
True
Let b be ((-3)/(-9))/(1/3). Let m be 96/42 + (32/(-14) - -2). Let h be b*(-5*m + 2). Is -7 > h?
True
Let f = -7.9 + -36.1. Let q = -159 - -161. Which is bigger: q or f?
q
Suppose 5*y + 31 = 1. Let g be (-2)/(4*3/y). Which is smaller: -2 or g?
-2
Let g be (9 - 9)/(0 - 1). Suppose g = 2*l + l - k + 5, -2 = -2*l - 2*k. Is 0 smaller than l?
False
Let x(f) = -7*f**2 + 1. Let h be x(0). Are h and 14/69 equal?
False
Suppose 21 = 3*j + 4*d, -4*j = -5*d - 33 + 5. Which is smaller: j or 16?
j
Let c be (-10)/(-45) + 112/63. Is 5 smaller than c?
False
Let p be 1/9 - ((-17)/9 + -1). Let f = -7 - -57. Suppose -3*z + f = t, -p*t = 17 - 5. Do 1 and z have the same value?
False
Let i = -207.1 + 206.1. Are i and 437 non-equal?
True
Let f = 70 + -38.2. Let s = f + -32. Does -0.05 = s?
False
Let i = 29/70 - 2291/630. Suppose -3*h = 3*b + 6 - 3, -b - 2*h = 0. Is i equal to b?
False
Let d = -49 - -26. Let r = d + 30. Suppose -a = -3*x, 7*x - r = 2*x + 4*a. Are -4/3 and x non-equal?
True
Let h(c) = -2*c**2 + 37*c + 14. Let z be h(6). Are z and 164 non-equal?
False
Let l be (-1144)/(-30) - 4/30. Let y = l - 79. Is -40 greater than y?
True
Let g = -17 + 0. Let f = g + 12. Let v be 6/f*140/21. Is -9 greater than v?
False
Let u = -5014 - -95147/19. Which is smaller: u or -7?
-7
Let s(n) = -4*n**2 - 62*n - 42. Let p be s(-19). Is p <= 0?
True
Let d = -290.8 + 291. Is 1/113 at most d?
True
Let n(h) = 4*h**3 - 8*h**2 - 6*h - 1. Let y(u) = 3*u**3 - 8*u**2 - 7*u - 1. Let l(w) = 2*n(w) - 3*y(w). Let g be l(9). Is -1 less than or equal to g?
True
Suppose 3*x = 2*x - 421. Are -421 and x non-equal?
False
Suppose 3*y + 80 = 26. Let q = -10 - y. Let t = 1 - 2. Which is greater: t or q?
q
Let c(i) = -4*i**3 + i**2 - i - 2. Let b(d) = -2*d - 9. Let n be b(-4). Let x be c(n). Let q be 5 - (0/4)/