17/5 < c?
True
Let o be (1 - 2)*11*1. Let i = -12 - o. Which is greater: i or -3/2?
i
Let l = 11 + -8. Let v be 3/90*l*-2. Let b = 6 + -6. Which is greater: b or v?
b
Suppose -5*c = -4*b + 6, 2*c + 1 + 2 = b. Let m(o) = -o**2 + 3*o + 16. Let z be m(-3). Is b at least as big as z?
True
Let c = -115.8 - -100. Let i = 13 + c. Let u = i - -0.8. Which is smaller: u or 4?
u
Suppose y - 14 = 5*g - g, -3*y - 2*g = 0. Let s = -6 - -8. Let n = -4 + s. Which is greater: n or y?
y
Let y(n) = -n + 1. Let o(t) = t**2 + 6*t - 8. Let q(s) = -o(s) - 2*y(s). Let r be q(-7). Let z = -11 - r. Is 3 greater than or equal to z?
False
Let o(m) = -m**3 + 4*m**2 + 5*m. Let p be o(5). Suppose -2*s = -p*s + 6. Are -5 and s unequal?
True
Let f be (2 + -1)*1*0. Suppose f = -0*w + 4*w. Is w < -1?
False
Let y(a) = 4*a - 44. Let x be y(11). Which is smaller: x or -4/49?
-4/49
Let x = -1 + 3. Suppose -4*v - 19 = 5*y, -7*y = 3*v - x*y + 18. Let r = -53/4 + 13. Is r at least v?
True
Let w(y) = y. Let c = 2 + -3. Let a be w(c). Suppose -1 = -2*s + 3*s. Do a and s have the same value?
True
Let h = 0.69 - -6.21. Let s = h - 7. Is 2/3 less than or equal to s?
False
Let l = 1 + 1. Let x(f) = f**3 - f**2 - 2*f. Let m be x(l). Suppose 0*o = -6*o + 6. Which is bigger: m or o?
o
Let x(t) = -t**2 - 4*t + 3. Let m be x(-5). Let y be (-12)/(-9)*(-21)/m. Suppose 0 = 3*r - 5*w - 9, 0 = -r - 0*w - 4*w - y. Which is smaller: r or -4?
-4
Let b = 4 - 17/4. Is 1 <= b?
False
Suppose -2*g - 9*n + 13*n = -134, 2*g = -5*n + 116. Is g at most as big as 64?
True
Let f be (1 - 0)*2*2. Suppose f*v + 0 = 4. Do v and -3 have different values?
True
Let n be (-2)/6 + 1/(-3). Let k = -4.32 + 0.27. Let b = -0.05 - k. Is b bigger than n?
True
Suppose 2*f + 0 = 2. Is f less than 1?
False
Let n = 0.12 - 7.12. Is 0.2 > n?
True
Let s(m) = m**2 + 3*m + 2. Let q be s(-2). Let b be -1 + q + 2/(-2). Let w be (-2)/14*(b - -4). Which is bigger: w or -0.1?
-0.1
Let p = 0.169 - -0.031. Which is greater: -35 or p?
p
Suppose -5*c = -3*c + 4. Let a = -10 - -6. Let b be a/((2*5)/c). Which is smaller: b or 0?
0
Let t = -108/143 + 10/11. Which is bigger: 1 or t?
1
Let u(z) be the third derivative of -z**2 - 1/60*z**5 + 0 + 0*z - 3/2*z**3 + 1/3*z**4. Let o be u(7). Is 0.2 at least o?
True
Let f(r) = -4*r. Let n be ((-6)/(-4))/((-9)/(-24)). Let h(w) = -3*w. Let k(p) = n*f(p) - 5*h(p). Let o be k(0). Which is greater: o or -1?
o
Let l = -16 - -9. Suppose 19*b - 3*b + 128 = 0. Is l equal to b?
False
Let w be (-5)/5 + 4 + -2. Which is bigger: 6/13 or w?
w
Let s be 2 - (-6 + 5)/(1/(-2)). Let v(a) = -1 + a + 3 + 0. Let n be v(s). Which is bigger: n or 1?
n
Let t be (-4)/(-14) - 4/(-14). Which is bigger: t or 2?
2
Let l = 3.2 - 4. Let a = l - -0.87. Let g = a - -0.03. Which is bigger: g or 2?
2
Let o(b) = b - 2. Let s be o(2). Let r be s/2 - 4/9. Which is greater: 0 or r?
0
Suppose -38 = -5*t - 23. Which is smaller: 8/5 or t?
8/5
Let y(q) = q**2 - 3*q - 2. Let j be y(4). Let v be ((2 - j)/3)/(-2). Which is bigger: v or 1?
1
Let z = -3.7 - -4. Let n = -0.2 + z. Let i = -3/11 - 5/22. Which is greater: n or i?
n
Let u be (-2)/8*32/44. Is u less than 4?
True
Suppose j = 35 - 36. Is j smaller than -5/3?
False
Suppose -2*r + 4*g + 8 = 0, 6*g - 4*g = -5*r - 4. Suppose 5*o + r*o + 25 = 0. Which is greater: -4 or o?
-4
Let k(j) be the third derivative of j**5/60 + j**4/12 + j**3/6 - 6*j**2. Let h be k(-2). Which is smaller: h or -2/19?
-2/19
Let q be (-20 - -22)*2/4. Let m = 191/5 + -38. Which is greater: m or q?
q
Let q(i) = -10*i - 1. Let n be q(-1). Suppose 4*g - n = 3. Suppose o + 16 = -g*o. Do -1 and o have different values?
True
Let k = 1 + -4. Let c be -2 + k*1/(-3). Let z be 5/2*4/(-25). Which is smaller: z or c?
c
Let m = -30 + 31. Which is bigger: 11/8 or m?
11/8
Let d(n) = n**3 + 5*n**2 + 3*n - 3. Let y = 6 - 9. Let a be d(y). Does 7 = a?
False
Let c be (6/(-15) - 0)*(5 - 10). Is 3 bigger than c?
True
Suppose r = -r - 2. Do r and 1 have the same value?
False
Suppose -3*g - 5 = -3*k + 7, 4*g - 19 = -3*k. Let m(b) = -b**3 - b**2 - 3*b - 6. Let a be m(-2). Which is greater: a or g?
a
Let f be (0 + -66)*(-13)/26. Do f and 34 have different values?
True
Let r(j) = -j + 1. Let y(c) = -c**2 - 9*c. Let a(p) = 3*r(p) - y(p). Let q be a(-6). Let i be (-2)/((-2)/4*1). Which is bigger: i or q?
i
Let o(r) = -11*r + 6. Let q be o(2). Is q > -0.1?
False
Let j = -10.8 - -11. Which is bigger: j or 1?
1
Let f = 17 - 28. Which is smaller: -10 or f?
f
Let z = 0.1 + -0.2. Let l(r) = r**3 - r**2 - r - 4. Let o be l(0). Let t be ((-8)/(-66))/(o/(-6)). Which is smaller: z or t?
z
Let x(q) = q**3 - 8*q**2 - 7*q - 11. Let n be x(9). Let u be (6 + -6)*(0 - -1). Which is bigger: u or n?
n
Let r = -3779/20 - -189. Let y(s) = 2*s**3 - 23*s**2 - 9*s - 37. Let k be y(12). Which is bigger: r or k?
r
Let p = 22 - 19. Which is smaller: -1/4 or p?
-1/4
Let f = -263/2 - -132. Suppose -5*a + 11 - 1 = 0. Which is smaller: a or f?
f
Let i(l) = 20*l - 10. Let y(x) = -1 + 0*x - 1 - 1 + 7*x. Let r(s) = 6*i(s) - 17*y(s). Let j be r(5). Which is greater: -3 or j?
-3
Let j be (1/(-2))/((18/116)/(-9)). Is 28 greater than j?
False
Let x = -28/11 + 62/33. Suppose -3*s - 15 = 2*s. Let k be 2/(s/3 + 0). Which is smaller: k or x?
k
Suppose 0*a - a = 0. Suppose -4 = -l - 2. Is l less than a?
False
Let t(p) = p**3 + 14*p**2 + 12*p - 15. Let a be t(-13). Which is greater: a or -11/4?
a
Suppose 2*m - 3*m - 6 = -r, -2*m - r = 9. Suppose -v = -4*o + 3, -5*v - 2*o + 5 = -2. Suppose -b = 5 + v. Is m not equal to b?
True
Let h(o) = 3*o**2 - 8*o + 4. Let a be h(5). Let l = a + -22. Suppose -5*n = 3*p + l, -3*n = p + 4*p + 23. Does p = -4?
True
Suppose -5*m + 0*r = 2*r, -m - r = 0. Is -2/25 at least as big as m?
False
Let r(t) = -t**2 - 9*t - 7. Let f be r(-8). Let k(z) = z**2 - 6*z. Let c be k(6). Let x(j) = j - 2. Let i be x(c). Is f <= i?
False
Suppose -3*a = -4*a - 5. Let q = a + 9. Let s be (1 - 6)*q/(-50). Which is smaller: s or -2?
-2
Suppose 9*p = p - 64. Are p and -8 unequal?
False
Let o(m) = -m**2 + 5*m + 4. Let f(h) = h**3 + 3*h**2 - h + 3. Let l be f(-3). Let n be o(l). Let r be n + (2 - -2 - 2). Which is greater: r or 2/7?
2/7
Let v = -30427 + 92251/3. Let h = 317 - v. Are -6 and h non-equal?
True
Suppose 4*b - 2*b = 14. Suppose -3*h - b = 2*r - 0, -46 = 5*r - 2*h. Let x be 2/r + (-3)/4. Are x and -0.3 nonequal?
True
Let z be (-41)/5 - 12/15. Which is bigger: -10 or z?
z
Suppose u - 3*u + 6 = 0. Which is greater: 0.2 or u?
u
Suppose -9 = s - 4*x + 8*x, 0 = 3*s - 2*x - 15. Suppose -3*j - 12 = 3*i, 0*j = 3*i - s*j - 6. Let o = -27/119 + -1/17. Which is smaller: i or o?
i
Let c = -20.44 + 20. Let j = 0.5 + c. Let p = j + -0.07. Which is smaller: 0.1 or p?
p
Suppose -4 = -x + 1. Let j = x + -1. Suppose 5*l = -5, 3*z + j*l = -0*z - 4. Is 6 >= z?
True
Let q(f) = -2*f - 5. Let i be q(-4). Suppose -i*n - 4 = 2. Let g = -81 - -569/7. Which is smaller: g or n?
n
Let h = 27 + -27.1. Is h smaller than 0.08?
True
Let b = 2/433 + 2572/5629. Let v(m) = m**3 + 7*m**2 + 2*m + 5. Let u be v(-7). Let h be u/63*(0 - 7). Are b and h unequal?
True
Let d be ((-2)/(-4))/(4/24). Suppose 2 = -p + d. Which is bigger: p or -1?
p
Let d be -1 + (-218)/(-4) - (-1 - -4). Is 52 at least d?
True
Let c(i) = i + 50. Let r be c(-17). Are 31 and r equal?
False
Suppose 2*g + 4*j = 22, 25 = g + g + j. Let i = g - 9. Is 4 < i?
False
Let q = -80 - -81. Is 17 less than or equal to q?
False
Suppose -1 = 3*b + 2, -4*t + 2*b = -26. Suppose 5*z = 2*w - 15, -5*w - t = 2*z - 3*w. Is 0 <= z?
False
Suppose 11 = -3*u - 2*l, -4*l - 21 = -0*u + 5*u. Which is bigger: 4/17 or u?
4/17
Let s = 0 + -4. Let f(q) = q + 5. Let m be f(s). Is m less than 5/3?
True
Let p = 255542713/1208648 - -1/172664. Let q be (-846)/(-4) + 2/(-4). Let o = p - q. Is o at most as big as 1?
True
Let g = 0.15 - 0.55. Which is smaller: -2 or g?
-2
Suppose 5*l + 4*g = 35, -l - 3*g = -6*l. Suppose 4*d - 5*j - 9 = 0, 0 = -l*d + 3*j + 6. Which is smaller: -1 or d?
-1
Let f be (2/3)/((-10)/(-3)). Is f greater than or equal to -8/7?
True
Suppose 0*w + w = -x - 11, -4*w = -5*x - 46. Which is smaller: x or -9?
x
Let g be (-1)/2*0/1. Let j = g - -1. Suppose -4*s + 3 = -1. Is j at most as big as s?
True
Suppose -3*h - 5*x = -4*x + 1, -4*h + 5*x = 14. Let r(t) be the first