 bigger than h?
False
Let t(p) = -p**3 - 25*p**2 + 100*p - 9. Let l be t(-28). Which is bigger: -458 or l?
l
Let h be (6 - 0) + -2 - 4. Is h not equal to -21/19?
True
Let y = 44 + -52. Let b = -0.094 - -0.114. Which is smaller: y or b?
y
Suppose i + 4*i + 4 = a, -4 = -a. Let f = i + 3. Let b be (2/3)/(f/9). Is b at most 10/9?
False
Let t = 860 + -869. Which is bigger: t or 0.85?
0.85
Let h = 1640.3 - 1640. Is -20/53 < h?
True
Let b = 0.556 - -0.124. Is -1/2 less than b?
True
Let k be 10*(-2)/(-4)*1. Suppose -5*g + 25 = -2*s, -3*g + 20 = 2*g - s. Which is greater: g or k?
k
Let d be 0 - -137*1/(-4). Let x = -34 - d. Which is smaller: x or -8?
-8
Let q(b) = b**2 - 12*b - 4. Let t be q(11). Let z(m) = m**3 + 7*m**2 + 2*m - 8. Let o be z(-6). Let f = t + o. Which is smaller: f or -5/13?
-5/13
Let w = -49 - -61. Let q be w/(-20) + 51/60. Are q and 1 nonequal?
True
Let p be 18/30 + (-43)/5. Let f be (-1 + 2)*(-12 + 11) - 14. Which is smaller: p or f?
f
Let c(s) = s**3 + 23*s**2 - 24*s - 49. Let q be c(-24). Is -48 less than q?
False
Let j = 3.9 - 3.856. Let m = -0.044 + j. Is m greater than 35?
False
Let g be 9/2*((-803)/66 - -12). Is g greater than or equal to -1?
True
Let z = 0.43 - 0.13. Let v = z - -1. Let t = v + -1.7. Is 0.2 at most as big as t?
False
Suppose -4*x + 3 + 7 = -2*q, -x - 4*q = 11. Let f = 61/2718 + 5/151. Is x > f?
True
Suppose -3*r + 11 = -2*d, -6 - 24 = -4*r - 5*d. Let l be -12 + (2 - 7) + r. Is -13 greater than l?
False
Let z be -5 + 18/56*266/21. Is z < -2?
False
Let h = 3/14 - -5/42. Suppose -6*j = 49 - 313. Which is bigger: h or j?
j
Suppose 90*k = 61*k + 58. Is k at least 30/43?
True
Let j be 82/5 + 4 - 1. Let p = j - 6703/345. Is p >= 1?
False
Let h = -879 + 464. Is h equal to -418?
False
Let v(c) = -c**2 - 2*c**2 + 9 + 0*c**2 + 4*c**2 + 12*c. Let m be v(-11). Let a be 0/(-1) + -1*3. Is m at most a?
False
Let u(x) = x**3 - 2*x**2 - 29*x - 10. Let k be u(-4). Let g(f) = 3*f + 4. Let c be g(4). Suppose -5*h = -2*v - 7, 3*v + v - 4*h = c. Which is smaller: k or v?
v
Suppose 3*t = 2*g - 62 - 51, -5*g = -2*t - 288. Is g < 530/9?
True
Let z be 1580/(-7775) - 20/(-100). Does -1 = z?
False
Let z(i) = i**2 + i + 13. Let l be z(0). Let d = l + -6. Let a be -2 - (2 - (-1 + d)). Is 3 less than a?
False
Let f = -5 + 10. Let u be (-178)/15 + (-2)/15. Let c be (u/30)/(6/f). Which is smaller: 1 or c?
c
Let v be 3/12 + (-430)/(-8). Let p be (-852)/v + 2/(-9). Let d be 1/3*6/p. Which is bigger: d or -1?
d
Suppose 14 = 2*d - 18. Suppose -3*i - 9 = 3*z - 30, -2*z - d = -3*i. Suppose 0 = 2*f - i*f. Which is greater: f or 1/3?
1/3
Let v = -44 - -53. Let o be (v/(-162))/((-2)/20). Is 1/6 not equal to o?
True
Let d(t) = -2*t**3 + 5*t**2 - t - 3. Let z be d(2). Let s(c) = -c**3 + 2*c**2 + c. Let f be s(z). Does 0 = f?
False
Suppose 5*a + 39 = 4*p, -4*a - 29 - 35 = 5*p. Let j(k) = k**2 + 8*k - 33. Let q be j(a). Is -2 at most q?
True
Let d(t) = -t + 4. Let v be d(1). Let m be ((-10)/(-51))/(-2*v/9). Which is greater: 1 or m?
1
Let w = -8 + -5. Suppose -3*f - 4*a - 23 = 0, 0 = -4*f + 2*a - 6*a - 36. Is f >= w?
True
Let j = -268 + 268.4. Which is bigger: j or -0.006?
j
Suppose -9 = -7*t + 19. Suppose -1 = t*g - 33. Let j be -6*1/((-12)/g). Is j at most as big as 4?
True
Suppose 3*f + 2 + 4 = 0. Let o = -0.12 - 5.88. Let y = o - -9. Is f less than or equal to y?
True
Let q = 187 - 337. Let n = q + 134. Let b = -15 - 2. Which is smaller: n or b?
b
Let j = -43 + 72. Suppose -33*p = -j*p. Is -1/2 less than or equal to p?
True
Let g = 17 - 5. Suppose -3*b + 3 - g = 0. Which is smaller: b or -1?
b
Suppose 2*d + 35 = 33. Let x be 3*d - (-1 - 0). Which is smaller: x or 0.1?
x
Let p(y) = -51*y**3 + y**2 - 8*y + 11. Let s be p(2). Is s <= -2?
True
Let v be -24*(-6 + 6 + -2). Suppose -v = -3*k - 3*k. Are 8 and k nonequal?
False
Let o = -21.3 - -21.25. Which is smaller: o or 203?
o
Let o be -9 - -7 - (-1 - 8). Suppose b + 2 = 0, b - o + 15 = h. Let z be 3 + -3 + (-2)/(-8). Which is greater: z or h?
h
Suppose -4*d - 426 = w, -694 = 5*d - 5*w - 149. Let z = d + 1279/12. Which is smaller: -1 or z?
-1
Let r(t) = t**3 + 9*t**2 + t + 21. Let z be r(-9). Suppose -j - 3*j - 5*s = z, s = 5*j - 14. Which is smaller: j or 18/35?
18/35
Let d(l) = -2*l**3 + 2*l**2 + 3*l + 2. Let f be d(-1). Suppose -2 - 7 = f*c. Which is smaller: c or -19/5?
-19/5
Let p be ((-280)/(-950))/(-14)*-5. Is 83 less than p?
False
Let a be 2 - (3 - 0) - (-32)/30. Let w = 17/30 - a. Which is smaller: -0.35 or w?
-0.35
Let o be 6/4*(16 + (-1348)/(-6)). Is 361 > o?
False
Let v(o) = -2*o + 11. Let i(t) = -10*t**3 - t**2 + 1. Let f be i(-1). Let q be v(f). Let s = -10 - q. Do -0.13 and s have the same value?
False
Let v be (-2)/(-1612)*(-10 - (-8 + 2)). Which is smaller: 0 or v?
v
Let l be 2/1 - 0/(-3). Suppose 0 = -4*i + 3*x + 35, 2*i - l*x = -0*i + 18. Which is smaller: i or -2?
-2
Let c = -31.0364 - -0.0864. Let s = -31 - c. Which is bigger: s or -0.1?
s
Let t = 3 + 1. Let v = -457/5 - -91. Which is smaller: t or v?
v
Let o be (6/91)/((-68)/119). Which is bigger: -1 or o?
o
Suppose 2*j = 5*h - 8, -3*j - 16 = 5*h + j. Let w(o) = o**3 + 2*o - 3. Let n be w(h). Are n and 0.2 unequal?
True
Let n = -0.595 - -0.595. Let f = -4 - -6. Which is smaller: n or f?
n
Let j be 198/(-4) - (-25)/(-50). Let o = 40 + j. Is -12 less than or equal to o?
True
Suppose d = 5*h - 9, -63*d + 4*h = -67*d + 12. Is 7/27 bigger than d?
False
Let w be (-8)/(-14)*(-14)/(-9). Suppose 7*b - 240 = 11*b. Let n = b - -60. Are w and n equal?
False
Suppose -12 - 3 = -3*n. Let u = 39 - 37. Suppose -6 = u*d - 16. Is d bigger than n?
False
Let n = 13 - 16. Let a = n + 3. Let w = 3 - 5. Which is smaller: w or a?
w
Suppose -2 = n + 2*k, 4*n - 12 = -k + 1. Suppose -n*f = -f + 3*z - 102, -f = 2*z - 38. Which is greater: 31 or f?
31
Suppose -2*t + 5*t - 10 = -2*j, -4*t + 25 = 5*j. Suppose -2*k - 12 - 28 = t. Let q = k + 16. Is -4 at most q?
True
Suppose -1334 = 4*w - 2*v, -2*w - 657 = -0*w + v. Which is greater: w or -332?
w
Let o be -3 - (0 + (-11)/(55/(-300))). Which is smaller: o or -309/5?
o
Let r(k) be the second derivative of k**4/6 - 16*k**3/3 - k**2 - 28*k. Let l be r(15). Is 0 equal to l?
False
Let d be ((-12)/68)/((-3)/(-44)). Are d and -2 equal?
False
Let r be 4/(1950/(-670) + 3). Which is greater: r or 44?
r
Let t = -2/121 + 530/2783. Do 2/5 and t have the same value?
False
Let h = 7 - -13. Let x = -22 + h. Which is smaller: 3/4 or x?
x
Let l = 1759 + -2369. Is l equal to -608?
False
Let y = 143.1 + -141. Which is bigger: y or -3/4?
y
Suppose 5*o + 30 = 5*i, 0 = -5*i + 2*o - 3*o. Suppose 8*p - i + 9 = 0. Which is smaller: -2/33 or p?
p
Suppose 4*r - 3*m - 13 = 0, -m = -3*r + 6 + 5. Suppose -r*c = -3*u + u, -5*c = 5*u. Let s = -7 + 5. Is u bigger than s?
True
Suppose 0 = -2*u + 10 - 2. Let r be 16/u + 0 + -1. Let y = -94 + 96. Is y >= r?
False
Suppose -i + 8 = 3*i. Suppose -4*d = -2*d - i. Let v = 64 + -257/4. Which is bigger: d or v?
d
Suppose 6*d + 1 - 31 = 0. Suppose 2*q = d*q + 27. Which is smaller: q or -10?
-10
Suppose 0 = -2*u - 3*g, -u + 6*g - 5*g = 0. Which is smaller: 6/17 or u?
u
Suppose -4*x = y - 15, 0 = 4*y + 3*x + 2*x - 93. Do 28 and y have the same value?
False
Let s be 6/(-54) - 32/36. Which is bigger: -26/15 or s?
s
Let x(n) = -8*n + 1 + 2*n + 0*n. Let h be x(-2). Let a = -567 - -581. Is h equal to a?
False
Let c = -8 + 25. Suppose u - 11 = -2*v - 0*v, 2*v = u + c. Let f be 0 + 1 + v/1. Are f and 7 unequal?
True
Let v be (2/4)/(3/18). Suppose -x - 9 = 5*k, -5*k + 47 = -0*x - v*x. Let w(n) = -n - 15. Let b be w(x). Is b less than -1?
False
Let k be 1/21 + (-2)/6. Let f(z) = z**3 + 7*z**2 + 7*z - 14. Let w be f(-6). Let h be (-2)/(-6) + w/60. Which is bigger: h or k?
h
Let t be (-1)/4*10/3. Let d be (12/3 - 4)/1. Suppose 5*g + d*g = 9*g. Is g at most t?
False
Let y = 246 + -252. Which is smaller: y or -7?
-7
Let i = -953 - -949.5. Is i at most -2/3?
True
Let r = 46 + 2. Let z = -49 + r. Is z smaller than -2?
False
Let b = -58 + 28. Let v = b - -61/2. Is v <= 1?
True
Suppose 509 = 5*t - b, 3*t - 2*b + 65 - 376 = 0. Which is greater: 100 or t?
t
Suppose -18 = -2*a - 0. Let u = -21 + a. Let d be 3/(-6)*1*u. Is 7 not equal to d?
True
Let d(p) = -2*p**2 - 51*p - 11. Let h be d(-25). Is 88/7 less than h?
True
Suppose 30