*n + 2. Let r be o(7). Are r and i equal?
False
Let j = 164 + -163.86. Is -0.4 greater than j?
False
Let v(i) = 2*i**2 - 28*i - 27. Let b be v(15). Which is smaller: b or 11?
b
Let r = -54 - -54. Suppose -24 = -r*h - 3*h. Which is bigger: h or 10?
10
Let u(m) = 3*m**3 - m**2 + 5*m - 3. Let i be u(1). Is -30 at least as big as i?
False
Let y = 380 + -396.2. Do y and -2/3 have the same value?
False
Suppose -3 + 11 = 4*n. Suppose -5*v - 5 = -p - 23, 5*p = -n*v - 36. Let i be (-75)/70*p/6. Which is smaller: i or 1?
1
Let d = -19.42 - -0.42. Let y = -18.8 - d. Which is greater: -2/5 or y?
y
Suppose -148 = 6*m - 46. Which is greater: m or -19?
m
Let j = 13/951 - 375697/3804. Let k = j - -99. Which is greater: 2 or k?
2
Suppose 4*i - 120 = i. Let n = i + -68. Let l be 0 - 1*(-4)/n. Which is bigger: 1 or l?
1
Let h = 159443/223 + -715. Let w = h + 668/24753. Which is smaller: w or -1?
-1
Let z = -10.391 - 0.009. Let c = 10 + z. Which is greater: 3 or c?
3
Let y be 0/1 - (-4 - (-11 - -4)). Let f be 0/((-15)/(-5)) - 37*y. Is 2/5 greater than f?
False
Let v = -71.67 + 74.8. Let c = v - 3.1. Is 0.1 > c?
True
Let j = 0.57 + 0.13. Let t = 15 + -14.4. Let s = j - t. Which is smaller: -0.1 or s?
-0.1
Suppose 2*o - 5*o - 3*z + 402 = 0, 0 = -5*o - 3*z + 674. Let n be (o/(-10)*3/6)/(-2). Which is bigger: 4 or n?
4
Let z(q) = q + 1. Let c be z(2). Let s be (-23 - -26) + (-10)/(-2). Let w = 9 - s. Is w < c?
True
Let k = 632.16 - 620. Let p = 0.16 - k. Let i = -13 - p. Which is bigger: 2 or i?
2
Let s be (-1)/5*160/(-7488). Which is smaller: s or 0?
0
Let z be (5 + (-88)/(-10))/(1/10). Let y = z + -142. Let o = 3 + -8. Do y and o have the same value?
False
Suppose 21*l - 1 = 20*l. Is -2/137 bigger than l?
False
Let r(d) be the second derivative of 2*d**3 - 19*d**2/2 + 6*d. Let g be r(2). Which is greater: g or -1?
g
Let y = 4.127 - 4.31. Which is smaller: -0.2 or y?
-0.2
Let n = 17096/17 - 1005. Which is smaller: n or 2?
n
Let y(d) = d + 99. Let g be y(0). Let i be g/(-44) - (-1)/4. Let h = -8/5 - i. Is h bigger than 6?
False
Let i be 2 - (42/22 + 0). Let v = -2839/2 + 1420. Which is greater: i or v?
v
Suppose -2*i - i + 5*u + 33 = 0, i - 2*u = 11. Let w = 18 - i. Suppose -w = 5*j - 2. Is j > 3/8?
False
Let s(p) = p**3 - 5*p**2 - p + 6. Let k be s(5). Let i = -177957/574 + 297/41. Let h = i + 303. Do k and h have different values?
True
Let c = -2 - 105. Is -104 bigger than c?
True
Let l = -798 + 488. Which is smaller: l or -311?
-311
Let c(u) = -2*u**2 + 8*u. Let v be c(4). Suppose v = -p - 0*g + 4*g + 1, 0 = -5*p + 3*g + 22. Let b be 3/(-2) - p/(-5). Is b <= -2?
False
Suppose i - 3*x + 2 = 0, -x - x = 10. Let w(r) = -r**3 - 16*r**2 + 15*r - 36. Let n be w(i). Is n at most -0.08?
True
Let a be (22 - 12)/((-1)/(-6)). Let l be ((-8)/a)/(((-114)/20)/3). Is l equal to 1?
False
Let x be 59 + 2/(4 - 0)*10. Which is greater: x or 63?
x
Let t = -3 + -2. Let b = t + 7. Suppose 0*h = -v + h + b, -8 = -5*v + 4*h. Is v not equal to 2/7?
True
Let p = -250 - -250. Is -1 smaller than p?
True
Let r = -2425 - -3665. Is r > 1239?
True
Let x(j) = -j**3 + 14*j**2 + 13*j + 29. Let f be x(15). Which is bigger: f or 398?
398
Let m = 3720/109739 + -2/1799. Suppose -15 = -21*z + 6. Suppose v = 6*p - 11*p - z, 5*p = 0. Is m at least as big as v?
True
Let a be (-7 - 15128/(-28)) + (-6)/21. Which is bigger: 531 or a?
a
Suppose 2*p = -3*p - 3*j - 20, -p - j = 4. Let n(h) = -h. Let l be n(p). Suppose -5*s - 15 + 5 = -2*v, -4*v + 20 = -l*s. Is s bigger than 10/9?
False
Let m(i) = 17*i**3 - 5*i - 9. Let r(j) = 9*j**3 - 3*j - 5. Let g(t) = 4*m(t) - 7*r(t). Let h be g(1). Suppose 3 = w + 5. Is w bigger than h?
False
Let p be 16/(-30) - (-13)/39. Let o = 0.6 - 0.8. Is o less than p?
False
Let f be (-1 + -1)/(-4) - 3/(-6). Suppose -c = 2 + 3. Let m = f + c. Is 1 at most as big as m?
False
Let c(x) = -x**3 - 4*x**2 - 8*x - 5. Let n be c(-1). Let h be 40/(-28) + 0 + 0. Which is bigger: h or n?
n
Let x(z) = z**3 - 4*z**2 - 11*z - 10. Let d = -47 - -54. Let a be x(d). Is 61 less than a?
False
Suppose -i + 4*k + 14 = 0, -7 = -i + 2*i + 3*k. Let g be -2 - (i/4 + (-8)/16). Which is greater: -3 or g?
g
Let h be (63/(-28))/(3/(-4)). Suppose -4*o = h*u + 122, -o - 3*o = -5*u + 106. Is o >= -29?
True
Let i(v) = 1. Let m(o) = -o**2 - 7*o - 9. Let t(y) = -4*i(y) - m(y). Let h be t(-6). Is h not equal to 0?
True
Suppose 260 = 4*o + 84. Suppose 0 = 3*a - b - o, 2*a + b + 14 = 3*a. Let c be 5/a + 2/(-6). Which is smaller: c or 1?
c
Let v be 4/8 - (-15)/2. Let s = 18 + 0. Let j = v - s. Is -10 less than j?
False
Let a = 17 + -2. Let n = a - 5. Let d = 7 + 2. Which is smaller: n or d?
d
Suppose -52*p + 4*l = -47*p - 474, 2*p - 5*l - 176 = 0. Is 98 < p?
False
Suppose -105 - 105 = 3*f. Do f and -70 have different values?
False
Let k be (-3)/12 - 54/8. Let b(h) = -7*h. Let p be b(k). Suppose -p = 7*q + 84. Is q smaller than -19?
False
Suppose 0 = -9*i - 18 + 9. Which is greater: i or -4/45?
-4/45
Let i = 37 - 59. Suppose 333*r = 328*r - s - 115, 0 = r + s + 27. Are r and i nonequal?
False
Let l be (12496/1608)/22 + 2/(-6). Which is smaller: l or 0?
0
Let x(l) = l**3 - 3*l**2 - 9*l + 30. Let c be x(3). Is 46/11 at most as big as c?
False
Suppose 12 = 5*s - 93. Let q be (34/(-6))/((-7)/s). Is q >= 0.2?
True
Suppose 3*s - 3*b - 54 = 0, 3*b - 58 = -7*s + 3*s. Let t = -9 - -11. Suppose 2*g + 11 = t*u - 9, 3*g - 15 = 0. Is u > s?
False
Suppose -9 = -l - 6. Suppose 5*m - 36 = -2*n + l, 5*n + m - 86 = 0. Suppose n = 6*o - 1. Is o greater than -0.2?
True
Let b = -2.3 - 31.7. Let i = 35 + b. Which is smaller: i or -1?
-1
Let m be (172/20 - 4) + -4. Let d = m + -79/115. Are d and 0 non-equal?
True
Let l = -960 - -4799/5. Is 2/37 less than l?
False
Let g = -0.1 - -0.2. Suppose 2*r - 1060*j - 90 = -1055*j, 4*j = 2*r - 84. Which is smaller: r or g?
g
Let d be 6317/77772*(158 - (4 - 4)). Let n = d - 1/6481. Is n bigger than 14?
False
Let y(o) = -9*o**3 - 10*o**2 + 12*o - 12. Let z(h) = -5*h**3 - 5*h**2 + 6*h - 6. Let l(m) = 6*y(m) - 11*z(m). Let s be l(4). Which is smaller: 5 or s?
s
Let x be 12/(-8)*-4 - (0 + 13). Is 2/57 >= x?
True
Let q be 5 + -2 + -1*2. Let r(i) = 3*i**2 - 3*i - 2. Let y be r(3). Suppose 5*k + y - q = 0. Is k less than or equal to -4?
False
Let m = 1.4 + 5.6. Let c = 28.9 - 33. Let s = 4 + c. Is s smaller than m?
True
Suppose -a + 2*u - 10 = 0, 5*a + 8*u - 4*u = 20. Suppose a = f + 2*o + 7, -3*f - 2*o = 10 + 3. Which is bigger: -16 or f?
f
Suppose -5*g + 61 = -j, -4*g - 3*j - 17 = -62. Suppose -28 = -4*k + g. Suppose -4*a - m - k = 15, -4*a = -m + 31. Which is smaller: a or -8?
-8
Let d = 1793 - 1794. Which is greater: 1/184 or d?
1/184
Suppose -4*o - 1 + 9 = 0. Suppose -2*j - 14 = o*r, -3*j - 2*j = 25. Let i be r/(-9) + (-8)/36. Is 0 less than i?
False
Let p be 272/4 - (4 - 1). Suppose -7*k + p = 9. Is 4 < k?
True
Let h be ((-741)/(-26))/19 - (-10)/12. Let m(l) = -4*l**3 - 2*l**2 + 1. Let y be m(-1). Is h greater than or equal to y?
False
Let r be 2/4*(1 + -1). Let b be (1 - -2) + -2 - r. Let n = 541 - 555. Which is smaller: n or b?
n
Let q = 0.1515 - -1159.8485. Is 0 greater than q?
False
Suppose 0 = -3*u - 0 + 6. Suppose -u*h = -4 - 16. Is h at most as big as 9?
False
Let q = -0.24 + 4.04. Let c = 4 - q. Which is bigger: 9 or c?
9
Let b = 27 - 19. Suppose -10*a + 12*a - b = 0. Suppose 2*u - 6*u + a = 0. Which is smaller: u or 8?
u
Suppose 0 = 3*h + h + 5*u + 148, 3*u + 111 = -3*h. Let w = 902 - 939. Do w and h have the same value?
True
Let b(w) = -3*w**3 - 4*w**2 - 6*w + 35. Let z be b(5). Which is smaller: z or -471?
-471
Let u be ((-80748)/(-690))/(3/10). Let j = u - 390. Which is smaller: j or -1?
-1
Let h = 0.27 - 0.07. Let a = 0.22 - h. Is -1 > a?
False
Suppose -m = -3, -3*q + 2*m = 6*m - 39. Suppose 4*y + 5 - 1 = 0. Let p be (q/135)/(y/(-4)). Is p > 0?
True
Suppose -10*l = -5*l. Let v be 2/12 - (-16)/120. Is l smaller than v?
True
Let s = 248714/119 - 2090. Which is smaller: 1 or s?
s
Let g = 58 + 22. Suppose -2*i + 6*i = g. Let w be 0 + (i/18)/(-5). Is w < 0?
True
Let y = 41 + -38. Suppose 3*a - 71 + 11 = -y*d, 4*a - 84 = -5*d. Is a != 16?
False
Let k(h) = h**3 + 7*h**2 + 5*h - 6. Let w be k(-5). Suppose -5*s = -z - s + 15, -4*s = 3*z + w. Let f be (2/(-22))/(1/18). Is z > f?
True
Suppose 0 = 5*w - 0