 2?
False
Let i = 11 - 5. Let a = -5 + i. Let g = 235/6 + -39. Which is smaller: a or g?
g
Let i(g) = -10*g**2 - 10*g - 5. Let w be i(-3). Is -65 bigger than w?
False
Suppose -3*n + 25 = 2*n. Let x(d) = -d**2 + 7*d - 5. Let u be x(n). Let r = -0.3 + 0.2. Which is smaller: u or r?
r
Suppose -l + 1 = c + 2, -2*c + 23 = -3*l. Does 4 = c?
True
Let t = -27/2 - -55/4. Let b be (-3)/15 + 33/15. Suppose 4*q = -16, b*u = 3*q + 2 + 4. Is t smaller than u?
False
Let l be 1445/325 - 9/15. Is 3 at most l?
True
Let h(x) = 15*x + 5. Let p be h(5). Let b = 124 - p. Let z = b + -91/2. Which is bigger: z or -1?
-1
Let y be 2/4 - 9/6. Is y < -76?
False
Suppose 0 = n + 2*l - 6, n + 4*l = -3*n + 16. Let s = 10 - 7. Is n bigger than s?
False
Let n = -0.98 - -8.88. Let t = n + -8. Is t > 3?
False
Suppose f + 21 = -14. Let n be (-2)/7 - (-1 - f). Let g = -34 - n. Is g smaller than 0.3?
True
Let a = 3 - 10. Suppose 5*g + 2*j - 6 - 15 = 0, -j + 23 = 5*g. Let l = a + g. Is 0 less than or equal to l?
False
Let t(y) = 4*y + 3. Let l be t(-2). Let f = l + 7. Suppose -f*v = -0*v. Do v and 3/5 have the same value?
False
Let r be (-141)/27 - (-4)/18. Let m be (6/20)/((-6)/r). Is 2/9 <= m?
True
Let r = -69 - -69. Which is smaller: r or 5/7?
r
Let b = 6 - 16. Let o be 10/15 - b/(-6). Is -2 not equal to o?
True
Let g = 2528/91 - 202/7. Which is greater: 0.1 or g?
0.1
Suppose -t = 2*t - 36. Suppose 4*g + 3*w - 2 = 22, 3*w = 2*g - t. Which is smaller: g or 1?
1
Let s = 3 - 5. Let r be (((-28)/(-8))/7)/((-2)/6). Is s less than or equal to r?
True
Let x = 22 - 15.5. Is -1 > x?
False
Let i(b) = -b**2 + 3*b - 2. Let t be i(2). Suppose -y - y - 4 = t. Is y != -2?
False
Let m(a) = -a**3 - 2*a**2 + a + 1. Let o = -4 - -2. Let d be m(o). Which is smaller: -2 or d?
-2
Let u = -5.98 - -3.75. Let m = -0.23 - u. Are 2 and m nonequal?
False
Suppose -4*s - m - 16 = 2*m, 4*m = 0. Let h = 1 - s. Suppose 0 = -h*a + 4*y + 28, 3*a + 3*y = a + 2. Is 2 smaller than a?
True
Let q(x) = x - 9. Let f be q(15). Let g = -1 - -7. Is g equal to f?
True
Suppose q + 0*q = -4*o + 8, -q + 2*o + 2 = 0. Let p be (-1)/((-16)/(-6) - 3). Are p and q equal?
False
Let x be (-6)/((-4)/(-8)*9). Which is bigger: 0.2 or x?
0.2
Let w = -0.5 + 0.3. Let v(a) = -a + 6. Let n be v(8). Let d be n/(-3)*(-1)/2. Which is smaller: w or d?
d
Suppose 63 + 21 = -2*z. Let o be 9/9 - (-608)/(-14). Let y = o - z. Is -1 greater than or equal to y?
False
Let f = 0 - -1. Let w = f - 0.1. Let j = 1 - w. Which is smaller: 1/4 or j?
j
Let a = 14 + -13.91. Let t = -0.19 + a. Let b = -2 - -2.5. Which is smaller: t or b?
t
Let z = -5/9 + 73/99. Which is smaller: z or -0.2?
-0.2
Let y be 16/3*(-3)/14. Do -2 and y have different values?
True
Let l be -4*((-18)/8)/(-9). Which is greater: 2/95 or l?
2/95
Let x be (-4)/(-20) - (-4)/(-20). Which is smaller: x or 10/11?
x
Let u = -5 - -2. Let r = 7 + u. Let s = 0 + 1. Is r equal to s?
False
Let g = -1 + -1. Suppose 2*r = -0*r + 4. Let w be ((-15)/(-20))/(3/r). Which is bigger: w or g?
w
Let g(s) = -s**2 + 10*s - 19. Let u be g(10). Is -20 not equal to u?
True
Suppose 6*k - 8*k + 48 = 0. Is 24 bigger than k?
False
Let v(f) = -f**2 + 9*f + 16. Let l be v(11). Suppose -2*k + 15 = 5*z, 4*k + 5*z + 2 = 7. Does k = l?
False
Let g be -2*(3/(-3))/36. Which is smaller: 0 or g?
0
Suppose 21 = -p - 3*j, 3*j - 33 - 6 = 4*p. Let s(u) = 2*u**3 + 2*u**2 + 4*u + 3. Let t be s(-2). Which is smaller: p or t?
t
Suppose -2*j + j = -4. Which is smaller: j or 1?
1
Suppose 4 = -4*y - 32. Is -7 at most y?
False
Let n be (6/(-10))/((-3)/255). Suppose -3*j - n = 39. Let r be ((-5)/j)/((-2)/3). Which is smaller: -1 or r?
-1
Let w = -15 - -9. Let n = w + 5.5. Let c = -1.5 + n. Is -1/2 equal to c?
False
Suppose 64 = -15*g + 4. Which is bigger: -6 or g?
g
Let b = -4 - -8. Suppose 0 = -b*g - g - 10. Is g > -1?
False
Let g = 26 - 49. Is g less than or equal to -25?
False
Let r = -0.6 + -4.4. Which is smaller: -0.1 or r?
r
Let z = -12 + 1. Which is bigger: z or 0?
0
Suppose 4*j + 4*o = -j + 4, -4*o - 36 = -5*j. Let w be (-2)/(j/(-3) + 1). Which is smaller: w or 7?
w
Let d(m) = m + 10. Let n be d(-12). Which is bigger: n or -12/7?
-12/7
Let n be (1/3)/((-14)/168). Let u(r) = -r**3 + 2*r**2 + 3*r - 3. Let w be u(3). Which is smaller: w or n?
n
Let l = 2 - 2.04. Let z = l + -2.96. Let j = z + 2.9. Is -1 less than j?
True
Let b be (-10)/3*(-27)/(-6). Is b less than or equal to -16?
False
Let k(p) = p - 7. Let y be k(10). Let j be y*((-3)/3)/1. Which is smaller: -1/2 or j?
j
Suppose -2 = 4*q + 2. Let b(p) be the first derivative of -p**4/4 + 4*p**3/3 - 3*p**2/2 + p - 7. Let o be b(3). Which is smaller: o or q?
q
Let j(t) = 2*t**3 - 2*t**2 - 7*t - 7. Let h be j(-5). Let b be (-95280)/350 + (-2)/10. Let d = b - h. Which is smaller: d or -1?
-1
Let v = -71 + 143/2. Which is smaller: v or -4/21?
-4/21
Let m = -0.006 + -5.994. Which is smaller: m or 3?
m
Let g be (-20)/(-15) - 2/6. Let i be (0/(-2))/(g + 1). Which is bigger: i or -1?
i
Suppose 5*b + 25 + 5 = 3*t, -2*t = 0. Which is bigger: b or -7?
b
Let p = -644/5 + 128. Which is smaller: -2 or p?
-2
Let s be -1 + 145/73 + -1. Let f = 77/292 + s. Is -1 > f?
False
Let p be (-3)/4 + (-15)/(-20). Suppose 4*f + 18 - 6 = p. Which is bigger: -2 or f?
-2
Let c = -1.5 - -1.33. Let k = c - 0.03. Let w = 0.3 + k. Which is bigger: w or 9?
9
Let l be (-22)/(-20) - (-2)/5. Let t = -0.055 - 0.915. Let i = t - 0.03. Is i less than l?
True
Let m(p) = -6*p - 5 - 1 + p**2 + 0. Let o be m(7). Is 1 >= o?
True
Let x be -1*(-1)/2*16/36. Is x equal to 2?
False
Let z = -70 + 351/5. Which is smaller: 0.1 or z?
0.1
Let w be (3 + (-5 - -2))/(-1). Let k(a) = -a**3 - a**2 + a - 4. Let q be k(w). Do -4 and q have the same value?
True
Suppose 2*f = 2*h - 2, f = 2*h + 3 - 5. Does h = 0?
False
Let a(s) = -3 + s**2 + s + 2 + 2. Let j be a(-1). Which is greater: -1/8 or j?
j
Let o be (1*(-1 + -1))/2. Let k = 3 + -4. Is o less than k?
False
Suppose -2*p = p. Let q(i) = i**3 - 3*i**2 - 6*i + 6. Let f be q(4). Let o = 2 + f. Is p at least o?
True
Let x = -0.07 + 0.05. Let u = 0.12 + x. Let i be -2*2/14*-1. Which is bigger: u or i?
i
Let n(l) be the second derivative of -l**5/20 - l**4/12 + l**3/6 - 4*l**2 + 2*l. Let m be n(0). Which is greater: -7 or m?
-7
Let i be 2/(-8)*4/(-12). Which is greater: -1/2 or i?
i
Suppose -6*x - 2*x = 648. Is x at most -81?
True
Let v(l) = l**2 + 9*l - 2. Let c be v(-10). Is c smaller than 8?
False
Let c be (-18)/(-5) - 6/(-15). Suppose 4*j - 14 = -x, j - c*x = 5*j - 8. Which is bigger: 1 or j?
j
Let u(q) = 3*q**2 + 28*q + 12. Let z be u(-9). Is z not equal to 7?
True
Let g(n) be the first derivative of -n**4/12 - 11*n**3/6 + 2*n + 1. Let b(h) be the first derivative of g(h). Let o be b(-11). Which is bigger: o or -6/7?
o
Let y be 60/2 - (4/2 - 1). Is y < 30?
True
Let l = 112 - 99. Let o = -1 + 0.9. Which is bigger: o or l?
l
Let u(b) = -9*b**2 + 7*b + 8*b**2 + 11*b**2 + b**3 - 1. Let f be u(-9). Is f at most 1?
False
Let h be (0 + 2)/(2/(-23)). Let u be (-18)/h*1/2. Let p = 137/115 - u. Are 0 and p equal?
False
Let z be 0 + (5 - (1 + -1)). Suppose r - z*r - 4 = 0. Let o = -2 + 1. Are o and r unequal?
False
Suppose -3*d + 4*p - 130 = -0*p, 5*p = -25. Let t be (-2)/5 + (-5270)/d. Let s be 12/t - 2/(-7). Is -1 < s?
True
Let i be -21*(-4 + 20/6). Which is smaller: 4 or i?
4
Suppose 4*h - 2*h + j = 0, 3*h = -5*j + 14. Let i(o) = o**2 + 2*o. Let q be i(-3). Let x be (-3)/q*(h - -1). Is 1 not equal to x?
False
Suppose -2*p + 2 + 4 = m, p = m - 3. Let x be (1 - 0)*(p + 0). Which is smaller: x or 0?
0
Let u = -2.09 + 0.09. Let i = u + 2. Is 0.1 at least i?
True
Let c = -48 + 53. Is c less than or equal to 4?
False
Let f = -2445 + 4999/2. Let d = -56 + f. Is d at least as big as -3?
True
Let i be (-6)/27 - 910/(-45). Let c = -13 + i. Let h(d) = d**2 + 5*d + 7. Let g be h(-5). Is g less than c?
False
Suppose -33 - 143 = 5*o - 3*d, -3*d = -6. Which is smaller: -33 or o?
o
Let k = -186/35 + 33/7. Which is bigger: k or 0?
0
Let v = 3 + -2.9. Let u = v + 0.9. Let q = -123/5 - -25. Which is smaller: u or q?
q
Suppose 2*c = 4*c + 4*y - 12, -2*c + 3*y - 9 = 0. Let w be 93/2 - -1*1. Let x = 49 - w. Which is greater: x or c?
x
Let k be 2/(-2) - 5/(-45)*12. Suppose -3*y = -p + 9, 4*y + 9 = -4*p - 3. Is p at least k?
F