ger: q or -2?
q
Suppose -3*v = 2*p - 0*p - 8, 0 = 3*v - 4*p - 2. Suppose 0 = -v*w + w - 2*l, 4*w + l = 14. Let a = -4 + w. Is a equal to -1/3?
False
Let s be 2/(-9) - 390/432. Suppose -22*v + 4 = -24*v. Is s bigger than v?
True
Suppose -6 = -c + 9. Let a = c + -9. Is a at least -2/3?
True
Suppose 0 = -5*w + 5*r - 2*r + 76, 37 = 2*w + r. Suppose -4*c + w = 153. Let p be 2 - c*3/(-54). Is p > -1?
True
Suppose -m = -5, 0*z - 2*z - 8 = -4*m. Is 7 smaller than z?
False
Let i = -10 - -13. Which is bigger: -2 or i?
i
Let f = 2 + -1.93. Let s = f - 0.37. Which is bigger: 2 or s?
2
Let x = -19 + 75/4. Suppose 3 = -a + 2*z, -7*z + 3*z + 3 = a. Let p(b) = b**2. Let w be p(a). Is w >= x?
True
Let r be 16/(-42) + (-4)/(-6). Let n = -0.09 + -4.71. Let z = -5 - n. Does r = z?
False
Let c = -2 + 1. Let z be (c + 0)/(1 - 2). Is z != 1?
False
Suppose 16*l - 69 - 75 = 0. Do l and 15 have the same value?
False
Suppose -7*n + 2*u - 8 = -3*n, 0 = -u - 2. Which is smaller: 3 or n?
n
Let v be (-2)/4 - 39/(-30). Let w(a) = a**2 - 12*a - 28. Let o be w(14). Which is greater: v or o?
v
Let x = 0 - 4.9. Let n = x - -5. Is 0.2 >= n?
True
Let d = 1090/1883 + -2/269. Which is smaller: 1 or d?
d
Let a(g) = -g**3 + 17*g**2 - 19*g + 10. Let r be a(16). Is -38 at most as big as r?
True
Suppose -3 = 5*m - 8. Let x be (5/10)/(m/(-2)). Which is smaller: x or -2/3?
x
Suppose -1 = -m - 2. Let r be (-1)/2 + m/2. Suppose 3*t = t. Which is bigger: r or t?
t
Suppose -6*i + 12 = -2*i. Let b = 3 - i. Let h = -29/2 - -15. Which is bigger: b or h?
h
Let x = 61 + -49. Which is bigger: x or 1?
x
Let i = 0.03 - -3.97. Let r = -5.3 + 0.3. Let a = 4.9 + r. Is i at most as big as a?
False
Let v be (-19)/186 - (-7)/42. Is 1 at least as big as v?
True
Let t = 4 - 12. Let o = t - -9. Let j = -0.2 + -0.3. Is j less than or equal to o?
True
Let k(z) = 0*z**2 - 10 - 7*z + 4*z**2 - 3*z**2. Let f be k(8). Is f <= -4?
False
Let n = -13 - -11.8. Let p = 0 - -0.2. Let k = n + p. Which is smaller: 2/7 or k?
k
Suppose -5*l + 6 = 1. Let x be (0/4)/(0 + l). Which is bigger: 2 or x?
2
Let l(h) be the second derivative of h**4/4 - h**2/2 + 4*h. Let s be l(-1). Let f(u) = -u**3 + u**2 - u - 2. Let d be f(0). Which is smaller: s or d?
d
Let p = 136 - 192. Let g = p - -447/8. Which is smaller: -1 or g?
-1
Let x = 0 - -5. Suppose -3*y - 5 = -4*c, -y = 4*c + 12 - x. Which is greater: -7/6 or c?
c
Let p = 106 + -50. Which is bigger: 111/2 or p?
p
Let k(r) = r**2 + r. Let l be (-14)/63 + 2/9. Let u be k(l). Is u < 0?
False
Let v = 7 - 5. Which is greater: 5 or v?
5
Suppose 4*a = f + 2*f + 36, 0 = 3*f + 12. Suppose 5 = a*z - z. Let l be (12/22)/3*z. Which is smaller: 2 or l?
l
Let a(i) = i + 3. Let r be a(-3). Let x be 2 + -5 + 2 - r. Which is bigger: x or -4/5?
-4/5
Let n = 1.96 + -2. Let j = 0.06 - n. Which is bigger: 0.02 or j?
j
Suppose -5*g = -20, f + f = 5*g - 8. Which is smaller: 3 or f?
3
Let b = 2 + -2. Let t be (b - 2)/2 + -5. Do -6 and t have different values?
False
Let f be 48/(-27)*(-6)/(-8). Which is smaller: -2 or f?
-2
Let g be (1 + (-36)/(-3))/(-3). Do g and -5 have different values?
True
Let i = -0.3 + -3.7. Is -0.1 at least as big as i?
True
Let d = -143 + 143. Which is greater: 9 or d?
9
Suppose 0*g = 2*f + 5*g - 10, 4 = -2*f + 2*g. Which is smaller: f or 1/11?
f
Let u = 22 - 8. Let s = -14 + u. Is -0.1 bigger than s?
False
Let q be 24/18 - 4/(-6). Which is smaller: q or 4/5?
4/5
Let b = 5.4 + -8. Let u = -0.4 + b. Which is smaller: u or 0.1?
u
Let u = -0.3653 - 0.0347. Let a = -1 + 1.4. Let t = a - 0.2. Are t and u equal?
False
Let o = 0.4 + -0.4. Let l = 0.05 - 2.05. Let q = o - l. Which is greater: -0.2 or q?
q
Let c(o) = -o**2 - o + 4. Let f be c(-3). Suppose 2*l - 6 = -0*l. Let s = f - l. Is -4 equal to s?
False
Let y = 2 - 7. Let f be 0 + (-6)/y + -1. Is f bigger than -1?
True
Let p be (1 - -1)*(-1 - -3). Suppose 3*d - p = -d. Let g be 0 + 0 - 0 - d. Is g less than or equal to 2/9?
True
Let q be (36/(-405))/(6/(-5)). Which is smaller: q or -1?
-1
Let s = -6 - -6. Let r be ((-8)/30)/(-2)*3. Is r equal to s?
False
Let s = 11.8 + -29.8. Does s = 0?
False
Let g = -19.11 - -19. Let w = g - 2.89. Let k = w + 3.05. Are -1 and k non-equal?
True
Let j be (2/(-24))/(2 - 26/6). Do j and 0 have the same value?
False
Let a = 5 - 4.7. Let y = -0.6 + 0.9. Let d = a - y. Is d equal to -0.3?
False
Let u = -13 - 46. Which is greater: u or -58?
-58
Let n = -12 + 9. Let o = -1 - n. Suppose 0 = -t - o*t. Which is smaller: t or 1/13?
t
Let r = 12 - 1. Suppose -2*a = r - 1. Are a and 0.3 nonequal?
True
Let z be 2/(-11)*(-2 + 30/12). Is 1 smaller than z?
False
Let o = -5/32 - 19/288. Let u(i) = -i**2 - 8*i + 9. Let m be u(-9). Suppose -3*h + 6 = q, -4*h + m*q - 5*q = -19. Is o >= h?
False
Let y = 5 + -3. Suppose 2 + 0 = 2*w - i, -y*w = 3*i - 18. Is w < 0.1?
False
Let f(m) = m - 6. Let b be f(5). Let a = 13071 + -967287/74. Let x = 2/37 - a. Which is greater: x or b?
x
Let j(q) = q**2 - 7*q + 5. Let m be j(5). Let d(o) = o**2 + 5*o. Let g be d(-4). Which is bigger: g or m?
g
Suppose 17 = -2*u - 3. Let z be 1/(3 + 28/u). Which is smaller: 0 or z?
0
Let n = -13 + 12.2. Which is bigger: 1 or n?
1
Suppose -3*p + 2 = -0*g - g, -5*p - 5*g = 10. Suppose -12 = -2*h + 4*c, 0*h - 5*h + 9 = -3*c. Is p at most as big as h?
True
Let h(p) = p**2 - 5*p + 5. Let a be h(4). Let z be (-5)/1*(-2)/5. Let s be (3/6)/(1/z). Does s = a?
True
Let u = -1004 + 5079/5. Is 12 smaller than u?
False
Let c = 0.2 - 0.11. Let r = -4.09 + c. Which is greater: r or 2/7?
2/7
Suppose -4*l + 2 = -3*l. Suppose l*s - 5 = s. Let i be 4/s*10/4. Is i < 2?
False
Let g(j) = -j**3 + 14*j**2 - 8*j + 24. Let b be g(14). Which is bigger: -89 or b?
b
Let i(x) = x**3 + 2*x**2 - 3*x. Let m be i(-3). Suppose 4*d - 36 - 4 = m. Suppose -k + 6*k - 2*y + d = 0, -4*k + 5*y - 8 = 0. Is -1 greater than or equal to k?
True
Let f be 0 + 1 + 136/(-28). Which is bigger: f or -5?
f
Let z be 2/(-4) + 6/28. Which is bigger: z or 0.05?
0.05
Let i be 2*6/(-2) + 4. Is -1 bigger than i?
True
Let s be 1/(-1*(3 - 2)). Let a = s - -5. Is a smaller than 3?
False
Let y be 72/(-40)*30/(-9). Let z = 4 - 2. Which is smaller: z or y?
z
Let k be 3 + (-2 - (-188)/7). Let l = k - 28. Which is greater: -1 or l?
l
Let h be ((-12)/(-10))/((-9)/(-30)). Let m = -3233 - -22669/7. Let r = 111/14 - m. Is r at least h?
False
Let l(p) = p**2 - 10*p - 10. Let t be l(11). Let m(c) = c**2 + 2*c - 1. Let o be m(t). Is o less than or equal to -2?
False
Let v = 119 + -67. Let d = 47.8 - v. Let u = d + 4. Is 0.2 equal to u?
False
Let z be -3 + (-6)/((-10)/5). Let h = -3 - -1. Let m = 5 + h. Which is bigger: m or z?
m
Let s = 15/2 - 8. Suppose -2*z + 2 + 2 = 2*p, 0 = -2*z + 4. Is s at least as big as p?
False
Let z(b) = -b**3 + 4*b**2 + 4*b - 7. Let i be z(5). Let v(r) = 3*r - 2. Let w be v(4). Let c be (-4)/30*w/i. Is c > 0?
True
Let i = -0.24 - 0.06. Let r = 7 + -7. Which is smaller: i or r?
i
Suppose r - 2*r = 5*j, -4*r = 2*j. Let z = 9 + -5. Let o = 6 - z. Which is smaller: o or j?
j
Let f = 1.84 + 0.16. Is f not equal to -1?
True
Let x(c) = -c**3 - 3*c**2 + 5*c + 4. Let g be x(-4). Suppose 624*o = 628*o + 8. Which is greater: g or o?
g
Suppose 3*i = 3*r - r - 11, 4*r + 5*i - 11 = 0. Let x be (-4)/(-12)*(12 - 0). Suppose r*b - 2*h = -8, -2*b = 2*b - h + x. Is b >= -1/5?
True
Let q(j) = -j**3 - 10*j**2 + j + 4. Let a be q(-10). Which is smaller: -39/7 or a?
a
Let x be -2 + 3 + (3 - 0). Suppose -x*k + 12 - 4 = 0. Suppose 4*f - 6 = 2*h, 0 = k*f - 2 - 2. Are h and 1/9 unequal?
True
Let o = 5 + -9. Let j be o/14 + (-20)/(-168). Is 1 at most as big as j?
False
Let y be ((-2)/(-4))/((-1)/8). Suppose g = 1 + 9. Let i = g + -15. Which is smaller: y or i?
i
Let j be (-5)/(-5) - 1 - 0. Suppose 40 = 5*r - 3*r. Let l be r/(-6)*(-4)/(-10). Is j equal to l?
False
Suppose -2*i + 2 = -5*h - 3, -5 = -i. Let n be 2/h*(-2)/14. Which is bigger: n or 1?
1
Suppose -3*v + 68 = -5*w, 0*w + 4*v + 48 = -2*w. Let t be (-1)/4 + (-20)/w. Are t and -2/9 non-equal?
True
Let l = -1/27 - 25/54. Which is smaller: 0.52 or l?
l
Let y be (-18)/8*(7 + -3). Let c be (1 - -1)*1/y. Let o be (-5)/(-20) + (-3)/(-20). Is o smaller than c?
False
Let b = -3.02 - -0.02. Do -3 and b have the same value?
True
Let i = 0.15 - 0.1. Let o = i - 8.05. Let q = -8.1