 Let i = 74 + -48.2. Let a = 0.2 + i. Which is smaller: v or a?
v
Let l(i) = i**2 + 28*i + 54. Let x be l(-27). Let a = 1621/60 - x. Do a and 0 have the same value?
False
Suppose 5*j = y + y - 16, 4*j = -y - 5. Suppose -8*b - 2 = -4*b + 5*g, 0 = -g + 2. Let o be (-11 - (b - 0)) + y. Is -6 greater than o?
False
Let b = 4 - 4. Let s = b + 3. Suppose 5*x - d = 31, -s*x + d + 4*d + 23 = 0. Do x and 6 have different values?
False
Let d be 3944/522 - (1 + 6). Let k = -2 - -2. Which is smaller: d or k?
k
Let a be 4/(-7) + (-11647)/(-133). Is 88 < a?
False
Suppose 4*a - 8 = 0, -m - 10 = 3*a - 6*a. Let b = 7 + m. Suppose 0 = -b*f + 1 + 29. Is 11 bigger than f?
True
Let c = 43261/7973 - -3/1139. Is c at least as big as 4?
True
Let d(k) = 9*k**2 + 2*k - 1. Let r = -10 + 11. Let q be d(r). Suppose 0 = q*s - 6*s. Which is greater: -1/16 or s?
s
Let q(l) be the second derivative of -l**4/12 - 8*l**3/3 - 3*l**2/2 - 12*l. Let u be q(-15). Let z be u/(-8) + 1 + -1. Which is smaller: 6 or z?
z
Suppose -5*a = 4*g + 637, 4*a - 2*g = -432 - 88. Which is smaller: -126 or a?
a
Let a = 328/39 + -117541/13962. Which is bigger: a or -1?
a
Let k(w) = 11*w + 25. Let t be k(-2). Which is smaller: t or -66?
-66
Let c = -26 - -8. Let m = c + 13. Are -5 and m nonequal?
False
Suppose c = 5 - 31. Let u(v) = -v**3 + 6*v**2 - 31*v + 160. Let x be u(6). Is x bigger than c?
False
Let x be (-1)/(-811)*-373*148/(-28). Let g = 2/811 - x. Which is smaller: 1 or g?
g
Let y be (-51)/(-114) - 1/2. Let j = 344.1 + -344. Which is smaller: y or j?
y
Let r be (-146)/8 + (-4)/(-16). Let c = 185 + -203. Let j = r - c. Which is smaller: -2 or j?
-2
Let d = -4544/5 + 903. Is 0.2 not equal to d?
True
Let c be 16/(-10) - 59440/(-37400). Which is smaller: 2/15 or c?
c
Suppose 0 = -10*d + 12*d + 5*w - 53, 23 = 2*d - 5*w. Is 4 bigger than d?
False
Let g = -28 + 27.81. Let w = g - -1.19. Let a = -16 - -10. Which is bigger: a or w?
w
Let a(z) = -z - 1. Let y be a(-2). Let f = -14092 - -55251/4. Let p = f + 281. Is p >= y?
True
Suppose 1 = 2*x + 5*t, -x - t + 5 - 3 = 0. Let h be x + (-268)/8*-2. Suppose 0 = -r - 4*o - 14, -7*r + 4*o = -2*r + h. Is r < -14?
False
Let x be (-4)/6*(3 + -9). Let u be (52/(-12) + x)*-132. Does u = 45?
False
Let s = 35 - 32. Let k be (s/(-9))/(31/6). Suppose -3*r = -5*z - 12, 2*r - 4 + 3 = z. Do k and r have the same value?
False
Let a = 1848 - 16562/9. Let c = a + -76/9. Which is greater: 21 or c?
21
Let x = -22975/434 - -370/7. Which is bigger: x or 1?
1
Let o(u) = -5*u**3 - 6*u**2 + u + 4. Let f be o(-5). Which is smaller: f or 473?
473
Let r be ((-4)/18 - 0) + (-145)/(-45). Suppose -1 - r = -4*o. Suppose -1 = -t - 0*t. Is o < t?
False
Let h be (-1)/(-2) - (-14)/4. Suppose 17 = -3*u - 2*v - 8, 4*v + 40 = -h*u. Suppose -2*f = -2*t - 0*f - 18, 25 = 5*f. Which is smaller: t or u?
u
Let q(r) = -10*r**3 - 5*r**2 + 2*r. Let d be q(6). Let g = d + 86142/37. Let c = -13/148 - g. Is c less than 2?
True
Let h(g) = g - 2. Let r be h(5). Suppose l - 4*l = r. Is l at least 1/22?
False
Let q = 13 - 9. Suppose -18 + 2 = -q*l. Suppose -n + 2 = -2*g - l*n, -6 = 2*g + 5*n. Is 2 less than g?
False
Let l = 1.97 + 0.03. Let v = 649 - 657. Which is smaller: v or l?
v
Let q = -17.86 - -18. Let m = 14.84 - 13.7. Let w = q - m. Is 12 less than w?
False
Let r be (-8)/12 + (-28)/(-6). Suppose -3*t + s + 2 = 5*s, -r*t + 3*s = 14. Is -1 at least as big as t?
True
Suppose -5*h = 5*c - 35, 4*h + 4*c = 3*h + 16. Let b be 88/(-104) - h/26. Which is greater: b or 2/127?
2/127
Let u = -32.64 + 0.64. Let p = 33 + u. Is p < 0.6?
False
Let d = 1 - -4. Suppose -d*k - 5*j + 15 = 0, -2*k + 2*j + 2 = -0*j. Suppose -x = -k*x + 1. Is 2/9 greater than or equal to x?
False
Let c be (-6)/57 + 99190/(-266). Is c equal to -373?
True
Let q be (7/14)/((-1)/172). Let k = 125 + q. Which is greater: k or 38?
k
Let h be 0 - 795 - ((2 - -4) + -7). Is h greater than -795?
True
Let t be (1 - 6/9) + 8/(-24). Let a = 0 - -2. Suppose 7*h = a*h - b - 6, -4*b = 3*h + 7. Which is bigger: h or t?
t
Let r = 5 - 3. Suppose 3*n = 3*t + 81, -3*t = -5*n + 105 + 26. Suppose -15 = -3*p + 3*b, 6*p - 3*b = 7*p - n. Are r and p nonequal?
True
Let f(c) = -3*c + 11. Let l be f(5). Let b be 33/3 + 1*l. Which is greater: b or 8?
8
Let i(j) = j**3 - 2*j**2 - 3*j + 3. Let r be i(3). Suppose z + b = 1, b - 9 = -5*z + 4. Is z <= r?
True
Let q be 3*(-12)/198 + (-26)/11. Which is smaller: q or -3?
-3
Let o be 34/4 - (-4)/8. Let g(d) = d**3 - 9*d**2 + d - 4. Let u be g(o). Let a = -32 + 34. Which is bigger: u or a?
u
Suppose p = -2*p + t + 16, 5*p - 4*t = 29. Suppose 1 = -4*c - n - 2*n, -c + p*n = -17. Suppose -c = -4*u + 5*u. Which is smaller: u or -5/6?
u
Let c(x) = -x + 4. Let n be c(6). Let r = -1261 + 1312. Which is bigger: r or n?
r
Let r = -26 + 21. Suppose 0 = 3*l - 5 + 11, 5*s + l - 23 = 0. Suppose 4*m = s*q + 10, -q + 2*q - 5*m - 19 = 0. Which is greater: r or q?
r
Let s(z) be the first derivative of z**4/4 - 5*z**3/3 - 3*z**2/2 + z + 6. Let b be s(5). Let x = b - -18. Is x > 6?
False
Let t be (-5)/(20/(-36)) + -2. Let k be (-8)/2 + (-105)/t. Let i = -16 - k. Which is bigger: i or 6?
6
Suppose -d + 157 = -4*x, -x = 3*d + d + 18. Let g be x + (-1 - 4 - -8). Which is smaller: g or -34?
g
Let v = -3 - -4. Let c = -0.05 + 1.85. Let n = -10.2 - c. Are n and v equal?
False
Suppose -3*p - 2*a = 0, -a = -2*p + 10 - 3. Let u be p/(-120)*2*6/4. Which is smaller: 1 or u?
u
Let s = 1303 + -1271. Which is smaller: -3 or s?
-3
Suppose 3 + 66 = 4*w + 3*k, 2*w = 2*k + 52. Let i = -703 + 669. Let g be i/85 + w/65. Is 0 > g?
True
Let p be 5 - 485/95 - 3048/(-76). Which is smaller: 5/2 or p?
5/2
Let o(s) = -s**3 - 4*s**2 + 4*s - 2. Let h be o(3). Let j = -43 - h. Which is bigger: j or 11?
11
Let t = -0.207 - -0.507. Which is bigger: t or 0.027?
t
Let n(o) = -o**2 - 4*o - 14. Let t be n(7). Which is smaller: t or -92?
-92
Let c(j) = -2*j**2 + 17*j + 12. Let i be c(11). Is -44 equal to i?
False
Let m = 97.8 - -52.2. Which is greater: 1/4 or m?
m
Let x be (-14)/(-6) + (28/6 - 5). Suppose -5*v + l - 34 = x*l, 0 = -4*v - 5*l - 44. Which is bigger: -4 or v?
-4
Let z be 3/(-6) - 77/(-156). Suppose -21*c - 22 + 22 = 0. Which is bigger: z or c?
c
Let g = -450 - -450. Which is bigger: -633 or g?
g
Suppose 3*h - 13*r + 18*r - 11 = 0, 0 = -5*h + 2*r + 8. Let d(j) = -j + 11. Let f be d(10). Let g(a) = 6*a**2. Let i be g(f). Which is greater: h or i?
i
Let d = -220 + 259. Which is bigger: d or -0.1?
d
Let d(l) = -l**2 + 15*l + 6. Let j be d(8). Is j not equal to 59?
True
Suppose 0*w + 3*w - 12 = 3*x, 12 = -4*x + 3*w. Let k = -132 + 125. Is x > k?
True
Let t(i) = -i**2 + 15*i + 1. Let c be t(17). Which is smaller: c or -38?
-38
Let i = -728 - -740. Let w(y) = 9*y**3 + y**2 - y + 1. Let n be w(1). Are n and i equal?
False
Let s = 0.3 + -0.2. Let z = 0.166 - 2.056. Let v = -1.09 - z. Which is smaller: v or s?
s
Suppose 8*i = -17*i - 8125. Is -327 at least i?
False
Let k be -2 + (17 - 4) + 4. Let y = 17 - k. Which is bigger: 19/7 or y?
19/7
Suppose -7*t = 5*t - 108. Which is smaller: t or 17?
t
Let w be -4 + -8 - -3 - -201. Are w and 192 equal?
True
Let j = 238929 + -3589018/15. Let s = j + 339. Let m = -36 - -35. Are s and m nonequal?
True
Let o(i) be the first derivative of i**2/2 - 7*i - 6. Let z be o(8). Let t be ((-15)/6)/(-5) - 0. Do t and z have the same value?
False
Let g = -41 - -53. Which is smaller: 81/7 or g?
81/7
Suppose 0 = -2*v + 4*t + 163 + 175, -5*v + 900 = t. Is 179 > v?
False
Let j(f) = -4*f**2 - 2*f + 2. Let c be j(1). Let p be (-1218)/909 + c/(-12) - -1. Do 0 and p have the same value?
False
Let z be 14/4*(-5 + 156/42). Suppose 4*r = -c - 16, 0 = -5*c + 2*c. Is z > r?
False
Let h = 23/20 + -2/5. Let o(c) = -5*c + 2. Let j be o(-2). Suppose 4*p = -5*l + 18, 0 = l + 2*l + 3*p - j. Is h equal to l?
False
Let p(g) = 5 - 3 + 7*g - g**2 - 7*g. Let b be p(0). Suppose -2 = b*l + v + 2, -2*l - 8 = 2*v. Which is smaller: l or -1/18?
-1/18
Suppose -31 - 4 = -5*j. Let x be 1 - j/((-28)/8). Let g be (6/2 - x) + -1. Which is smaller: g or 1/6?
g
Let y be (-6)/45*(-4 - (-178)/42). Which is smaller: 0 or y?
y
Let b be 20/(-12) - (5/(-3) + 2). Let a be (b + 3)/(-1) + 48/39. Is 0 > a?
False
Let p = 1299 + -530. Which is greater: p or 1/3?
p
Let k(t) = t**3 + 7*t**2 + 4*t + 13