Is n at least as big as i?
False
Let n = -4652/13 + 358. Let q = -12 - -12. Suppose q = -5*o + 25, b - 5*o - 12 = -37. Which is bigger: b or n?
n
Let p = 7941/113 + -1085028/1243. Let o = 801 + p. Which is smaller: o or -2?
-2
Let l(i) = -6*i - 6*i**2 + 5*i**2 + 2 + 0*i**2. Let y be l(-6). Suppose -4*h + 4*f = -4, 0 = y*h - h + 5*f - 19. Is 4 less than h?
False
Let k(r) = -r**2 + 3*r + 2. Let o(h) be the first derivative of 3*h**2/2 - 3*h - 5. Let z be o(2). Let a be k(z). Is a < 6/5?
False
Let l = 20 - 15. Suppose -8 = -q - 3*w + 4, 33 = 2*q + 3*w. Suppose -2*s = -l*s - q. Is -8 at most s?
True
Let k = 73 + -93.2. Let o = k + 3.2. Let b = 11.34 + -11.34. Does b = o?
False
Suppose 196 = -8*o - 28. Are -22 and o non-equal?
True
Let g = 1/16 - -11/336. Which is smaller: -11 or g?
-11
Let b be 142/42 - (0 + 3). Which is greater: 1 or b?
1
Let h(u) = 362*u**2 + 11*u - 13. Let f be h(1). Is f equal to 0?
False
Let l = -5.1 - -41.1. Let d = 38 - l. Let w = 3.92 - -0.08. Which is smaller: d or w?
d
Let n be 9 + -5 + 1 + -5. Let q(m) be the first derivative of -m**4/4 + m**3/3 - m**2/2 - 15*m + 10. Let a be q(n). Is -14 >= a?
True
Let j be (-10)/(-20) + 54/(-4). Let t = -3 - j. Which is greater: t or 8?
t
Let b be 2/(-4)*(-240)/(-6 + 14). Let w = 6 + b. Which is smaller: w or 22?
w
Suppose m + 4*m - 3*x + 2 = 0, -m + x = 2. Let w be (m/(-15))/((-1)/6). Suppose 0 = 3*j - 8 + 2. Is w > j?
False
Let x be -6*(0 + -2 + (-11)/(-6)). Let t be ((-10)/(-20))/(x/2). Which is smaller: 9/5 or t?
t
Let k(n) = n**2 + 5*n - 48. Let j be k(5). Let f be (0 - 4*-2) + 2. Which is smaller: f or j?
j
Let z be (20/8 - 5)*-2. Which is bigger: z or 13/3?
z
Suppose 2*s + 3*p + 3 = 0, -30*s - 62 = -33*s + 5*p. Suppose -3*c = -o + 6*o - 48, 4*c - 4 = 0. Is o <= s?
True
Let x(n) = 5*n - 3. Let m be x(-2). Let z = m - -15. Suppose z*p + 12 = 10. Is 0 < p?
False
Let j = -3 - -2.9. Suppose 6*b - 24 = -0*b. Suppose d - b = 0, -f + 2*d - d - 1 = 0. Are f and j nonequal?
True
Let t be (-1)/4 + 1 + 52/(-48). Which is greater: t or 836?
836
Let z = -1830 - -1860. Which is smaller: z or 12?
12
Let k(t) = 2*t**2 - 8*t - 4. Let g be k(5). Let r = -15 + g. Is r > -8?
False
Let y(g) = -g**2 - 8*g + 100. Let z be y(-51). Which is smaller: z or -2094?
-2094
Let h(m) = m**3 - 7*m**2 - 9*m + 9. Let b be h(8). Let v be (113/7)/((-90)/(-105)). Let t = 61/3 - v. Is t <= b?
False
Let n(j) = -j**2 + 4*j - 4. Let u be n(2). Let i(w) = w - 5. Let p be i(6). Let v be p/((-111)/6*2). Which is greater: u or v?
u
Let l = -11 - -14. Suppose 10 = 2*x + l*x. Suppose 2*m = x + 2. Are m and 3 equal?
False
Let p(g) = -27*g**3 + g**2 - 2*g - 2. Let y be p(-2). Let u be y/18 + -6 - 4/(-6). Which is greater: 8 or u?
8
Suppose 9*v = 8*v + 336. Let g be -5 + v/33 + -5. Is g less than 0?
False
Let b be 21 + (-1102)/57 + 29/(-3). Which is smaller: -58/7 or b?
-58/7
Let q = 27 + -28. Let k be (-3 - 0) + (-1)/q. Let y be (32/(-12) - -2)/k. Which is smaller: y or 2/3?
y
Let v = -2.616 + -0.384. Which is smaller: v or -1.4?
v
Suppose 3*u - 7*u = 136. Let l = u + 35. Which is greater: l or -4/9?
l
Let n = 794775/181 + -4391. Do n and -1 have different values?
True
Let m = -2.04 + 1.8. Let k = m - -1.29. Let c = k + -0.05. Which is greater: c or 0.9?
c
Let y be ((-8)/(-5))/((-8)/(-5) - 2). Let z be (-3)/6 + 14/(-4). Is z equal to y?
True
Let z = -2/71 - 132/355. Is 1 less than or equal to z?
False
Let q be 246235/(-49815) - (2 - 7). Let v = q - 2/243. Let y(l) = -l - 3. Let d be y(-4). Are v and d nonequal?
True
Let r = 1031 + -1030.86. Is r != 2/13?
True
Suppose 3*r - 51 = 30. Suppose 6*s - 78 = 78. Is r >= s?
True
Let j be (-345)/(-39) + 30/195. Suppose -3*i = i - 4*z, -4*i - 2*z = -6. Which is smaller: j or i?
i
Let v = -1.172 + 1.134. Is v greater than or equal to 0.3?
False
Suppose 7 = -u + 16*c - 13*c, -4*u - c = -11. Suppose 4*y - 5*l - 38 = 0, 2*y + 4*l = 1 + 5. Let t = y - 4. Which is greater: t or u?
t
Suppose 0*n = n. Suppose 5*s = s - 84. Let b be (-12)/28 - 30/s. Is n less than b?
True
Suppose 69*f + 0 = -345. Let o be 2 + 1/1 + -9. Is f < o?
False
Suppose -14 = -c + n, -n = 4*c + 4*n - 74. Which is greater: 174/11 or c?
c
Suppose -13 = -5*t + 32. Suppose -4*p = 3*d - t, 4*d - 4*p + 16 = -0*p. Which is smaller: d or -1/56?
d
Let p be (-5166)/(-210) + (9/(-15) - -1). Is p bigger than 232/9?
False
Let u(n) = -n**2 + 7*n + 49. Let l be u(16). Let a = l + 94. Do -3/61 and a have the same value?
False
Let b(h) = -h**3 - 5*h**2 - 5*h + 5. Let n be b(-5). Let l(o) = o**3 - o + 30. Let f be l(0). Is f <= n?
True
Suppose -3*x + 2*x - 13 = 0. Suppose -69 - 27 = 8*a. Is a > x?
True
Let l be 0 + (-6)/(-3) + 3. Suppose -2*a - 2*a = -l*b - 5, 0 = 2*b - 4*a + 2. Let o = -6/5 + -7/15. Which is bigger: o or b?
b
Let t(c) = -c**2 - 7*c - 9. Let l be 50/(-8) + 4/16. Let f be t(l). Let r be 3 + f/21 + -3. Which is greater: 0 or r?
0
Suppose -2*h + 0 - 8 = 5*p, 5*h + 37 = -4*p. Let r = 10 + h. Let n be (r/4)/((-60)/(-32)). Which is smaller: n or 1?
n
Let z = -268 + 806/3. Suppose -2*p = -5*a - 13, -5*a - 16 = -p - 7. Which is greater: a or z?
z
Let k(o) = o**2 - 3*o - 3. Let x be k(6). Suppose 3*a + x = -2*a. Let y be -3 + (-6)/a + 3. Is -4 != y?
True
Suppose -11*n - 155 = -16*n. Which is bigger: 47 or n?
47
Suppose 13*k + 3 = -2*c + 8*k, c + 2*k + 1 = 0. Which is greater: -4/127 or c?
c
Let z be 3/12447*1389 - (-4)/(-12). Is 0 >= z?
False
Let b(o) = 11*o**2 + 3*o - 19. Let u be b(3). Suppose -5*r = -5, 7*r = 2*s + 2*r - u. Which is bigger: s or 46?
s
Let s(c) = c**3 + 11*c**2 - 37*c - 146. Let i be s(-13). Is i at least -51/16?
True
Let g be (-551)/2236 + (-4)/(-16). Let l = -1048/19565 - g. Is 0 >= l?
True
Let s = -1 - -4. Let n = 3.04 - s. Let l = 0.05 - -0.05. Is l < n?
False
Let r(w) = 2*w**2 - 12*w + 3. Suppose c = 2*c - 6. Let t be r(c). Suppose 2*x - 12 = t*x. Which is greater: -11 or x?
-11
Let g = 91/20 - 24/5. Suppose -4 = -i - 2. Suppose -5*z + 2 = k - 4, k = -i*z + 3. Which is smaller: g or k?
g
Let q(y) = 31*y**3 + 3*y**2 + 4*y + 2. Let a be q(-1). Let t be (-1)/2*10/a. Is t equal to -3/5?
False
Let q = 1977 - 334112/169. Does -1 = q?
False
Let m = 879 - 879. Which is greater: m or 7/214?
7/214
Let p be 526507/177261 - (3 + (-3 - -3)). Let w = p + 2/2569. Is 1 greater than or equal to w?
True
Suppose 0 = 2*s + 84 + 26. Which is smaller: s or -54?
s
Suppose -85 = 5*r + 2*b, 2*r - r + 17 = 3*b. Let p = r + 9. Let s = 8 + p. Which is smaller: 0.09 or s?
s
Let i = 227/9106 - -3/314. Let m = 0 + 0. Is m >= i?
False
Let i = 430.2 + -430. Which is smaller: -33 or i?
-33
Let v(f) = f**3 - 10*f**2 + 2*f - 19. Let c(b) = b**3 + 12*b**2 + 9*b - 12. Let p be c(-11). Let n be v(p). Which is greater: n or 10/7?
10/7
Let r(g) = -2*g + 7. Let b be r(8). Suppose 22*s + 290 = 70. Is b less than s?
False
Suppose a - 2*l = 4*a + 99, a + 4*l + 33 = 0. Are a and -33 unequal?
False
Suppose -3*b - 2*a + 20 = -120, -2*a - 4 = 0. Is 47 at least as big as b?
False
Suppose -10*s + 5*f - 30 = -5*s, -4*s + 2*f - 24 = 0. Is s at least as big as 4?
False
Suppose -3*d + 4 = -2. Let s(h) = h**3 - 6*h**2 + 7*h. Let l be s(3). Let t = l + 9. Is t less than d?
False
Let n = -1783 - -1784. Is 3/110 at least n?
False
Suppose -1002 = o - 7*o. Does o = -6?
False
Let z = 9618 + -9617. Let a be ((-2)/(-96))/(7/(-3)). Is z < a?
False
Suppose -5*r + 3 = -2*c + 2, -7 = 3*r - 5*c. Let d be 4/280*(r + -3). Which is greater: -0.1 or d?
d
Let h(q) = 16*q**3 - 4*q + 2. Let p be h(2). Let z be (-6)/8*(p/30 - 3). Let a be (4/10)/(2/(-10)). Are z and a equal?
False
Let j be (3 - 18 - -3) + 0. Let n = 3 + -4. Let q be n + (-2)/27*j. Is q != 1?
True
Suppose -3*t - 2*v + 379 = -0*t, -5*t + 3*v = -600. Suppose 5*l + t + 12 = 0. Let m be (-33)/(-44)*8/l. Which is smaller: 4 or m?
m
Let l = 4 + -12. Let t be 51/(-5) + l/(-40). Let h be 12/t*(-7)/14. Is h > 0?
True
Let k be (-5 - 2)*-2*2. Let o = -30 + k. Which is smaller: -11/4 or o?
-11/4
Let u be (4005/(-1075))/(-1) - (-30)/50. Which is greater: u or 1?
u
Let k = 1353.9 - 1350. Is 1 <= k?
True
Let k = -93 - -96. Is 9/4 less than k?
True
Let x be (-4)/(-6)*123/(-82). Which is smaller: -10 or x?
-10
Suppose 10*r = 13*r + 117. Let y be (-3 + r/(-6))*4. Which is bigger: y or 12?
y
Suppose 2*h + 2 = 0, -2*n - 3*h - h - 14 = 0