 -2). Which is bigger: y or -2/3?
y
Let x(p) = p**2 - 4*p - 7. Let q be x(5). Suppose -2*c + c - 3 = 0. Let y = q - c. Which is smaller: 2 or y?
y
Let q = -41/4 - -1525/148. Let m = -40/629 - q. Which is smaller: m or -1?
-1
Let p = 53 + -584/11. Suppose -5*b + 4 = -5*i - 11, -5*b = 3*i + 9. Let j = -3 - i. Which is smaller: p or j?
p
Let q be (26/(-4))/(1/(-2)). Which is smaller: -1 or q?
-1
Let d be -2*(-1 + 1 - (-4)/(-4)). Is 12/11 greater than d?
False
Let b be ((-2)/(-3))/((-6)/(-36)). Let j be 2/3*18/b. Suppose -2*u + 13 = -2*t + j*u, 0 = -2*t + 4*u - 12. Is t < -4?
False
Suppose 2 + 0 = y. Is y at most 11/5?
True
Suppose 7 = -4*b - 9. Let s(l) = l**3 + 5*l**2 + 3*l + 4. Let i be s(b). Do i and 0 have the same value?
False
Let r = -0.02 - -0.02. Is r greater than or equal to -0.6?
True
Let j = 1.5 + -2. Let t = -1.5 - j. Let g = 1 + t. Is g <= 3?
True
Let s be (-7)/(-9)*4/14. Suppose -3*g = 5*u + 8, 5*u = u - 4. Let y = g - -2. Which is greater: y or s?
y
Suppose 0 = 3*v + 5*b - 20, v - 2*b = 3*v - 8. Let r(g) = 3*g - 17. Let u be r(6). Let l = u - v. Is -0.4 != l?
True
Let t = 4 + 3. Is 11/2 < t?
True
Let w = -1 + 3. Suppose -w = -4*j - 6. Let l be (j - 2)*2/(-6). Which is greater: l or -1?
l
Let w = -41 + 29. Let k = w + 11.9. Is k at least 0.14?
False
Suppose 0*p - 3 = c - p, -4*c = -p + 3. Suppose c = 3*z - 12, q + 0*z + 2*z - 10 = 0. Let d = q + -3. Is d less than -1/2?
True
Let n be (-26)/(-10) - 6/(-15). Suppose -1 = n*r - 4. Is r smaller than -2/7?
False
Let a = 490 - 20092/41. Which is bigger: a or -1?
a
Let m be 0 - 69*(-1)/7. Let p = m + -883/91. Is -0.4 less than p?
True
Suppose 0 = p - 0 + 3. Let l = 235 - 235.1. Which is greater: p or l?
l
Let w = -7 + 3. Suppose 3*s + s = -16. Is w at most s?
True
Let a be (10/45)/((-4)/6). Which is greater: a or 143?
143
Suppose -m = 2*m - 51. Let i = m + -53/3. Is i < 0?
True
Let d be (-16)/(-20)*-21 + 4. Which is greater: d or -12?
-12
Let n be (1 - (-4)/(-5))/((-4)/(-10)). Which is smaller: 10 or n?
n
Let i be -5*-2*(-2)/(-30). Let a = -1.99 - -2. Let s = a - 1.01. Do i and s have the same value?
False
Let f(d) = 3*d + 3. Let p be f(-3). Let v(o) = o + 7. Let l be v(p). Let t be 0/((0 + l)/1). Is -2 != t?
True
Let y be -5*6/(-5)*-1. Let k(c) = 1 + 3 - 3*c + 4*c. Let u be k(y). Is u greater than or equal to -2?
True
Let j(n) = -n**2 - 13*n + 11. Let d be j(-13). Is 11 bigger than d?
False
Let d(k) = -k**2 - 7*k - 2. Let f be d(-5). Let x be (-2)/f + (-9)/(-4). Suppose x*s - 2*i + 5 = -i, -3*s + i - 6 = 0. Are s and 0 equal?
False
Let p be (27/18)/(1 + 0). Is 1.3 at most as big as p?
True
Let f = -15 - -23. Is f >= 9?
False
Let k(h) = -h**3 + 18*h**2 + 20*h - 19. Let x be k(19). Which is smaller: x or 3/128?
x
Suppose 7 = -z + r - 1, 0 = -3*z - 2*r - 34. Let h = 7 + z. Let d = -4 - -1. Is d < h?
False
Let h be -2 + 1 + 0 - 0. Let z = h + 11. Let t be (-4)/(-2) - 14/z. Is 1 less than t?
False
Let j be (1 + 0)*3/(-10). Let f(l) = l**2 + 8*l + 11. Let q be f(-6). Which is smaller: j or q?
q
Suppose 0 = -k - 2*k - 9. Let n(a) = a**3 + 2*a**2 - 3*a - 1. Let j be n(k). Let z be 16/(-12)*3/j. Is 5 > z?
True
Let y = -25 - -29. Which is bigger: 1 or y?
y
Let q = 4 + -3. Let m be -1 - -1*(-2 - -1). Let a be m - (-7)/4 - 0. Which is bigger: q or a?
q
Let t(q) = -q**3 + 7*q**2 + 6*q - 1. Let n be t(8). Which is smaller: n or -16?
n
Suppose 12 + 15 = -4*r - 5*y, -2*y = -2*r. Let c(z) = -z + 16. Let t be c(12). Let f = t + r. Is 2/9 <= f?
True
Let b(t) = 16*t - 70. Let f(n) = -3*n + 14. Let d(w) = 2*b(w) + 11*f(w). Let l be d(8). Suppose l*h - h = 0. Which is greater: h or 2/13?
2/13
Suppose 3*w + w - 3*q = -11, -2*q + 10 = -4*w. Let c be (w - 1)*(-2)/(-3). Let m = c - -3. Is m equal to 1/4?
False
Let o(d) be the first derivative of -d**3/3 - 5*d**2/2 + 5*d - 2. Let s be o(-5). Is s smaller than 5?
False
Suppose 0 = -5*v - 1 - 39. Let h be (-2)/8 - (-14)/v. Let q = -4 - h. Which is bigger: q or -1?
-1
Let x be 2/(-5)*1*5. Suppose 0 = 5*c - 0*c + 20. Let w be (6/4)/(3/c). Is x equal to w?
True
Let f = -5.6 - -6. Let u = -37.6 - -37. Let h = f - u. Which is smaller: -1 or h?
-1
Let c = 0.07 + -0.05. Let q = 1.98 + c. Let h = q + -1. Which is smaller: -1/4 or h?
-1/4
Let u be (-4)/(-6) - 3/(-9). Suppose y + 2 = 4. Which is bigger: y or u?
y
Let c(x) = x**3 - 6*x**2 + 6*x - 5. Let i be c(5). Does -3/14 = i?
False
Suppose 7*d - 7 = -28. Is d greater than -0.1?
False
Suppose 0 = 2*f + f. Suppose j + j + 2 = f. Is j >= 1?
False
Let g be ((-93)/36 - -2) + 3/(-18). Do 0 and g have different values?
True
Let b be 10/((-3)/(-3 + 6)). Let z be 10/52*b - -2. Which is smaller: -1 or z?
-1
Suppose -5*z + 6 + 99 = 0. Let w be 4/(-3) + 14/z. Which is smaller: w or -1?
-1
Let z = 10/303 + -20321/606. Which is greater: -1 or z?
-1
Let d(s) = -s**2 - 3*s + 29. Let o be d(-7). Is o at most 10/13?
False
Let k be (-1237)/1386 - 15/(-35). Let z = -3/154 - k. Is 0 smaller than z?
True
Let g(j) = 5*j - 7 + j - 5*j. Let n be g(7). Let r = -9 - -11. Which is bigger: n or r?
r
Let d = 2 - 11. Let c be 4/6*d/12. Suppose -3*n + 2 = n + 2*i, 3*n - i + 6 = 0. Is n != c?
True
Let j be (-3)/4*(-1520)/54. Let k = j + -21. Which is greater: 1 or k?
1
Suppose l = 3*h - 2, 2*h = -3*h - 5*l - 10. Do -2/35 and h have different values?
True
Let c = 22 - 21. Which is bigger: 2/23 or c?
c
Suppose -6 = 2*x + x. Let k = 2 + x. Let t = 3 + k. Is 0 <= t?
True
Let j = 15 + -22. Let h be (-9)/(-6)*2*5. Suppose 3*d - 3*o + h = 0, -3*d - o - 19 = -2*o. Does d = j?
True
Let n = -1 - 2.2. Is -2/7 smaller than n?
False
Let u(q) = -q - 5. Let s be u(-6). Suppose -5*h = -5*d, -2*h - 7 = s. Let r be (-1)/d + (-2)/(-56). Which is smaller: r or 1?
r
Let n be 3 + -2 + -2 + -2. Let l = -4 + 6. Suppose j + 0 = -l. Is n at most j?
True
Let j be 4/(-152)*(-3)/(-8493). Let n = j + 13662601/20977710. Let a = n - 2/39. Which is bigger: 1 or a?
1
Let y = 8 - 6. Let h = 5 - y. Let i be (-3)/(24 - 3)*h. Is i greater than or equal to -2?
True
Let c = -1.2 - -0.2. Let z = c - -1.3. Let t = z - 0.3. Is -1 >= t?
False
Suppose -3*s - 4*k = 45, -s = 3*k + 11 + 4. Which is smaller: -17 or s?
-17
Let w(j) = j**3 - 9*j**2 - 9*j - 13. Suppose -15 = -3*b + 5*c - 0, -5*b + 53 = c. Let z be w(b). Are z and 0 unequal?
True
Let i be (1/2)/((-42)/12). Is i smaller than -1?
False
Suppose 4 + 4 = d. Let c(j) = -j + 7. Let q be c(d). Let a be 1 + q - (-2)/5. Which is smaller: a or 1?
a
Let k = -38.8 + 39. Which is greater: k or -2.9?
k
Let m(a) = a**2 + 19*a + 1. Let z be m(-19). Which is bigger: z or -1/49?
z
Let i = 51 - 54. Is -7 smaller than i?
True
Let v be -5 + (-7)/((-21)/(-6)). Is -6 less than v?
False
Let a = 3.19 + -3. Which is smaller: -0.2 or a?
-0.2
Let z be 1/4 + (-76)/(-16). Suppose 3*d = -z*y - 34, 3*d = 4*y - 3*y - 4. Which is bigger: 0.1 or y?
0.1
Let v be (-1 + 4)*(-4740)/99. Let n = 144 + v. Is 0 less than n?
True
Let r be (10/(-6) - -1)/(1/45). Do r and -61/2 have different values?
True
Suppose 2*w + 0*w = 4*l + 8, -w - 2*l = 4. Which is smaller: 4/3 or w?
w
Let y = 30 - 29.87. Let n = -6.13 + y. Let a = n - -9. Which is smaller: -1/4 or a?
-1/4
Let l = 0.09 - 0.19. Let h = l + 1.1. Let q(t) = -t**3 - 2*t**2 - 2*t - 3. Let o be q(-2). Is h bigger than o?
False
Let w = -15 + 14.8. Which is greater: w or -0.5?
w
Let s be (-8)/(-20) - (-4)/(-10). Let w(o) = 7 + 8*o + 2*o - 6*o**2 - 2*o - o**3. Let l be w(-7). Is l at least as big as s?
True
Let r = -7 + 2. Let j = r - -8. Let k = j + -3.1. Does 2 = k?
False
Let b be ((-4)/8)/(7/6). Which is smaller: b or 1?
b
Let h = -1.5 - -2.5. Let w = -0.1 + 2.1. Is h > w?
False
Let m be 6/(-4)*3/(-9). Which is smaller: m or 2?
m
Let v be (-3 - 12/(-3)) + 2. Suppose 2*d - 20 = -v*d. Is 4 != d?
False
Suppose -3*z + 6 = -z. Suppose 2*x = b + z, 5*x - b = -3*b + 3. Which is bigger: 2/37 or x?
x
Let g = 1.4 - 0. Let y = 0.6 + g. Which is greater: y or -0.1?
y
Let f be (522/(-60))/(12/(-10)). Let x be (237/30)/(12/(-10)). Let z = f + x. Do 2 and z have the same value?
False
Suppose 3*z = 2*n + 7, -4*n + z - 42 = -13. Which is smaller: n or -4?
n
Let h be ((-6)/4 + 1)*2. Let f be ((-2)/(-40))/((-10)/(-75)). Which is smaller: f or h?
h
Let m = -0.09 - 6.91. Let z = 9 + m. Is z greater than 0.4?
True
Let k = 0.8 - 0.9. Let a = 0 - k. Is 6