1222. Is 17/6 not equal to y?
True
Let g be (7/3)/(1/6). Let i(v) = -2*v**2 + 5*v + 12. Let j be i(-3). Let x be ((-2)/(-36))/(g/j). Which is smaller: 1 or x?
x
Let j(a) = -2*a - 27. Suppose 0 = -0*h - 4*h - 52. Let p be j(h). Which is smaller: p or -2.2?
-2.2
Let s be (-1242)/(-92) + 0 + 1 + -5. Is 3 equal to s?
False
Let r(h) = 7*h. Suppose 0 = 5*a - 4 - 16. Let m be ((-6)/(-2) - a)/(-1). Let q be r(m). Is 2 <= q?
True
Let s = 1.9 + 0.1. Let j = s + 3. Let r = -4.9 + j. Is r smaller than -0.3?
False
Suppose -37*s + 27*s = -50. Let q be (-1 - 2*-1)/1. Suppose 0 = -5*g - 3*i + 11, 0 = -s*g - i + 8 - q. Which is smaller: -1 or g?
-1
Let s(m) be the first derivative of -m**3/3 + 5*m**2/2 - 8*m - 9. Let p be s(5). Which is smaller: p or -6?
p
Let n be (-66)/21 + 2 + 2. Let r(s) = s - 10. Let q be r(10). Which is smaller: q or n?
q
Suppose 0 = -5*s - 4 + 69. Let v = s - 8. Suppose b - 3*u = 1 + 6, -v*b - 5*u - 25 = 0. Which is greater: b or -1?
-1
Let z = 1273/61600 + -3/224. Are 0.2 and z equal?
False
Suppose -48*x = -65*x + 5984. Is x bigger than 353?
False
Let r = -0.072 + -0.028. Let y be (185/20 - (-1)/4) + 0. Which is smaller: r or y?
r
Suppose 0 = d + 2*g + 8, -5*d = -d + 3*g + 7. Suppose -3*s = -d*s + 13. Let h = 17 + s. Which is smaller: h or 2?
2
Let f = -0.1215 + 765.1215. Which is bigger: -2 or f?
f
Let h = 143 + -143.175. Let s = h + 0.248. Which is smaller: -2/5 or s?
-2/5
Let d be (-382)/6 - 1 - (-4)/6. Let r = d - -61. Which is smaller: r or -6?
-6
Let o(f) = -4*f - 71. Let l be o(-18). Which is smaller: -4/245 or l?
-4/245
Let v be (-33)/6 + 4 - 17/(-17). Which is bigger: v or 12.88?
12.88
Let s(t) = t**2 - t + 4. Let x be s(0). Suppose 0 = 2*y + x*f + 20, -3*y + 6*y + 5*f + 25 = 0. Suppose 0 = -y*b + 5*b + 5. Which is bigger: b or -2/21?
-2/21
Let a(w) = -w**2 - 43*w - 76. Let m be a(-11). Is 276 at most m?
True
Let l = -3/2114 - 6365/1473458. Which is greater: l or 1?
1
Let p be (-8 + -1)*-27 - 4. Is 237 at most as big as p?
True
Let y = -49 - -37.2. Let z = 12.8 + y. Let o = 7.81 - -0.19. Which is bigger: z or o?
o
Let m = -1328 + 1329. Let p = -9 + 8.2. Let s = 0.5 + p. Which is smaller: s or m?
s
Suppose 0 = 2*v + 4*z - 2, v - 5*z = 4*v - 5. Suppose -7*c + 14 = -v*c. Let m be (-2)/(3 + (-19)/c). Is -6 > m?
True
Let u(h) be the third derivative of -h**6/120 + 7*h**5/30 + 7*h**4/12 + h**3/2 + 3*h**2. Let y be u(15). Suppose -55 = l + 4*l. Is l < y?
False
Let w(x) = 57*x - 2. Let c be w(2). Let r = c - 781/7. Is 1 < r?
False
Let p = -0.3 + 0.2. Let w = -1.1 - p. Let d = 18.96 + -18.86. Is d bigger than w?
True
Suppose -q - 4 = -0*q. Let g = 3 + q. Let u be 55 + -60 + (-163)/(-33). Is g smaller than u?
True
Suppose -91 = 12*k - 115. Suppose 2*i - 1046 = 4*a - i, -785 = 3*a - 2*i. Let w = a + 1321/5. Are w and k unequal?
True
Let v = -13585/9 + 1508. Is v less than or equal to -2?
False
Let o be (-156)/8 + 6 + -4. Is -18 > o?
False
Suppose 2*y + 23*y = -3300. Is y greater than -131?
False
Let o = 0.0957 + -1.4557. Which is smaller: 0 or o?
o
Let k = -0.375 - -0.345. Let o = -2 + 1.9. Let a = k + o. Is a greater than or equal to 1?
False
Let b = 77 + -74.925. Let s = 0.075 - b. Which is smaller: s or -1/28?
s
Let z(t) = 14*t. Suppose -14*g + 15*g = 2. Let q be 21/14*g/3. Let c be z(q). Are 13 and c nonequal?
True
Let a = 0.08 + -0.18. Suppose -m + 59 + 21 = 0. Suppose -9*y + 5*y + m = 0. Which is smaller: y or a?
a
Let d(x) = -6*x - 6. Let g be d(4). Let v be g/(-35)*2/4. Let a be 2/11 - (-8)/(-44). Which is bigger: v or a?
v
Let z = -78 + 18. Let w be 2*(z/8)/(-3). Suppose 0*g = -w*g - 75. Is -16 at least as big as g?
False
Suppose -173*l = -183*l - 290. Is l greater than -0.3?
False
Let g be ((-20)/4)/(1/4). Let k be (g/12)/5*3. Is k not equal to 1/28?
True
Let o be (6 - 5)*350/2. Suppose -5*s - o = -10*s. Is s <= 0?
False
Suppose 2*i + 76 = -5*p, -2*i - p - 68 = -0*p. Let x = i + 54. Let m be (-8)/x - (-2)/(-7). Is 1 equal to m?
False
Let z(q) = 3*q**3 + 2*q**2 + 3*q - 4. Let a be z(2). Let m = -37 + a. Which is greater: m or -11?
m
Let b = 4 - -1. Suppose 20 = 2*x - 2*m - 0*m, -8 = x + b*m. Is x greater than or equal to -2/7?
True
Let a be 9 - (14 - (-817)/(-171)). Let o = 1/62 - -59/186. Which is bigger: a or o?
o
Suppose 4*r - 62 = 2*r. Suppose 0 = 4*u - 20, 11 - r = 2*w - 4*u. Is -2/143 less than w?
True
Let d = -37 - -1. Let x be (d/(-10))/(2/10). Let q be (-4)/x + 33/27. Is q at most as big as -1/5?
False
Let g be 1 + 21/(-30)*2. Which is greater: g or 83?
83
Suppose -3*g = -3*k - 561, -5*g + k + 883 = -60. Which is smaller: g or 190?
g
Let t(i) = -5*i + 1. Let b be t(1). Let x be (-2)/(-1)*b/16. Suppose 0 = -2*o - 0*o - 30. Which is greater: o or x?
x
Let i = -123 + 122.9. Let l = 0.1 + -0.1. Let f = l - i. Is 2 at least as big as f?
True
Let t(i) = 16*i + 1. Let d be t(-5). Let v = d + 80. Which is smaller: v or -5?
-5
Suppose 10*d = -5*d - 690. Let a be 8/5 + 5 + d/10. Is a greater than or equal to 3?
False
Let p = -1/9199 - -1711019/45995. Which is greater: 36 or p?
p
Let v(a) be the second derivative of -5*a**3/6 - 11*a**2/2 - 3*a. Let m be v(-7). Suppose s = -5*w + 126, 7*w - 8*w + 23 = -2*s. Which is greater: m or w?
w
Suppose 4*o = 5*u - 14, -5*u + 8 = 4*o + 2. Is o less than 2/81?
True
Let l(k) = -k**2 - 7*k + 2. Let h be l(-7). Suppose h*o = -5 + 25. Suppose 0*i - i - o = 0. Is -9 at least as big as i?
True
Let c be (-48)/(-22) - -2 - (-4)/(-22). Let p be c/8*10 + -3. Is 6 >= p?
True
Suppose -4*n = -2*m + 170, -52 = 2*n - 4*m + 42. Which is greater: n or -37?
-37
Let a = -1/495 - -829/1980. Which is greater: a or -4?
a
Let z = -131806/7 - -18877. Is 49 smaller than z?
False
Let h = -0.01 - -0.31. Let s = 86 - 93. Which is greater: h or s?
h
Let m(x) = 33*x - 115. Let t be m(6). Is t greater than or equal to 81?
True
Let n(g) be the third derivative of -g**4/6 - 11*g**3/6 - 6*g**2. Let h be n(-5). Let r be (-3)/h - (-1)/3. Is -0.08 at most as big as r?
True
Suppose z = 2*r - 15, 0 = -4*z + 3*z - r - 21. Let i = z - -13. Let g = -5 - -1. Which is bigger: g or i?
g
Suppose -6*r + 58 + 56 = 0. Suppose 4*o + 25 + r = 0. Which is bigger: o or -9?
-9
Let y be (28/(-33) - 0)/(38/57). Is y less than or equal to 0?
True
Let o = -11 + 148. Is o less than 0?
False
Let m = 22665960 - 8726404677/385. Let y = m - -131/5. Do y and 0 have different values?
True
Let r = 3502 - 3498. Let j = -0.1 - -0.3. Which is greater: r or j?
r
Let h = 0.27 - -0.99. Let f = h - 1.3. Let a = -0.96 + f. Which is bigger: a or -0.1?
-0.1
Let u = -68 - -67. Which is bigger: u or 0.082?
0.082
Suppose -5 = -2*n - 9. Are n and -49/9 nonequal?
True
Let o = -0.57 + -55.43. Let s = o + 55. Which is smaller: -26 or s?
-26
Let y = 414 - 484. Is y < -69?
True
Suppose 3*u + 7 = 5*o, 2*u + 2*o - 32 = -10. Which is bigger: 90/17 or u?
u
Let g(n) = -n + 3. Let s be g(5). Let t = -723 + 721. Do t and s have the same value?
True
Let o = 19/3 - 86/15. Let c = 5 - 5. Suppose c - 4 = -4*m. Is o greater than or equal to m?
False
Let b be ((-34)/9)/(((-11)/6)/11). Let f = 506/21 - b. Which is greater: f or -1?
f
Let d(a) = a**2 - 4*a - 6. Let n be d(4). Let w be (-2796)/(-420) - (n/10)/3. Which is smaller: w or 8?
w
Let c(b) = -b**2 + 4*b + 2. Let j be c(6). Let g = 29 - 44. Let n = 6 + g. Is n at least j?
True
Let n = 21.9 + -19.9. Which is smaller: n or 251?
n
Let s be (117920/(-1290))/((-1)/(-174228)). Let g = 15925352 + s. Let k = g + 978. Which is smaller: -1 or k?
-1
Let x be 1 - (-1)/((-24)/21). Let g = 3 - 8. Let f be g/(-7) + (-10)/(-35). Is f bigger than x?
True
Suppose -204 = 142*x - 1320 - 20. Suppose 0 = -l - l. Is l > x?
False
Suppose 0 = 59*b + 3253 - 775. Is -48 != b?
True
Let r be (-3 + 2)/(53/(-2173)). Do 34 and r have different values?
True
Let v(w) be the third derivative of -w**4/24 + 7*w**3/6 - 5*w**2. Let s be v(10). Let o be s + 4*2/4. Do -2/29 and o have the same value?
False
Let u be 229 + 1*((-6 - -3) + 4). Is 226 > u?
False
Let o = 11 - 15. Suppose 3*r - r = 2. Let p be -2 + (r - 0) + -3. Are o and p nonequal?
False
Suppose 0*b - 15 = 2*b + 3*i, i - 12 = 5*b. Which is smaller: b or 86?
b
Let d(m) = -m**3 + 7*m**2 - 4*m + 1. Let i be d(5). Suppose -p + 3*p - 3*j - i = 0, 3*j + 8 = p. Suppose 750*h - 2772 = 624*h. Are h and p unequal?
Tru