c or 1?
1
Let s(b) = -b**2 - 4*b - 5. Let j be s(-2). Which is smaller: j or 3/13?
j
Let h = -9 - -14. Suppose -11 = h*y - 4*x, 5*x = -2*y - 4 - 7. Let w = 3 + y. Which is greater: -3/7 or w?
w
Let u = -6 + 1. Let j = u - -2. Let d = -1 - j. Which is greater: d or -1/2?
d
Let p(i) = 3*i. Let k be p(2). Let v = 0 + 0. Suppose -o + v = k. Is -5 at most o?
False
Suppose -5*f = 6 - 31. Suppose 7*q - 8*q = -f. Which is smaller: q or 0.2?
0.2
Let q = 58 + -29. Let c = q + -86/3. Which is smaller: 1 or c?
c
Let h = 2 - 1. Suppose 4*g = 12, 3*u + 4*g - 12 = -0*u. Suppose 3*n + 3 + 0 = u. Is n greater than h?
False
Suppose 6*d = 2*d + 44. Suppose -3*g - c = -0*g - 35, -4*g + c + 42 = 0. Let w = g - d. Which is bigger: w or -1/2?
w
Suppose 25*g - 21*g = -28. Suppose -f - 5*h + 33 = 0, f - h + 0*h - 9 = 0. Let n = f + -19. Which is bigger: g or n?
n
Let k = 4.4 + -5.1. Which is greater: 0 or k?
0
Let g = -56/765 - 2/45. Which is bigger: g or 0?
0
Suppose 2*u + 3*r - 4 = 0, 4 = u + 2*r - 0. Let w be 648/30 - 3/5. Let y = -23 + w. Is u at least as big as y?
False
Let n be 38/(-84) - (-7)/42. Which is greater: 0 or n?
0
Let k be 7 - (-3 - -3*(5 - 3)). Let m(p) = p + 5. Let t be m(0). Is k != t?
True
Let v(s) = -s**3 - 11*s**2 - 10*s. Let r be v(-10). Suppose r = 2*q - q - 7. Which is smaller: 8 or q?
q
Let v = 2123/12 + -177. Which is greater: v or -1?
v
Let z be 7 + -16*(-9)/(-18). Let i = -6 - -8. Suppose -5*f + 2*a + i*a + 12 = 0, -2*f + 3 = -a. Which is smaller: z or f?
z
Let l = 10 - 7. Let n be (l + -3)/1 - -2. Which is smaller: n or 5?
n
Let g(y) = y + 1. Let l be g(1). Which is smaller: 4 or l?
l
Let o(c) = c**3 - 2*c**2 - c - 3. Let g be -2 - 1/((-2)/10). Let z be o(g). Are z and 3/2 equal?
False
Let t = 421/66 - 72/11. Is 1 at most as big as t?
False
Suppose -i = 2*i - 9. Let m = 63 + -245/4. Is m > i?
False
Let c(b) = -13*b + 7. Let d(k) = -6*k + 3. Let t(g) = 4*c(g) - 9*d(g). Suppose 0 = 2*m - 2. Let s be t(m). Does 2 = s?
False
Let w be 2/(-8)*(-32)/28. Suppose 15 + 9 = 4*z. Let a be (3/(-9))/(2/z). Is w at most a?
False
Suppose 0 = -5*b - 0*q + 3*q + 45, 2*b - 5*q - 37 = 0. Let v be 3/b*1*4. Let n = 5 - 3. Is n greater than v?
False
Suppose 5*t - v = -195, -3*t = v - 0*v + 117. Let w = t - -25. Let j be w/35 - 28/5. Which is bigger: j or -5?
-5
Suppose 4*z = -5*n + 4, -2*z = -4*z + 4*n - 24. Let c = -7 - z. Which is smaller: c or 1?
c
Let s(l) = l - 6. Let n be s(5). Suppose 7 = -2*g - 1, 38 = -3*q - 5*g. Let t be q/44*(-4)/3. Is t less than n?
False
Let c = 118343 + -1066898/9. Suppose 4*r - 185 = o, 4*o + r + 2*r = -816. Let y = c - o. Which is bigger: y or 0?
0
Let f be (-5)/((-5)/2) + 0. Suppose -1 - 5 = -f*c. Suppose -c*h = 2*h. Which is smaller: h or 1/4?
h
Let r = -18533/90 - -1235/6. Let u = 8/9 + r. Which is bigger: u or 0?
u
Let j be (-3 + 1)/((-2)/3). Suppose -j*p + 36 = p. Let u be -2*3/(-3 + p). Which is bigger: 1/3 or u?
1/3
Let w = 10 - 7. Let c(r) = 2*r + 7. Let f be c(-2). Is w not equal to f?
False
Let t = -21 - -20. Do -8/9 and t have the same value?
False
Let o be ((-32)/(-120))/((-2)/33). Is -5 greater than o?
False
Suppose 0*h - 9 = h. Let z = -13 - h. Let k be -1*(-2)/((-4)/6). Is k at least z?
True
Let m = -88/9 - -950/99. Let f = 0 - 0.2. Let z = f + 0.1. Is z at least m?
True
Let u = -1 + 9. Is 8 at least as big as u?
True
Let d = -10.1 + 5.8. Let f = d - -2.3. Is f bigger than 3?
False
Let n(i) = -3*i + 18. Let x be n(10). Let f be -10 - (4 + -6 + 3). Which is smaller: x or f?
x
Let y(d) = -2*d**3 + d. Let a be y(-1). Is 2/23 less than a?
True
Let z = 0.2 + -0.1. Let v = 0.8 + 5.2. Which is smaller: v or z?
z
Let y(i) = -3*i + 17. Let l be y(17). Is l > -35?
True
Let k be (-2)/5*10/6. Let b = 7 + -7. Is b equal to k?
False
Let s be -1 + (-1 - 4/(-2)). Suppose -3*t + 2*h - h - 13 = s, h - 1 = 0. Is -4 greater than t?
False
Suppose -z - z = -2*h + 14, 0 = 3*z + 12. Suppose 2*o = o + 5, -h*t + 3*o - 6 = 0. Is 5 > t?
True
Let a be 2/6 + 14/(-6). Let m = a - -5. Suppose m*h + 6 = 3. Is h greater than 0?
False
Let h(a) = 27*a - 1. Let j be h(1). Suppose -5*k + 14 + j = 0. Let z = k + -3. Which is smaller: z or 6?
z
Suppose 2*f - 12 = 6*f. Let i be (0 - f)*(-2)/3. Which is bigger: -3 or i?
i
Let a = -20 + 53. Let t be 4/22 + 225/a. Suppose -3*r = -t*r - 12. Do r and -3 have different values?
False
Suppose 0 = -3*z + 5*i - 58, z + 3*i - i = -1. Let k = 11 + z. Let t be -2 + 2/(-20) + 2. Are t and k nonequal?
True
Suppose -2*s - 10 = l, 0 = l + 2*l - s + 2. Let w = -523/346 - -2/173. Is w less than or equal to l?
False
Let c = -31 + 22. Is 0 less than c?
False
Let f be 5/(20/(-12)) + 0. Let l be (66/(-21) - f)*-2. Which is bigger: l or 5?
5
Let p = -1 - -2. Let j be -2 - ((-1)/1 - p). Let k be (-2 - j) + 4 + -2. Which is greater: 2/7 or k?
2/7
Suppose 395 = 7*l - 2*l. Is l smaller than 79?
False
Let b(c) = c + 11. Suppose 12 = -u + 2*a - a, 2*u - 5*a = -30. Let p be b(u). Is p not equal to -1/8?
True
Suppose 5*q + 5*b + 70 = 0, -3*q - 3*b = 2*q + 66. Let a be 4/(-6) - 16/q. Suppose -5*t = 4*r + 2, 4*t + 6 = 3*r + 23. Which is smaller: t or a?
a
Suppose 2*i - i - 11 = 0. Suppose 4*s - i = 3*m, -s = 2*m + 1 + 10. Is s != 2/13?
True
Suppose k + 3*s = -0*k - 12, 2*k + 12 = -3*s. Let d be (-1)/(-1)*2 + -1. Suppose t + k*t = -d. Are t and -3/4 non-equal?
True
Suppose 1 + 4 = 5*c. Is c != -1/182?
True
Let n(l) = -l**3 + 7*l**2 + 8*l + 4. Let w be n(8). Suppose 15 = b + w*b. Let o be 2/5 + 46/10. Is b less than or equal to o?
True
Let p = -71337 + 366888/5. Let h = -2047 + p. Let x = 133/20 + h. Which is bigger: -1/4 or x?
x
Let i(o) be the first derivative of -o**3/3 - 4*o**2 + 9*o + 5. Let j be i(-9). Suppose -4*g + g - 9 = j. Are -3 and g unequal?
False
Let k be (3/(-2))/(15/(-60)). Let a be -2 + 0 + 0/(-3). Let c = a + 7. Which is smaller: c or k?
c
Suppose 1 = -q - 2. Suppose 7 = -0*w + w. Let f be 4 + q + (-10)/w. Which is bigger: -1 or f?
f
Let b be 32/(-176) - (-18)/(-22). Which is smaller: b or -1/8?
b
Let m be (-4)/6 + (-4)/(-6). Let u = -2 + m. Is u >= -1?
False
Suppose -4*l + 3*i = -9 - 18, 4*i + 20 = 0. Let v = -12 + 19. Let o = v + -3. Is l smaller than o?
True
Let x = -325/28 - -47/4. Are x and 0 equal?
False
Suppose -2*j + 14 = 5*t - 15, 5*j = -4*t + 30. Which is bigger: -0.01 or j?
j
Let l(q) = q**3 - 12*q**2 + 11*q + 14. Let p be l(11). Is 13 < p?
True
Suppose c + 4*v = -9 - 35, 123 = -3*c - 3*v. Let q = 87/2 + c. Which is smaller: q or 3?
3
Let o be 4*2*(0 + -1). Let t be 2/o + (-1)/4. Let i = 2 - 3. Which is greater: i or t?
t
Let r = 0.112 + -0.312. Which is greater: -54 or r?
r
Suppose -u - 5*c - 24 = 0, 0 = 4*u + 4*c + c + 21. Which is bigger: 6 or u?
6
Let w be (-64)/(-38) - (-6)/(-3). Let x = -2809469/133 + 21124. Let m = w + x. Which is smaller: -1 or m?
-1
Let p be (-1)/(3/9) - 10. Let k be ((-164)/18)/(4/6). Let v = k - p. Which is smaller: 0 or v?
v
Let z be ((-2)/10)/(9/15). Let x = 1 - 3. Do x and z have different values?
True
Let p = 7 + -1. Let u = p + -16. Let n be (-1)/(u/6 + 2). Which is greater: n or -4?
n
Let i = 2/197 - -384/985. Do 0 and i have the same value?
False
Let r = -10 - -20. Let t be ((-6)/(-15))/((-6)/r). Let g be (4/6*-3)/(-14). Which is smaller: t or g?
t
Suppose 0 = 2*b - 12 - 22. Let l = b + -17. Which is greater: l or 1/6?
1/6
Let n = -91/15 + 6. Is 0 smaller than n?
False
Let n = -17.4 + 19. Let y = 0.63 + -0.23. Let u = n + y. Is -2/5 >= u?
False
Suppose 0 = -5*p + 4*l + 245, -p + 2*p - 49 = 3*l. Which is bigger: -1 or p?
p
Suppose -3*v - 4 = 5*j + 1, 0 = 5*v - 4*j - 4. Is v at most as big as -1/18?
False
Let q = -6.5 + -8.1. Let d = 14 + q. Which is bigger: d or 1/5?
1/5
Suppose -2*k + 2 = -2*l + 3*k, l + 3*k + 1 = 0. Which is smaller: l or -3/7?
l
Suppose 0 = s + 4*s - 10. Suppose 72 = g + s*g. Suppose -3*k + 5 = -2*t + g, -5*t + 43 = -3*k. Which is smaller: 0.1 or t?
0.1
Let v be -86*4/(-8) - 3. Let n = -239/6 + v. Which is smaller: n or -1?
-1
Let g = 1 + 0. Let q = -2 + g. Let m(y) = y - 10. Let a be m(12). Which is smaller: q or a?
q
Let r = 7 - 9. Suppose -5*n = 5*x - 45, 4*n = -3*x + 7*x + 4. Suppose -2 = -3*o - n. Is o smaller than r?
False
Let c(y) = -y**3 - 5*y**2 - 2. Let x be c(-4). Let r be (1/(-3))/(3/x). Suppose 0 = -r*f - f - 6. Which is smaller: -3 or f?