be (-1)/(10/(-8)*(-4)/3). Which is smaller: b or u?
u
Let q be (1 - -19)*(-10)/(-225). Which is greater: q or 0?
q
Let r be (-12)/9*(-7)/126. Let j = 3 - 4. Is r < j?
False
Let r = -25.2 - -25. Which is smaller: r or 65?
r
Let t = -2459 - -248361/101. Let p = -307/202 + t. Let n = -3 + 3. Is p bigger than n?
False
Let n = 5.13 + -0.13. Let t = n + -6. Let o = t + 0.9. Is 3/7 >= o?
True
Suppose f = -3*f + 8. Is f greater than 3?
False
Let q = -27 - -14. Which is smaller: -12 or q?
q
Let v = 403 - 8461/21. Let j = 5 - 5. Is v equal to j?
False
Let o be (-3)/30*-4*-10. Let t = 0 + o. Is t less than -4?
False
Suppose 57 + 103 = 5*j. Let z be (-188)/j + 2 - -3. Is -1 greater than z?
False
Let h(o) = -o**2 - 5*o + 6. Let d be h(-6). Suppose 3*a + 3*c + 11 = c, -5*c = -5*a + 15. Which is bigger: a or d?
d
Let x = -23612 - -213041/9. Let j = 59 - x. Which is smaller: j or 1?
j
Suppose -3*d - 3*w - 3 = 0, -d + 1 - 6 = 2*w. Let t(g) = -2*g**2 - 4*g - 3. Let k be t(-2). Let z = d + k. Is z at most as big as 2/5?
True
Let t = -6.4 + 7. Let v = -0.46 + 0.06. Let m = v - t. Which is greater: 1 or m?
1
Let r = 13 - 14. Are r and 2/27 equal?
False
Suppose -7*j = -12*j + 10. Which is greater: 9/14 or j?
j
Let r be 5/(-2)*4/(-10). Is 1/186 at least as big as r?
False
Suppose 5 = 2*s - r + 2*r, -4*r = 5*s - 17. Let k be -2 - (0 - 2/4). Let g = s + k. Is -0.2 < g?
False
Suppose 3*q + 12 = 3*w, 10 = -6*q + q. Suppose 3*z + 0*h - 24 = w*h, 0 = -4*h + 12. Let c be z/(-6)*(-2)/(-15). Is 0 at most as big as c?
False
Let d be (-8)/44 + 38/(-33) + 1. Is -3 at least d?
False
Suppose 4*n = -5*l + 209 - 69, 140 = 4*n + l. Which is smaller: n or -1/4?
-1/4
Let a be (3/(6/(-4)))/(-2). Suppose -3*x = x. Is x >= a?
False
Suppose 0 = -5*q + 7 + 3, -3*q + 16 = 5*l. Suppose j + l = -0*j. Is -3 at most j?
True
Let k be 1 + ((-36)/14)/3. Let l(s) = -s**3 - 7*s**2 - s - 7. Let z be l(-7). Is k >= z?
True
Let h(t) = -t**3 - 11*t**2. Let v be h(-11). Let k be (-2)/13 + (-35)/364. Is v != k?
True
Let u = -37 + 42.4. Let d = 5 - u. Let t = -0.6 - d. Which is bigger: 1/2 or t?
1/2
Let c = 1914/7 - 274. Let s be (2 - 1)/(-1) + 6. Let v = -6 + s. Is v at most as big as c?
True
Let b be (-4903)/77 + (-4)/22. Let h = 64 + b. Which is smaller: 1 or h?
h
Let a = 115693/45 - 2575. Let f = a - -40/9. Which is bigger: f or 1?
1
Let c = 3 + -4. Let v = -30 + 30. Which is smaller: v or c?
c
Let a = -20.1 - -2.1. Let o = 25 + a. Let c = -6.9 + o. Is c greater than or equal to -1/4?
True
Let w = -1/83 - 157/747. Let z(m) = -m**2 + 4*m. Let x be z(4). Suppose x = -4*v - 3 - 1. Are v and w unequal?
True
Let v(w) be the second derivative of w**4/12 - 5*w**3/6 + 3*w**2 - 2*w. Let g be v(4). Let t be (1/(-3) - 1)/(-2). Which is bigger: g or t?
g
Let l(f) = f**2 - 7*f + 1. Let c be l(7). Let k = -4 + c. Suppose 0 = -4*n + 3 - 11. Which is bigger: n or k?
n
Let h be -4*2/(-8)*2. Suppose -3*l + 4*u = 20, 5*l - 5*u + 9 = -16. Suppose 4*a - 8 = -l. Are h and a equal?
True
Suppose -4*s = -0*s + 24. Is -6 != s?
False
Suppose 0 = b + 3*b. Suppose -4*d + 3*d = b. Suppose 2 - 3 = -q. Which is greater: q or d?
q
Suppose -3*w - 2*o = -39, 0*o - 26 = -2*w + 5*o. Do w and 25/2 have different values?
True
Let w = 8/77 - -2/11. Which is smaller: 1/3 or w?
w
Let d be 5 + (0 - -1 - 1). Suppose x + 3 = 0, -p + d*p - 5*x = -1. Let s = p + 1. Is -3 greater than s?
False
Let t(c) be the first derivative of c**2/2 + 8*c + 3. Let s be t(-7). Do s and 4/5 have the same value?
False
Suppose 4*c = -2*q - 34, -c + 2*q - 2 = -6. Suppose 2*m = t + 4*m - 3, -m = t - 4. Let p = c + t. Which is greater: p or -2/21?
-2/21
Suppose 4*w + 1 = -3. Is 2/21 > w?
True
Suppose -2*g = -4, 4*m + 8 = 3*g - 2. Let q = 59/56 - 13/14. Which is smaller: q or m?
m
Let r = 2.9 + -3. Let j be 6 + 1 + (1 - 4). Suppose 0 = -j*k - 9 + 1. Is k less than r?
True
Let t = -26 - -79. Is t not equal to 52?
True
Let s = -5 - -4.97. Let b = -1.23 - s. Is b greater than or equal to -1?
False
Suppose -4*r + 6 - 2 = -4*j, 27 = 2*r + 3*j. Let z(c) = -c**3 + 6*c**2 - 3*c + 7. Let s be z(r). Let k be 2/2*2/s. Is -1 > k?
False
Let t = -7144/11 + 650. Suppose 4 = 5*f - 3*f. Which is smaller: f or t?
t
Let x(o) = o + 15. Let m be x(-8). Is 7 at least m?
True
Let t = 38/27 - 172/135. Let p be 7/5 - (-2)/(-5). Is p >= t?
True
Let i = 6/5 + -93/65. Which is smaller: i or 0?
i
Let b(l) = l**2 - 7*l. Let m be b(7). Let o = 108 + -973/9. Is m <= o?
False
Let d(u) = -u**3 - 2*u**2. Let b be d(-3). Which is greater: b or 17/2?
b
Let y be 96/15 + (-2)/5. Suppose y - 3 = 3*d. Do d and 1/5 have the same value?
False
Let i be 50/325*1/6. Which is smaller: 0 or i?
0
Let b be 3 + 5/((-15)/12). Let g be (-4)/3*9/5. Which is smaller: b or g?
g
Suppose 2*b + 12 = 10. Suppose -n + 27 = 2*n + 3*h, n + 5*h - 5 = 0. Let a be 4/6 - n/6. Are a and b unequal?
False
Suppose 3*v - 3*x = -48, 3*v + 3*x = 5 - 59. Are v and -17 equal?
True
Suppose -10 = -3*x + 2*x. Let o be (x/(-4))/5*-1. Which is bigger: 0 or o?
o
Let f = 24 - 27. Which is smaller: f or -5?
-5
Let g = -1.5 + 1.7. Let o = 0.25 + -0.3. Let s = o - -0.45. Is s < g?
False
Suppose -2*s - 8 = 2*s. Which is smaller: 0 or s?
s
Let u be ((-6)/8)/(2/(-8)). Suppose 2*h - 5*j = 26, -4*h + j + 4 = u*j. Let d = 14 - 10. Which is smaller: h or d?
h
Let b(x) = -x + 1. Let u be b(-5). Suppose -u = -n - n. Suppose -2*c - n = -1. Is -2 greater than c?
False
Let w be 568/32 - 15/(-12). Which is smaller: w or 16?
16
Let a = -6 - -8. Suppose -f - 1 = -a*f. Let n be f/(((-4)/(-2))/2). Which is smaller: n or 1/5?
1/5
Let p = 548/11 - 50. Suppose -3*o + 4 = -7*o. Are o and p non-equal?
True
Suppose 13 = 2*i - 5*z, -i + 4*z + 5 = -3. Suppose m + 6 = i*m. Which is smaller: m or 3?
m
Let p = 6 - 21. Let b = p - -15.1. Let s = 2.96 + 0.04. Which is smaller: b or s?
b
Let w be 0/(3*(-4)/6). Suppose -2*h + w = 2. Let g = 742/33 - 68/3. Which is bigger: h or g?
g
Let c be 6669/2310 - 4/10. Let o = c + -17/22. Is 2 smaller than o?
False
Let n = -0.2 + 0.19. Let h = -0.99 + n. Is h at most as big as -0.3?
True
Let y(z) = 3*z**2 - 4*z - 4. Let h be y(-4). Let u be (-3)/5 + 6/h. Is 0.2 greater than or equal to u?
True
Suppose 7*b - 3*b = 0. Let x = -3 - b. Is -3 less than x?
False
Suppose k - 6 = u, -2*k + 5*k - 6 = -u. Let y be 2/(-7) + 30/7. Which is smaller: y or k?
k
Let m = -3 + 2. Suppose 8*i + 5 = 3*i. Let v = i - m. Is v >= 1?
False
Let h = -494/791 - -6/113. Let c = 5 - 4. Which is bigger: c or h?
c
Suppose 0 = -s + 5*s. Suppose 44 = 2*b + 4*q, -b + 77 = 3*b - 3*q. Let t be 8/b - 16/15. Is s bigger than t?
True
Let k(p) = p - 5. Let j be k(5). Let n be (-10)/(-15)*(-99)/6. Let b = n + 10. Which is smaller: j or b?
b
Let t be -34 - (0 + 1)*(6 + -5). Is -35 >= t?
True
Let t(d) = 4*d + 1. Let f be t(1). Suppose -4*i + 7 = -f. Suppose 0*o = -i*o. Are o and 1 nonequal?
True
Let d = -2.3 + 3.4. Let c = 1 - 1.1. Let b = d + c. Are b and -1 equal?
False
Let a = -17 - -16. Is -3/10 at most a?
False
Let q be (3 - 6)/(-1 + -2). Let r be 2/q - 3/1. Which is bigger: r or -2?
r
Let t be 2/(-3)*3/9. Let z = -27 - -28. Which is smaller: z or t?
t
Suppose 0 = 4*s - s. Let j be 60/28 - (-2)/(-14). Which is bigger: s or j?
j
Let n be 2/5 + (-21)/165. Which is greater: n or 0?
n
Let v = 13 - 15. Let k be v/(-8) - 7/12. Are -1 and k equal?
False
Let c = 1.448 - -6.274. Let j = -0.178 - c. Let q = -8 - j. Is q at least as big as 0.1?
False
Let a(n) = 2*n**2 + 4*n + 1. Let g be a(-3). Let w = g - 2. Is w < 5?
False
Let s be 0*(0 + (-1)/(-3)). Suppose 5*c - 9 = 4*m, s = -2*m - m - 3*c. Is m greater than or equal to 2/5?
False
Suppose -v - 3*b + 7*b = -13, 2*v = -2*b - 14. Is -1 bigger than v?
True
Let v(d) = d**2 - 5*d. Let b be v(4). Is -2 > b?
True
Let b = -15 + 15.9. Let x = -0.6 + b. Is 0 less than or equal to x?
True
Let s be 0*(-1)/(-2)*1. Let b(z) = z**2 - 10*z + 20*z - 1 + s*z**2 + 0*z**2. Let q be b(-10). Is -1/4 at most as big as q?
False
Let r be 6/(-4)*(-1702)/(-69). Which is greater: r or -36?
-36
Suppose -x = 2*x. Let o be 1/(5/(0 + 5)). Is o equal to x?
False
Let s(w) = w**3 + 7*w**2 - 9*w - 9. Let l be s(-8). Let v = 14 - 21. Let h be ((-2)/v)/((-24)/(-14)). Are h and l equal?
False
Suppose 4*p + 5 = -p. Let y be (36/(-42))/(p/7). Let x be (0 + 4/y)*-3. Is x at leas