 + 545. Is o < w?
False
Let q = -9.6 - -8. Let w = -252.74 + 251.74. Which is greater: q or w?
w
Let z = 261 - 239. Suppose z = t - 5*g + g, 0 = g. Which is smaller: 244/11 or t?
t
Let i be -3*32/12 + -2. Let c be (6/10)/(42/10 - 4). Let r be c + ((-3)/(-2))/((-3)/20). Which is smaller: i or r?
i
Suppose -s - 9 = -3*u, -4*s - 52*u + 51*u - 62 = 0. Let i be 424/6 - (-2)/6. Suppose -p + 31 = -2*x, -2*x + 5*p - i = 2*x. Which is greater: s or x?
x
Let l = 2103 - 3930. Is -1827 at least as big as l?
True
Let f = 22 + -32. Let u = -178 - -185. Let t be (-14)/u - (9 - 0). Does t = f?
False
Let a = 10.8 + -10.853. Let g = -823.773 + 877.72. Let i = g - a. Which is bigger: i or -1?
i
Let m be 65967/(-153825) + (-6 + 86/14)*3. Is -1 < m?
True
Let h = 0.0559 - -32.0441. Let k = -33.1 + h. Which is smaller: k or 17/5?
k
Let f be (6/(-5))/(12/870). Let q be 2714/(-16) - f/(-232). Let r = q - -2551/15. Which is bigger: r or -0.1?
r
Let t be -14 - (0 - 2) - 0. Let c = -7 - t. Let u(w) = -w**2 + 7*w - 11. Let p be u(c). Is -2/49 less than p?
False
Let d = 18136650 + -10573674679/583. Let r = -145/11 - d. Is r != 1?
True
Let d = -10611.91 - -10567. Let f = d + 45. Which is bigger: f or -4?
f
Suppose -12*h - 549 = -2637. Suppose -h = 25*n - 31*n. Is n <= 25?
False
Suppose 40*s = -39*s - 474. Let k = -25 - -12. Which is smaller: s or k?
k
Let w be (-5)/(-5) - (-8)/2. Suppose 0 = 2*n + 4. Let j be (6/(-5))/(n/6). Are w and j unequal?
True
Let l(i) = -2*i - 49. Let y be l(-21). Let h be y/(98/8) - (-49221)/105. Let t = 470 - h. Are -2/11 and t unequal?
True
Let v be -4*2*(-1 + 0). Let i = -9193 - -9183. Is v <= i?
False
Let d = 8273 - 8272. Is d less than or equal to -2/3545?
False
Let k = -2.71 - -2.7. Let o = -31.49 - -32. Let q = k + o. Which is smaller: q or -0.04?
-0.04
Let a = 27 - 15.2. Let p = a + 39.2. Let g = p + -51. Which is smaller: -14/3 or g?
-14/3
Suppose 2*y + 2*r = 16, 12 = 11*y - 10*y + 3*r. Suppose 0 = -2*n - 5*o - 21 + y, -2*n + 2*o = -6. Which is greater: n or -0.05?
n
Let g be 33/252*8 + 5/(-5). Let u = -5.9 + 6. Are u and g nonequal?
True
Let q be (-6)/9 - (-100)/(-12). Let j(d) be the third derivative of d**5/60 + 7*d**4/24 - 3*d**3 + 3*d**2. Let s be j(q). Which is greater: s or -4/11?
s
Suppose 76*p - 87*p + 913 = 0. Let c = p - 134. Which is greater: c or -56?
c
Let z be (78/195)/(12/10). Let m = 0.56 - 0.513. Are m and z equal?
False
Let c be 128/(-3)*(-9)/6. Let j(d) = d**2 - 45*d + 15. Let w be j(46). Which is smaller: c or w?
w
Let g be (-4 - (-31)/8) + 164/32 + -7. Are g and -175 nonequal?
True
Let h = -0.798 + -540.202. Let w = 539 + h. Let i be (-6)/28 - (-4)/(-14). Is w at least as big as i?
False
Let z be 300423/(-1673) - (-4)/7. Suppose -697 = 4*q - 3*g, -3*g - 893 = 5*q + 12. Which is smaller: z or q?
z
Suppose 5*x = -1 + 1. Suppose x = 6*p + 1760 - 1790. Do p and 17 have the same value?
False
Let b(z) = -z**3 + 6*z**2 - 3*z - 8. Let k be b(5). Suppose -8 = -4*s + 2*u, 3*s - u = -k*s + 10. Let x be (-1 + s + 0)*(-4)/10. Is 67 not equal to x?
True
Suppose 4*j = -18 + 126. Let y be (0 + -3)*(2 + (-45)/j). Which is greater: -48/23 or y?
y
Let g be ((-45)/6)/((-36)/(-192)). Let u be ((-10)/g)/(2/8). Is -1/3 >= u?
False
Suppose 33*o - 157 = -74*o - 50. Which is smaller: 5/1582 or o?
5/1582
Suppose 0 = 4*j - 4, 5*j - 766 = -2*i - 15863. Which is smaller: i or -7550?
i
Let a = 20193 + -20150. Which is greater: 14 or a?
a
Let x = 58 - 48. Let n be 9/((-3)/(1/((-5)/x))). Is n != 2?
True
Let s = -0.103 + 3.403. Let q = 3.3 - s. Which is greater: q or 2/17?
2/17
Let l = 41.8 + -61.7. Let s = l - -12.8. Let x = s + 7.3. Is x greater than 0.11?
True
Let d = 14990/483997 + 2/3811. Is 1 at most as big as d?
False
Let x be ((-1750)/(-49))/(-25)*644. Which is smaller: 3 or x?
x
Let j = -6668 + 6669. Which is greater: j or -33/146?
j
Let m be (-1)/(-7) - (-45)/735. Let n = m + 104/931. Is -2/5 smaller than n?
True
Suppose -q - 7 = 2*f, -q - q = -4*f - 26. Suppose -2*j + j - 8 = -3*h, -q*j = -3*h. Suppose -2*a + j*c + 4 = 0, 3*a + 1 = -3*c + 2*c. Is -8 <= a?
True
Suppose -3*u = -2*m + 33222, 0 = -5*u + m - 4*m - 55389. Let f be (-1860)/u - (1 - (-33)/(-39)). Which is greater: f or -0.3?
f
Let w(t) = -4*t**2 - t + 2. Let r be w(2). Let m = -240228 + 240244. Which is smaller: m or r?
r
Let r = 2 - -0.31. Let n = 0.31 - r. Which is bigger: n or -37?
n
Let l = -10/43 + 1/559. Let b = -1.03 + -0.07. Let p = b - 0.9. Which is greater: l or p?
l
Let t = -54 - -215/4. Let a be 42/12 - (-1 - (-1)/2). Suppose a*i + 5*q + 170 = 0, 71*i = 66*i + 4*q - 233. Which is greater: i or t?
t
Suppose 0 = -2*v + 154 + 122. Let o be ((1/10)/(-1))/((-3)/v). Is o != 5?
True
Suppose -135*t - 326 = -133*t. Which is greater: -160 or t?
-160
Let s(z) = z**2 + z - 9. Let f be (-36)/24 + 14/(-4) + 1. Let q be s(f). Suppose -35 = q*i + 4*i. Is -7 greater than or equal to i?
False
Suppose -i + 10095 = -y, -4*i + 2*y + 23657 = -16729. Is i at least -1?
True
Let h(t) = -t + 5. Let k be h(6). Let x = 268/49 - 5134/931. Which is smaller: k or x?
k
Let q be (1 - 3) + (1 - 0). Let d be (-1333449)/(-624870) - 22/10. Which is bigger: d or q?
d
Let i be -12 + (952/(-104) + 10)*13. Is -86/97 not equal to i?
True
Let x = 2128 - 2136. Is 3 greater than or equal to x?
True
Suppose -7103 + 2245 = -14*q. Is 346 greater than q?
False
Suppose 5*l - g - 121 = -0*l, 2*l + 3*g = 45. Suppose 5*i = -0*i + 285. Let h = -33 + i. Is l bigger than h?
False
Suppose 822*r - 112 = 818*r. Let m be ((-42)/36)/(r/(-6)). Let n = -6.13 + 6. Are m and n non-equal?
True
Let z = 1418 + -1514. Which is greater: 9 or z?
9
Let v be 490/(-1316)*404/5. Is -31 not equal to v?
True
Let t = -3645 - -3618. Does t = -0.5?
False
Let j be 142/1775 - (-271)/50. Let k = 2 + -4. Let i = 5 - k. Which is bigger: j or i?
i
Let q be -9 - (2276442/(-11720))/21. Let d = 1/1465 + q. Suppose -j + 4*b + 19 = 86, -b + 64 = -j. Is j < d?
True
Suppose 2*x + 2*s - 372 = 0, -s + 741 = -0*x + 4*x. Suppose -73*m - x = -68*m. Let u = -61 - m. Is -25 smaller than u?
True
Let a = -779/3483 - -20/81. Let j be (1 + -2)/(2/4). Let c be ((-2)/(j + 3))/(-2). Is c > a?
True
Let o = 66181 + -66181.09. Let f = -1 - -2. Are f and o equal?
False
Let n = 37060/77 - -2412041/462. Let a = n + -5737. Let q = 133/3 + a. Which is bigger: 11 or q?
11
Let s = 15552 + -14603. Is s bigger than 1?
True
Let i(g) = 123*g + 1287. Let y be i(5). Which is smaller: y or 5710/3?
y
Let q be (1 + 42/7)*5. Is q at most 2.5?
False
Let y = 0.39 + 0.01. Let i = -65934.2 + 65943. Is y at least as big as i?
False
Let x(y) = -2*y**2 - 32*y + 788. Let i be x(33). Is -2444 <= i?
False
Let r = 5095 - 5142. Which is smaller: r or -70?
-70
Let h be 8/(-3)*(-42)/(-56). Is h > -59/47?
False
Let o(s) = -3 - 2*s + 0 + 0*s + 4. Let w be o(-6). Suppose -2*t + z - 26 = 0, 5*z + w = -2*t - 1. Is -0.2 at least t?
True
Let x(u) = -2*u**3 - u - 2. Let f be x(-1). Let z be ((-4)/6 - -1)/(f/6). Let i(s) = -s**3 + 6*s**2 - 4*s - 1. Let g be i(z). Which is smaller: 6 or g?
6
Let p(l) = l**3 - 7*l**2 + 7*l - 4. Let c be p(6). Suppose -2*d + 2*r + 4 = 0, c*d + 2*r = -3*d + 31. Suppose -5*q - 5 = d. Which is smaller: -7/6 or q?
q
Let q be (-2)/(9*14/6879). Let z = q + 52099/210. Let f = z + -139. Which is bigger: f or -1?
f
Let x = -426987 + 9954774921/23314. Are x and -1 unequal?
True
Let t = 13715 - 644620/47. Which is smaller: t or 0.4?
t
Let a = -2092 - -14650/7. Is a at least 25/6?
False
Let u be -3 + 5 + -5 + 4 + -4. Let f be 4/(-12)*(u + 0). Which is greater: f or 3/247?
f
Let w = 2280 - 2281. Is 4/2665 at most w?
False
Let d(y) = -14*y**2 + 52*y - 190. Let b be d(7). Are b and 15 nonequal?
True
Suppose 5*r - 4*u - 9 = 0, -4*u + 4 = 2*r - 6*u. Let x be (0 + (-6 - -5))*1781. Let c be 1/(-3) + (-15)/(76635/x). Which is greater: r or c?
r
Let o be (-3)/(-1 + 10/4). Let s be (o/(-4))/(4/(-16)). Let x = -1692 + 1700. Which is bigger: s or x?
x
Suppose -3*f = 19 + 62. Let z(q) = -q**2 + 8*q - 5. Let y(b) = b**2 + b - 20. Let x be y(-6). Let v be z(x). Which is smaller: v or f?
f
Suppose -16*r + 13*r - 3*g = -18, 4*g = r + 4. Suppose -4*t + 5*t = -4*u + r, 5*t + 1 = u. Which is smaller: u or 11/5?
u
Let q = 86 - 35. Suppose -179 = -8*w - q. Suppose -y + 4 = -3*i, -5*y + w = -2*i - y. Which is smalle