 4. Let p be i(0). Suppose -p*n + 3*n = -1. Which is bigger: 2/11 or n?
n
Suppose 3*q + 4*p - 1376 = 0, 2214 = 5*q + p - 85. Let f be 6/14 + q/(-28). Is f bigger than -11?
False
Suppose 9 = -w + 3*m + 31, -16 = -2*w - m. Let o be (w/3)/((-2)/3). Let d(p) = -p**3 - 5*p**2 - 1. Let v be d(o). Which is bigger: v or -1/4?
-1/4
Let i be 23 + (-2 - -3)*4. Suppose -6*y + 3*y = -i. Which is smaller: 7 or y?
7
Let o be (1/2)/((-5)/50). Let q be (176/45 + 62/(-558))*-1. Is o at least as big as q?
False
Let j = 3 - 5. Let m = 1 - j. Let d = 51.3 - 51.1. Is m <= d?
False
Let w be 2 - (21978/(-1227))/(-9). Is w <= 0?
False
Suppose 4*d = d + 6. Let t(j) = 2*j**d - 2*j**2 + j**2 + 12*j - 6 - 2*j**2. Let m be t(11). Is m at least 8?
False
Let z = 0.039 + 14.961. Let p = z - 35. Is 0.1 < p?
False
Suppose 7*p = -p - 0*p. Which is greater: -8/25 or p?
p
Suppose -5*d + 109 - 104 = 0. Is 2/73 not equal to d?
True
Suppose -2*v + 3*v + 2 = -4*d, 3*d = -v. Suppose 4*r - 2*i = 42, -v*r + 37 = -2*r - i. Which is bigger: r or 7?
r
Suppose 0 = -6*q + 351 + 75. Suppose 41 = -4*l - q. Do l and -29 have different values?
True
Let w(g) = -g**2 - 8*g - 16. Let b be w(-4). Which is greater: -3.2 or b?
b
Suppose 8*d - 3*k = 4*d + 59, -4*d - 2*k = -74. Which is smaller: 240/13 or d?
d
Let h = 0 - 7. Let m = 4 + h. Let t be (6*-1)/((-15)/(-10)). Is t > m?
False
Let d(s) = -s**2 - 11*s - 7. Let n be d(-10). Suppose -6*l + 3279 = 3231. Which is smaller: n or l?
n
Let x = 2.585 + 0.505. Let w = 0.09 - x. Let v = -5 - w. Which is smaller: 5 or v?
v
Let m be ((-332)/(-15770))/(294/(-10)). Is 1 at most as big as m?
False
Let z be (-2)/((-2)/(-12)*-3). Suppose 0 = -2*t - 4*a + 18, z*t + a = t + 32. Is 12 > t?
True
Suppose 0 = -2*x - 2926 - 8518. Let d be (x/(-9940))/(16/40). Let a = d - 3/284. Which is greater: a or 0.1?
a
Let g = -37 - 92. Is -129 less than g?
False
Let n be 2/(-7) - 64/(-28). Suppose 3*j + 0*j = 60. Let z = -18 + j. Is z bigger than n?
False
Let z = 117 - 53. Let w be 2/(-12)*z/(-48). Suppose -3*l = -0 + 3. Is w greater than l?
True
Let a(p) = -2*p**3 - 6*p**2 + 2*p + 3. Let c be 52/(-16) + 1/4. Let o be a(c). Which is bigger: o or -4?
o
Suppose -c + 2*k - 55 = 0, 4*c + 4*k = -0*c - 196. Which is bigger: c or -50?
-50
Let w = 0.6 + -0.65. Let p = w - -0.1. Let o = p + 0.01. Is o equal to 0.2?
False
Let z be 4*((-2743)/(-312) - 10). Suppose -5*n = -3*n + 10. Is n bigger than z?
False
Let p = 273 - 273. Do -0.214 and p have the same value?
False
Let u be 33/(-105)*2*5/(-1). Which is smaller: u or 4?
u
Let q = -43 - -163/4. Let v be (-16)/40 + 14/10 + -2. Is q at least as big as v?
False
Let y(o) = 4 + o - o - 2*o. Let m be y(2). Which is greater: m or 2/9?
2/9
Let u be (1 - 2)*-17 - 0. Let b(z) = -z**3 + 15*z**2 - 14*z - 14. Let l be b(14). Let j = l + u. Which is bigger: j or 2?
j
Suppose -6*t = -4*t - w + 42, 3*w + 14 = -t. Let y = 24 + t. Suppose 3*q + 5 + y = 0. Is q at least 0?
False
Let x = -85/474 - -1/79. Suppose -21 - 23 = 4*j. Let p = j + 11. Which is smaller: x or p?
x
Let v = 0.031 + -65.031. Let z = 70 + v. Is -2 > z?
False
Let h = -7851/8227 - -3/433. Which is smaller: h or 0?
h
Suppose 3*i + 514 = -473. Is -329 at most as big as i?
True
Let o = 0 - -2. Let g(b) = -b**2 - 20*b - 84. Let c(i) = -i**3 + 2*i**2 + 9*i - 18. Let d be c(4). Let k be g(d). Which is smaller: k or o?
k
Let n be -4 + -2 - -3 - -3. Let x be 0 + 0 - (-2)/44. Is n < x?
True
Let y = 182/45 + -3254/315. Is -6 >= y?
True
Let i be 965/(-115) - -7 - (-1 - 0). Let w = i - -365/874. Is w != -1?
True
Let z = 53.2 + 17.8. Let p = z + -68. Is 0.4 < p?
True
Suppose -4*f - 28 - 6 = 3*g, -3*f + 4*g - 13 = 0. Let c be ((-1)/(-3))/(f/3). Which is bigger: c or 1?
1
Let u = 40 - 52. Let r be (-8)/u - 52/(-3). Let k be (-4)/(-3)*(-135)/r. Which is smaller: -11 or k?
-11
Let b(l) = -6*l + 31. Let i be b(5). Suppose 3*x + 5*s - 15 + 1 = 0, 5*s + i = 2*x. Which is smaller: 5 or x?
x
Suppose -3*p + p = -10, 0 = -t - 3*p - 151. Is t >= -165?
False
Let u be 19/(266/56) - (42/(-9))/(-2). Suppose 0 = r + 3*r - 8. Suppose 0 = 5*n + r*l - 3*l - 10, 4*l = 4*n - 8. Is u equal to n?
False
Let y = 0.14 + 0.03. Let z = -0.13 - y. Let m = 7 - 6.9. Which is greater: z or m?
m
Suppose -4*z = -3*p - 51, -3*p - 5*z = -4*p - 17. Let i(n) = n**2 + 17*n + 30 - 30. Let b be i(p). Is -6/19 at least b?
False
Let j = -253/35 + 52/7. Which is smaller: -1 or j?
-1
Suppose 15 = 14*n - 9*n, 4*n = -v + 56. Let o = 60 - 17. Is o equal to v?
False
Let i be (0 - 1)*(6 - 2). Let c be 6/i*6410/15. Let z = c + 32693/51. Which is greater: z or 1?
1
Let o(w) = w**2 + 15*w + 9. Let f be o(-12). Let g = 473 - 500. Is f less than or equal to g?
True
Let m(y) = -y**3 + 6*y**2 + 3*y - 18. Let n be m(6). Let l be 3*1 + -1 + -5. Are n and l unequal?
True
Suppose -3*u = 3*u - 18. Suppose -5*b + u*q - 3 = -7*b, 5*b - q = -1. Let n be (-37)/(-39) + 2/(-6). Is b at least n?
False
Let m = 1.5 + -6.5. Let i = m - -7. Let a = i + -1. Is -6 <= a?
True
Let m = -24/151 - -1321/1661. Which is greater: m or -0.2?
m
Let l(n) = -n**3 + 7*n**2 + n + 10. Let m be l(7). Let q = -14 - m. Are -32 and q unequal?
True
Suppose -6*b + 0*b + 0*b = 0. Suppose 8*j - c + 6 = 10*j, b = -2*j + c + 6. Which is smaller: 20/7 or j?
20/7
Let y = 2627 + -2630. Which is greater: y or -0.19?
-0.19
Suppose -6 = h - 82. Let k be (74/(-8))/((-57)/h). Which is smaller: k or 11?
11
Suppose 16*l = 20 - 52. Let p be l/(-17)*1 - (-585)/85. Is p at most as big as -4?
False
Let y(s) = s**3 - 4*s**2 + 3*s + 1. Let h be y(3). Let a(r) = r**3 + 5*r**2 + 5*r + 2. Let n be a(-3). Which is greater: h or n?
n
Let i(k) = 4*k**2 + 13*k - 50. Let j be i(3). Which is greater: 0.12 or j?
j
Suppose 3*n + x = -28, -2*x = x + 12. Let g = -6 + 3. Is n <= g?
True
Let a(z) = -z - z**2 - z - 14*z**3 + 13*z**3 - 2*z**2 - 1. Let p be a(-2). Let u(i) = -4*i - 3. Let j be u(p). Which is greater: j or 1/26?
j
Let v = -0.08962 - -0.08962. Let r = -1 - -2. Let o be r/(3 - (2 + -1)). Is v at most o?
True
Let z = -207 - -2689/13. Let l = -9.79 + -0.21. Let u = -9 - l. Which is greater: u or z?
u
Let m(o) = o**3 + 7*o**2 + 2*o + 13. Let r be m(-7). Let f be -8 - -11 - (-3)/r. Which is smaller: f or -7?
-7
Let r = 480.05 - 480. Let u = -2 + 0. Let d = u + 2.1. Which is greater: d or r?
d
Suppose 5 = -5*h, o - 5*o - h - 1 = 0. Suppose o*d = -d + 11. Which is greater: 39/4 or d?
d
Suppose 4*t + 4*x + 42 + 134 = 0, -59 = t + 4*x. Let b be 2/(-6) + t/(-63). Which is smaller: b or 6?
b
Let s be 2 - (6 - 25977/6496). Which is smaller: 1 or s?
s
Let o = -1845 - -1824. Let g = 0.2 - 0.3. Which is smaller: g or o?
o
Suppose 25*k + 260 = 2435. Which is smaller: k or 84?
84
Suppose -9*g - h + 1 = -12*g, 0 = 2*g + h + 4. Let a be (3/(-4))/((-5)/20). Suppose 6*t = t + m + 4, -t + a*m + 12 = 0. Is t not equal to g?
True
Let y be ((-1)/(-97))/(1 + 0). Suppose -p = 3*n - 5*p, 5*p = -3*n. Do y and n have the same value?
False
Suppose -4*f + 0*f = -5*m - 767, m + 589 = 3*f. Which is greater: f or 199?
199
Let l(g) = -12*g + 163. Let o be l(14). Let v = -4.07 + 0.07. Is o not equal to v?
True
Suppose 3*y - 65 + 17 = 0. Let b be 22/(-165)*(18/y)/3. Is 0 less than or equal to b?
False
Suppose -2*i = -4*i - 20. Let a be 1 - 5/(i/4). Let t be (-1)/3 - (-1)/a. Is 4/7 greater than or equal to t?
True
Let u be (3 + -5 + 2)/(-1). Suppose 4*j = -u*j + 16. Suppose 5*l - 10 = 0, j*l = -3*w + l + 42. Is w equal to 1?
False
Let g = 25 + 19. Is 42 != g?
True
Let o(z) be the second derivative of z**3/6 - 9*z**2/2 - z. Let v be o(-9). Suppose m + 5*x = -22, 3*x - 2*x = 2*m + 33. Is m bigger than v?
True
Let h be (12/10)/((-4)/(-30)). Let u be (-3)/29*6/h. Suppose 0 = -17*q + 20*q - 3. Which is bigger: u or q?
q
Suppose 14 = 3*y - 2*y - 5*m, 5*y + m = -8. Let s be (9/42)/(136/14 - 2). Is y at least as big as s?
False
Let j = 32 - -64. Let b = j + -959/10. Is 1 at most b?
False
Suppose 0 = 2*i - 5*y, 0*i - 5*y = -0*i. Which is smaller: i or 1/860?
i
Let k(c) = -4*c**3 - 4*c**2 - 3*c + 1. Let d be k(-3). Suppose d = -5*q - 133. Do -43 and q have the same value?
True
Suppose -12*z - 4202 = 10*z. Which is bigger: -189 or z?
-189
Suppose -599 - 266 = -5*u. Let q = -1209/7 + u. Is -6 at least as big as q?
False
Let m(d) = 6*d**2 - 4*d + 2. Let h be m(1). Suppo