Let d be a(6). Are 8 and d nonequal?
True
Let q = -10.9 - -88.9. Let d = -66 + q. Which is smaller: 2/5 or d?
2/5
Let h = -16 - -194. Does h = 0.1?
False
Let v = -26 - -52. Let l = -25.9 + v. Which is smaller: 19 or l?
l
Let l be (-52)/(-3) - (-46)/69. Let y = l + -15. Which is bigger: 5 or y?
5
Let h be (12/10)/((-84)/(-630)). Let n be (1 - -15)*(1 + 0). Let q be n - -1 - (h + -13). Do q and 21 have the same value?
True
Let q = 59.67 + -60. Let g = q + 0.43. Which is smaller: 2.2 or g?
g
Let l(i) = -i**3 + 67*i**2 + 68*i + 10. Let s be l(68). Is s less than -0.017?
False
Let k be ((-632)/100)/(-2) - 3. Are 0 and k non-equal?
True
Let c be 2 + -1 + (-17 - -8 - -9). Which is smaller: 2/173 or c?
2/173
Suppose -a = 5*r + 7, -a - 3 + 6 = -5*r. Is a <= -233?
False
Suppose -11*l + 156 = -119. Is l != -3/8?
True
Let d = 277 - 351. Is d != -662/9?
True
Let a = -56 + 96. Let l = 79/2 - a. Let p = -6 - -4. Which is greater: p or l?
l
Let o = -785/1254 - -13/22. Are o and 0 nonequal?
True
Let f = -47 + 60. Let i = f - 13. Which is smaller: -6 or i?
-6
Let n = 113.7 - 108. Let x = 6 - n. Let k = -12 + 11.8. Is x greater than k?
True
Let l be (4/8)/((-2)/(-8) + 0). Which is bigger: l or -30?
l
Let w be (-33)/(-9) - 24/36. Let n = 4 - 2. Let p = n - -2. Which is greater: w or p?
p
Let z be (2/(-8))/(10/(-24)). Let p(j) = j**3 - 8*j**2 + 8*j - 6. Let f be ((-14)/(-4))/((-4)/(-8)). Let k be p(f). Which is bigger: k or z?
k
Let l be (-1092)/(-1274) - 642/14. Let z(a) = -23*a - 1. Let h be z(2). Is h at most l?
True
Let m = -3 + 4. Let c = 0 - m. Let q = -68 + 202/3. Is q at most as big as c?
False
Let g = -858 + 1243. Is g not equal to 0?
True
Let z be (-5)/15 + (-128)/(-6). Let q = z - 22. Let u be ((-4)/(-8)*2)/q. Are -2/43 and u unequal?
True
Let x = 581.9 - 572. Do x and 0 have the same value?
False
Let j = -2.51 + 194.51. Let i = -190 + j. Let d be 2/2*(2 - 15). Which is smaller: d or i?
d
Let k be (34/(-6))/(5/(-15)). Let n = -17 + k. Which is greater: 3/4 or n?
3/4
Let o be (-14)/33 + 3/9. Let b = -0.1232 + -7.8768. Is b greater than o?
False
Let u = 1.7 - -5.5. Let h = -8 + u. Let g = h - 3.2. Which is smaller: g or -3?
g
Let n be (-156)/1326 + ((-6920)/34)/4. Is n smaller than -57?
False
Let r = 5/18 + 7/18. Let o = -49 + 44. Let n = -15 - o. Which is smaller: n or r?
n
Suppose -41 = -4*x - 3*k, 3*x - 4*k = 5 + 7. Let p be (-501)/39 - (-6)/(-39). Let d = 22 + p. Which is smaller: d or x?
x
Suppose 4*g - 122 = 3*b, 2*g + 8 + 78 = -2*b. Do b and -39 have the same value?
False
Let c(z) = -54*z - 161. Let y be c(-3). Which is smaller: y or -1/162?
-1/162
Let z = -2008/9 + 1475/72. Let p = 203 + z. Is p less than -4?
False
Let s = 2500 - 2371. Which is bigger: s or -0.3?
s
Suppose -2*y - 4*m = y - 5, 4*y = -3*m + 9. Let s be y + -1 + 1 + -8. Which is smaller: s or -2?
s
Suppose -14*n = -18*n + 172. Let k = n + -40. Which is greater: k or -3?
k
Suppose -2*p - 6 = p. Let x = 11/30 - 13/15. Which is bigger: p or x?
x
Let n(i) = i**3 - 4*i**2 - 5*i + 7. Let k be n(5). Suppose k = 3*s - 8. Suppose 5*f - s*m + 25 = 0, -f = 5*m - 2*m + 5. Which is smaller: -3 or f?
f
Suppose 473 = -u - 13. Let m be u + 6 + (-1 - 2). Let v be (-4)/(-14) - m/(-1862). Which is smaller: 0 or v?
0
Let s = -2134/7 - -305. Does s = -0.5?
False
Let k(u) = u**3 + 7*u**2 - 9*u - 7. Let h be -15 - -3*4/6. Let x = h + 5. Let c be k(x). Which is bigger: -1/7 or c?
c
Let i = -85 - -48. Let k = -16 - i. Let b = k + -19. Is b less than -2?
False
Let k be (292/(-8))/((-3)/12). Let m = k - 124. Which is greater: 20 or m?
m
Let i be (-18)/36 - (28/16 - 0). Suppose -5*s = -2*s + 12. Let y(q) = q**3 + 5*q**2 + 4*q - 2. Let h be y(s). Is i less than h?
True
Suppose 131 = -6*k - 4471. Does k = -767?
True
Let y(l) = 10*l + 151. Let d be y(-17). Which is bigger: -20 or d?
d
Let l = 0.22 + -1.22. Let b = 39 - -3. Which is greater: b or l?
b
Let j = 455 + -445. Is j bigger than 10?
False
Suppose 6*u - 263 = -245. Which is greater: u or -1?
u
Let z(k) = -3*k + 13. Let p be z(-7). Let o = -31 + p. Suppose -s + o = 5, -2*d + s - 8 = 0. Is -6 bigger than d?
False
Let m = 3 - -2. Suppose m*h + 3*b - 21 = 0, 31 = 5*h + 5*b + 6. Suppose 5*a = -h*j - 37, 3*a = -3*j + j - 22. Which is smaller: -9 or a?
-9
Let v be 4*(2/(-24) - (-9)/27). Is v greater than or equal to -11?
True
Let l(t) be the second derivative of t**4/3 + 7*t**3/2 - 3*t**2 - 38*t. Let g be l(-6). Which is smaller: 16 or g?
g
Let y(g) = g + 7. Let d = 15 - 13. Let v be 3/9 + d/(-6). Let a be y(v). Which is greater: 8 or a?
8
Let r be 8 + (-5)/5 - 1. Suppose 0 = -r*f + 15 + 3. Which is greater: 2 or f?
f
Let n = 50683/1122 - 271/6. Are n and -1 nonequal?
True
Suppose 7*f - 9*f = 38. Which is smaller: 0 or f?
f
Let t = -32 - -31. Let f be t + 107/77 + (-4)/(-22). Which is smaller: f or 2?
f
Let x(c) = -c**2 - 12*c + 52. Let i be x(5). Let o be (1 + (-14)/8)*134/3. Is o greater than i?
False
Let g = 335 + -333.59. Let i = 0.91 - g. Which is bigger: -1 or i?
i
Let v be (2 + 14/(-8))/1. Let h = 2.5 + -1.5. Are v and h non-equal?
True
Let n = 27 + 58. Are n and -3 equal?
False
Let r be ((-2)/(-6))/(-3*8/72). Suppose -3*a - 1 = -7. Let i be r*a - (-7 - -7). Is -2 at least as big as i?
True
Let l be (3/(-6))/((-88)/(-36) + -2). Suppose -4*o + o - 4*j = -4, 0 = 5*o + 4*j - 4. Is o greater than l?
True
Let d = 2/29401 + -32389/43925094. Is d at most as big as 1?
True
Suppose 0 = -2*s + 2*a + 16, 2 = 2*s + a + 1. Suppose 0 = -0*j + s*j. Suppose 60 - 122 = 31*d. Which is smaller: d or j?
d
Let i be ((-2)/30)/(2*18/(-5724)). Which is greater: i or 10?
i
Let r = -1 + 1. Let z be (-6)/((8/(-44))/((-32)/(-6))). Let w = -173 + z. Is r > w?
False
Let g be (1 + 1/(-3))/(3/306). Suppose t - g = 5*t. Which is bigger: -16 or t?
-16
Let d = 141.2 + -138. Is 1/4 at least d?
False
Let b(n) = -32*n - 521. Let d be b(-17). Is 252/11 not equal to d?
True
Let o = -44 - -51. Which is smaller: -13 or o?
-13
Let f be ((-7)/(-7))/(14/4). Which is greater: f or 351?
351
Suppose -2*x + n = -9, x - 3*n = 4*x - 36. Suppose -p = -5*g - 38, 3*g + 5 + x = -3*p. Let f = 2 + g. Which is bigger: -7 or f?
f
Let d = -3/247 - -1737/20995. Which is bigger: -1 or d?
d
Let s = -64.08 + 61. Let h = 0.08 + s. Let o = -2 - h. Which is smaller: o or -1?
-1
Suppose 0 = 5*c, 0 = -2*r + 2*c + 3*c + 2. Which is smaller: r or -1/66?
-1/66
Let n(r) = r**3 + 6*r**2 + 6*r + 7. Let j be n(-4). Let b(v) = -2*v - 17. Let z be b(-10). Is j <= z?
False
Let k(g) = -6*g + 8. Let u be k(3). Let o be (-8)/(-10)*u*7/14. Is o less than or equal to -4?
True
Let f(m) = m**2 - 7*m + 6. Let c be f(6). Let d be 3/15 + 2/(-10). Suppose 5*z - 8 = -h - d, -3*z + h = c. Which is greater: z or 0?
z
Let j = 1 - 55. Let p be (262/j - -5)*2/(-8). Let h(l) = -l**2 - 6*l + 8. Let q be h(-7). Is q not equal to p?
True
Let j = 1 + -4. Let o be ((-6 - -6)/2)/((-1)/(-1)). Suppose -2*u - 2*u - 2*v - 28 = o, -v = 4*u + 30. Which is smaller: u or j?
u
Let r = 5.06 - 0.06. Let d = r - 5.2. Which is greater: d or -1/2?
d
Let m = 11 - 5. Suppose 3*g - g - m = 0. Suppose -g - 2 = -d. Is d smaller than 5?
False
Let j(y) = 2*y**2 + 59*y + 3. Let z be j(-26). Which is greater: -180 or z?
z
Suppose -4*w = -5*g - 47, 4*g - 2 = 3*w - 39. Which is smaller: g or -59/7?
-59/7
Let w = 1.619 + 0.491. Let j = 0.11 - w. Suppose 0 = 3*c + 2*u + 2, 4*c = -5*u - 5 - 0. Is j > c?
False
Let q = 2726004/5 + -548853. Let g = q - -3639. Which is smaller: -13 or g?
g
Let k = -0.13 + 25.13. Let r = 1 - -25. Let s = k - r. Is -10 at most s?
True
Let t be (80/(-9))/((-21)/121). Let n = 358/7 - t. Let x = -849 + 849. Is n greater than or equal to x?
False
Let f be 4950/(-815) + 12 + -6. Is -1 bigger than f?
False
Let j be 1/(10/(-30))*(-2)/(-2). Is -58/13 less than j?
True
Let v be ((-4)/3)/((-102)/171). Let d = v + -300/119. Is d greater than or equal to -35/4?
True
Suppose 134*i - 138*i - 196 = 0. Which is smaller: -151/3 or i?
-151/3
Let y = 281 - 346. Which is greater: y or 2?
2
Let j be 12/(-32)*-4 + 74/4. Let k = -279/14 + j. Is -1 at least as big as k?
False
Let v = 2.2 + -0.7. Let q = v + -1.56. Let j = -0.04 + q. Are j and 14 equal?
False
Let y(m) = -m - 2. Let l be y(-1). Let v be 5 + l*(3 + -3). Suppose k = -0*p + 2*p - 5, 0 = -5*p - k - v. Is p smaller t