 = -s. Let z be 2/21 + 2048/2016. Which is smaller: t or z?
t
Let g(z) = z + 48. Let b be g(-14). Which is smaller: b or 33?
33
Suppose 2*o + 16 = -0*o - 4*f, -2*o + f + 9 = 0. Is o at most as big as 36/19?
False
Suppose o = 1 - 5, -5*f = -5*o - 1615. Does f = 320?
False
Let c = -4 + 5. Which is greater: -14 or c?
c
Let n(r) = r - 7. Let c be n(7). Suppose 0*g = h - g - 1, 4 = 2*g. Let i be h/15*(-10)/18. Which is greater: c or i?
c
Let v = 152/447 - 1/149. Is -49 greater than or equal to v?
False
Let j(m) = m**2 - 8*m + 1. Let y be j(6). Is y < -0.2?
True
Let i be (0*(-3)/(-9))/2. Suppose -6*y = -y - 15. Which is smaller: y or i?
i
Suppose -74*t + 76*t = -1720. Which is smaller: t or -861?
-861
Suppose q - 47 = -5*k + 3*k, -5*q - 5*k = -240. Is 53 smaller than q?
False
Let n(s) = s**3 + 5*s**2 - 5*s - 14. Let j be n(-7). Are -79 and j equal?
False
Suppose 0 = 15*h - 4*h - 77. Suppose 14 = -5*k + h*k. Suppose -u = -8 + 1. Are u and k non-equal?
False
Suppose 3872 - 470 = 18*b. Is b bigger than 191?
False
Let d(w) = w**2 + 4*w - 17. Let l be d(-7). Suppose -2*j + 4*h = j - l, h + 18 = 5*j. Suppose -5*a - j*x = -17, 4*a + 3*x - 4 = 2*a. Which is greater: 4 or a?
a
Let p(a) be the first derivative of a**2/2 + 5*a - 3. Let c be p(-6). Let t be (-1)/3 + (-154)/(-273). Which is smaller: t or c?
c
Let a(n) be the third derivative of -5*n**2 - 7/6*n**3 + 0*n - 1/6*n**4 + 0. Let q be a(4). Does q = -22?
False
Let p be 2977/130 + 5/10. Is 24 < p?
False
Let n = -0.02 - -0.01. Let z = 0.04 + n. Let k = z - 3.03. Which is smaller: 0 or k?
k
Let p be ((-1)/(2/(-24)))/((-3366)/(-297)). Let u(h) = -h**2 - 5*h - 4. Let x be u(-4). Is x at least p?
False
Let d = -7 - -12. Suppose 0 = -d*g + 10 - 10. Is 2/13 != g?
True
Let q = 3 - -1. Suppose 5*p - q*p + 10 = -5*i, 4*p - 3*i - 6 = 0. Let s = -58/3 + 20. Does p = s?
False
Let t(d) = -d**3 - 16*d**2 - 33*d - 15. Let h be t(-11). Is -257 less than h?
False
Let s = -14.4 + 2.4. Let d = s - -17. Which is greater: d or 0.1?
d
Let d = 347 - 7289/21. Suppose 0 = -5*o - 3*k + 11, -2*k + 3*k - 7 = -5*o. Suppose -4 = -5*a + o. Does a = d?
False
Let f = 271 + -328. Is f less than -229/4?
False
Suppose d - 34 = u, 3*d = 7*u - 6*u + 94. Which is smaller: d or 28?
28
Let z = 54.466 + 0.334. Let r = 55 - z. Which is bigger: r or 26?
26
Let f = -110 - -309. Let s = 779/4 - f. Which is smaller: -3 or s?
s
Let n(d) = -d + 18. Let t be n(14). Let u be (-30)/t*(-21)/70. Suppose m - 5*m = -2*z - 16, 4*z = -m - 5. Which is smaller: u or m?
u
Let v = 7 - 7.35. Let r = v - -16.35. Let w = -13 + r. Which is smaller: -0.3 or w?
-0.3
Let s(p) = -p**2 + 2*p - 3. Let g be s(5). Let w be 2/g - (-150)/864. Let z be (1 + -1)/(3 + -1). Which is smaller: w or z?
z
Let z = -27 - -32. Let n(l) = l**3 - 4*l**2 - 6*l + 6. Let o be n(z). Let t be 21/60 + (-1)/4. Is t smaller than o?
True
Let u be (-6)/(-15) - (-14)/(-10). Let c = -245 - -3673/15. Is c at least u?
True
Let b = -10.2 + 9.9. Let i = -0.01 + -0.99. Which is greater: b or i?
b
Suppose 11 - 41 = -6*x. Suppose -5*c - x*b = 54 + 46, 0 = -4*c + b - 70. Let g = -17 - c. Is g less than 1/5?
False
Let z(p) = p**3 + p**2 - 8*p + 14. Let h be z(-4). Which is smaller: -16/5 or h?
-16/5
Let v = -19 - -24. Let a = -3 - v. Suppose -5*m - 2*s = -15 + 43, 5*s - 11 = m. Which is bigger: m or a?
m
Let m(y) = y**2 + 4*y - 7. Let d be m(-5). Let h(q) = q**2 - 7*q - 6. Let z be h(8). Let u be 0*(4 - 5)/z. Is d at least as big as u?
False
Let d(w) = w**2 - 20*w + 3. Let b be d(20). Suppose 2*g - 104 = -b*r, 6*r - 190 = r + 5*g. Which is smaller: 35 or r?
35
Suppose -8 - 2 = 5*x + 5*r, -5*r - 6 = 3*x. Suppose -4*z - 12 = 0, 5*s = -z - 0 - 8. Which is smaller: x or s?
x
Let t(g) be the second derivative of -g**3/6 + 19*g**2/2 - 6*g. Let p(m) = m**3 - 7*m**2 + m + 8. Let b be p(7). Let i be t(b). Is 3 at most as big as i?
True
Let p be 8/10 - (-1)/5. Let l(h) = h - 2. Let u be l(p). Which is smaller: u or 2/9?
u
Let i be ((-258)/9 - -2) + -2. Let o = i + 29. Which is greater: o or -68?
o
Suppose -3*y + 6 = -2*h, -7*h + 2 = -2*h + y. Let x = h - -5. Let f = 8 + -5. Which is bigger: f or x?
x
Let p = 3 + -5. Let t = p + 8. Suppose 0 = 5*i - 415 + 385. Does t = i?
True
Let j = -6169/10 - -617. Let n be -3 - 1*-2 - -1. Let z be (-2 - 0) + n + 1. Which is smaller: j or z?
z
Let j(k) = 3*k - 27. Let y be j(11). Let x = y - 9. Let p(b) = b**3 + 9*b**2 + 9*b + 6. Let h be p(-8). Which is smaller: h or x?
x
Let c = -20 - -25. Let x = c - 11. Let f = 19 + -20. Are x and f unequal?
True
Suppose 0*y + 3*y - 5*o = 46, -2*o = 3*y - 11. Suppose 3*j - 5*r = y*j - 26, j + r = 7. Let g be (-25)/j + 6/(-27). Is -1 at least as big as g?
True
Let t = -77/10 + 31/5. Let k = -0.1 + 0.15. Let c = 0.25 - k. Which is smaller: t or c?
t
Suppose -2*g + 20 = 4*l, -l + 0*l + 2*g = -15. Let n be 2/l - 23/7. Is -5 less than n?
True
Let t = -277.251 + 0.251. Do t and -0.1 have different values?
True
Suppose -7*n = -q - 6*n - 727, q = -3*n - 743. Is -731 smaller than q?
False
Suppose 0 = 3*z + 5*k - 14 + 1, -3*z + k + 19 = 0. Let x be -6*(1 + z/(-9)). Let a = 11 + -8. Is x bigger than a?
False
Let i = 1151 + -1990. Is i at least -839?
True
Suppose -d = -0*d + 3, d - 183 = -2*h. Suppose -95*j = -h*j. Which is smaller: j or 6/95?
j
Let y = -2 + 6. Suppose 5*d + y = -1. Which is smaller: -5 or d?
-5
Suppose -20 - 308 = -5*o - 3*i, 2*i - 262 = -4*o. Let s = -65 + o. Does 1/25 = s?
False
Suppose 0 = -3*c + 2*c + 4*f + 1, 5*f = -5*c - 95. Let i(g) = -g**3 - 5*g**2 + 4*g - 9. Let a be i(-6). Let j be 175/c + (-1)/a. Is -14 bigger than j?
False
Suppose -4*i + 4 = 4*v, 2*v - 6*v - 16 = -i. Suppose -3*a + 0*a = -i*g + 7, 5*a = 5*g - 10. Which is bigger: -39 or a?
a
Suppose 5*x + 6*g - g = 15, g - 11 = 3*x. Suppose 9*r - 60 = 7*r. Suppose -r = 4*s + 6*s. Which is greater: x or s?
x
Let x be ((-33)/6)/(-11) - (-4956)/24. Is 207 at most x?
True
Let d = -127603/20 + 6382. Which is smaller: d or 1?
1
Let y be 7 + (-6)/((-6)/(-2)). Let v = 10 + -20. Let b = -4 - v. Which is smaller: b or y?
y
Let z(x) = -11*x**2 + 67*x + 8. Let w be z(5). Is 67 at most w?
True
Let n = 3 - 2.9. Let p = 46 - 46. Let k be ((-5)/(-2) - p) + -4. Is n greater than k?
True
Let l be 6/(-4)*(-12)/(-9). Let z = l - -2. Let j be (-8 - -9)/(1/(-2)). Is j smaller than z?
True
Let v(k) = 26*k + 102. Let r be v(-4). Let a = 1 - 1. Is a >= r?
True
Let c = 73 - 68. Suppose -c*q + 0*q + 5*m - 30 = 0, 0 = -4*q - 3*m + 11. Which is bigger: -11/6 or q?
q
Suppose 4*i = 5*i + 1. Let o = 2/1953 + 1733/214830. Let g = o - 6/55. Is g at least i?
True
Let t = -0.73 - 96.27. Which is greater: t or -1?
-1
Let x be -2 + -2 + 2 + -2. Let u(t) = t**3 - 8*t**2 + 6*t + 6. Let o be u(7). Let v = o + -2. Is v != x?
True
Let p be (-15)/(-20)*(-20)/(-3). Suppose 9 = p*t + 4*t. Let w = -0.05 - 0.07. Which is smaller: w or t?
w
Let r be (7/(-4))/(3/12). Let a = r + 5. Suppose 0 = 5*y - s + 17, 0 = -4*y + 4*s + 2 - 22. Which is smaller: a or y?
y
Let k be (-24)/(-9)*(-108)/(-3). Suppose 3*y = 7*y - 2*z + k, -62 = 3*y + z. Let b be y/44 - (-42)/4. Do b and 10 have the same value?
True
Let h = 6.2 - 1.2. Let j = -0.022 + 3.822. Let c = 3.9 - j. Is c > h?
False
Let t = 10364/670671 + 18/1733. Is t bigger than -1?
True
Suppose a + 0 - 7 = 0. Suppose -10*r - 10 = -30. Suppose 2*t - 9 = 5*g, 4*t - 1 = -3*g + r*t. Is g not equal to a?
True
Let a(i) = i**2 - 4*i - 7. Let j be a(8). Suppose 5*d = 3*w - j, -3*w + 6*w - 19 = 2*d. Let g be -1*d/36*1. Is g at least as big as 1?
False
Let q = -11 + 13. Suppose 6*k - 8 = -4*d + q*k, 4*d - 3 = k. Let g be 2 - (-4)/d - 1. Which is smaller: g or 2?
2
Let f be 7 + 2451/(-95)*(-10)/3. Which is smaller: f or 86?
86
Let w be (-13296)/(-8)*(-4)/6. Let g = w + 4459/4. Which is greater: 8 or g?
8
Let r = -197.4 - -179.39. Let o = -0.01 - r. Is o bigger than -0.1?
True
Let w = -48 + 32. Let r = -5418.8 + 5419. Are r and w unequal?
True
Suppose 205 = -13*g + 18*g. Let p = 41 - g. Is p >= -3/16?
True
Suppose 6*a + 27 = 3*a. Let v be (-132)/14 - 17/357*-9. Is v < a?
False
Suppose -4*a - 2*y + 20 = 0, 2*a + 2 - 6 = 2*y. Suppose 0 = a*x - 3*p + 18, 4*x + p + 11 = 1. Let t be (x - -3)/(2 + -3). Is t greater than or equal to -1/12?
True
Suppose 4*d + q = -4*q - 85, -4*d = q + 65. Let t = 962 + -9