Let l be (-254)/(-13) + -2*(-10)/f. Which is greater: 17 or l?
l
Let b(c) = c**3 + c**2 + c + 1. Let i be b(0). Which is smaller: i or -35/458?
-35/458
Suppose -u = -2*u + 4*m - 51, 133 = -3*u + 2*m. Let r = -181 - u. Let j = -688/5 - r. Is -7/2 at least as big as j?
False
Let v = 267 + -268. Let r = -11 - -113. Are v and r nonequal?
True
Let g = -14/13 - -124/91. Let n = 1.2 - -66.8. Let y = 68.19 - n. Is g > y?
True
Suppose -5*r = -2*r - 6. Suppose 2*h + r*p = 30, p + 2*p + 15 = 0. Suppose -c - 6 = -g, c + 4*c + h = 0. Which is smaller: g or 2/5?
2/5
Let i be (-87 + 15)/12 - -5. Which is greater: -2/4525 or i?
-2/4525
Suppose 5*m = 10, m + 106 = -16*y + 20*y. Let c be ((-9)/y)/((-5)/(-102)). Is c less than -6?
True
Let d be (-15)/(-10) + (-365)/10. Suppose 4*i + 4*n + 344 = 0, n - 166 = 2*i - 0*n. Let l = i - -50. Which is smaller: l or d?
d
Let j(u) = -u**2 - 15*u - 43. Let s be j(-5). Suppose -231 + s = 16*l. Which is bigger: l or -8?
-8
Let s = -16.18 - -2.88. Let b = s - -13.2. Which is bigger: 2 or b?
2
Let m(p) = -p**2 - 2*p + 5. Suppose d - 9 = -d - 5*r, -3*d + r - 12 = 0. Let x be m(d). Suppose x*u = 4*u - 30. Is u greater than 16?
False
Let c = 0.03554 + -0.03554. Which is smaller: c or -1219?
-1219
Suppose j + 4*j + 8 = -2*t, 4*t = -3*j - 2. Let u be 5895/63 - (34/(-14) - j). Let i = u + -94. Is -3/40 < i?
True
Let g = 756 + -738. Are g and 19 unequal?
True
Let y be (-13260)/(-2550) + 14/(-2). Which is greater: y or 3/71?
3/71
Let g = -28 - -12. Suppose -4027 + 4293 = 7*b. Let t = g + b. Is 21 smaller than t?
True
Let a(y) = y**2 + y - 1. Suppose 7 = -2*i - 1, w + 2*i = -2. Suppose 8*f + 15 = 3*f, -2*f = -2*p + w. Let r be a(p). Which is greater: -1/4 or r?
-1/4
Suppose -33*t - 1870 = -44*t. Let x = -233 + t. Is -62 greater than or equal to x?
True
Suppose -12*o = -18*o - 726. Let l = o + 123. Let b be (l - 34/8)*176/726. Which is smaller: b or 0?
b
Let a = 1584 + -1583.7. Is a at most as big as -1047?
False
Let z = 88033/24624 + 5/1296. Is -1/2 < z?
True
Let s = -1028.7 - -1023.7. Let j = -1 - -4.1. Let b = j + -3. Which is greater: b or s?
b
Let f be (-57)/2 - (-3)/(-6). Let v = f + 49. Suppose 4*j = 5*r + 36, 2*j = -0*r + 3*r + v. Which is bigger: -3 or r?
-3
Let m = 168 + -168. Let x be ((-2)/(-4)*m)/(-1 + 5). Let b = 842/7 + -125444/1043. Are x and b unequal?
True
Let v be 32/(-4) - 0/(-1). Let t be 177/30 - (-2 - v). Which is greater: 0 or t?
0
Let o be 92/6*42/(-28). Let y = 22 + o. Suppose -99*m = -95*m + 8. Is m less than or equal to y?
True
Let o(t) = -176 + 30 + 1 - 128 - 100*t - 36. Let n be o(-9). Is n > 590?
True
Let d = 6443 - 38629/6. Let w be 3*(-8)/(-6) - 0. Let u = 9 - w. Which is greater: d or u?
u
Let c = 6834 - 6834. Suppose 16 + 85 = r. Let l = r - 2119/21. Which is smaller: l or c?
c
Let w(h) = h**3 + 6*h**2 - 7*h + 3. Let b be (-2 - 0)/(4/14). Let d be w(b). Suppose 0 = -d*n + 4*c - 4 - 0, -c = -5*n - 35. Which is smaller: n or -26/3?
-26/3
Let a = 10981 + -5160. Is a greater than or equal to 2/3?
True
Let w be (-9)/(-6)*(-8)/(-6). Let m be 3/w - (-219)/(-144). Suppose 12 = -66*i + 54*i. Which is greater: i or m?
m
Let m be (-3)/6*3/5. Suppose 10 = 4*z + 2*w, 4*z - 4*w = 8*z - 16. Let y(q) = q**2 + 6*q - 7. Let p be y(z). Which is greater: m or p?
p
Suppose 0 = -0*n + n + 5. Let x = 3 + n. Let o = -1590 + 17476/11. Which is greater: o or x?
o
Let v(l) = -l**3 + 7*l**2 - 13*l - 15. Let h be v(7). Let d = h + 159. Let a = d + -80. Is a > -27?
False
Let s = -166.49 - -170. Let k = 4.51 - s. Is k > -8.4?
True
Let g = 945.9 - 946. Which is smaller: g or 4.04?
g
Suppose -4*m = -5*i - 1246, -3*i - 208*m - 749 = -209*m. Which is bigger: -289 or i?
i
Let r = -39 - -51. Let l = -10 + r. Let q(j) = -j + 1. Let c be q(-6). Is c greater than l?
True
Let v be ((-6)/(-3))/(5 + (-99)/21). Let t = -11 + v. Is t less than or equal to -21/5?
False
Let c = 202 + -184. Suppose 2 = -20*l - c. Is 8/25 <= l?
False
Let a = 26250635/1678 + -15644. Is a at least 0?
True
Suppose b + b + 2252 = 6*b. Is 564 smaller than b?
False
Suppose 0*w + w - 20 = 5*f, -19 = -5*w - 2*f. Suppose -w*a = 4 + 1, 3*n - 1304 = -a. Let g be (-2)/(-5*(-6)/n). Which is greater: g or -30?
g
Suppose -3*v = 10 - 31. Let l(j) = -j**3 - 17*j**2 + 195*j + 48. Let u be l(8). Let o be (u/1)/4 + v. Are 9 and o nonequal?
False
Suppose -11*f = -5*f - 18. Suppose 2*d = 5*a + 5*d + 20, -5*d - 28 = f*a. Let w be (-4)/2 - (-80)/41. Is w at least a?
True
Let h = 10537/42116 + -2/10529. Which is greater: h or -13?
h
Let v(f) = -8*f. Let w be v(5). Suppose -7*n + 10*n - 3*y + 15 = 0, 4*y + 5 = -n. Let u be (-32)/w*n/3 + 3. Which is smaller: u or 2?
u
Suppose d - 63*q + 67*q - 11070 = 0, q = 2*d - 22221. Which is smaller: d or 11105?
11105
Let g(n) = -4*n**2 - n + 19. Let t be g(0). Suppose 9*x + 1 = t. Suppose -7 = -x*p - 2*y + 1, -5*y = 2*p - 20. Which is greater: 18/5 or p?
18/5
Let b = 49/65 + -15/13. Let v = -138 + 144.7. Let w = 5 - v. Are b and w non-equal?
True
Suppose 242550 = -23*i + 177*i. Is 1572 <= i?
True
Suppose -2*g + 6 - 18 = -3*w, 2*g - w + 16 = 0. Let q(h) = 2*h**2 + 10*h - 21. Let d be q(g). Suppose 13*f + 1 = -d. Does f = -5?
False
Suppose 3*q - 18 = 2*b + 42, -2*q = -3*b - 80. Let l be (-4)/(b/9) - 1/(-2). Do l and 14 have the same value?
False
Let t = -956755/42 - -22781. Is t less than or equal to 1?
False
Let x(u) = -u**2 + 5*u + 56. Let k be x(6). Let z be (-2)/3 - (-4777)/51. Let j = k - z. Which is smaller: j or -42?
j
Let i = 436640291/35 + -12476959. Let u = i - -1522. Which is bigger: -1 or u?
u
Let x = 57 - 59. Let q be (-33)/(-66)*x*(0 - -1). Which is smaller: 2/349 or q?
q
Let q(w) = -2*w**2 + 5 + 504*w**3 - 505*w**3 - 4 + 3*w. Let v(d) = d**3 + 3*d**2 - 3. Let c be v(-3). Let h be q(c). Is h != 3?
True
Let q be -200*(-9)/((-162)/45). Let u = -500 - q. Let a be 9/((-1)/((-1)/8)). Which is smaller: u or a?
u
Let q be (-8)/12 + (-11564)/450. Let r = -238/9 - q. Let v = r + -71/50. Is -1 smaller than v?
False
Let w be (2/(-4))/((6900/48)/23). Are w and 49/5 non-equal?
True
Let z be (-22 - -16)*3/(-6). Suppose -4*g = 5*k - 45, -4*k + 39 = 5*g + z. Which is smaller: k or 72/7?
k
Let j be 66 + 1 + -3 + -2. Suppose 23 = -5*h - j. Let b be (-36)/3 + (3 - 7). Is h > b?
False
Suppose 155*g + 3*n = 152*g + 69, -5*n = -4*g + 101. Is 36 equal to g?
False
Let q = 4152/152437 - -2/2147. Suppose 431*o - 427*o = 2*a + 18, 37 = 2*o - 5*a. Which is smaller: q or o?
q
Let r = 184 - 183. Let p = -50/87 - -33/58. Let a = -127/609 + p. Is r < a?
False
Let n = 3453 - 1322. Are 2130 and n nonequal?
True
Suppose 0 = -6*h + 22*h + 16. Let g be (h - 2) + 3 + (-6)/153. Let i(z) = z**2 + 7*z + 7. Let v be i(-6). Is v smaller than g?
False
Let a(y) = -339*y - 46. Let b be a(-1). Let c = 293 - b. Which is greater: 3/199 or c?
3/199
Let v be 324/32*((-4)/(-26) + 119/663). Is v greater than -40?
True
Let h = -916 - -447. Let l = 49914 + -50383. Is l < h?
False
Suppose -7038 - 8317 = 37*s. Let t be (3 - -1)/(2/(-208)). Does t = s?
False
Suppose -14*z - 11*z = -450. Let o be (19/((-57)/z))/(-15). Which is smaller: 2/373 or o?
2/373
Let z(b) = -b**2 + 27*b - 181. Suppose t - 304 = -15*t. Let f be z(t). Is f != 0.03?
True
Let k = -233 - -235. Suppose 3*h = 5*h + k*x - 340, -4*x = -5*h + 877. Does 174 = h?
False
Suppose 5*d + 127 = 87. Let g(p) = p**3 + 7*p**2 - 9*p - 7. Let n be g(d). Which is greater: 1/44 or n?
n
Suppose 737 = 3*a + 5*y, 5*a - 62 = 3*y + 1087. Is 243 bigger than a?
True
Let f be (96868/168)/(10/15) + 0. Let z = f - 865. Suppose b = -b. Which is greater: z or b?
b
Suppose 5*i = 4*r - 457, -2*i - 184 = -9*r + 7*r. Let w = 87 + i. Which is greater: w or -0.05?
-0.05
Let q = 2382 - 2398. Which is greater: -0.03 or q?
-0.03
Let y(s) = -s**2 + 10*s + 18. Let z be y(9). Let f(x) = -5*x - 17. Let a = -20 + 11. Let b be f(a). Which is smaller: b or z?
z
Let t = 3195 + -3194.9. Is t greater than or equal to 1934?
False
Let b(t) = 4*t**2 + 17*t + 13. Let w = -290 - -285. Let r be b(w). Let d(l) = l**2 + 3*l + 1. Let j be d(-3). Which is smaller: j or r?
j
Let u = 21647/2926 + -291/38. Which is bigger: -1/3 or u?
u
Suppose -105 = 11*y - 46*y. Suppose -y*q + 4 = -2*p, -16*q - 21 = -13*q + 3*p. Is -30/13 > q?
False
Let l = 13023/2 - 6511. Let j = -6 + 10. Let n = -3.9 + 