 (-27)/2) + -7. Which is bigger: l or k?
k
Let w(u) = -u**2 + 32*u + 113. Let b be w(29). Is b at least as big as 199?
True
Let s(m) = -2*m**2 - 10*m + 13. Let t be s(6). Let y be (-4)/10 - t/85. Let k = -8/29 - -114/203. Which is smaller: y or k?
k
Let w = 4990 + -3270. Which is smaller: w or 1721?
w
Let r be -5 + 144/15 + 4/10. Suppose -4 - 1 = r*g. Are g and 2/65 nonequal?
True
Let p(i) = 2*i - 7. Let a be p(5). Let o(h) = 2*h**2 + 3*h - 8. Let c be o(4). Let f = 37 - c. Is f greater than a?
False
Suppose 164*h = 151*h - 13. Which is smaller: h or -1/1613?
h
Let m = -34.3 - -13.3. Let f = -22 - m. Is f greater than 4/31?
False
Let j(s) = -s**3 - 2*s**2 - 10*s + 11. Let z be j(0). Which is greater: z or 19/2?
z
Let x = 32.9 + -34.41. Let t = x + 1.21. Is -0.1 greater than or equal to t?
True
Suppose -4*x = 3*x - 224. Let i be -2 - 0 - (-100)/x. Is 2 not equal to i?
True
Let k be (8 + -12)*(8 - 0). Let f = k - -19. Let v be ((-1)/(-7))/(f/26). Is 0.13 bigger than v?
True
Let z = 35 - 30. Let d be z/((-10)/38)*1. Is d < -20?
False
Let y be 107565/12 - 3/4. Let l = -27118/3 + y. Let v = 77 + l. Is v > -8/7?
True
Let f = 62 + -41. Let u = f + 8. Is u < 28?
False
Let c be (-5)/5 + (-1 - 1) + 1. Let x be 18/30 + c/(180/(-51)). Suppose 2*y = 4*s + 2, -4*s - 5*y + 34 - 1 = 0. Are x and s non-equal?
True
Suppose 5*c - 170 = -70. Suppose -2*u - 68 = -13*m + 9*m, -2*u + 76 = 4*m. Which is smaller: m or c?
m
Let d be (-4)/(-22) + ((-1435)/(-154))/1. Let u = -39 + 49. Is d bigger than u?
False
Suppose 4 = -2*j + 14. Suppose j*r - v + 3*v = -10, 8 = 3*r + 4*v. Let d = -2 + -1. Are d and r nonequal?
True
Let i(s) be the first derivative of s**2 - 20*s + 5. Let z be i(10). Is z bigger than 4/9?
False
Suppose 0 = 35*g - 50*g + 7230. Does g = 483?
False
Let j(m) = m**2 - 15*m - 7. Let u be j(-17). Do u and 538 have different values?
True
Let m = 2 + -8.1. Let t = -5.1 - m. Which is greater: t or 0.16?
t
Suppose 0 = -4*l - 5*c - 1592, -245 = -3*l - 5*c - 1444. Are l and -393 unequal?
False
Suppose -5*y = -57*z + 59*z + 6911, 0 = 4*y - 5*z + 5509. Which is bigger: -1380 or y?
-1380
Let t be 5*(-6 + (-261)/(-45)). Let m be (1 + (-3)/(-2))*2. Suppose -2*g + 4 = -4*n, -4*n = m*g + 15 + 3. Which is smaller: t or n?
n
Let j = -6.73 - -6.43. Which is greater: 1/10 or j?
1/10
Suppose 158*d - 148*d = 0. Which is smaller: d or -2/541?
-2/541
Let q(x) = -x. Let c be q(-5). Suppose c*d = 2*w + 51, 5*w + 14 = 2*d + w. Let g = d + -20. Is g equal to -9?
True
Suppose -5*z - 4*y - 257 = 0, -z + 3*y - 2*y - 55 = 0. Which is smaller: 3 or z?
z
Let y(u) = 171*u**3 + u**2 - u - 1. Let c be y(1). Is c equal to 171?
False
Let u(m) = -3*m. Let v be u(-2). Suppose 5*i = 64 - 24. Is v at most as big as i?
True
Suppose -9*s = -10*s + 2. Let p be 1/(2/67) - s/(-4). Which is smaller: 0 or p?
0
Suppose 4*f - f = 15. Let g be (0 - 3) + (-1 - f). Is -11 greater than or equal to g?
False
Suppose -16*m - 39 - 73 = 0. Which is bigger: -80/13 or m?
-80/13
Let l(d) = -d - 2. Let k be l(-6). Suppose -8 + k = -4*s. Is 0.06 less than or equal to s?
True
Let o = 3 + -4. Let r be (-10)/40 + 18/8. Suppose 5 = a - r*a. Which is bigger: a or o?
o
Let q = -37 + 83. Let p = 23 - q. Let r = p - -28. Does 0.3 = r?
False
Let f(i) = -56*i + 728. Let q be f(13). Is 18/133 equal to q?
False
Suppose 0 = 3*b - 12, -3*b = 7*p - 6*p - 5. Let w(j) = j**2 + 5*j + 1. Let y be w(-6). Suppose n + y = 4. Which is smaller: n or p?
p
Let k = 9050/47733 - -2/2273. Suppose 0 = 3*y + 6, -8 = -0*t - 2*t + 3*y. Does k = t?
False
Suppose -s = 32 - 34. Suppose 6*h - h + 4*q = -25, 2*h + 12 = -s*q. Are -3/7 and h unequal?
True
Suppose 5*y - 32 = 38. Suppose -y = w - 3*w. Let r be (-2)/w + 301/539. Are -1 and r unequal?
True
Let v be 20/6*(-66)/(-44). Which is greater: v or 1.1?
v
Let a = -48 + 70. Let v be (-236)/1540 - (1 + (-26)/a). Which is bigger: v or 0?
v
Let t = 20 - -38. Suppose -t = 5*u + 72. Let c be (-24)/14 + u/91. Which is smaller: c or 1?
c
Let p = -0.0098 - 21.9902. Which is bigger: p or 9?
9
Let x be 248/(-10)*(-75)/10. Which is smaller: 185 or x?
185
Let l = 1482931/693 - 46945/22. Let k = l + -56/9. Suppose -t = -6*t - 5. Is k < t?
False
Let i = 54 - 55. Let m = -1/10061 + -19603/5221659. Let o = m - 4663/2076. Is o at most i?
True
Let m(u) = -2*u**2 + 2*u. Let a be m(4). Let d be ((90/25)/3)/(1/(-20)). Is a equal to d?
True
Let m = -4 + 6. Let h = m - -4. Let g = -6.1 + h. Which is smaller: g or 2/11?
g
Let q be ((3 - 2) + -2)/((-1)/(-189)). Let l = -189 - q. Suppose 0*j - 2*j = 2. Is l greater than j?
True
Suppose -10 = -5*f + 2*s + 4, 0 = 5*s - 15. Which is greater: f or 6.2?
6.2
Let l = 0.0461 - 26.3461. Is l != -3/2?
True
Let y = 24.68 + -24.78. Which is greater: -1997 or y?
y
Let m = 8 + -6. Let b be (-3200)/21 + (-4)/12. Let j = 153 + b. Are j and m equal?
False
Let m = 34.2 - 35. Is 0.2 at most as big as m?
False
Suppose -5*q + 2*q = 4*n - 61, -56 = -4*n - 4*q. Suppose 5*g = -c + 6, -2*g = 2*c - 6*g - 54. Which is smaller: n or c?
n
Let r = 19 + -12. Let a(b) = b**3 - 8*b**2 + 8*b - 8. Let x be a(r). Let h be (x/(-9))/(4/24). Which is bigger: h or -0.1?
h
Let o = 16 + -13. Suppose -2*r + 3*r + 3*s = -o, 0 = -2*r + s - 20. Let j be (8/3)/((-6)/r). Is 4 < j?
False
Let y = -40 - -19. Let b be (0 + 5)*y/7. Let m = -16 - b. Which is smaller: 1/20 or m?
m
Let p be 8/14 - 494/(-91). Suppose 0 = -2*j - p - 24. Is -17 greater than or equal to j?
False
Let n be 66/(-18) + (-10)/(-15). Which is bigger: 0 or n?
0
Let v = -182 - -2185/12. Suppose 0 = -28*d + 27*d - 33. Let f = 33 + d. Which is smaller: f or v?
f
Let f = -11 - 3. Let k be 1 - (-2)/(20/f). Are k and -0.02 equal?
False
Let p = -1721 + 1681. Suppose -n = 2*n + 123. Is n > p?
False
Suppose 0 = 5*b - 0*b - 3*h - 32, -2*b - 2*h = 0. Suppose 3*a - 14 = 5*d, 10*d = b*a + 8*d. Which is bigger: a or -3/4?
-3/4
Let f = 106 + -124. Let g(y) = -y**2 + y - 19. Let v be g(0). Is v at most as big as f?
True
Let p = -173 - -174. Which is bigger: p or -1/31?
p
Let h(p) = 43*p**2 + p + 4. Let i be h(-3). Are 390 and i equal?
False
Let c be ((-240)/53)/2*116/290. Which is greater: -2 or c?
c
Suppose 845 + 370 = -15*d. Does d = -1/4?
False
Let l be 7/(-5) - (-2)/5. Let w = -0.33 - 0.49. Let m = 1.02 + w. Which is greater: m or l?
m
Suppose 4560 = -30*v + 15*v. Are v and -304 unequal?
False
Let w = -139/143 - -9/11. Let z be (0 + 2)/(4/(-16)). Let c = z + 8. Are w and c equal?
False
Let x = 472225/51 - 9259. Is 0 <= x?
True
Let v(n) = n**2 - 42*n + 7. Let j be v(40). Is 2/5 smaller than j?
False
Let q = 14.3 - 3.3. Are -3/4 and q nonequal?
True
Let h(y) = 5*y**3 + 14*y**2 + 22*y - 1. Let k be h(-2). Is -35 smaller than k?
True
Let k(j) = 4*j + 3. Let y(i) = 7*i + 6. Let d(f) = -5*k(f) + 2*y(f). Let c be d(-2). Suppose -2*o = 4, 2*r - 12 = -2*o - 2*o. Which is smaller: r or c?
c
Let g(y) = y**2 - 4*y - 93. Let v be g(12). Suppose 5*m = 5*a - 40, 4*a + 2*m - 37 = 7*m. Is v less than or equal to a?
True
Let z = -11 - -3. Let g be (-6 - -2)*2/z. Let i = -4/47 + 259/282. Is g at least as big as i?
True
Let b be (-2 - 0) + ((-680)/(-290) - 0). Let a = -20 - -21. Is a at most b?
False
Let j = 3572.61 - 3556. Let l = 0.39 + j. Let u = l + -17. Which is smaller: u or 2?
u
Let j(y) = 5*y**3 + 3*y + 2 - 207*y**2 - 4*y**3 + 202*y**2. Suppose c - 4 + 0 = 0. Let f be j(c). Which is smaller: f or -4?
-4
Suppose -o + 4*v + 187 = 4*o, 0 = o + 4*v - 23. Let t be (12/(-20))/((-1)/o). Is t < 20?
False
Let q = 0.67 - 0.23. Let j = 4.64 - q. Let r = j - 1.2. Which is smaller: r or -1?
-1
Suppose -3*b - 4*h = -2, 5*h + 5 - 2 = -b. Suppose 2*d - 6 = -0*d. Are d and b nonequal?
True
Let h(d) = -7*d - 21. Let k(t) = 42*t + 126. Let s(n) = -35*h(n) - 6*k(n). Let g be s(6). Which is greater: g or -64?
g
Let i = 198 - 204. Which is bigger: -13 or i?
i
Let c(x) = x**3 - 16*x**2 + 4*x - 22. Let k be c(13). Which is bigger: -476 or k?
-476
Let s = 1080 - 721. Is s bigger than -2/9?
True
Let w = -5 + 2. Let y = 6 - w. Let q = 227/3 + -75. Which is smaller: y or q?
q
Suppose 34*m - 29*m = 190. Let w = 40 - m. Is 3 not equal to w?
True
Let c = -22555 + 28306521/1255. Which is greater: 0 or c?
0
Suppose 19*x = 54*x. Which is smaller: -5/83 or x?
-5/83
Let m = -263 + 355. Is m bigger than 0.1?
True
Let s 