?
True
Let l = 5 - -1. Let s be (l/5)/(12/30). Are 3 and s equal?
True
Let n(l) = l**2 + 7*l + 4. Let o be n(-6). Suppose 5 + 11 = -4*s. Let a = -6 - s. Is a smaller than o?
False
Suppose 29 + 21 = -5*d. Does -7 = d?
False
Suppose 4*y - 7 + 19 = 0. Let r(p) = p**3 + 6*p**2 - 6*p + 3. Let x be r(-7). Is x at least y?
False
Let w(x) = x**3 + 5*x**2 + 2*x - 2. Let q be w(-2). Suppose 0 = 2*o - q - 0. Let v be (0 - 2) + o + -3. Is -3 equal to v?
False
Let f = -0.08 - 0.22. Let k = f + 0.22. Which is greater: -1 or k?
k
Let j(g) = -g. Let a be j(1). Let y be -2*a/2*1. Let h = 65/42 + -11/6. Which is bigger: h or y?
y
Let x(d) = -2*d**3 - 2*d**2 + 2*d + 2. Let k be x(-2). Suppose 0*t + 3*t - k = 0. Suppose -4 = -3*s + t*s. Is 5 > s?
True
Let r = 289 + -1149/4. Let g = 2 - r. Which is smaller: g or 1?
g
Suppose -2*g - 12 = 2*g + m, -2 = -5*g + 3*m. Let s be (22/7)/(5/35). Let w = s - 24. Is g greater than w?
False
Suppose 26*n = 30*n + 4. Is 1/12 greater than or equal to n?
True
Let j be 1/(67/33 + -2). Suppose -4 - j = q. Let k = q - -149/4. Which is smaller: 0 or k?
0
Let i = 32 + -225/7. Let t = 5 - 5. Which is bigger: t or i?
t
Let d = 0.2 + 0. Let m = d - 0.2. Suppose 2 - 6 = -l. Is m bigger than l?
False
Let u = 0.25 + -0.12. Let x = -0.2 + u. Which is greater: -2 or x?
x
Let v(s) = -s - 11. Let h be v(-10). Let x be (1/(1/1))/1. Let r be 2/(-4) - x/(-2). Is h equal to r?
False
Suppose 0 = 4*v - 6*v - 4. Is -1 at least v?
True
Let v = 1.2 - 0.2. Suppose h + 2*h - 22 = -4*i, -h + 9 = 3*i. Let n be (1 - 3)/((-4)/h). Which is smaller: n or v?
v
Let n = 30 - 30. Is n less than 2?
True
Let h be 4/(-22) - 93/33. Let t = -1 - h. Let j be 0/(-1) - (-1)/2. Which is bigger: j or t?
t
Let v be -22*3/(6*-1). Suppose -4*j - 45 = -8*j + s, 75 = 5*j - 5*s. Is v less than j?
False
Let r be (2/4)/((-4)/(-48)). Suppose r = 4*w - 6. Suppose -10 = -2*i - w*i. Is 2 != i?
False
Suppose -56 = -3*n + 223. Let c = n - 559/6. Does 0.3 = c?
False
Let d be 38/(-30) + (-4)/10. Let c = -98 + 97. Is d < c?
True
Let a(w) = -23*w**2 - 1. Let t be a(-1). Let g be -1 + 3 - t/(-11). Which is bigger: g or -1?
g
Let r be (-45)/(-18)*(-12)/(-10). Suppose -4*y = -o + r*o + 22, 0 = -3*y + 4*o + 11. Does -3 = y?
True
Suppose -5 = 2*d - 7*d. Let i = 3957/10 + -396. Do d and i have different values?
True
Suppose -14*m + 23*m + 81 = 0. Let t = -6 + -3. Is m greater than t?
False
Let g(k) = -k**2 - 2*k - 5. Let z be g(8). Let a be z/25 + (-4)/(-10). Which is smaller: -2 or a?
a
Suppose 5*s = z - 11, -2*z - 31 = 2*z + 5*s. Let q be 0/(5/((-10)/z)). Is 6/11 >= q?
True
Let a(i) = -3 + 2*i + i - 4*i. Let v be a(-6). Let w be (-4)/(-6) - v/9. Is 1/4 < w?
True
Let k = -0.2 + 0.4. Let s = 9 + -8. Let i = -3 + s. Which is bigger: i or k?
k
Let y be (-3 + -1)/(44/42). Let o = -137/33 - y. Suppose -5*k + 4*d - 9 = 0, 6 = -5*k + 2*d - d. Is o greater than k?
True
Let u = 13 + -13. Suppose -25 = -5*x + 3*w + 2*w, 3*x + 5*w + 25 = u. Is -2/25 < x?
True
Let t = -38 - -22. Is t at most -14?
True
Let w = 48.63 + -49. Which is smaller: 1/5 or w?
w
Let g = 751/7 + -107. Let y = 0.21 - 0.2. Let t = -0.21 + y. Which is bigger: g or t?
g
Let m = -310 + 20149/65. Is 0 <= m?
False
Let o be (-2)/8 - (-1)/4. Suppose o - 2 = -t. Which is smaller: 3 or t?
t
Let b = 12 + -7. Let l(t) = -t**2 + 13*t - 13. Let d be l(9). Let j = -18 + d. Is b not equal to j?
False
Suppose 3*d + 12 = -0*d. Does d = -6?
False
Let o be (-2)/(6/1)*3. Let w = -86 - -257/3. Which is bigger: o or w?
w
Let z be 949/9464 + 2/(-13). Are z and 1 equal?
False
Suppose -141 = -2*u - u - 3*p, -8 = 2*p. Suppose 0 = 3*h + 2*h + 540. Let g be u/h - 4/(-18). Which is greater: g or 0?
0
Let o(g) = -38*g - 5. Let z(a) = -13*a - 2. Let v(f) = 4*o(f) - 11*z(f). Let y be v(-1). Which is smaller: -1 or y?
-1
Let t be (-5)/(-6)*(-33)/(-22). Which is bigger: t or 2?
2
Suppose -5*l + 1 = 31. Let v be l/(-70) - (-3)/15. Does 1 = v?
False
Let t be 5145/(-6) + 1/(-2). Let s be 2 + t/15 - -1. Let r = 54 + s. Which is bigger: 1 or r?
1
Let w(n) = -2*n - 4. Let h be 10/6 - 3/(-9). Suppose -6 = 2*p + h, -4*c + 3*p = 0. Let o be w(c). Is o not equal to 2?
False
Let o(x) = -2*x**2 + 3*x + 3. Let l be o(2). Does l = 2/245?
False
Suppose -4 - 2 = -3*b. Let q be 1 - (-4)/b - 9. Which is smaller: q or -0.2?
q
Suppose -3*s - 5*p = 56, 2*s + 30 = -p + 5*p. Which is greater: -31/2 or s?
-31/2
Suppose -4*x - 50 = -2*g, -2*g - 25 = x - 5*g. Which is bigger: x or -9?
-9
Let t be ((-163)/(-8))/((-5)/10). Let b = -41 - t. Is -1 at most b?
True
Suppose 6*c - 11*c + 180 = 0. Which is smaller: c or 35?
35
Let w be -1*8*2/(-6). Let p = -41/12 + w. Let a(i) = i**2 - i. Let o be a(1). Is p > o?
False
Suppose 5*i = i, -10 = -5*p + 2*i. Suppose z + 6 = -4*j, -4*z = j + 4*j + 13. Let l = z + 3. Is p equal to l?
False
Suppose -5*z + 5 = -0. Let n = -1 + z. Which is smaller: n or -1?
-1
Let z = 8 - 11. Let i be 8/(-6) + 2/z. Let p be (7 - 5)*(-2)/8. Is i at least p?
False
Let z = 6.05 - 6. Let k = -0.05 - z. Let o = -1.1 - -5.1. Are k and o unequal?
True
Let f be (2 + -1)/((-18)/54). Is 1 != f?
True
Suppose 4*a - a = 0. Is a greater than 0?
False
Let t(i) = -i - 1. Let g(f) = f**3 - 4*f**2 + 2*f + 2. Let n be g(3). Let j be t(n). Let d = -1 + j. Is d equal to -1?
True
Let t = 0.3 + -0.2. Suppose 13 = 2*v - 3*g, -4*v + 2*g + 5 = -1. Let p = -2 - v. Which is greater: t or p?
t
Suppose -r - 2*r + 34 = -5*q, -r + 8 = -q. Suppose 5*i - 24 + 0 = z, -r*z + 2*i = 7. Which is smaller: z or 7/4?
z
Let x = -847/6141 - -2/267. Is -1 bigger than x?
False
Let h be (-9)/3 + 2/(-5)*-5. Is h >= -9/8?
True
Let c = -46.5 + 51.5. Let y(u) = u**2 + 4*u - 2. Let o be y(-5). Suppose o*w = -w. Is w at least c?
False
Let v be (2/(-3))/(20/390). Is v > -13?
False
Let q be 1*-2*1/2. Suppose b + 2*b = -m - 7, 2*m = 5*b + 8. Is q smaller than b?
False
Let q(a) = -3*a + 1. Let t be q(-2). Let j be (-2)/9 - (-1162)/126. Is j less than t?
False
Let n(j) = -j**2 - j + 23. Let r be n(0). Let u be (-4)/(-6) - r/21. Which is smaller: 0 or u?
u
Let g(v) = -v**2 + 15*v + 1. Let u(a) = -a**2 + 8*a. Let x(c) = -3*g(c) + 5*u(c). Let i be x(-3). Let s(z) = z**3 + 7*z**2 + 5*z - 4. Let o be s(i). Is 1 <= o?
True
Suppose 4*l + 11 = 3*z - 0*l, 4*z = l + 19. Suppose -3 = r + z*y, -2*y - 2*y - 78 = 5*r. Let f be (-13)/r - (-4)/(-8). Which is smaller: -1 or f?
-1
Let r(g) = g**2 + g + 3. Let f be r(-3). Let q be (12/f)/((-2)/3). Let p be q + ((-48)/(-10))/3. Are p and 1 equal?
False
Suppose -4*j - 21 = -7*j. Let g = j - 6. Which is greater: g or 2?
2
Let q = 6 + -7. Does -1 = q?
True
Suppose -i - 2*i + 3*o = -18, i = 5*o + 26. Let w be 3/(-6)*i + 2. Which is smaller: w or -2?
-2
Let t be (1/(-2))/((-7)/56). Let q = -2 + t. Let f be (q/8)/(4/8). Which is smaller: f or -0.1?
-0.1
Let j(i) = -2*i - 16. Let s(r) = 1. Let h(z) = z - 4. Let x(n) = h(n) + 4*s(n). Let o(g) = j(g) + 4*x(g). Let k be o(12). Is 7 at least as big as k?
False
Let m be (21/(-35))/(2/(-10)). Let f be ((-6)/(-10))/(1/5). Does f = m?
True
Let l be 114/51 + 12/(-6). Which is greater: 1 or l?
1
Suppose 0 = -5*a - 2*u - 8, a - 2*a + 5*u = -20. Suppose 7 = -a*h + 2*h - 5*b, 2*h = 3*b + 5. Let j(s) = s**3 + 12*s**2 - 14*s - 12. Let r be j(-13). Is r < h?
False
Suppose 3*f - 9 - 6 = 0. Let k = 7 - f. Let r be -2 + 1 + (-27)/(-15). Is r < k?
True
Suppose 1 - 6 = 5*w. Let t be (w/(-2))/(25/(-10)). Suppose 3*d = 5*m + 5, 5*m + 6 = 4*d + 1. Is d at most t?
False
Let a be 14/2*24/14. Let j be (-1)/4 + 3/a. Let i = -16 - -49/3. Is i >= j?
True
Suppose -5*o + 21 = 6. Suppose -3*i + 12 = 3*i. Suppose i*b - o = 5. Is 4 greater than or equal to b?
True
Let c = 22 + -22. Which is greater: c or 37?
37
Let j = -9 - -10. Let v(i) = i - 1. Let d be v(4). Let h be (1*(-2)/d)/(-5). Which is smaller: h or j?
h
Let y = 3 + 18. Let o = 11 - y. Let q be (-4)/o*1/(-2). Which is smaller: q or 0?
q
Let u = -4 - 2. Let h = u + 5. Let i be -3 + 0 + (h - -3). Which is greater: i or 0?
0
Let a be (-3)/(-1)*(11 - 10). Let b(y) = y**2 - 5*y + 3. Let n be b(a). Is -3 at most as big as n?
True
Let z be (-36)/(-21)*((-84)/(-33))/(-4). Which is smaller: z or 0?
z
Let z(x) be the first derivative of x**4/4 + x**3/3 - x**2 + x + 3. Let w be z(1). Which is smaller: w or 2/5?
2/5
Let h = -3259/95 - -171/5. Is h n