 t have different values?
True
Let f = 4 - 6. Let b be -6 + 4 + (-2)/(-2). Let x be 2*b - (f + 0). Is x bigger than 0?
False
Let p = 8 - 9. Is p <= -1?
True
Let f(l) = 1 - 1 - 5*l**2 - l**3 - 4*l + 1. Let v be f(-4). Let t(b) = b**3 + 2*b**2 - b. Let g be t(1). Is v > g?
False
Let p be (-36)/((-1)/2 - 1). Let q be 0 - 2 - p/2. Let v be 2/7 + 60/q. Are -4 and v nonequal?
False
Let v = 7039/203 + -242/7. Is v less than 1?
True
Let l = 10.2 + -10. Let b be 1*2 - 2/1. Suppose -2*n - n + 3 = b. Which is bigger: n or l?
n
Let s = -1091/306 - -32/9. Is s >= -1?
True
Let i = 3.762 + 0.248. Let h = 0.01 - i. Which is bigger: 2 or h?
2
Let q(i) = i + 2. Let o be q(-3). Let j be (5/30)/(o/(-4)). Which is bigger: j or -1/2?
j
Let a = 2.9 + -3. Let r = 3.9 - a. Let t = 2.9 - 3. Which is greater: t or r?
r
Let r be (-2)/(-14) + 258/(-42). Is r at least as big as -0.1?
False
Let a = -0.5 - -6.5. Let x = a + -6. Which is bigger: x or -2?
x
Let t be (0 + 2 + -1)*4. Suppose -t*w = 3*i + 40, i + 16 = -2*i + 2*w. Is i >= -7?
False
Let j be (-375)/(-20) + 1/(-4). Let y = -19 + j. Which is bigger: -0.4 or y?
-0.4
Let n be -1*(2 + -3)*0. Suppose -h = 5*s + 3 - 5, -s - 5*h - 14 = n. Suppose b = 5 - 3. Is b at least as big as s?
True
Suppose 12 = 2*y - 4*d, 4*y - d - 54 = d. Is 15 < y?
True
Let s = -223/9 - -25. Let p(k) = k**3 - k**2 + k - 1. Suppose 4*b + 1 = -2*v - 3, 2*v = -8. Let f be p(b). Is s at least as big as f?
True
Let b be 1/4*(-7)/7. Let n(l) = l + 3*l**3 - l**3 + 2 - l**3 + 3*l**2. Let j be n(-3). Does b = j?
False
Let c = -169 + 3213/19. Let v be 24/8 + -2*(1 + 0). Which is smaller: c or v?
c
Suppose 6*r - 4*r = 2. Let g be 135/(-350) - 4/(-14). Is r at most as big as g?
False
Let q be 4*(-2)/(-92)*-1. Which is smaller: -1 or q?
-1
Let f = -17 - -21. Suppose -5*p + f*p = -2. Which is smaller: p or 3?
p
Suppose 0 = -0*t - 2*t + 336. Suppose -2*d + 4*d + t = 2*m, -2*d = 4*m + 144. Let y be 2/(-3) + d/(-84). Does y = -1/3?
False
Let n(l) = 8*l - 6*l**2 - 10 + 2*l**2 - 4*l**2 - l**3. Let b be n(-9). Let a be -2 - (-4 - 26/(-12)). Is b at least as big as a?
False
Suppose 3*x = 4*x + 2. Let j be 0/((-3)/1 - x). Is -1 at least j?
False
Let z = 3 - -4. Suppose -z*q = -3*q - 12. Suppose 4*i = -8, -4*t - q*i - 5 = 1. Are 2/3 and t unequal?
True
Let h = 0.4 + 1.6. Let p = h - 1.9. Suppose 3*g - 42 = -4*i - 9, -2*i = -5*g + 3. Is p > i?
False
Let a = 0.02 + 0. Let n = a - 2.02. Is n smaller than -2/7?
True
Let o be (-1 - (0 + -12)) + -2. Suppose -2*y + 5*q = 9, 4*q = 5*y + 5*q + o. Let m be (-21)/(-45) + y/(-10). Which is greater: m or 2?
2
Let z(g) = -g**3 + 8*g**2 - 8*g + 7. Let q be z(7). Let w be (-9)/4 + 2/8. Let o be (-1)/5 + w/(-5). Is q at least o?
False
Let g(l) = -l**3 - 4*l**2 + 4*l + 5. Let v be g(-5). Let s be (-6)/v*(-4 - 1). Let c = 3 - s. Which is bigger: 2 or c?
2
Let a(n) = n**2 - 11*n + 4. Let u be a(5). Let d = u - -27. Are 1/3 and d equal?
False
Let x = 3 - -1. Suppose x*l - 30 = 2*h, l + 0*l + 3 = -3*h. Which is greater: l or -0.1?
l
Suppose -8*b - 4*b = -108. Is b not equal to -2/9?
True
Suppose -4*h - 16 = -3*h + 3*r, 2*r = -2*h - 16. Let y = h - 0. Is y at least -5?
True
Let f(b) = -b**3 - 5*b**2 + 5*b - 7. Let x(r) = -r**2 + 4*r + 6. Let i be x(6). Let d be f(i). Which is greater: 1 or d?
1
Suppose 0 = -5*n - 15, -m + 2 - 9 = 2*n. Let u be (-1)/(-18)*(-6)/(-4). Is u >= m?
True
Suppose -5*a = -22 - 13. Let j be (a/126)/(2/8). Is j <= -1?
False
Let p be 2/(2 + 38/(-2)). Let h(f) = -2*f. Let k be h(-3). Let o be (-3 - (-21)/k)*-2. Which is smaller: p or o?
o
Let s(g) = -g**2 - 1. Let v(u) = u**3 + 2*u**2 + 5*u - 2. Let t(a) = -3*s(a) + v(a). Let i = 1 - 5. Let q be t(i). Is q greater than -3?
False
Let g be (-9)/(-7) + 24/(-84). Do g and 0.13 have the same value?
False
Let q = -36 - -33. Let d = 1/520 - 5203/1560. Which is bigger: q or d?
q
Let o(f) = -f**2 - 8*f - 9. Let h be o(-6). Let m be (h/6)/(2/(-4)). Which is bigger: -5/3 or m?
m
Suppose -2*p + 12 = 4. Suppose -p*g = 4*o + 20, -4*g - 19 - 6 = 5*o. Is o greater than -4?
False
Let l be -8*((-4)/4 + -1). Suppose -5*f = -v + 32, -f + v - l = -4*v. Is f != -3?
True
Let z be 2/(10/25*20/(-6)). Which is greater: 0 or z?
0
Let u be ((-3*4)/1)/(-1). Which is smaller: 11 or u?
11
Suppose -2*q + 3 = -3*z - 6, -2*z - 2*q = -4. Let m be 10/(-12)*(-2)/(-10). Do z and m have different values?
True
Let o = -1.8 - -2.1. Are -2 and o equal?
False
Suppose 5*j - 5 = -0*j. Let p = j + -2. Let u be 1*p/2*-6. Is u less than 1?
False
Let x = 10 - 8. Suppose 7 = 6*c - c + b, -x*b + 5 = c. Which is smaller: 5/7 or c?
5/7
Let r = 1.3 - 2. Let g = r - -0.5. Let m = g - -1.2. Is m at least 1/4?
True
Let d(o) = o + 14. Let s be d(-6). Let p be 18/(-45) + s/(-5). Do p and -2 have the same value?
True
Suppose 2*g + l - 4 = -2*l, 2*g - 4 = -4*l. Suppose -3*h + g*h + 4 = 0. Suppose -5*v + h*k - 15 = 0, 5*v + 0*k - 20 = -3*k. Which is bigger: -2/5 or v?
v
Suppose -4*o - 4*m = -72, 4*m + 4 = -8. Let b = o + -17. Which is bigger: b or 2?
b
Let m = 37/8 + -317/72. Let r be 0/(-1)*(5 - 4). Which is smaller: m or r?
r
Suppose -3*v = 2*b - 4, 3 = 5*b + v - 7. Suppose 3*c = -b*i - 13, -c + 43 = -5*i + 2*c. Is -8 not equal to i?
False
Let j be 16/42 + (-2)/(-7). Let m = -0.5 - 3.3. Let l = m + 0.8. Is j greater than or equal to l?
True
Let u be (-14)/(-25)*(30/8)/(-3). Is 0 less than u?
False
Let d be (120/(-18))/(1/(-6)). Suppose -5*s - 15 - 18 = 2*w, -5*w = 4*s + d. Is -5 at most as big as s?
True
Let w = 233/7 - 33. Let k be ((-4)/14)/(3/(-7)). Does w = k?
False
Let k = -726/203 + -4/29. Is -3 <= k?
False
Let f = 50 + -29. Is f < 0?
False
Let f = -163/2 + 83. Let a = 1 - 1. Let k be (a/(-2))/3 - -2. Are f and k unequal?
True
Let l = -0.2 - -0.3. Let d = -18.7 + 19. Are l and d non-equal?
True
Let l = -36.9 - -37. Is -2/85 equal to l?
False
Let b = -474453/155 - -3061. Are b and 0 equal?
False
Let x(q) = -q - 2. Let u be x(-4). Suppose 12 = -9*p + 5*p. Let b = p + u. Which is greater: b or 1/3?
1/3
Suppose 6*s + 54 = 4*s. Let m = 82/3 + s. Let l be 31/18 - 12/8. Which is bigger: l or m?
m
Let p be (11 + -2)/((-15)/(-80)*4). Which is smaller: p or 23/2?
23/2
Let i be (88/84 - -3) + -4. Which is greater: i or 1?
1
Let u(p) = p**3 + 17*p**2 + 17*p + 17. Let g be u(-16). Is g at least as big as 1/32?
True
Let q be 3/(-2) + (-414)/(-12). Is 33 less than q?
False
Let s = -6 + 11. Suppose s*b - 2 + 1 = q, -4*b + q = 0. Let a = b - 3. Is a at most -2?
True
Let y(w) = w + 11. Let x be y(-8). Let n(g) = -5*g - 15. Let u(s) = 11*s + 31. Let m(t) = -13*n(t) - 6*u(t). Let l be m(7). Is l at least as big as x?
False
Let v = 3.5 - 3. Which is greater: v or 0.2?
v
Suppose 5*d - 6 = 4. Let u be d/(-8) + 0/(-3). Is u less than 1?
True
Suppose 0 = t + 3*t - 8. Let c be 3/(-2 + 7/t). Let l(s) = -s + 8. Let q be l(5). Is c smaller than q?
True
Let s be -4*((-10)/(-4))/5. Are -1 and s non-equal?
True
Let b(w) = 2*w - 39. Let n be b(10). Is n greater than -20?
True
Let j be (-2 + 3)*0/2. Suppose 3*g = 7 - 4. Is g >= j?
True
Let d = 58.67 + 0.33. Is -1 > d?
False
Let m be 8 + -8 + (6 - 0). Let i(f) = 2*f - 1. Let j be i(3). Is j at least m?
False
Suppose -c - 13 = 3*t, c = 4*c - 3*t + 3. Is -19/5 less than or equal to c?
False
Suppose 3*q + 3*q - 150 = 0. Which is smaller: 26 or q?
q
Suppose -f - f = 0. Let o = -26 + 282/11. Do f and o have the same value?
False
Let t be 2/5 - (-34)/(-10). Let v be ((-2)/t - 0)*-1. Let i(y) = 2*y + 12. Let j be i(-6). Is v at least as big as j?
False
Let j be ((-18)/15)/((-2)/(-10)). Suppose 3*s = -2 - 19. Is s <= j?
True
Let f(a) = -a**3 - 10*a**2 - 6*a + 5. Let s be f(-9). Let q = 21 + s. Which is smaller: q or 0?
q
Suppose 5*j - j = 0. Is j at least as big as -7?
True
Suppose -w - 5*l = w - 23, 5*w + l = 0. Let j = w + 6. Suppose j*d - 20 = d. Do d and 5 have different values?
False
Let y = -101/7 + 99/7. Suppose -53*o = -50*o. Do y and o have different values?
True
Let u = -205 + 147. Are -57 and u nonequal?
True
Suppose 4*b + i + 2 = -2*i, 2*i = -2*b. Let z = 6 + b. Which is bigger: z or 10/3?
z
Let i = 33 + -31. Is 2 > i?
False
Suppose -2*x + 4*x = 0. Let l be (-35)/(-15)*-1 - -2. Is x not equal to l?
True
Let o = 41 - 42. Is -2/311 <= o?
False
Let c be (-3)/4 + 1 + 630/(-3480). Which is smaller: c or -