- 2*t - 0*t. Let i = -156 - -162. Let y be (9/156)/(i/(-96)). Which is greater: y or q?
y
Let i be (3/(-12))/(8724/(-873) - -10). Is -37 equal to i?
False
Suppose 10 = -2*p - 4. Let y be (8 + p)*(2 - (2 - 1)). Which is bigger: -1/4 or y?
y
Let h = 7 + -4. Let u = -11019 - -44091/4. Are h and u unequal?
True
Let o be (1*-1)/(89/2314). Let y = -8 - -30. Let r = o + y. Is r greater than 0.3?
False
Let u = -2 + -3. Let n = 26 + -20. Let o = u - n. Which is bigger: 1 or o?
1
Let h be ((-2)/(-3))/((-33)/9). Let p = 5591 + -5592. Which is smaller: h or p?
p
Let w = 42.3 - 748.3. Is w less than -0.1?
True
Suppose -180 = -66*a + 68*a. Is -90 at least as big as a?
True
Suppose -56*z + 52*z = 584. Is z > -146?
False
Let r = -3 + 6. Let o be (10/15)/(r/(-9)). Let i(c) = -2*c + 2. Let l be i(o). Is l < 7?
True
Suppose 8*h + 2*o = 4*h + 6, 0 = -5*o + 5. Let j = 5 - -2. Let k be (-6)/(-5) - (j - 6). Which is smaller: k or h?
k
Let c be -6*2*2/8*-2. Let n be 357/30*(-9)/(378/(-24)). Which is smaller: n or c?
c
Let i(m) = m**2 - 9*m. Let o be i(9). Let r = -736768595/51 + 14445484. Let j = r + 959. Which is smaller: j or o?
j
Let t = -351 - -350. Let b = 43831/920 - 381/8. Is b bigger than t?
True
Let r = -28 + 43. Let b = r - 14.8. Which is greater: b or -4/9?
b
Let g(p) = 91*p**2. Let i be g(-1). Suppose -3*h + 77 = 5*t, 4*h - i = 6*t - t. Let v be (6/10)/(h/16). Is v > 6?
False
Let q(x) = -2*x**2 + 90*x + 48. Let g be q(24). Which is smaller: 1057 or g?
g
Suppose -14 = 3*x - 2*t, x - 2*t = 5*x + 42. Let p be (7 - 1)/(6/(-57)). Let b = 50 + p. Is x equal to b?
False
Let l = 0.085 - 0.273. Let a = -5.908 - l. Let x = 0.28 - a. Is 2 smaller than x?
True
Suppose 0 = 2*c - 8, z - 4*c + 14 + 11 = 0. Let u = -8 - z. Are -0.09 and u nonequal?
True
Let j(w) = w**3 + w**2 - 3*w + 1. Let n be j(-4). Let t be (-1288)/36 + -3 + 75/27. Are n and t equal?
False
Let m = 76 + -74. Suppose 0 = m*a - 4*a - 2. Which is smaller: 1/28 or a?
a
Let x be (-3 - -3) + ((-49)/(-7))/7. Is 28/37 less than or equal to x?
True
Let y be 3/(-9) + 3/27. Let w = 8 + -7. Is w at least y?
True
Suppose i - 2*p + 5*p - 153 = 0, 0 = 2*i - 3*p - 279. Which is greater: i or 142?
i
Let z = 617/3 + -821/4. Let i(t) = -t**3 + 4*t**2 + t - 5. Let k be i(4). Is k <= z?
True
Suppose -2*m - m = -9, 2*c - 13 = -5*m. Let w(t) = t**3 + t - 2. Let b be w(-2). Let k be 1 - c*b/20. Which is smaller: -1 or k?
-1
Let f(x) = 26*x - 107. Let p be f(4). Is -32/15 at most as big as p?
False
Suppose 2*q + 1 = 3*y - 35, -4*q + 4*y = 76. Which is greater: -16 or q?
-16
Let i = -258 + 254. Which is smaller: -45/13 or i?
i
Let d be 21/6 + (-9)/6. Suppose 0*u + 5*u - 10 = 0, d*i = -2*u + 36. Let h = i + -8. Is h <= 8?
True
Let t = -32 - -56. Let i be 4/t*-3*(2 + -16). Is i greater than or equal to -0.05?
True
Let o be (-1 - -2)/(-1 + 2800/2793). Is 398 >= o?
False
Let n be (14 + -6)*8454/48. Which is smaller: 1408 or n?
1408
Let s = -2/623 + -3107/2492. Let m(v) = -6 + v + 3*v + 3*v**2 - 2*v**2. Let j be m(-5). Is s at least as big as j?
False
Let d = 42.995 + 0.005. Let s = d + -42.7. Is s greater than or equal to -0.1?
True
Suppose -37*r + 39*r = 0. Suppose 3*y = 2*m + 3*m - 6, 5*y + m + 10 = r. Which is greater: y or 1?
1
Suppose -3*n + 997 = a, -34*a + 31*a = 6. Is n at most 2/3?
False
Let w = 23 - 4. Let v(b) = -b - 3. Let q be v(-22). Let i = w - q. Is i bigger than 4/15?
False
Let z be 4/18 + 5/18. Let v = -0.005 - -2.405. Let m = 2.7 - v. Is m greater than z?
False
Let i(p) = 2*p + 4. Let m be i(12). Let b(d) = -28*d + 82. Let n be b(3). Which is greater: n or m?
m
Let y(h) = -h**3 - 6*h**2 + 2. Let s be y(-5). Does s = -26?
False
Let v = 59.6 - 52. Let a(r) = -r**2 + r + 6. Let l be a(3). Is l less than v?
True
Suppose -o + 4*s = 6*s + 9, 25 = -5*s. Let n = -604 + 12680/21. Is o smaller than n?
False
Let c(h) = 3*h**3 + 6*h**2 - 5*h - 12. Let r be c(-4). Is r <= -87?
True
Let g = -774.1 + 774. Which is bigger: g or -32.4?
g
Let x = -99 + 103. Let v = -1 - x. Let i = -0.2 - 0. Is v < i?
True
Let u be 2 - 1/(2/(-6)). Suppose 2*z - z + 2 = 0, -2*z = -u*q + 4. Suppose 2*f + q - 2 = 0. Which is bigger: f or -2/5?
f
Let z(p) = 7*p**2. Let s be z(-1). Let h be 21*1 - (4 - s). Let b = h - 25. Is b >= 0?
False
Let p be ((-6)/(-8))/(6/94). Let n be (-2*(-5)/10)/((-2)/24). Let c = n + p. Which is smaller: c or 0?
c
Let h(b) be the first derivative of b**3/3 + 4*b**2 + b - 13. Let u be h(-7). Which is smaller: -3 or u?
u
Suppose 0 = 9*n + 2*n + 583. Let z = 44 + n. Which is bigger: z or -7?
-7
Suppose 10 + 0 = 5*x. Suppose x*u + 10 = 454. Let t be (-6)/(-39) + u/(-936). Is t greater than 1?
False
Let f = 0.1329 + -0.2329. Which is smaller: 881 or f?
f
Let r = 822 + -853. Let i = -20 + 11. Let v = r - i. Which is smaller: v or -2/3?
v
Let z = 75.9 - 77. Let b = 4.1 - 5. Let u = b - z. Is u != -3?
True
Let f = 245 + -350. Which is bigger: -7 or f?
-7
Suppose -63 = 8*y + 113. Let p be ((-6)/9)/(y/33). Which is bigger: p or -2/91?
p
Let n = -7.91 + 7.5. Let t = -0.31 - n. Does t = 42?
False
Let y(f) be the second derivative of f**5/20 + 13*f**4/24 - f**3 - 7*f. Let u(i) be the second derivative of y(i). Let n be u(-4). Which is bigger: -9 or n?
-9
Let p = 4.2 - 16.2. Let i = p + 7. Which is smaller: -3/2 or i?
i
Let g = -4262/1365 - 4/195. Which is smaller: g or 0.1?
g
Suppose 7*t = 4*t + 45. Let d = 35 + -30. Suppose u - 9 = 4*u - 3*a, 5*u - t = -d*a. Which is bigger: u or -1/5?
u
Let q(u) = 2*u**2 + 5*u + 4. Let f be q(-2). Let b be (4/((3 - 0)/(-3)))/f. Does -18/7 = b?
False
Let c(g) = 4*g + 32. Let d be c(-11). Which is smaller: d or -11?
d
Let m(g) = g**2 + 2. Let d(z) = -z. Let w(l) = -3*d(l) - m(l). Let r be w(1). Let h(k) = k**2 + 3*k - 3. Let b be h(-4). Is r < b?
True
Let b be 4/((-8)/39) + 18/12. Which is greater: b or -2?
-2
Suppose 804 = 2*f + 4*f. Let q = f + -533/4. Let a(z) = -z**3 + 7*z**2 + 8*z + 1. Let c be a(8). Is c not equal to q?
True
Let r = -5.9 + -2.1. Suppose 0 = 43*y - 214 + 171. Do r and y have the same value?
False
Let o(f) = 56*f + 57. Let k be o(-1). Which is smaller: -1/99 or k?
-1/99
Let l be (-12)/(-894)*(-3)/42. Let b = -2055/32333 + l. Let x(h) = h - 4. Let r be x(3). Which is bigger: b or r?
b
Let m(h) = h**3 + 9*h**2 - 11*h + 80. Let u be m(-13). Are -453 and u non-equal?
False
Let s be 0 - 1/(-1) - (-61)/9. Which is greater: s or 9?
9
Let z be (-4)/(-180)*5*(0 + -1). Is -2/27 equal to z?
False
Suppose 4*l - 3*u - 3 = 2*l, -2*l + u = 3. Let r be (-2 + -9)/(l + 2). Which is smaller: 15 or r?
r
Let s = 1.41 + -0.11. Let p = s - 1.4. Let l = 106 + -110. Which is bigger: l or p?
p
Suppose 4*v - 24 = -j, 4*j + 0*v - 4*v = 76. Let f = j + -16. Let r be 2/(-4) + 7/2. Which is smaller: f or r?
r
Let h = 927/4585 + -2/917. Which is smaller: h or 39?
h
Let k be (2 - (-9)/(-6))*16/(-24). Is k not equal to -2.6?
True
Let r = 71/658 - -5/47. Suppose 5*w - 3 = 4*o + 26, 4*w = 3*o + 23. Which is bigger: o or r?
r
Let l = -136 - -158. Are 24 and l nonequal?
True
Let a be -1 - -2 - (36/12 + -5). Is a <= 75?
True
Suppose -5*z + g - 6*g + 10 = 0, -11 = -5*z - 4*g. Suppose 12*s + z = 11*s. Suppose -2*m - 3*l - 24 = 3*m, 5*l = -15. Is m > s?
False
Let v(n) = -n**3 - 3*n**2 + n + 3. Let m be v(3). Let b be ((-76)/m)/((-1)/27). Let p = 43 + b. Which is greater: p or -8?
p
Suppose -3*q - 5*f = -17, -8 = -3*f + f. Let u = 2 + q. Suppose 3*t - 3*b = -9, -4*b = t - 6*t - 9. Which is greater: t or u?
t
Let s be ((-3)/15)/(207/(-230)). Which is bigger: s or 0.17?
s
Let t = 795/7 + -113. Let s = 4 + -3. Which is greater: t or s?
s
Let m = 9 + 19. Let x = m + -36. Is x <= -1?
True
Let l be (-24)/(-136)*2/3. Let o(c) = c**3 - 5*c**2 + 4*c + 5. Let u be o(4). Suppose -5*h - 4*t - t - 10 = 0, -3*h = u*t + 8. Which is smaller: l or h?
h
Let v = -16 - -25. Let j(x) = -5 - v*x - 4 + 0 + 11*x. Let m be j(-7). Is -24 > m?
False
Suppose 510 = -4*v + 9*v + 5*m, 3*m + 276 = 3*v. Which is greater: 95 or v?
v
Let u(p) = -p**3 - 12*p**2 - 3*p - 20. Let n be u(-12). Suppose 0 = -n*s + 3*s - 455. Is 0 bigger than s?
True
Suppose -4 = 6*c - 16. Let i(l) = 2*l + 4. Let x be i(c). Which is bigger: 6 or x?
x
Let l(i) = -i**3 - 6*i**2 + 7*i - 4. Let f be l(-7). Let m be (f - (-21)/5)/((-3)/5). Suppose 0 = 4*c - 4. Is c equal to m?
False
L