l?
False
Suppose -4*h = 4*q, -1552 = q + 4*h - 1543. Are 94/49 and q nonequal?
True
Let x = -29809.8 - -29811.8. Let r be (-2)/12*(-15)/2. Which is greater: x or r?
x
Let h(y) = -y**3 + 10*y**2 - 5*y + 5. Let n be h(8). Suppose 4*t - n = 63. Let v = 38 - t. Are v and 1/14 equal?
False
Let t = 19 - 20. Let x be (t*2)/(4/8). Let f be -3 - (x - 21/(-12)). Is f greater than or equal to 15?
False
Let s = -184.2663 + 0.0663. Let n = s + 184. Is n < -64/9?
False
Let k = 1006.1 - 944. Let l = k + -11.1. Let j = l - 51.1. Is -48 smaller than j?
True
Let x be 2 + 1 + (-75)/10*26. Let r be -31*((-120)/x - 3/(-8)). Let o(a) = -a**3 - 8*a**2 - 7*a - 1. Let n be o(-6). Are r and n equal?
True
Let b = 0.7192 - 0.3192. Which is greater: -0.49 or b?
b
Let k = -406 - -133. Which is greater: -271 or k?
-271
Let c = -474 + 479. Let v be -29*c/25 + 3 - -3. Is v > -15?
True
Suppose 43 - 19 = 4*b. Suppose -b = -3*v, 3*j - 4*v + 37 = -1. Let p = -7 + 2. Which is smaller: p or j?
j
Suppose 3*g + 6 = 0, 30 = q - 5*g + 20. Suppose q = -4*x + 12, -x = r - 5*x + 6. Is 5 less than or equal to r?
True
Let u(n) = 8*n + 15. Let l(v) = v**3 + 5*v**2 - 7*v - 1. Let q be l(-6). Suppose q + 4 = -3*a. Let z be u(a). Which is smaller: -8 or z?
z
Suppose -3*v + 3*p = -27, 3*p = v - 4 - 13. Suppose 0 = 4*k + 43 + v. Let b be (-42)/k - 4 - 55/(-2). Which is smaller: b or 29?
b
Let v(m) = -m**3 - 71*m**2 + 179*m - 117. Let x be v(-73). Which is greater: x or -2528?
x
Let s be 10458/(-4) - 20/(-5). Let y = s - -2660. Which is smaller: y or 51?
y
Let a = 14123 - 14819. Are -3486/5 and a unequal?
True
Let o = -12 + 13.24. Let t = o + -0.14. Suppose -i + 5*q - 5 = 8, 2*i = -4*q + 16. Is t >= i?
False
Let d = 0.988 + 0.012. Is d equal to 30/1213?
False
Let m = 19154 - 18976. Which is smaller: 152 or m?
152
Let s(q) = q**3 - 16*q**2 - 24*q + 34. Let d be s(17). Let r = 39 + d. Let z = r - -45. Is 4/31 less than z?
False
Suppose -m = -5*c + 15, -14 = -2*m - 4*c + 3*c. Suppose 308 = -m*a + 88. Let k be (-3)/((-3)/(-52)) - 8631/(-1233). Which is greater: a or k?
a
Suppose 4*w + 4*t = 3*t + 12, -4*t - 3 = -w. Let v(i) = -16 + 69 - 15 - 10 - 2*i - 17. Let m be v(w). Is m at most 6?
True
Let o be 8/(-6)*(-17172)/(-144). Which is smaller: o or 2?
o
Suppose -3*h = 3*m + 132, 20*h - 22*h = 5*m + 220. Which is greater: -51 or m?
m
Let w be (36 + -54)*3/(-6) - 341. Which is smaller: -2647/8 or w?
w
Let c = 3.34 - 10.74. Which is smaller: c or -14?
-14
Let m be (-1)/(6 + 103/(-17)) + 1. Let b(v) = -v**3 - 7*v**2 - 2*v - 5. Let n be b(-7). Let p be ((-57)/(-9))/(3/n). Is m > p?
False
Let a = 298.4934 - 5.7234. Let w = a - 295. Let z = 0.73 + w. Which is bigger: -3 or z?
z
Let m = 626 + -328. Let g = 120 - m. Is 2 <= g?
False
Suppose -4*x + 3*a - 38 = -41, -10 = 5*x - a. Suppose -5*i + 0*i + t + 25 = 0, -4 = -4*i + 4*t. Let k(y) = -y + 6. Let s be k(i). Which is greater: x or s?
s
Let z = 0.029 + 0.351. Let a = z + -0.406. Let s = 4.974 - a. Is 7 less than s?
False
Let s be -2 - (2 - (-7)/(-6)). Let g be 20/8 + (-39)/(-6). Suppose -5*k + 2*u - 23 = 0, 4*u - g - 16 = 3*k. Which is smaller: s or k?
k
Let u = 1077 - 212. Suppose 5*y + 5*m - 335 = u, -y + 234 = 4*m. Which is smaller: y or 241?
241
Let b be (-120)/(-64)*40/18. Let j = b - 11/3. Is j bigger than 125?
False
Suppose -8*l - 4*o = -36, -2*l - 42*o + 18 = -40*o. Which is bigger: 171/205 or l?
171/205
Let o = 4.466 - 4.266. Is 365/2 less than or equal to o?
False
Let u = 5075 + -4938. Is -6 less than u?
True
Let x(d) = 2907*d - 8738. Let n be x(3). Let v be 942/(-55) - (-2)/5. Are v and n equal?
False
Let t be ((7488/(-135))/16)/((-116)/18). Which is greater: t or 2?
2
Let m be (-324)/(-756)*28/6. Suppose -5 - 7 = -3*k. Let v be k/(2/(-2) - -6). Is v < m?
True
Let g(k) = k**3 - 30*k**2 - 34*k + 110. Let p be g(31). Suppose 22*j = -p - 5. Are j and -1/26 unequal?
True
Let i = 11805 + -11804.9724. Is 3/4 not equal to i?
True
Let m be (-2)/(-1) + (-213 - -21). Is -2 bigger than m?
True
Suppose 14148*j - 14109*j = 702. Suppose 3*c - c - 38 = 0. Which is bigger: j or c?
c
Suppose 13 = 4*p + m, 0 = p - 4*m - 10 - 6. Suppose 3*i = 4*j - 26, -3*i = 5*j - 3*j - p. Is i < 11/2?
True
Let n = -111 + 111.446. Let y = -0.174 - n. Is y at most 0?
True
Let o = 31.57682 + 0.47218. Let q = 0.049 - o. Let p = -0.04 + -0.16. Which is bigger: p or q?
p
Let r be (-235)/(-75) + -3 + 2/(-15). Suppose -3*c - 115 + 109 = r. Suppose -3*t = t + 8. Are t and c unequal?
False
Let s(p) = p**3 + 8*p**2 + 7*p + 6. Let b be s(-7). Let v be 2 - 2*9/b. Let x = -27/19 + 5/57. Is x <= v?
True
Let c be (-12204)/63 - (-4 - 30/(-7)). Is -189 at least as big as c?
True
Let k = -18 + 16.95. Let x = k - 63.95. Let p = -1148.7 - -1149.7. Which is smaller: x or p?
x
Suppose -15*s + 15 + 90 = 0. Suppose 0 = 22*f + 15 + s. Is f < -26/43?
True
Suppose 27*a - 32*a + 235 = -3*g, 5*a - g = 245. Suppose 0 = -j - w, -3*j + 3 = 2*w - 0*w. Suppose -j*h + 69 = -84. Which is smaller: h or a?
a
Let i be 0 - -4 - 18/(-6 + 0). Let r(l) = 0*l + l + 7 + i*l - 25. Let p be r(2). Is p > -3/4?
False
Let y be 3/(21 - 6/(-3)). Let v(l) be the first derivative of l**2 - 35*l - 109. Let m be v(17). Which is greater: y or m?
y
Let i(n) = n**3 - 6*n**2 - 10*n + 12. Let c be i(7). Let q = c + 12. Suppose 3*w - 2*y = 6, q*w - 19 - 2 = -3*y. Are w and 3 nonequal?
True
Let f be (16/(-7964) - -6) + (-12)/2. Which is smaller: 1 or f?
f
Suppose -5*s - q = 64, 4*q + 0*q + 4 = s. Do 9/40 and s have the same value?
False
Let a = 1/467 - -1369/14944. Suppose -4*p = 56 - 8. Let f be 2/8 - (-15)/p. Which is greater: a or f?
a
Let i = 747 - -1809. Which is smaller: i or -1?
-1
Let t = -286.57 + 300. Let v = t + -0.43. Let w = 32 - 35. Is w at least as big as v?
False
Suppose 3*k = -119*r + 122*r - 10623, -k = -5*r + 3529. Are k and -3543 equal?
False
Let j = -113 + 113.355. Let n = j + -0.025. Let q = n + -0.43. Is q smaller than -0.1?
False
Let f be 1 + (30 - 1)/(-1). Let j be 708/(-36) - (384/(-12))/(-4). Which is bigger: f or j?
j
Let b be -7 + (-1 - -9) - 1/3. Which is smaller: -15347 or b?
-15347
Let q be 3 - (-3 + 12)/(-3). Suppose -2*a - 4 = -q. Let k be 3 - (3 + -3) - -1. Which is greater: k or a?
k
Let l = 762 - 761. Which is smaller: l or 36/619?
36/619
Let n be 1/(-18)*(-4275)/570. Is n greater than or equal to -4?
True
Let r = 5326123/673 - 7914. Which is smaller: r or -2/5?
-2/5
Let i(y) = -5*y + 20. Let b be (-14)/2*(1034/(-77) - -12). Let w be i(b). Suppose 3*c + z = -94, 0*z + 4 = -4*z. Which is smaller: w or c?
c
Let n be ((-8)/4)/(6/(-81)). Suppose -n = -6*h - 3. Suppose 0*g - h*g = 0. Which is smaller: g or -3?
-3
Let n = -463 - -498. Suppose -159 = -n*a + 926. Is a greater than or equal to 21?
True
Let j = 0.53 + -0.432. Let o = j + -1.008. Let c = o - -0.91. Which is smaller: 1 or c?
c
Suppose 0 = -29*v + 31*v - 16. Let z = 12 - 8. Suppose -5*r - o = 9, 3*o - z*o = 4*r + v. Is r at most as big as -3?
False
Suppose -2*l = 4*q + 14, -12 = 4*q + 2245*l - 2241*l. Let c = -2403/35 - -324/5. Is c less than q?
False
Let m(a) = -2*a**3 + 18*a**2 + 2*a - 12. Let s be m(3). Which is bigger: s or 104?
104
Let n = -22877 - -24759. Is -0.1 bigger than n?
False
Let l(q) be the third derivative of 13*q**4/24 + 133*q**3/6 + 2*q**2. Let h be l(-12). Is -26 bigger than h?
False
Let f be 1*(1 - 0 - -26). Suppose -2*r + 5 = -3*n, 39*n + 14 = 3*r + 35*n. Is r greater than or equal to f?
False
Let b = 9/2200 - -8683/28600. Which is smaller: b or 287?
b
Suppose -47 = 94*k + 25 + 22. Which is bigger: -2/28041 or k?
-2/28041
Let f(l) be the second derivative of l**4/12 + 17*l**3/6 + 35*l**2 + 2*l - 17. Let r be f(-9). Is r smaller than -52/21?
False
Let t(i) = -15*i**2 + 5*i - 2. Suppose -7 = -3*q + 5. Let u be t(q). Let n be u/4*15/((-45)/2). Are 1 and n non-equal?
True
Suppose -s - 2 = -3*p + s, -p + 3 = -3*s. Suppose p*o + 3*o = -3*b + 105, 3*o - 4*b = 84. Let i be -28*260/(-182) + (0 - 9). Are o and i equal?
False
Suppose -463*s = -442*s. Let h = -61/133 - -6/19. Is h < s?
True
Let v be (-30)/12*(-3 + 1). Suppose 3*z + 65 = v*q, -z + 3 - 26 = -2*q. Which is greater: z or -8?
-8
Suppose -3*v + 19*v = 2416. Let m = v - 153. Is m != -40/13?
True
Let d = -392 - -388. Let z be d/588*-1047 + -7. Is z at least as big as 1?
False
Suppose