 274 = 4*i. Which is bigger: i or -72?
i
Let a = -2684 + 2424. Which is bigger: a or -1/31?
-1/31
Let x = 90 + -161. Let i = 71.34 + x. Let p = i - 0.14. Is -22 > p?
False
Let r be (-172)/129*(-9)/(-30). Is 0.713 < r?
False
Let y(w) = 2*w**2 - 228*w - 1679. Let j be y(121). Is 11 less than or equal to j?
True
Let z = -3493/11 - -317. Suppose 6*v - 545 = -155. Let c = v + -67. Which is smaller: c or z?
c
Let o = -5680 - -5681. Which is smaller: o or 134/71?
o
Suppose -11*j - 40 = -15*j. Suppose -3*t - j*t = 416. Is -33 > t?
False
Let t = -3.08 + 0.08. Suppose -2*g = 4*f + 64, 27 + 0 = -g + 3*f. Let l be 4 + 3/((-9)/g*-2). Is t less than or equal to l?
True
Suppose -8 = -6*z + 100. Let t(o) = o**3 - 18*o**2 + o - 15. Let d be t(z). Let y be 1/2*((-21)/(-5) + 1). Is y smaller than d?
True
Let s(j) = -j**3 - 94*j**2 - 168*j + 401. Let n be s(-92). Is -1071 greater than n?
False
Suppose -5*d - 5 = -30, 3*c - 4*d - 37 = 0. Suppose 5*a = a - 4*n + 64, -74 = -4*a + n. Let o = c - a. Is o <= 7/15?
False
Let c = 0.124 - 0.05. Let w = 1197.926 + -1198. Let d = c + w. Which is greater: d or 1.5?
1.5
Let u be 3 + ((-4)/6)/(2/3816). Which is smaller: u or -1268?
u
Let g be -87 - -96 - (2 - 189412/(-27060)). Is g greater than 1?
False
Suppose 0 = 15*d + 4*o - 403, -7*o + 14 = -5*o. Is d smaller than -0.049?
False
Suppose -3*t + 15*t = 4*t + 29544. Is t at most as big as 3693?
True
Let u be 201/1 + -1 - -6. Suppose -s = -4*h + 194, u = 4*h + 6*s - s. Is h greater than or equal to 49?
True
Let a(z) = -3*z**3 - 14*z**2 - 12*z - 30. Let c be a(-4). Is -9 at least as big as c?
True
Suppose -5*g + 4*m + 8504 = 2679, 3*g + 4*m - 3463 = 0. Is g bigger than 1161?
False
Suppose -10*s + 1150 = -35*s. Let w = s - -50. Is 42/13 greater than w?
False
Suppose 3*c + c - 4 = 0, -4*c + 594 = 5*q. Suppose -2*j + 174 = u, -3*j + 5*u - 3*u + 261 = 0. Let p = q - j. Is p >= 31?
True
Suppose -4*t + x + 3 = 0, -4*t - 2*x - 5 = 1. Let l be 4/(-6) - (t + 5/(-3)). Suppose -2*b + 5*r + 5 = 0, -7*r + 8*r = b - l. Are b and -4/33 equal?
False
Let n = -82 + 133. Let x(v) = v**3 + 2*v + 12. Let k be x(-2). Is n smaller than k?
False
Let i = 5.8 - -50.2. Let k = i + -56.14. Let t = -7.14 - k. Is t at least 0?
False
Suppose 496 = u + 4*x, -2*x + 492 = -2*u + 3*u. Let t = -490 + u. Which is bigger: t or -21/11?
-21/11
Let a = 37103/111327 + 2/37109. Is a greater than or equal to 0.0424?
True
Suppose 0 = 25*j - 46*j - 21. Is 1/1052 less than j?
False
Let z = -11398 - -11608. Which is greater: z or 2/13?
z
Let o be (4/(-10))/(3/15). Let l be (-6 + (-133)/(-21))/(o/42). Is l greater than -84/13?
False
Let c(b) be the third derivative of b**5/60 + 15*b**4/8 - 44*b**3/3 + 341*b**2. Let d be c(-43). Which is smaller: -172 or d?
d
Let z = 292.84 + 6.16. Let b = z + -292. Is -4/5 less than b?
True
Let o = 0.75 - 0.853. Let b = o - -0.203. Which is smaller: 22 or b?
b
Suppose 9 = 5*k + 3*b, 21 = 2*k - 2*b + 27. Let d(x) = x + 11. Let q be d(-5). Suppose -6 = q*a - k. Is -2/5 > a?
True
Suppose 118 - 13 = 21*m. Suppose 0 = -m*n - 4*j - 25, -42 = 2*n - 3*j - 9. Are -35/4 and n non-equal?
True
Let h = -61 - -113. Let j be h/(-6)*18/(-60). Let r = -577 - -580. Does j = r?
False
Let p(h) be the second derivative of h**4/6 + 41*h**3/6 + 8*h**2 + 27*h. Let q be p(-20). Let c(g) = -g. Let f be c(4). Do q and f have different values?
False
Let c be (-4 - 1751/2)/((-15)/6). Let n = 49249/140 - c. Let u = 6/35 + n. Which is smaller: 1 or u?
u
Let g = 0.0172 + -3.4672. Let v = g - -3.46. Is -14 not equal to v?
True
Suppose -4*v = -278 - 90. Let f be 31/(-1*(-4 - (-52)/12)). Let j = v + f. Which is smaller: j or -1/77?
j
Let m = -199939/1056 + 568/3. Are m and 0 unequal?
True
Let n = 260.1 - -5.9. Let z = n - 266.1. Which is smaller: z or 15?
z
Let t(y) = 3*y**2 + 31*y - 320. Let n be t(8). Which is smaller: 24 or n?
24
Let y = 5528 - 5530. Is -70/67 != y?
True
Let u = 2679 - 3070. Is -389 > u?
True
Let o = -168 + 167. Let m be 3 - (o + 4 - -3). Is m at most as big as -46/19?
True
Let p = -93567778 - -30222359669/323. Let u = p - -101. Which is bigger: 1 or u?
1
Let f = -24753/346 + 143/2. Let m = f - -9204/865. Which is greater: 12 or m?
12
Let y = 9527 + -9528. Are y and 0.0686 unequal?
True
Let k be 42/525*(4 + 6). Is k at least 31.2?
False
Let t(l) = -5*l**2 + 68*l + 42. Let f be t(14). Let v be -4 - (11 + -1)*-1. Which is bigger: f or v?
f
Suppose -22*w - 75 = -295. Suppose -123 = -7*o + w. Let r = 5 + -3. Which is bigger: r or o?
o
Let n be (-2)/(-260)*(-6)/2. Suppose -51*i - 4*a = -56*i + 33, -5*a = 9*i + 26. Which is greater: i or n?
i
Let c = -7032 - -7029. Is c equal to -7/9?
False
Let x = -2/733 - 18223/37383. Which is bigger: 0 or x?
0
Let g = 15.912 - -0.088. Let f be ((-6)/(-20))/3*(-349 - -345). Is f less than or equal to g?
True
Let y = -0.05242 - -1.09242. Is 0.1 at least y?
False
Let n = 4.37 - -1.39. Let v = -2.76 + n. Which is greater: -3/19 or v?
v
Let m = 8657/6 + -4336/3. Do m and 316 have the same value?
False
Let h be (2145/6)/11*(16 + 0). Suppose -9*z = -z + h. Let q be z/2 - 9/(-6). Is -30 < q?
False
Let v = 17855 - 17855. Is 593 > v?
True
Let k = 37.1 - 1.1. Let a = k - 35.965. Let t = -1.565 - a. Which is greater: 2 or t?
2
Suppose 7*g - 70 = 8*g. Let d be (-1)/(-3 + g/(-25)). Is 0.15 greater than or equal to d?
False
Let r = 0.025 - -0.375. Let y = -4.005 - -0.235. Let w = y + -0.23. Is r equal to w?
False
Let n = 171/28 - 13/7. Let y = 7.2 + -7.2. Do y and n have the same value?
False
Let a be (-6 + 4)*(-1749)/(-1908). Let z = 2.8 - 3. Which is smaller: a or z?
a
Let o(i) = i**3 - 6*i**2 - 15*i + 27. Let d be o(9). Suppose 0 = -u - d + 128. Which is bigger: u or -7/3?
-7/3
Let f = -10 + -22. Let z = -30 - f. Suppose -x + u = 2*x, 5*x = -z*u. Which is smaller: -1/14 or x?
-1/14
Let f = 0.18 + -0.11. Let k = 511363/36 + -57571/4. Let d = k - -188. Which is smaller: f or d?
d
Let q be 90/(-84)*8/10. Let v = -19 + 20. Let c(l) = -3*l + 1. Let t be c(v). Which is greater: t or q?
q
Suppose -22*j - 36 = -29*j - 4*v, -4*j + 27 = v. Is j at most 87?
True
Suppose -81778 = 16*j - 24601 + 213847. Which is greater: j or -16938?
-16938
Let v be 5/(((-38)/(-171))/(12/(-27))). Is v at most as big as -159?
False
Let x be 610/(-22) - 767/(-59). Is x at most -14?
True
Let a be (18/21)/(36/9352). Let w = -164040 + 3440272/21. Let q = a + w. Which is smaller: q or 4?
4
Let t(n) = 1749*n + 4247. Let o be t(-3). Which is smaller: -1999/2 or o?
o
Let w = 82480.754 + -82382. Let j = 0.246 + w. Let i = 114 - j. Which is smaller: -0.2 or i?
-0.2
Suppose 0 = -4*z - 3*s + 3388, 2*s - 679 = -z + 168. Is z < 847?
False
Let b = 0.115 + -7.885. Let l = b - -7.67. Is l != 6?
True
Let a = 2714 - 2713. Which is bigger: a or 2/6359?
a
Suppose 0 = -8*a + 30*a - 7*a + 8670. Which is greater: -579 or a?
a
Let d = 92 + -32. Suppose -13*j + 47 = d. Which is smaller: j or 0.48?
j
Let t be 12/(-14) + (-17670)/651. Let j be (-19)/(-12) - (-20)/(-80). Which is greater: j or t?
j
Let u be (-18)/(-4)*(-4)/(-6). Let x(j) = -j**2 + 2*j + 2. Let s be x(u). Let r be ((-2)/(-1) - s) + 1495/(-529). Which is smaller: r or 1?
r
Let f(u) = 72*u**2 + 3*u + 573. Let y be f(11). Is y > 9319?
False
Suppose 0 = -u + 2*u - 2*o - 4, -5*o + 26 = 2*u. Let r = u + -2. Let b = 6/395 + 3543/790. Do b and r have different values?
True
Let w = -1.3628 + 1.3083. Which is smaller: -10 or w?
-10
Let x = 28881 - 19175. Is 9707 less than x?
False
Let k = 0.0604 + -0.1604. Is 24/73 < k?
False
Let z = -22.6 + 23. Let a = -4.2 - z. Let u = -0.6 - a. Is u not equal to -0.04?
True
Suppose 2*u = 9*u - 252. Let q be 316/u + (-4)/(-18). Let l be 724/18 + (-2)/q. Is l <= 40?
True
Let j = -3.135 + 0.035. Let k = j - -2.5. Let s = k + 0.4. Are s and -9/5 equal?
False
Let p = 1200 - 1201. Is -26/23 at most p?
True
Let p be (1 - -2)/((2/(-5))/(368/(-72721860))). Is 1 at most as big as p?
False
Suppose -180 + 50 = 8*a - 82. Which is smaller: a or -0.525?
a
Let v be 15*-30 + (1 + -4 - -1). Let x = v - -7682/17. Let y be (0 + -2)/(-2 + 0). Is y less than or equal to x?
False
Let n = 1.0395 - 1.2678. Is -2 bigger than n?
False
Let s = 4510 - 3627. Which is smaller: 882 or s?
882
Let a = 101 - 101.83. Let v = 0.73 + a. Suppose -4*x = -x - 3. Is x > v?
True
Let r be -5 + 