Suppose -411*b = -376*b. Which is greater: b or 5/58?
5/58
Let n be (15/(-176))/1*270/(-2700). Is -1 greater than n?
False
Let a(l) = 2*l**3 + l**2 - 2. Let q be a(-2). Let f = -8125.2 - -8125.15. Which is smaller: q or f?
q
Let h = 4.107 + -0.007. Let f = 6.3 - h. Let c = 2.2 - f. Is -0.2 less than c?
True
Let c = -3.55 - -0.15. Let i = 3 + c. Let p = 600657 + -600658. Which is bigger: p or i?
i
Suppose -r = 2*n + 11, 15*r = n + 19*r - 12. Let m = 10 + -15. Which is greater: m or n?
m
Let c = -138.1 - -128. Let v = 5.9 - c. Let t = 86 + -85.9. Which is smaller: t or v?
t
Let j be -32 + 37 + (-2 - 0/(2 - 1)). Which is greater: 65 or j?
65
Suppose 70 = 4*h - 5*j, -3*h + 21*j = 22*j - 62. Let d be -1*h/1136*5/(-25). Which is greater: 1 or d?
1
Let q be (-14502)/(-2898) - 5/1. Let x = 1411/9177 + q. Let z = -19 - -19. Are z and x equal?
False
Let y(j) = -j**3 - j**2 - 4*j + 1. Let v = 249 + -251. Let l be y(v). Which is smaller: l or -2?
-2
Suppose 11*b - 6*b - 6 = p, 0 = 5*b + 3*p - 2. Let f be 2/5 - (-1)/(20/6847). Let k = -15424/45 + f. Is k less than b?
True
Let f be ((-1)/(-61))/(-1)*-1. Suppose -5*r - r = -162. Let w = -28 + r. Which is bigger: w or f?
f
Let a = 1987 - 1987.1. Do -1743 and a have the same value?
False
Let l be 60/12*36/(-10). Let q be 660/(-297) + -1*4/l. Let p be -4 - 219/(-111) - q. Which is smaller: -1 or p?
-1
Let b(v) = 70*v - 1820. Let j be b(26). Which is bigger: j or 7/795?
7/795
Suppose -7*c = 25314 + 4968. Let k = 912784/211 + c. Which is bigger: 1 or k?
1
Suppose 4*n = -3*z + 367, -5*z + 4*n = -n - 565. Suppose 9*f = 621 - z. Let u = 34 - f. Which is smaller: u or -0.2?
u
Let i = 2277 + -2134. Which is bigger: 45 or i?
i
Let z = 919.3 + -962. Let g = 17.7 + z. Are g and 1/2 nonequal?
True
Let o = 963 + -960. Suppose 4*p + o*i + 21 = 264, -3*i + 3 = 0. Which is bigger: 4 or p?
p
Let a be (-6)/((-14)/(-189)*(-3 - 0)). Suppose 0 = -2*k + 3*o + 19, 5*o = 2*k - 4*k + a. Which is smaller: 9 or k?
9
Let b be -7*((-176)/28)/2. Let t be (4 + b)*(-3)/72. Which is bigger: t or -2?
t
Suppose -8 = 5*l - y, -122*l + 126*l - 32 = -4*y. Let m be (4/(-90))/(4/20). Is l <= m?
False
Let d = -48349/23 + 2102. Suppose 4 = -i + 8. Suppose s + s = -2*t + i, 0 = 3*t + 4*s - 8. Which is bigger: t or d?
t
Let i = -987 + 577. Let v = i - -15989/39. Are v and 2 equal?
False
Let d be 166/8 + -6 + -6. Let t = d - 10. Which is smaller: t or -2?
-2
Let u = 247.89 + 153.11. Is -8 != u?
True
Let c = 7 + -5. Suppose 9*m = 14*m + 4*k - 22, 4*k = -3*m + 10. Let b be 4/(-6)*24/(-42)*m. Which is smaller: c or b?
c
Let n(d) = d**2 + 2*d - 25. Let v be n(-6). Let c be ((-2)/(-6))/v + 1804/660. Is c not equal to 2?
True
Let h be (-3357)/2106 - 4/9*882/(-196). Does 1 = h?
False
Let s = 237406063/35 + -6784218. Let a = -8102/7 - s. Which is greater: 31 or a?
31
Let o = 26 + -25. Let h be (-10)/(-3) + o/(-3) + -1. Let t be ((-18)/9)/(2 + h + -2). Which is smaller: t or 1/21?
t
Let y = -0.16895 - -0.25895. Which is smaller: y or -698?
-698
Let j = -26 - -20. Let p(k) = k**2 + 7*k + 7. Let x be p(j). Let t be -3 + 0/x - -4. Which is greater: 1/97 or t?
t
Suppose 0*b - 4*b + 4 = -t, 2*t - 4 = 2*b. Let u(i) = 9*i**2 - 6*i + 10. Let r be u(t). Is r less than or equal to 130?
True
Suppose -265 = -o - 5*r + 308, r - 1 = 0. Do 565 and o have different values?
True
Let z be ((-3)/(-6))/(1/18). Suppose -61 = -4*u - 9. Suppose -88 = -u*x + 2*x. Which is smaller: z or x?
x
Let i = -1165259/17964 + -45/1996. Is -65 bigger than i?
False
Let p = 2082/17 - 123. Let x = 166175 + -166176. Are p and x non-equal?
True
Let i(h) be the first derivative of 4*h**3/3 + 9*h**2/2 + 22*h - 166. Let r be i(11). Which is smaller: r or 604?
604
Let y = -0.3 + -0.7. Let n = y - 2. Let g = -1583/9 - -175. Which is smaller: g or n?
n
Let b be (1/(-2))/(1395/280 + -5). Suppose -6*w - b = 2. Let j = -3 - w. Which is smaller: 1 or j?
1
Let b = -3.309 - -5.309. Is b > 761/6?
False
Let v(r) = 1303*r - 14269. Let j be v(11). Suppose -5*d + 234 + 91 = 0. Which is smaller: d or j?
j
Let a = -134 + 133.67. Let m = 0.23 + a. Which is greater: -32/13 or m?
m
Suppose -2*k + 3 - 33 = 0. Let w be (12/14)/(3/14)*-1. Let o(z) = -z**2 + 2. Let m be o(w). Which is smaller: k or m?
k
Let s(v) be the first derivative of v**2/2 + 17*v - 1. Let b be s(-10). Suppose 150 = b*a - 130. Is a bigger than 39?
True
Let a be 36/(-19)*226/452. Which is smaller: a or -1/12?
a
Let p = 409/60 + -403/60. Is p at least 373?
False
Let f be (-10)/(-35)*25/1950. Which is greater: -0.1 or f?
f
Let d = 21.04501 + -0.04501. Are -33 and d unequal?
True
Let b = 14579/11943 - -2/1327. Let t be (-1 + -3)/(-455 - -451). Are t and b equal?
False
Let d(b) = b**2 + 140*b - 4017. Let y be d(52). Which is bigger: y or 5968?
5968
Suppose -a + 1470 = 4*a. Let h = 6853/1394 + -26250013/87822. Let k = a + h. Is -0.1 at most k?
True
Let u = 35.9 + -35.7. Is 2/1527 at most as big as u?
True
Let m = -4843726 + 101697613/21. Let r = m - -983. Is -1 < r?
True
Suppose 5*y = 3*y. Let z = 227.25 + 5.75. Let f = -234 + z. Which is bigger: y or f?
y
Let r be 0 + 2*1/80. Suppose 6*g = g + 10. Let x be (3 + g)/(-5)*1. Is r not equal to x?
True
Let t = -1.21 - -1.36. Let d = t + -0.15. Is -30 equal to d?
False
Let o = 1.3 - 1.4. Let y = 322 - 324.52. Let p = y - -2.5. Is o >= p?
False
Let g(m) be the first derivative of 69*m**2/2 + 3*m + 92. Let f be g(1). Which is smaller: f or 70?
70
Let g(n) = n**3 - 4*n**2 - 10*n + 13. Let c be g(5). Let s = c + 12. Let b be ((0 - 0) + s)/(-1). Which is smaller: 6/5 or b?
b
Let j be 0 + 82 - (4 - 8). Suppose -2*z + j = -0*z. Let d = -52 + z. Is d != -10?
True
Let d be (-51470)/(-22) + 5/10*0. Let l = 2337 - d. Let w = 8 - 12. Are l and w nonequal?
True
Let q = 18956 - 19029. Is 10.5 less than or equal to q?
False
Let o be 914/2 - ((-35)/(-5) + -15). Is o > 462?
True
Let s be (27/(-120))/(3/(-2)). Let v = -395 - -397. Let g be (v/5)/((-18)/45). Is g bigger than s?
False
Let j be 425/225 + 2/18. Which is smaller: 26/15 or j?
26/15
Let j(g) = -2*g**3 + 8*g**2 - 3*g + 16. Let y be j(4). Suppose -4*b + 7*b + 393 = -3*p, 5*b = y*p - 628. Which is greater: b or -126?
-126
Let h = -319 + 313. Is -73/10 at most h?
True
Suppose 4*v - 5*l - 124 - 46 = 0, 2*l + 221 = 5*v. Suppose -20 = -v*y + 40*y. Let r(f) = f - 1. Let x be r(y). Which is smaller: 4 or x?
x
Let l(r) = 2*r - 24. Let c be (-1)/((-1)/2*-2). Let q be c - (-4 + 1 - 11). Let k be l(q). Are -3/8 and k nonequal?
True
Let i = -304 - -140. Let x = -170.7 - i. Which is smaller: -2/5 or x?
x
Suppose 4*z + 3*s - 5 = 0, 19 = 3*z + 3*s + 13. Does z = -16/383?
False
Let q(w) = -6*w + 28. Let t = -8 - -13. Let s be q(t). Let v be (-3)/2*s/(-9)*9. Which is bigger: v or -0.7?
-0.7
Let h = -13.69 - -12.8. Let o = -44.89 - h. Let f = o + 45. Which is bigger: 1/4 or f?
f
Suppose 4*l + 1225 = 5*d, -113*d + 108*d + 1235 = -2*l. Which is bigger: 2/3 or d?
d
Let f = -4.18 + 310.18. Let n = f + -182. Do -0.1 and n have the same value?
False
Let t be (804/6030)/(-1*6). Which is smaller: -37 or t?
-37
Let d(w) = 3*w**2 + 7*w + 6. Let b be d(-2). Let i be b*29 - (-1 - -2). Suppose -3*r + i = 2*t + 2*t, 5*r = -t + 50. Which is greater: -1 or t?
t
Let l be (5610773/1589)/(3/(-3)). Let k = 3531 + l. Which is smaller: k or 1?
k
Let p = -194483/5 + 38756. Which is smaller: -141 or p?
-141
Suppose 40 = c - 2*r, -3*r = 4*c - 5*r - 136. Suppose -m - 18*a + 21*a = c, -160 = 5*m - 4*a. Is -30 not equal to m?
True
Suppose -6*x + 180 = -84. Let z be (-231)/42*(0 - -2 - 10). Let y = x - z. Which is smaller: y or 1/68?
y
Suppose 2*l - 30 = -100. Suppose 3*s + 4*y = -117, -5*s - 15*y - 195 = -19*y. Which is greater: s or l?
l
Let n = -27 - -25. Let a be (-5 + (-3 - -6) + 20)*1. Let y be 162/51*(-6)/a. Which is smaller: n or y?
n
Let t(r) = -22*r + 902. Let i be t(36). Let x = 262 + -151. Which is smaller: i or x?
i
Suppose 49*k - 54*k - 4150 = 5*j, 0 = -4*k + j - 3290. Are -1 and k non-equal?
True
Let v be 9/(-1)*-2*217/42. Suppose 5*t - 118 = -v. Are 19/3 and t equal?
False
Let t = 14.56 - 15.56. Let r be (-70)/(-8) + (-6)/8. Let v = -46/7 + r. Which is smaller: v or t?
t
Let f be (1 - 7/11) + 36391225/(-3575). Which is smaller: -10178 or f?
f
Suppose 240*y + 236*y - 490*y + 252 = 0. Suppose -5 = -2*x + 