*a - 2*i - 50 = -4. Let v be a/f*4/6. Which is smaller: v or 0?
0
Suppose 4*s - 18 = -6. Let g be (-2)/2*s/3. Let v be (g/10)/((-3)/(-12)). Which is smaller: v or 0?
v
Suppose -2*c - 3 = 1. Let j(s) = -s**3 + 2*s**2 + 3*s - 4. Let t be j(3). Let f be t - (-1 + 1 - 3). Which is bigger: f or c?
f
Let s be 3/204*1*48/(-30). Does s = 0?
False
Let f be -1 - (0/(-3) - 469). Let d = f + -2329/5. Is d less than or equal to 2?
False
Let l = 174 - 141. Which is smaller: l or 32?
32
Let c = -3 + 0.9. Let l = c - -0.1. Which is smaller: l or -0.3?
l
Let t be (-4)/6*3/4. Which is smaller: t or -10?
-10
Let u be (-66)/(-40) + 2/(-5). Let c(v) = -v**3 - 4*v**2 - 2*v - 6. Let x be c(-4). Is x at most u?
False
Let u = -13 - -7. Let x be 2/(-4)*u - 3. Let r = -313/9 + 35. Which is smaller: r or x?
x
Let w = 8.5 - 8. Let o = 3 - 4. Which is smaller: o or w?
o
Let h(q) = -5*q**2 + 7*q**2 - 6*q - q**3 + 4*q**2. Let o be h(4). Which is smaller: o or 7?
7
Let x(g) = -g**2 - g - 6. Let i be x(0). Let a be (-4 - -3) + 4/i. Which is smaller: -2 or a?
-2
Let o(y) = -y**2 + 3*y + 0*y**2 - 5 - 11*y. Let u be o(-7). Let k = u + 2. Is k at least as big as 3?
True
Let j be 0 - 0/(3 + 1). Suppose 2*y = 7 - 3. Suppose -2 = -2*z + y*c, -5*z + 5*c + 1 = -2*z. Is j > z?
False
Suppose -5*f + 11 = -2*f - 4*p, -5*f = 4*p - 29. Suppose 0 = 3*q - q - 12. Suppose q = -f*h - 3*z, 5*h - 6 = 2*z + z. Is h greater than 1?
False
Suppose 5*k - 31 + 6 = 0. Suppose -1 + 29 = 4*a + 4*n, -k*a = -3*n - 19. Is a greater than 5?
False
Let v(f) = 2*f - 7. Let g be v(5). Suppose -2*t - 4*a + 6 + 18 = 0, -3*t + 21 = 3*a. Let u be (t - 1)*(-4)/(-2). Is u < g?
True
Let z(g) = -g - 7. Let l be z(-10). Suppose -n - l*n - 48 = 0. Let q = n - -58/5. Which is smaller: -6 or q?
-6
Let r = -3031227/55 - -55115. Let a = r + -24/11. Which is bigger: a or 0?
0
Let z(n) = n**3 + 5*n**2 - 3*n - 7. Let q be z(-5). Suppose -53*h + 56*h - 21 = 0. Is q at most h?
False
Let v = -2 - -2.02. Let s = 0.1 - -0.22. Let b = s - v. Are b and -1 equal?
False
Let a = 0.1 + 0. Let g = -0.2 + 0.2. Let m = 1 - g. Which is bigger: m or a?
m
Let y(c) = -3*c + 24. Let f be y(8). Is 5/19 != f?
True
Suppose 76*z = 72*z + 36. Is z less than or equal to 9?
True
Let p be (-1)/((4 + 2)/(-2)). Let x = -0.08 + 9.08. Let c = -8 + x. Which is smaller: c or p?
p
Suppose -3*u + 2*g = 74, 2*g + 5 = g. Let l be (-1)/(-2) + u/24. Let m = -211 - -2319/11. Which is smaller: l or m?
l
Let b = 26 - 26. Which is bigger: -11/8 or b?
b
Let f = -8 - -8. Let j be (-15)/24*3/5. Is j < f?
True
Let j = -25 + 30. Suppose -2*f - 3*c = f - 18, c - j = 0. Which is smaller: f or 11?
f
Let m be (-14)/35 - (-94)/(-40). Let w be (-35)/(-2)*1/(-6). Let g = w - m. Which is smaller: g or 1?
g
Suppose -3*z - 3 = -0*z. Let d be 2/(-4) - (-3)/(-2). Is d equal to z?
False
Let u = -317 - -213. Is u > -104?
False
Let s = -10 - -48/5. Let x(g) = -7*g**3 + g**2 - 5. Let c(d) = -d**3 - 1. Let b(l) = 6*c(l) - x(l). Let w be b(0). Which is bigger: s or w?
s
Let m = 38.8 + -39. Is m != 1/8?
True
Let u = 114 + -112. Which is smaller: u or 6/7?
6/7
Let d(h) = -h**3 - 18*h**2 - 16*h + 23. Let p be d(-17). Which is greater: 0 or p?
p
Let u(w) = -w**2 + 7*w - 3. Let r be u(6). Let d(p) = 0*p**2 - r*p + p**2 - 5*p. Let v be d(8). Is v at most 0?
True
Suppose 4*w - 18 = w. Let n be 2 - 1*10/w. Is n at most as big as -1?
False
Let a = 0.23 + -12.23. Let o = 11.9 + a. Which is greater: 1/8 or o?
1/8
Suppose 3*q = -3*k + 15, 3 = -2*q + 3*q. Suppose 5 = 4*a - 3*a. Suppose 0 = a*n - 0*n. Which is bigger: n or k?
k
Suppose 0 = 3*c + 1860 - 1857. Let o(v) = -5*v**3 + 2*v**2 - 2 + 3*v**3 + 3*v**3. Let r be o(-2). Which is bigger: r or c?
c
Let c = 191 + -106. Suppose -c - 155 = 5*t. Let j be t/(-99) + (-2)/(-11). Is 2 smaller than j?
False
Let v = 8577/4 - 2158. Suppose 2*j = -29 + 1. Let s = v - j. Are 2/3 and s equal?
False
Let g = 1.68 + 3.32. Which is smaller: -1/16 or g?
-1/16
Let d(n) = -2 + 2*n + 4 + 2*n**2 + 0*n + 0. Let p be d(-1). Suppose -v - 2 = -5. Which is greater: p or v?
v
Suppose -n + 16 = 3*r, 8 = 6*r - r - 3*n. Let b(h) = -1 + 1 + h**2 - 4*h - 5 + 6. Let x be b(r). Is -2/13 > x?
False
Let s be 4/((-4)/(-2) + -3). Suppose y + y = -10. Which is smaller: s or y?
y
Let j = 1.2 - 0.2. Let s be -3*((-16)/(-6))/4. Do s and j have the same value?
False
Suppose 0 = 3*m + 9, -2*m = i - 5*i + 22. Let h be (-7)/i*16/6. Which is smaller: h or -5?
-5
Let i be 1/2*(3 + -15). Let n(v) = v + 6. Let j be n(i). Is 0 smaller than j?
False
Let m = 57233147/1446610 + 1/289322. Let v = m - 196/5. Is v less than or equal to 0?
False
Let q = 0 - 1. Suppose -x + 2*x - 3*k - 6 = 0, 0 = 5*x - 5*k - 40. Suppose -4*s = -s + x. Which is smaller: q or s?
s
Let q be (3/(-4)*-1)/((-65)/(-120)). Which is smaller: q or 0?
0
Let h = -1 + 6. Suppose -h*q = -3 - 2. Let n = 2/21 + 13/84. Which is smaller: n or q?
n
Suppose -5*c + 3 = -12. Suppose 2*r = -y + 52, -3*r + 0*y - 5*y + 92 = 0. Suppose -5 - 1 = 2*a, 5*a = c*g - r. Is g smaller than 3?
False
Let x be 1224/(-21)*4/537. Let n = x + 1/179. Is n at least 0?
False
Suppose 4*i - 2 = -14. Let r be i*(-3)/18*-4. Which is greater: -1 or r?
-1
Let p = 16 - 16. Is p equal to 1/8?
False
Let z = -9.26 + -0.34. Let j = -10 - z. Let l = j - -0.5. Which is bigger: 1/2 or l?
1/2
Let m = 212 - 2334/11. Let a = -131 + 132. Are m and a equal?
False
Suppose 0 = -7*z + 4*z - 3. Which is smaller: z or -1/2?
z
Let l = -46.04 - -46. Which is smaller: -3 or l?
-3
Let v be (-332)/(-1760) - (-3)/(-15). Which is smaller: v or 1?
v
Let w(p) = -p**3 - 2*p**2 + p + 2. Let h be w(-2). Let v = 2 - 4. Let g be (-1 - (h - v))*-1. Is 2 < g?
True
Let u(g) = g - 7. Let h be u(6). Let s be (-180)/(-18)*1/(10/12). Let a be 1 + h*2/s. Do 1 and a have different values?
True
Let s = -0.54 - -0.54. Are s and 0.19 unequal?
True
Let j = 11/7 - 9/7. Let t = 4.4 + -2.4. Is j at most as big as t?
True
Suppose -5*z = -4*z + 5. Which is greater: -3 or z?
-3
Let c be 4/10 - 44/10. Let b be 7/9*c/(-14). Is -2 smaller than b?
True
Let w(o) = -o**3 + 4*o**2 + o - 5. Let l be w(4). Suppose 12 - 12 = -a. Let z be a/(-3 - -3 - l). Is z greater than or equal to 0?
True
Suppose -5*f + 9*f + 60 = 0. Let d be 30/4 + 3/6. Let m be 10/f - d/(-9). Are -1/3 and m unequal?
True
Let l be (-4)/12 - 4/6. Which is smaller: l or -1/2?
l
Suppose 2*z + u - 11 = 0, -2*z = -3*z + 2*u - 7. Let b be 1*(1*-6)/z. Let q = -1 - 0. Is b less than q?
True
Let x = -282/19 - -15. Let b be 3/(-12) - 3/19. Let y = b + x. Which is greater: y or 0?
0
Suppose 2*r + y - 42 = 4*r, 2*y = 0. Let n be (-7)/(-6)*4/r. Is -2/7 less than or equal to n?
True
Suppose 0 = -s + 3 - 1. Let v = -27/10 - -16/5. Which is greater: s or v?
s
Suppose 2*p + 6 = -p. Suppose 5*s - 24 = -c - 0*c, c - 19 = -4*s. Which is bigger: c or p?
c
Let c(o) = -o**2 + 5*o + 5. Let n be c(5). Suppose -2*k - 13 = b + 4*b, n*k + 5*b + 10 = 0. Let y be 4/(-6) - (-1 + 0). Is y smaller than k?
True
Suppose -180 = -p - 4*p. Suppose 3*c = z + z - 3, 4*z - p = -4*c. Suppose -z*o = -o. Which is bigger: -3/8 or o?
o
Suppose 3*v + 0*v + 37 = 5*i, -3*v - 32 = -4*i. Let y be 2/15*(0 - i). Is y >= -2/3?
True
Let x = -22/5 - -164/35. Which is bigger: x or -2/17?
x
Let y = 17 + 78. Let k = y - 90.9. Let j = k - 4. Which is greater: -2 or j?
j
Let w = -1.9 - -3.9. Let q = w + 10. Is -1/2 greater than q?
False
Let l be 1/3*(1 - 4). Let f be (0 - (-4)/18)*l. Which is smaller: f or 3?
f
Suppose -j + 19*j + 378 = 0. Is j at most as big as -19?
True
Let l = 18 - 23. Does -6 = l?
False
Suppose -4 = d - 5*d. Let s = 2.11 + -0.11. Let y = s + -1. Is d not equal to y?
False
Let c be -4 - 45/(-246)*(22 - 0). Is c equal to -1?
False
Let p = -52 + 43. Is -8 < p?
False
Suppose 0*y + y - 1 = 0. Let d = -13 - -11. Let n be (-3)/d + 10/(-20). Do y and n have the same value?
True
Let k be 15/(-14) - (-2 - -1). Is k less than -1?
False
Let g = -18 + 6. Let m = -12 - g. Do m and 1/3 have different values?
True
Let m(j) = -2*j**2 + 2*j - 1. Let p be m(1). Let r(n) = -n + 2. Let g be r(2). Which is smaller: p or g?
p
Let j = -920/7 + 131. Suppose -4*o + 5*n = -52, 2*o + 36 = 6*o - n. Suppose -4*r + 4 = o. Is r > j?
False
Let r = -0.1 + 0.2. Let i = -3.4 - -2.4. Which is smaller: i or r?
i
Let y(p) = p**2 - 1 - 1 + 0*p 