t d = -100/3 + t. Which is bigger: -225 or d?
d
Suppose -13 - 15 = -4*x. Let t(k) = -3*k - 11. Let g be t(x). Let b be (-6)/(-14)*g/24. Is 0 not equal to b?
True
Suppose 2*x - 9*i - 133 = 0, x - 3*i - 2154 = -2110. Let m = -690/11 + 55211/880. Is m smaller than x?
False
Let k(l) = l**3 + 7*l**2 + 16*l + 6. Let f be k(-7). Let s = f - -106. Let r be 4/3*(-3)/(-2). Is s not equal to r?
True
Let y = -17781113/71525 - 2/71525. Which is bigger: -249 or y?
y
Let u be (-506)/72 + 4/(-18). Suppose 0 = -14*c - 62 - 414. Let n be (0/(-1))/(-33 - c). Which is greater: u or n?
n
Suppose 13*q - 7*q = 36. Let d be ((-1)/2*0)/((-6)/q). Which is bigger: d or 3/73?
3/73
Let g = 312 - 311.537. Let z = g + 0.077. Let h = z - 1.54. Which is smaller: 2/7 or h?
h
Suppose 4*p = 2*p + o + 3, -2*p = 3*o + 17. Let t(q) = -2*q**2 - 6*q - 5. Let y be t(p). Let b = 7262/33 - 220. Which is smaller: b or y?
y
Let z = -5063.7 + 5092. Is z greater than 0.03?
True
Let u(g) = g - 39. Let y be u(-6). Let p be 5/67*(-6)/y. Is -2 at most p?
True
Let j be (65/(-10))/(-2 + (-201)/(-102)). Is j bigger than 221?
False
Let r = -0.056 - -0.01. Let o = 0.846 + r. Is o bigger than 0.5?
True
Let l(f) be the second derivative of 22*f - 5/4*f**4 + 1/20*f**5 + 8/3*f**3 + 0 + 3*f**2. Let x be l(14). Which is smaller: x or 35?
x
Let g(k) = k**3 - 50*k**2 + 25 + k + 98*k**2 - 44*k**2. Let w be g(-5). Suppose -10 = -2*c + 4*y, 2*c + 5*y = 3*y - 20. Is c equal to w?
True
Suppose 19 = 4*o - 25. Suppose 4771 = -o*l - 2*l. Which is bigger: l or -368?
l
Suppose -a - 5*y = 3*a + 11, 3*a + 3*y + 6 = 0. Let l(o) = -o**2 + 4*o + 8. Let n be l(5). Let x be (-6)/18 + a/n. Is 1/3 <= x?
False
Let j = -14590 + 14574. Is 79 bigger than j?
True
Suppose -593 - 12331 = 1539*g - 2151. Let r = -36 + -11. Let i be 1 + 0 + r/5. Which is bigger: i or g?
g
Let m = -488 - -28791/59. Let y = -14027 - -14027.2. Is m > y?
False
Let w = 522/91 - 4516/819. Is -9/451 equal to w?
False
Let w(a) = -a**3 - 21*a**2 + 134*a + 15. Let m be w(-26). Are -86 and m equal?
False
Let t be 29932/67914 - (12/10)/(54/20). Is t smaller than -1?
False
Let s = -326 - -368. Which is smaller: 8 or s?
8
Let v be -3*(((-22792)/33)/7 - -1). Which is greater: 285 or v?
v
Let r(q) = q**2 + 10*q - 23. Let g be r(-12). Let o = -21.3481 - -0.4841. Let l = o - 0.136. Do l and g have different values?
True
Let o be (-8)/24 + 2973/9 + 1. Let u = 243 - o. Is u greater than -88?
False
Let v(w) = 4*w - 54. Let y be v(13). Suppose 0 = 3*n - 7*n - 200. Let o be (146/n - -3)*-40. Which is greater: o or y?
y
Let s be 8 - (1 - -3) - 46. Let m(h) = h**2 - 9*h + 15. Let g be m(7). Let y be s/(-14) + (44 - g). Is y at least 46?
True
Let q = 125/359 - 12246/67133. Which is smaller: q or 1?
q
Let j be 778/5057 - (-628)/(-117). Does j = -5?
False
Let c = -3847 + 4401. Do 1105/2 and c have the same value?
False
Let s = 8 - 5. Suppose -3*p = -5*y + 2, 6 = -p + 3*p + 4*y. Let x be p*(-1 + (-7)/(-8))*-14. Is x equal to s?
False
Let d(b) = -2*b**2 + 44*b - 6. Let j be d(21). Let n = j - 58. Which is smaller: n or -20?
n
Let t be 10*1 + (-84)/3864*-138. Let y(d) = -8*d. Let v be y(-4). Are v and t nonequal?
True
Suppose 0 = 5*y + 3*a - 3, 3*y + 2*y + 2*a - 2 = 0. Suppose -10*v - 82 - 308 = y. Let l = 0 - -1. Which is smaller: v or l?
v
Let j = -0.2 + 0.3. Suppose 0 = -7*z - 59 + 3. Let v be ((-6)/(-9))/(z - 4/2). Which is greater: v or j?
j
Suppose 4*p = -7 - 1. Suppose -5*t + 14 - 19 = 5*k, 2*t - 5*k = 19. Suppose -t*g - 5 = 5*b + 4, 5*b + 18 = g. Which is smaller: b or p?
b
Let h be -5 + 1 - (-4 - 2). Let y be h/(-3) - 7378/(-51). Is y >= 144?
True
Suppose 5*y = 7*y + 298. Let o = -233 - y. Which is smaller: -85 or o?
-85
Suppose -w = 15*a - 12*a - 29, 5*w = a + 17. Suppose 5*d = 3*b - 0*b + 28, -5*d + b = -36. Let n = d - 2. Which is smaller: a or n?
n
Suppose 4*u = 4*n + 20, 4*n + 3 - 18 = -3*u. Suppose -3*a = -4*f - 6 - 12, n = 2*f. Do a and 11 have different values?
True
Suppose -2081 = -10*h - 2041. Is h less than -195?
False
Let y = 4276/5 + -854. Let s = 10 + -9.9. Are s and y non-equal?
True
Let s = 959 + -549. Let u(i) = 10*i**2 - 5*i + 21. Let w be u(-6). Is s not equal to w?
True
Let f(x) = x**3 - 71*x**2 + 882*x - 59. Let a be f(57). Which is bigger: a or 1/2?
a
Let z(w) = 37*w - 1744. Let l be z(47). Is l bigger than -228/55?
False
Let n(b) be the third derivative of b**5/60 - b**4/8 + b**3 - 33*b**2. Let l be n(9). Which is smaller: 62 or l?
l
Let u be 12516/(-868) + (9 - -2). Is -3 less than u?
False
Let q = -1324 + 9270/7. Let n(a) = a**2 - 4*a + 4. Let o be n(3). Let r be (o/(-3))/((-35)/21). Which is smaller: r or q?
r
Let p = 3/436 + -899/3924. Let k(x) = x**2 + 1. Let g = -12 + 12. Let h be k(g). Which is smaller: p or h?
p
Suppose -4*y = -4*l - 68, l = -5*y + 10 - 45. Let s be 0 - (303/(-9))/(l/(-12)). Which is smaller: s or 20?
20
Let k be 2202/(-18) + (1 - 15/9). Let l = 16/183 - -74/549. Is l at least as big as k?
True
Let x = -1040.2 - -1039.9. Which is smaller: x or -2160?
-2160
Let a = 29 + -27.85. Let j = a - -0.55. Let x = -1.7 + j. Is x at least as big as -0.03?
True
Suppose -4*l + 7*l = 18. Suppose -8*i + l*i = -4. Let c be i/(-18) + (-5)/3 + 2. Is -0.2 at least as big as c?
False
Let o(k) = 7*k + 13. Let c(f) = 85*f + 155. Let n(j) = -4*c(j) + 50*o(j). Let z be n(-6). Let h be (-8 + 6)*z/(-4). Does -16 = h?
False
Let d be -58*(-18)/(-24)*2/(-3). Let a = -6 - d. Is a != 0?
True
Suppose 137*v - 135*v - 24 = 0. Let u be -3 - v/(0 + -3). Which is greater: -8/31 or u?
u
Let g be 12/30 - 9177/22705. Is g at most 1?
True
Let r be 12/2*(-2)/6*-25. Let b = -23 + r. Which is greater: 26 or b?
b
Let i = 253085/74 + -3420. Suppose 5*j = 3*r + 3, 4*r + 23*j - 26*j + 4 = 0. Which is smaller: r or i?
r
Let b be 3/(-6)*(7 - 19). Suppose 5*t = -5*r + 20, -3*t + r = -b*t + 10. Let l = -13659/8 - -1710. Are t and l unequal?
True
Suppose -4*r + 3*x + 8 + 0 = 0, -4 = -2*r + x. Suppose r*n = -y - 7, -y - y = -5*n - 4. Is n equal to -2?
True
Let b = 5820 + -5970. Which is bigger: 1/7 or b?
1/7
Suppose -5*j + 4*t = 32, 3*j + 6*t = 9*t - 18. Let d be (-12)/(-8)*(-14)/3. Is j at least d?
False
Suppose 3*s = 2*s + 5*h + 24, -2*s + 4*h = -18. Let n be s + (-642)/3 - 2. Let b be ((-14)/n)/(2/3). Is 0 at most as big as b?
True
Suppose -2*u + 125 = b, b + 0*b - 186 = -3*u. Suppose -61 + u = -4*r. Is 2/305 bigger than r?
True
Let a = -1089475/63 + 17293. Which is greater: a or 0?
0
Let n = 2574 - 2573.6. Is 0.157 greater than n?
False
Let c be (4 - (-1 + 2)) + 1. Suppose -5*g - 5*j + 15 = 0, -2*j + 0*j = 4*g - c. Let k be 78*99/11583*(-3)/(-11). Do k and g have different values?
True
Let d(v) = -585*v + 18. Let s be d(2). Let o be 4/(-18)*8/s*-12. Which is smaller: o or 0?
o
Let y(t) = 2*t**2 + 20*t - 7. Let v be y(-18). Suppose 279*s - v*s = 6. Let r be (-2)/(3*(-4)/(-18)). Is r at most as big as s?
True
Let j(v) = 3*v - 7. Let p(s) = -9*s + 22. Let l(c) = -14*j(c) - 4*p(c). Let w be l(-16). Let g = w - 69. Which is smaller: 36 or g?
36
Suppose -7 - 7 = -8*q + 5*z, -5*q = -5*z - 20. Let h be (-128)/98*-1 - 2. Which is greater: q or h?
h
Let u(x) be the third derivative of x**4/4 - 14*x**3/3 + 60*x**2. Let z be u(16). Which is smaller: z or 67?
67
Let t = -10177 + 10177. Is 22/105 >= t?
True
Let g be ((-194)/(-70) - 6/(-14))/(11952/(-360)). Suppose 6*o - 4*o = 2. Which is bigger: g or o?
o
Suppose 7368 + 965 = -11*h + 1139. Does -653 = h?
False
Let i = -3501 - -3288. Which is smaller: -204 or i?
i
Let b(i) = 2*i**3 - 89*i**2 + 205*i + 209. Let p be b(42). Which is smaller: p or 36/1091?
p
Let a be -2075 - 2 - ((-54)/(-21))/(82/(-287)). Which is smaller: a or -2064?
a
Let t be ((-106)/14)/((-18)/126). Let u be (-1 - 1/(-2))/(8/912). Let n = t + u. Is -9 at most as big as n?
True
Let u = -40896 + 40895.94. Is 49 >= u?
True
Let z = -183 + 182. Is z equal to 1/11?
False
Let o = 162 + -73. Let h = o - 20. Suppose h*d - 71*d + 66 = 0. Do d and 34 have the same value?
False
Suppose i - 7 = 5*d, -3*i - 4*d = -2*i - 52. Let b be (-8)/(-406)*(-492)/i. Let w = 1/58 + b. Which is greater: w or -26?
w
Let x be (51/(-34) - (-87)/(-12)) + 6. Let r = -85 + 81. Is x smaller than r?
False
Let g(t) = 2*t**3 + 28*t**2 - 2*t + 17. Let k be g(-15). Do k and -403 have the same value?
True
Let