a) = a**2 + 12*a - 15. Let l be q(-12). Let b = 21 + l. Are b and 4 unequal?
True
Let w = 20691/5 - -29362/15. Let p = w + -6012. Let l = -83 + p. Does 1/3 = l?
False
Suppose 2*o - 2*u + 21 = -23, -o + 2*u = 26. Suppose 5*h + 16 = 4*h. Are o and h non-equal?
True
Let h be 1/(-14)*2/4. Suppose 3*a = 37*o - 38*o + 2, 2*a + 22 = 4*o. Which is bigger: h or a?
h
Let z = -1261/15 + 84. Suppose 4*j = 148 - 12. Let y = -34 + j. Which is smaller: y or z?
z
Let v(s) = 8*s**2 - 15*s + 12. Let g be v(5). Suppose 4*y + 5*z = 239, 3*y + 2*z - 44 - g = 0. Which is bigger: 60 or y?
y
Suppose 0 = 5*y - 5*l + 8*l - 12, 5*y - 4 = -l. Which is bigger: y or -11/9?
y
Suppose -2*z - 223 = 97. Is z at least -160?
True
Let m be 368/48*2/(-4). Which is bigger: -2/9 or m?
-2/9
Let h be 22/12*(-27)/6. Which is bigger: -8 or h?
-8
Let g(n) = 2*n - 7. Let m be g(8). Let h be (90/m)/(-2*1). Is -5 > h?
False
Suppose -240*o + 235*o - 70 = 0. Which is smaller: -18 or o?
-18
Let p be 48/24 - 116/62. Is 1 smaller than p?
False
Suppose -2*y = 4*w + 34, y + 12 = -w + 2. Let s be (-2)/(-2) - (-28)/w. Let j be s*(3 + (-230)/78). Are -1 and j unequal?
True
Let f = 383 - 125. Let l = 1809/7 - f. Suppose -5*q = -4*q. Which is smaller: l or q?
q
Let n be (55/(-165))/((-1)/57). Which is greater: 0.3 or n?
n
Let i(o) = 73*o - 524. Let v be i(18). Which is smaller: 792 or v?
v
Suppose -3*f = -5*j + 9, 3*f = 4*j - 0*j - 6. Suppose -3*s = -4*k + 2*s + 58, 0 = -f*k - 2*s + 20. Is 12 less than or equal to k?
True
Let j(o) be the first derivative of o**4/4 + 8*o**3/3 - o**2/2 - 4*o + 4. Suppose 2 - 34 = 4*r. Let v be j(r). Which is greater: v or 1/6?
v
Let w be (-1)/(2*(-5)/40). Suppose -w = d + 69. Is -74 at most d?
True
Let g(w) = 14 - 19*w + 5*w**2 + 9*w - 6*w**2. Let t be g(-11). Let v = t + -14/5. Which is smaller: v or -1?
-1
Let i be 6 - -1 - (-37257)/(-5324). Is i at least -1?
True
Suppose -132 + 396 = 4*o. Let q be o/(-15) - 20/(-50). Which is smaller: q or -2?
q
Let h be ((-19)/(-6) - -1) + (-4)/3. Let c = 14 - 10. Is h <= c?
True
Let d = -5.1 + 2.9. Let r = -2 - d. Let a = 65 + -61. Are r and a non-equal?
True
Let u be (3 - 1 - -2) + 2. Suppose 4*i + u = 18. Suppose 0 = i*t + t. Does -2/35 = t?
False
Let z = 25 - 3. Suppose -7*s = -9*s + 3*u + 52, 0 = -3*u - 12. Which is greater: s or z?
z
Let m be (-4)/30*30/(-10)*35. Which is smaller: 53/4 or m?
53/4
Let y be ((-36)/(-16))/(5 - (-1876)/(-374)). Which is smaller: y or -139?
y
Suppose 2*v + p = 3*p - 118, v + 4*p + 44 = 0. Let z = v + 54. Which is greater: -3/5 or z?
-3/5
Suppose c + 3 = -2. Let q(p) = 48*p + 477. Let k(u) = 7*u + 68. Let w(l) = 27*k(l) - 4*q(l). Let n be w(-23). Is n at least as big as c?
True
Let x = -11 + 14. Suppose -5 - 1 = -v + x*h, -3*v = -5*h - 6. Let t(s) = s + 5. Let p be t(v). Is p bigger than 1?
True
Let w = 38680/357 + -1884/17. Let y = w - -22/7. Let v be (-4)/(-6)*(-6)/(-2). Which is bigger: v or y?
v
Let b = -18 - -25. Which is smaller: -6 or b?
-6
Let r = 75.02 - 77. Let o = r - -1.6. Let g = o - -0.28. Which is bigger: g or 2/15?
2/15
Let g be (((-36)/(-208))/(-3))/(-4). Which is greater: 1 or g?
1
Suppose -5*z - 4*c + 123 = 5, -5*c - 15 = 0. Let n be (424/z)/4 - -1. Which is bigger: 6 or n?
6
Let w be 2 - ((-34)/18 + 0). Let o = w - -88/9. Is 13 < o?
True
Suppose 3*u = -p - 9, 0 = -3*u + 7 - 19. Suppose -16 - 29 = p*f. Let n = -12 - f. Is 3 < n?
False
Let c = 47 - 47.1. Is -5 at most c?
True
Suppose 0 + 12 = 3*q. Suppose -y - 2 = 4*x + 10, 5*y = -q*x - 44. Are -7 and y non-equal?
True
Let a(p) = p**3 - 3*p**2 - 6*p + 4. Let b be a(5). Let k(f) = -11*f + 11*f + f + 21. Let z be k(4). Is b equal to z?
False
Let j be 1/((12/(-9))/(-4)). Suppose c + 4*f - 33 = 0, 5*c - 2*f = j*f + 190. Which is greater: 36 or c?
c
Let h(f) = f**3 + 11*f**2 - 64*f - 54. Let b be h(-15). Is -16.2 greater than b?
False
Let w(j) = -3*j**2 - 27*j - 4. Let r be w(-9). Let c(n) = -n**2 - 2*n - 3. Let s be c(-2). Is r greater than s?
False
Suppose 5 = 4*h - 7. Suppose 0 = 3*d + 4*r - 80, -2*r + h + 47 = 2*d. Is d < -1/3?
False
Let u = -849 - -851. Which is smaller: u or 14/27?
14/27
Suppose 4*y - y = 3*w + 117, w + 49 = -4*y. Is -44 at least w?
False
Let n = -58 - -57. Which is smaller: 10 or n?
n
Let h = 8 + -9. Is 3/14 at most h?
False
Let p(f) = -f**3 + 6*f**2 + 2*f + 2. Let l be p(6). Suppose 2*r = -3*y + 4*y - l, 0 = -4*r + y - 26. Which is smaller: r or -5?
r
Let a be (-114)/(-171) + (-12)/99*4. Which is smaller: -8/13 or a?
-8/13
Let t be 0 + 0/((-6)/2). Let f = -5207/9 - -578. Which is smaller: f or t?
f
Let q(z) = z**2 - 16*z - 15. Let k be q(18). Let a be 2/2 - 8/(-1). Let m be ((-10)/7)/(a/k). Are -3 and m nonequal?
True
Let c = -1.129 + 47.129. Which is smaller: c or 0.9?
0.9
Suppose -204*u - 68 = -202*u. Which is greater: -40 or u?
u
Let l(f) = -2100*f. Let z be l(-2). Let h be ((-398)/z)/(-9 + 7). Let t = h + -1/175. Is t greater than or equal to 0?
True
Let f = -17.3949 - -17.4. Is f not equal to -1?
True
Suppose -45*r + 47*r - 320 = 0. Is 159 greater than or equal to r?
False
Suppose -16 = -5*w - 2*d, 5 = 2*w - d - 5. Suppose -3*l + w = -5*i, -i - l = i + 6. Which is smaller: -1 or i?
i
Suppose -5*h + 2*y = -62, -4*h - 2*y = -6*y - 52. Let r = h - 21. Is r bigger than -7?
False
Suppose 5*d = 4*c + 108, 3*d - 2*d + 27 = -c. Let p = c - -22. Suppose -n + 3*s - 16 = 0, s - 4 = n + 2*s. Which is smaller: n or p?
n
Let n be (2/5)/(7/35). Let s be ((-36)/(-24))/(6/16). Is n at most s?
True
Suppose -3*t - 4 = 2*g, -3*g - 1 - 5 = t. Let h be t - (2 - 3/(-3)). Do -2 and h have different values?
True
Let d = 2.4 + -2.9. Let u be 2/(-1) + (-14)/(-6). Is u equal to d?
False
Let u be ((-4025)/15 + -1)/(2/6). Let j = u + 55751/69. Which is smaller: 1 or j?
j
Let f = -0.05 + -0.05. Let r = 0.2 - f. Which is bigger: r or 1/9?
r
Suppose 16 = 2*z - 4*z - 4*h, 0 = -2*z - 3*h - 12. Suppose -u - 3*l - 1 - 4 = z, -3*l - 17 = -2*u. Is 0.1 smaller than u?
True
Let r(n) be the first derivative of -5 + 1/2*n**2 + 0*n. Let t be r(0). Which is bigger: t or 2?
2
Let o(v) = -2*v**3 - 2*v**2 - v. Let h be o(-1). Let p = 8/9 - 34/39. Which is greater: h or p?
h
Let a = 28 + -24. Which is greater: 8 or a?
8
Let q = 1421 - 2516. Let y = 12063/11 + q. Is 1 at most as big as y?
True
Let v be 3*(-4 - 4/3). Let z = v - -16. Which is bigger: 1/58 or z?
1/58
Let q = -392.08 - -384. Let p = q + 14.95. Let a = -0.13 - p. Which is bigger: 0 or a?
0
Suppose n - 3 = 2*j, 0*j + 38 = 2*n + 4*j. Let h be 2 - (-2 + 2 + 0). Let l be 79/7 + h/(-7). Is n < l?
False
Let p be 2 + (82*8766)/(-4). Let u = -33610127/187 - p. Let o = 354/11 + u. Which is bigger: o or 2?
2
Let g = -749/2 + 375. Is 100 > g?
True
Let j(n) = -2*n - 7. Let u(g) = g**2 + 8*g - 12. Let s be u(-9). Let q be j(s). Let t(c) = -7*c**3 + 2*c**2 + c - 1. Let x be t(q). Which is smaller: x or 8?
x
Let j(o) = 15 - 6 + 2*o**2 + 9*o - 3*o**2 + 3*o**2. Let f be j(-5). Is f less than or equal to 14?
True
Suppose 0 = 6*y + 4*y + 350. Is y less than -26?
True
Let l(i) = i**3 + i**2 + i + 2. Let p(f) = f**2 - 5*f - 8. Let j be p(6). Let r be l(j). Let n be (1/(-11))/(r/16). Is n less than 0?
False
Suppose 0 = 16*o - 19*o - 189. Is -4 at least o?
True
Let g = -20085122692082869/60986993364 + -7/1150697988. Let t = g + 350211772415/1063392. Let b = t + -3/608. Which is smaller: b or 1?
b
Let o = 2.707 - 0.007. Let y = -5.5 + o. Let r = 0.8 + y. Which is greater: 2/3 or r?
2/3
Let d be ((-72)/(-6))/2*5/(-2). Let t be (11/(99/6))/((-1)/d). Which is smaller: t or 72/7?
t
Suppose -5*t - 5*g = -6 - 24, -2*g = -t + 12. Suppose -4*v + 3*p + p = -t, -2*p - 16 = -5*v. Suppose -v = s - 2. Is s greater than 0.01?
False
Suppose 4*k = -5*g - 15, 3*g + 15 = -3*k + 3. Is g not equal to -3/118?
True
Suppose -11 = 5*w - 6. Let k be 125/30 + w/6. Suppose f - 3*c + 3 - k = 0, 3*f = 5*c - 17. Is f equal to -13?
False
Let j = 0.4 + 0.6. Let w = -25.38 - -25. Let u = w - 0.22. Is j at least as big as u?
True
Let y = 26 + -12. Let n(o) = 16*o**2 - 1. Suppose -s + k - 7 = 2*s, -5*s - 25 = -5*k. Let m be n(s). Which is greater: y or m?
m
Let h = -11/3 + 64/15. Let q = 61 + -60. Is q at most as big as h?
False
Let v be 1/5 + 1044/(-45). Is -22 < v?
False
Let y = 788 - 787. Is -1/6 less than y?
True
Suppose 5*k = -5*a - 40, -64 +