se
Let b(s) = s**3 + 17*s**2 + 18*s + 34. Let l be b(-16). Is l less than 3/4?
False
Let w = -34 - -20. Does -13 = w?
False
Suppose 3*y = -2*y. Is y greater than 4/13?
False
Let i be 1 - (-2 + 1439/441). Let n = 2/49 + i. Suppose 0*q + 4*q + 7 = -3*s, 4*s = -5*q - 9. Which is greater: s or n?
n
Let c be (51/(-45) - -1)*3/2. Which is greater: 27 or c?
27
Let y = -21 - -29. Let l = y - 5. Let s be (-2)/(-2 + l)*1. Is -0.1 >= s?
True
Let q be (6/26)/((-1)/(-3)). Let r = -3/52 - q. Is -2 equal to r?
False
Let k be (40/(-36))/5*3. Which is smaller: -3 or k?
-3
Suppose -3*r - 2 = -4*y, -3*y + 7 = -9*r + 4*r. Let x = -12 + 12. Let s be (-3)/(2 + 1)*x. Is r != s?
True
Let b = 1/27 + -83/54. Let a = 6 + -7. Let u = a - 2. Which is smaller: u or b?
u
Let d = -17/5 - -3. Which is greater: 5/4 or d?
5/4
Suppose -10 = 5*o - 5. Suppose 3*z - x - 45 = 0, 0 = 5*z + x + 2*x - 89. Suppose 0*t = t - 3*c - z, 0 = -5*t + 5*c + 30. Is t at most o?
False
Let j = 66 - 69. Let l = -0.2 + 0.1. Let g = 1.1 + l. Is j greater than or equal to g?
False
Let g(y) = -y. Let d be g(-5). Let a(q) = -q**3 + 6*q**2 - 4*q - 3. Let z be a(d). Suppose 2*u + 4 = 3*c, 2*u + 3*c = 5*c - z. Are 2 and u non-equal?
True
Let j(m) = -m**2 + 7*m - 6. Let r be j(5). Suppose r = -g + 3. Is -2 at least as big as g?
False
Suppose -3*p - 41 = 34. Is p != -25?
False
Let p = 16 + -5. Suppose 2*c - 4*t - p = -3*t, 5*c = -4*t + 21. Let d = 14 + -10. Are c and d equal?
False
Let r be (99/(-36))/(1/4). Is r greater than -11?
False
Suppose u - 5*u + 44 = 0. Is 10 at most u?
True
Let r = -50 - -49. Which is greater: 7 or r?
7
Let t be 0/(-2)*1 - -1. Let b = 496/7 - 71. Is b > t?
False
Suppose -7 + 2 = -h. Let a be (4/5)/((-4)/(-20)). Is a less than h?
True
Let p be (-365)/15 + (-4)/6. Is p bigger than -24?
False
Let t be (-100)/140*(-8)/5. Is t > 2?
False
Suppose 2*o + 0*o = 4. Suppose 2*j + j + 3 = 0. Let v = j + o. Is 1 smaller than v?
False
Let t be 57*1*9/27. Let f = t - 27. Let j = f - -5. Which is smaller: j or -2?
j
Let y = 7 + -3. Suppose -5*l = 3*u - 41 + 6, 0 = 5*l - y*u. Suppose -r - 2*r + 4*g = 17, l*r - 4*g + 16 = 0. Which is smaller: r or -0.1?
-0.1
Suppose 3*d + 30 = 4*i + d, -5*d + 55 = 3*i. Suppose -3*m + 4*z + 5 = -4, 5*m = 5*z + i. Is m equal to 2/23?
False
Let i = 123 - 863/7. Let p = -1 + 0. Is p greater than or equal to i?
False
Suppose 2*k + 4*q - 5 = 15, -4*k = 5*q - 34. Let l(b) = b**2 + 5*b + 6. Let u be l(-5). Are k and u unequal?
False
Let c = -0.6 + -3.4. Let u = 9 + c. Let x = u - 4.8. Is -0.1 not equal to x?
True
Let p(j) be the third derivative of 0*j + 0 + 1/24*j**4 - j**3 - 2*j**2. Let u be p(6). Are u and 2/5 nonequal?
True
Let v(u) = -u**3 - 3*u**2 - u + 4. Let b(q) = q**3 + 5*q**2 - 5*q + 3. Let k be b(-6). Let n be v(k). Let x = n - 10. Which is bigger: -2 or x?
-2
Suppose -45 = -4*n + 23. Let b = 29/2 - n. Is b at most as big as -3?
False
Let x(f) = f + 1. Let w be x(4). Suppose -2*o + w*g + 4 = 6, o + 1 = 3*g. Let s be (1 - o) + -1 + 1. Is s > 0?
True
Let m = -27 + 14. Which is smaller: m or -1?
m
Let x be 17 - (3 + 2 - 3). Suppose 0 = -i + 3*a + 15, -3*a = 4*i - 0*a + x. Suppose -3*j + j + 2*l - 6 = 0, 4*j = l. Which is smaller: i or j?
i
Let u = 4.1 + 15. Let y = 19 - u. Is 12 not equal to y?
True
Let a = 0 - 0. Suppose 0*q + 6*q - 6 = 0. Is q at most a?
False
Let k be (5/3 - 2)*3. Is k smaller than 1?
True
Suppose 3 + 1 = 2*m. Suppose 4 = -m*y - 8. Let s be 0/(3*y/9). Is s greater than or equal to 0?
True
Let f = -17 + 35. Let c be (-6)/f*6/(-8). Do -2/5 and c have different values?
True
Let l be (0 + 0)*3/12*2. Is -3/37 less than or equal to l?
True
Let a(b) = -2*b**3 - 6*b**2 - 2*b - 3. Let y be a(-3). Is 3 at least as big as y?
True
Suppose -u = -0*u - 2. Suppose 0 = -u*s + 2*r - 2 + 10, 2*s - 8 = -2*r. Is s bigger than 4?
False
Let o(f) = f**3 - 4*f**2 + 2*f - 6. Let j be o(4). Suppose 155 = -5*c + 165. Is c > j?
False
Let d be 2*(-3)/(-2)*(6 + -7). Which is bigger: -15/8 or d?
-15/8
Suppose 4*i - 5*o = -18, -7*i + 2*i - 4 = 3*o. Let q be (3 + i)*(-2 + 0). Let t be 1/4 - (-4)/(-16). Are q and t equal?
False
Let a = 2 + -2.2. Let z = a + 0.3. Let k = -0.2 - z. Are k and -1 unequal?
True
Let r(t) = 2*t**2 + 2*t - 2. Let a be r(-2). Let n = -5/6 + 4/3. Which is smaller: n or a?
n
Let r(i) = i**2 + 5*i - 1. Let f be r(-4). Let z = -10 + 6. Which is bigger: z or f?
z
Suppose 5*a - j - 6 = -1, 1 = a + 2*j. Which is smaller: 1/11 or a?
1/11
Suppose 4*q - 50 = -0*z - 2*z, -3*z = 4*q - 73. Suppose -z = p + 4*d, p = 2*p - d - 2. Are p and -4 non-equal?
True
Suppose -23*m + 7 = 30. Let v be (-4)/(-14) - (-4)/(-14). Suppose v = -5*t + 2*t. Which is greater: m or t?
t
Let g = -120 - -121. Is g less than 1/172?
False
Let k be ((-16)/4)/(-1 + 0). Suppose -k*b + 2*b + 6 = 0. Suppose b*x + 35 = 8*x. Which is bigger: x or 8?
8
Let j = 111.9 - 112. Which is bigger: j or -0.29?
j
Suppose 1 = 2*f + 3. Which is smaller: f or 2/5?
f
Let f(m) = m + 4. Let z be f(0). Suppose 13 = 3*d + z. Is d at most as big as 2?
False
Let u = 0.3 + -0.37. Which is smaller: u or -1?
-1
Let x = 5/3 + -2. Is 4/5 greater than x?
True
Let y = -32418/14189 - 2/2027. Is -3 != y?
True
Let r = 17 + -16.2. Which is smaller: r or 1?
r
Let b(i) = -i**2 - 4*i + 1. Let p be b(-4). Is p equal to -5/23?
False
Let x = -26 + 27. Let f = x - 0. Is f at least as big as -2/7?
True
Suppose -2*d - 1 = 1. Which is bigger: 1 or d?
1
Let b = 2.5 - 1.5. Suppose 2*d - d = 5. Which is bigger: d or b?
d
Let g be (-12)/(-30) + 11486/(-90). Let q = g + 127. Which is bigger: 0.1 or q?
0.1
Let b = 5 + 1. Let j = -5.9 + b. Is j less than 3?
True
Suppose -v = -5*i - 2*v, 0 = i + 5*v - 24. Suppose p - 33 = 2*p. Let x be (-72)/(-154) - (-6)/p. Which is smaller: x or i?
i
Suppose 3*t = 5*c - 10, -5*c + 8*t - 4*t = -15. Is c greater than or equal to 2/183?
False
Suppose -84 = 12*h - 372. Is h at least as big as 25?
False
Let p(s) = -s**3 - 6*s**2 - 2*s - 3. Let f be p(-6). Suppose -f = -7*t + 4*t. Which is bigger: 4 or t?
4
Let t be (-5 - 17/(-3)) + (-22)/(-3). Which is greater: t or 6?
t
Let y be (-29)/9 + 3 - (-34)/(-9). Suppose 0 = 4*s - 0*s, 3*g + 9 = -3*s. Is g at least as big as y?
True
Let y = 17 + -17. Is y at least 1/9?
False
Let q = -1 + 3. Let z(r) = r**2 + 10*r + 8. Let w be z(-6). Let d = -31/2 - w. Is d at least q?
False
Let n = 373/3 + -124. Is n <= -4?
False
Let l = -9 + 13. Suppose -l*s = 2 - 6. Which is smaller: -0.01 or s?
-0.01
Suppose -o - 4*v = 2, -3*o + 4*v + 8 = -7*o. Let n(i) = i**3 - 5*i**2 - 7*i + 8. Let x be n(6). Let l = x + o. Which is greater: -1 or l?
l
Let z = 10/13 - 4/39. Is z < 9?
True
Suppose 0 = q - 3*t + 20, -160 = 5*q + 3*t + 2*t. Let b = q - -52. Let p = 49/2 - b. Which is smaller: p or 3?
p
Let b = -176/549 - -6/61. Do 0.1 and b have different values?
True
Let x = -95/8 - -77/8. Which is smaller: x or -3?
-3
Let k be (3/34)/(2190/(-3005)). Let t = k + 1/292. Which is bigger: t or 0?
0
Let p = -6 - -8. Let s = 309/16 - 28087/1456. Let v = s + 265/364. Do v and p have the same value?
False
Let d(i) = 14*i + 1. Let p be d(1). Suppose 0 = 2*q - 3*m - p, -2*q + 0*q - m = 5. Is 18 bigger than q?
True
Let s = 8 + -4. Let c = -2 + s. Let q = 1 - c. Is q at most -2/9?
True
Let u = 1.1 + -1.3. Is u at most -9?
False
Let f(h) = -h**3 - 6*h**2 + 5*h - 10. Let o be f(-7). Let t be o/(12/(-15)) + 0. Is -5 at most t?
True
Let c = -4 + 3.95. Let o = c - 0.05. Let d = 4.7 + -5. Which is smaller: o or d?
d
Let w = 2.1 - 2. Is w > 0.28?
False
Suppose 2*g - 3*l = 66, 8 + 8 = 4*l. Let w = g - 25. Let d be w/8 + 6/(-8). Do d and 1/4 have the same value?
False
Let m = -370/9 + 41. Let p be ((-44)/55)/(1/5). Let h = 4 + p. Are m and h nonequal?
True
Let j(f) = -2*f - 35. Let z be j(-16). Which is greater: z or -18/7?
-18/7
Let n be (12/(-10))/(4/(-30)). Suppose -4*u - n = 7. Is u <= -4?
True
Let t = 27 + -28. Let w(u) = -u**3 - 9*u**2 - 8*u - 6. Let x be w(-8). Is x > t?
False
Let o = 4 + -4. Let h = 1 + o. Let i(n) = n**3 + 8*n**2 + 6*n - 7. Let j be i(-7). Which is smaller: j or h?
j
Suppose -w - 2*n = -n + 3, -w + 5*n + 9 = 0. Let p be (w - 0)/((-34)/(-4)). Let i = -13/34 + p. Is -2/7 at most i?
False
Let s be (-566)/70 + (-1 - 2). Let i = -86/7 - s. Are -1 and i equal?
False
Let g = 6250/3 - 2105. Let n = -22 