t p be (-6 - (-248)/40)/(o/12). Which is bigger: p or -1?
p
Let y(v) = 110*v + 1156. Let g be y(14). Which is bigger: 2697 or g?
2697
Let a(y) = -23*y - 151. Let c be a(-7). Suppose -7*m - c = -31. Which is smaller: 2.8 or m?
2.8
Let x(m) = 6*m**2 + 10*m + 332. Let t be x(0). Let i = 830 + -499. Which is greater: i or t?
t
Suppose -81 = -28*r + 19*r. Suppose -4*s + r = -3*s. Which is greater: -6 or s?
s
Let b be 66/110 - (-12)/5. Let u be -5*(-55)/75 + (-2)/b. Let o be 1/(-10)*(7 - (u - 0)). Is o not equal to -4/5?
True
Suppose -5*f + m + 20 = 0, 3*f + m = -4*m + 40. Suppose -f*c + 26 = -19. Which is greater: c or 43/5?
c
Let o = -19 - 67. Let y = -11 + o. Let a = 97.8 + y. Which is greater: a or 2?
2
Let w(s) = -s**3 - 4*s**2 - 3*s - 39. Let i be w(-5). Let y = -2.2 - -4.1. Let p = -1.82 + y. Is i at least as big as p?
True
Let h = 79 + -79. Suppose 2*u + 8*u - 15720 = h. Let t = -10986/7 + u. Are t and 3 equal?
False
Let f(u) = u**3 + 23*u**2 + 43*u - 12. Let r be f(-19). Suppose 19*o = 14*o + r. Let x = o - 142. Which is greater: x or -55/3?
-55/3
Suppose -3*l + 2*t + 0 = 2, t - 6 = -l. Let g(m) = -3*m**2 - 388 + 376 + m**l + 17*m. Let a be g(7). Are a and -1 nonequal?
True
Let x be 2/(-6) - 1962/(-3990). Let l = x + -6/95. Is -2 bigger than l?
False
Suppose 36 + 58 - 75 = -19*f. Which is bigger: f or -2/10951?
-2/10951
Let d = -1688 - -1720. Is -27 less than or equal to d?
True
Let c be (-3528)/1140 - (-3)/(-15). Let f = 55/19 + c. Which is smaller: f or -33/8?
-33/8
Suppose -3*k + 102 = 3*g, -3*k + 3*g + 2 + 94 = 0. Let u(b) = -1172*b - 3486. Let s be u(-3). Do s and k have the same value?
False
Suppose -6278*x = -6289*x - 1672. Is -152 < x?
False
Suppose -11*g + 45 + 32 = 0. Suppose 164 = -g*y - 67. Let h = y - -34. Which is bigger: 16/11 or h?
16/11
Let i = 1.734 - 157.334. Let l = 150 + i. Which is smaller: l or -2/5?
l
Let v be ((-3)/18)/(1/2766). Which is greater: v or -469?
v
Let n be 26/27*(-3)/(-10). Let x(f) = 9*f**3 + 650*f**2 + 141*f - 215. Let s be x(-72). Which is smaller: n or s?
n
Let d = -0.22 + 0.1. Let a = 235.12 + -180. Let i = a + d. Which is smaller: i or 0?
0
Let j(h) = -h**3 + 2*h**2 - 2. Suppose 0*u - 4*u - 4 = -4*x, 0 = -3*u + 3. Suppose 6 = x*m + 8. Let k be j(m). Which is smaller: -1/16 or k?
-1/16
Let m be 19/((-1558)/(-192)) + 14/(-7). Is -0.16 > m?
False
Let r be (268/9)/(-3 + (-3 - -4)). Let d = 13373/900 + r. Let o = d - 247/100. Which is greater: -1 or o?
-1
Suppose 3*j + 0*j + 5*v = 11, j = -8*v + 29. Are j and -23 non-equal?
True
Let r(d) = -46*d - 1012. Let p be r(-22). Let w be -2 - (0 - 0) - -1. Which is greater: p or w?
p
Let i = -862595823239/353813625 + -153/7147750. Let w = -2438 - i. Are w and -1 unequal?
True
Let t = -404 - -569. Let b be 10/35 + t/35. Suppose 5*i - b = -h, -h - 25 = -2*i - 6*h. Is i equal to 11/10?
False
Let h = -4.979 + -186.021. Is 0 smaller than h?
False
Let c(r) = r**3 + 41*r**2 - 36*r - 89. Let j(h) = -2*h**3 - 81*h**2 + 67*h + 178. Let s(o) = -5*c(o) - 2*j(o). Let x be s(-44). Let u = -1/2 + 19/44. Is x != u?
True
Let z = -0.3772 + -16.7228. Is z != -37?
True
Let w = -12034/21243 + -2070505517/64323804. Let f = w + 4/757. Let s = f - -33. Which is smaller: s or 5/4?
s
Let u be (-3)/(66/4) - 3249/1188. Let l = u + -15/4. Is l != -6?
True
Let q(m) = m**2 + 9*m + 19. Let c be q(-11). Let f = c + 26. Let z = -91 + f. Which is greater: z or -25?
z
Let o(f) = -15*f - 18. Let m be o(16). Suppose -w = 35*w + 9252. Which is smaller: m or w?
m
Let y = 41 + -39. Suppose 2*f - 3*f + 5*u = -2, 0 = f - u - y. Suppose 3*c = f*c - 2. Which is bigger: c or -4/3?
-4/3
Let b(k) = -2*k + 3. Let o be b(2). Let m be 3 + (4/10)/((-28)/(-210)). Suppose -3 = m*u - 81. Which is smaller: u or o?
o
Let f be -1 + (-19401)/(-9765) - 2/5. Let a = f + -13/21. Let g(q) = q**3 + 16*q**2 + 15*q. Let v be g(-15). Are a and v unequal?
True
Let v be 0/(-1) + 2/5. Let h = 692 + -682. Let f be (-28)/(-35)*h/(-268). Are f and v equal?
False
Let t(h) be the first derivative of h**4/4 + 3*h**3 + h**2/2 + 9*h + 2449. Suppose -4*g - 2 = x + 29, -5*g - 5*x = 20. Let y be t(g). Is -1/7 greater than y?
False
Suppose 4*q + 14*j = 10*j, 4*q = 6*j + 20. Suppose 4*f - y = 3*f + 21, q*f + 5*y - 63 = 0. Is f > 26?
False
Let m(r) = -2*r + 16. Let s be m(12). Let y(b) = 2*b**2 + 3*b - 4. Let z be y(-3). Suppose 4*o - 4 = -3*k - 57, 0 = -2*o - z*k - 37. Which is bigger: s or o?
s
Let z = 0.593 + 3.407. Let c = -72 + 71.7. Do c and z have the same value?
False
Let t be ((13 - -1) + 3)*-3. Which is smaller: -23 or t?
t
Let h = 5648 - 5563. Is h at least -13?
True
Suppose 0*k + v - 2 = k, 9*k = -3*v - 6. Is -1/6182 bigger than k?
True
Let f(r) = -r**2 - 30*r - 10. Let b be f(-13). Let n = b + -412. Let i = -1611/8 - n. Which is bigger: -0.1 or i?
-0.1
Suppose 0 = 21*q - 16*q - c + 8, -2*c = -5*q - 11. Is -12/755 less than or equal to q?
False
Let b(x) = -2*x + 64. Let p be b(5). Suppose -p = -87*o + 81*o. Let d = 6/265 - -6872/795. Which is bigger: d or o?
o
Let d be (-4)/(-12)*771 + 2. Suppose -7*s - d = 350. Let j = -136 + 48. Which is greater: j or s?
s
Suppose -4*r - 64 = -5*r. Suppose -5*a + 166 = -r. Let l = 45 - a. Is 3/7 < l?
False
Let q(d) = 9*d - 328. Let l be q(36). Let o(a) = 11*a**2 - 3*a**2 + 5 - 5*a + 2*a - 7*a**2. Let z be o(2). Is l equal to z?
False
Let l = -0.1 + 1. Suppose -121*p = 94*p - 43*p - 860. Which is greater: p or l?
p
Suppose 131*p - 2448 = 132*p - t, -t + 4900 = -2*p. Which is greater: -2454 or p?
p
Suppose 24*r + 4914 = 141*r. Is -54/7 < r?
True
Let g = 11.84 - 12.14. Which is greater: g or 5.963?
5.963
Let p = 463 - 463. Which is smaller: 1/6838 or p?
p
Let u = -17.3 - 93.82. Let d = u + 111. Is -1 greater than or equal to d?
False
Let p(j) = 2*j + 38. Let w be p(-18). Let s be 11/((-165)/(-10)) + (-4)/6. Suppose s = 2*l + l - 15. Is w at most as big as l?
True
Let b be (24/311388)/((-2)/14). Is -1 greater than b?
False
Let h = 391 - 344. Suppose -h = -8*k + 1. Let z = -1 - -4. Is z >= k?
False
Suppose 12*p - 2650 + 10042 = 0. Do -614 and p have different values?
True
Let l be 2 + (-28)/18 - 24/54. Is l at most 1303?
True
Suppose 0 = 5*u + 5, 0*z = z + 2*u - 97. Let m = z + -87. Suppose -22*f + 8*f = -m*f. Is 0.1 bigger than f?
True
Let t = 1.83 + -958.83. Let s = t - -956. Is s greater than or equal to 16/13?
False
Suppose -9*g + 14*g + u = 8, 0 = 5*g - 2*u + 1. Is g not equal to -7400?
True
Let d = 7528698381/808 - 9317694. Let y = d - -11/101. Is 3 smaller than y?
False
Let d(s) = -s**3 - 15*s**2 - 23*s + 24. Let u = 144 - 157. Let o be d(u). Is -8 bigger than o?
True
Suppose 0 = p + 2*c + 2*c - 6, 36 = 2*p - 4*c. Let u = -8 + 25. Suppose 0 = -7*h + 81 + u. Is p at least h?
True
Let j = 79 + -35. Let m be j/12 - (-2)/(-3). Suppose 0 = 3*u, 3*s + m*u + 0*u + 24 = 0. Do -1 and s have different values?
True
Let g(f) = -2*f**3 - 38*f**2 + 39*f + 107. Let k(v) = 3*v**3 + 57*v**2 - 58*v - 161. Let u(m) = 8*g(m) + 5*k(m). Let w be u(-20). Which is greater: w or -1/3?
w
Let o = 10513 - 872521/83. Which is greater: 0 or o?
o
Let m = 46 + -46. Let h = 5 - m. Suppose -5*y + 2*r + 0*r + 63 = 0, 21 = 2*y - h*r. Which is smaller: 14 or y?
y
Let d(a) = -2*a - 128. Let w be d(-64). Is w bigger than 3/1271?
False
Let r(u) = 3*u**3 - 3*u**3 + 7*u**2 - u**3 - 4. Let a be r(7). Let j(g) = 29*g - 1337. Let i be j(46). Is a > i?
False
Let x be 3/5 - (-6)/15. Let j(t) = 31*t**2 - t + 1. Let g be j(x). Let y(c) = c**3 - 21*c**2 + 10*c - 178. Let o be y(21). Is g > o?
False
Let d be 12/1452*4/(-1). Let m(h) = -h**2 + 13*h - 23. Let p be m(11). Which is bigger: p or d?
d
Let b = 148028/2289 - 2/763. Let k(f) = 3*f**2 - 16*f + 2. Let z be k(8). Is b smaller than z?
True
Let k = -3531063/1150 + 6141/2. Which is greater: k or -1?
k
Let j(n) = n**2 + 6*n + 9. Let v be j(-3). Suppose b - 6 + 3 = 0, v = -k - b + 23. Let u be (5/(-175))/((-8)/k). Which is smaller: 1 or u?
u
Suppose -201*w + 205*w + 896 = 0. Which is smaller: -214 or w?
w
Let g = -0.592 + 0.6. Let p = -11.894 + 11.794. Are p and g equal?
False
Suppose 7518 = 11*u - 3639 - 19247. Is 2764 less than u?
False
Let m(l) be the third derivative of -l**6/120 + l**5/60 + l**3/6 - 12*l**2 + 2*l. Let d be m(1). Which is bigger: d or -1/83?
d
Suppose 0 = 3*n + 4*g + 83