Is 4 greater than c?
False
Let g = 2/505 - 10114/3535. Which is smaller: -4 or g?
-4
Let w = 2759803 - 6543492756/2371. Let r = w + -3244925/56904. Let m = 172/3 + r. Is 0 greater than m?
False
Let r(k) = -4 - 1 + 3 - 2*k. Let t be r(-3). Which is bigger: 5/2 or t?
t
Suppose 2*z - 2*t = 0, 18 + 0 = 4*z + 2*t. Suppose 4 = -4*j + 12. Is z bigger than j?
True
Let x = -0.9 - -1.9. Let p = -48 - -146/3. Which is greater: p or x?
x
Suppose -2*y = 4*m - 8, 0 = 4*y - 9 - 7. Let o(g) = -g + 9. Suppose 0*x + x = 8. Let q be o(x). Which is smaller: m or q?
m
Let c = -4 + 6. Let l = 68 + -160. Let p be -5*(c - l/(-50)). Which is bigger: -2 or p?
p
Suppose -m = -2*s - s + 33, 4 = -s. Let r be (1 - -1) + m/21. Which is smaller: r or 1?
r
Suppose -3*d + 0 = -6. Suppose 0 = -d*k - k + 9. Let q be k*2/15 + 0. Is q less than or equal to 0.1?
False
Suppose -i + 6 = -5*i - 3*a, 5*i + 4*a = -8. Does i = 7?
False
Let r(f) = -f**3 + 5*f**2 + 6*f + 1. Let v be r(6). Let o = v - 1. Is o < 0?
False
Let i = 3 - 10. Which is greater: i or -0.1?
-0.1
Let o = -8 - -14. Which is smaller: 7 or o?
o
Suppose 93 = 3*g + 4*o, -2*o = -g - g + 48. Do g and 27 have the same value?
True
Let n = -11 + 9.8. Let b = n - -0.2. Let d = 0 + b. Is d equal to -4?
False
Let n(o) = -49*o + 2. Let j be n(-2). Let w be (-195)/j + 2/10. Which is smaller: 1 or w?
w
Let i(a) = a**2 + 5*a - 7. Let x be i(-5). Let h(z) be the third derivative of z**5/60 + z**4/4 - 2*z**3/3 - 2*z**2. Let y be h(x). Is y bigger than 3?
False
Suppose h + 15 = 6*h. Let l = -64 + 67. Does l = h?
True
Let j = -6 + 3. Let q = j + 3.1. Is q less than 2?
True
Let h = -8 - -58/7. Let f = 12 - 4. Let i = -6 + f. Which is bigger: i or h?
i
Suppose 0*w + 6 = 2*w, -w = -2*l - 5. Let c be (-2)/((7 - 3)/l). Is 0 greater than or equal to c?
False
Let g = 10.3 + -7. Let p = -0.3 + g. Let j = 3.1 - p. Which is greater: 1/4 or j?
1/4
Let j be ((-3)/(-4))/(88/(-32)). Which is bigger: j or 0?
0
Let p = 49 - 149/3. Which is greater: p or 1?
1
Let w = 3/17726 + -24266909/88630. Suppose -3*p + 12 = 0, -3*c + 3*p + 260 = -547. Let n = c + w. Which is bigger: 0 or n?
0
Let h(f) = -f**3 - 9*f**2 + 9*f - 12. Let v be h(-10). Is v <= -3?
False
Let v be 156/9*(-6)/(-4). Let n be (-80)/3 + 8/12. Let x be (-22)/v + 4/n. Which is smaller: -3/7 or x?
x
Let i = -13/36 + 1/9. Which is greater: i or 0.32?
0.32
Let f(d) = d - 8. Let y be f(7). Let n be (2682/4)/(42/8). Let s = 128 - n. Does y = s?
False
Let b = -4 - 10. Which is smaller: -1 or b?
b
Let p(v) = -v + 7. Let q be p(8). Let j be -19 + (0 + -1 - 0). Let w be (j/(-8))/(q/(-2)). Which is bigger: w or 4?
w
Let a(r) = 7*r**2 + r. Let p be a(-1). Suppose -2*q + 4 = -p. Suppose 5*y - 4 = 5*k - 19, -q*k + 3*y = -15. Is k greater than 3?
False
Suppose 5*a - 3*z - 16 = 0, 4*z - 2 = 3*a - 5. Suppose 0 = -a*k - 14 - 6. Let i = -2 - k. Do 0.2 and i have different values?
True
Let v = -35489/4 + 8828. Let f = -44 - v. Which is bigger: f or 0.1?
f
Let n = -28 - -42. Suppose -n*l - 6 = -8*l. Let a = 0 - -0.2. Do l and a have the same value?
False
Let h be (54*6/12)/(-2). Which is smaller: h or -13?
h
Let r = 3 + -2. Let a = r + -2. Let x be (-1 + 1)/(a - -2). Is 2/13 at least as big as x?
True
Let c = -0.24 + 0.34. Which is smaller: c or -4/11?
-4/11
Suppose 0*z - 2*z + 2 = 0. Is z at most 4/17?
False
Suppose -l = 2*v - 13, 0 = -5*l + 3*v - 3 + 16. Suppose -b - 2 + 6 = 0. Let y = b - l. Is y at most as big as 1?
True
Let f = -10929 - -218367/20. Let o = f - -41/4. Does 0.07 = o?
False
Let w = -1 - -1. Let d = w + 0.1. Let p be (-4)/(2 + -1)*6/(-60). Which is smaller: p or d?
d
Let t = -204 - -203.8. Which is bigger: -15/2 or t?
t
Let v be 6/(-21) - 9/(-7) - -2. Which is smaller: v or 9?
v
Let c(x) = x**2 + 2*x - 4. Let a be c(-3). Let z be 6/81*3*a. Is z less than or equal to 1?
True
Let j = 2 - 4. Suppose 5 = -2*m + 3. Which is greater: j or m?
m
Suppose 6*z = 70 - 172. Is z < -16?
True
Let v be 49/((30/4)/(-3)). Let x = v - -20. Which is greater: x or -0.2?
x
Let j = 2 + -1.96. Suppose -h + 1 = -3*m, -4*m + 3 = -3*h + 6. Which is smaller: j or m?
m
Suppose 5*z - z = 0. Suppose o - 3*o + 4 = z. Which is greater: o or -1?
o
Suppose -3*r + 70 = -23. Let u = r + -17. Which is bigger: u or 15?
15
Let a = -2.2 + 1.9. Is -0.3 at least as big as a?
True
Let f = 0.9 + -1. Suppose -3*i - 2*i = -20. Is f at most i?
True
Suppose r + 0*r = 7. Let i(s) = -r*s - 4*s + 7 + 10*s. Let f be i(5). Which is bigger: f or 1/2?
f
Let g(a) be the first derivative of a**2/2 - 11*a + 1. Let w be g(11). Is w not equal to -1/2?
True
Let a be ((-5)/(5/12))/(-2). Let v(u) = u**3 - 7*u**2 + 6*u - 1. Let m be v(a). Are 2/5 and m non-equal?
True
Let g be ((-10)/(-3))/((-1)/18). Let z be (9/g)/(63/66). Let v = -5/14 - z. Which is smaller: v or 1?
v
Let n = 2/61 - 376/305. Let y = 4 + -3. Suppose 5*u + 6*i - 4*i = 3, 5*u + i + y = 0. Which is greater: u or n?
u
Suppose -7*m + 15 = -4*m, z - 13 = -2*m. Suppose -z*q = q. Does 3/5 = q?
False
Let m = 3 + -3.5. Let v = -11.5 + 11. Let o = v - m. Is o smaller than -3?
False
Suppose -3*y + 5*r + 10 = 0, 4*y - 2*r = -3*r - 25. Are -5 and y equal?
True
Let m = 4 + -5. Let q = 0 - m. Is -1 >= q?
False
Let m = 2369/15 - 158. Let l = 46/75 - 12/25. Let b = l - m. Is -1 at least b?
False
Let k be 6/(-15)*30/(-32). Does -1 = k?
False
Let q be (-4)/(-3) - (-4)/6. Let h be (0 - -5)*q/(-5). Let g be h/1 - (-3 + 1). Which is smaller: 1 or g?
g
Let f = 0.003 - 0.103. Which is bigger: -1 or f?
f
Let n = -0.2 + -0.8. Let q = n + 1.2. Let f = 0.1 - q. Is 1/2 bigger than f?
True
Let x = -2.2 + -4.4. Let l = x + 7. Which is smaller: l or -1?
-1
Suppose 0 = 5*b + 3*u + 24, u + u = 4. Do -13 and b have different values?
True
Let w(x) = x**2 - x - 1. Let g be w(-2). Let m be g/(-15)*30/4. Is -4 equal to m?
False
Let f(u) = -2*u**2 - 3*u - 6. Let v be f(7). Let n be -1 - 1 - 260/v. Let o(p) = p. Let g be o(0). Which is bigger: n or g?
n
Let p be (1/5)/(4/8). Let g be ((-4)/(-6))/((-2)/(-3)). Which is smaller: g or p?
p
Let r = -252 - -254.06. Let k = r - 0.06. Is 0.1 >= k?
False
Let c(v) = 0*v + 6*v**2 + v**3 + v - 5*v - 8 - 4*v. Let m be c(-7). Let f be (1 + (-27)/25)*5. Which is smaller: f or m?
m
Suppose 3*o - 27 = -3*q, q - 3*o = -7*o + 24. Let j = 6 - 2. Is q at most as big as j?
True
Let n(y) = y**3 + 7*y**2 + 7*y + 3. Let k be n(-6). Let c be (-1)/(0 - k/42). Is c at least -1/4?
False
Let m = -639/7 - -91. Let w = 4 - 3.9. Let a = -1.9 - w. Is m not equal to a?
True
Let y = -115 - -115. Which is greater: 11.7 or y?
11.7
Let z = 18.8 - 19. Which is smaller: z or -4?
-4
Let u = 1.2 + -1.3. Is u >= 0.06?
False
Let j(g) be the second derivative of g**4/12 - g**3/2 + 3*g**2/2 + g. Let f be j(2). Which is smaller: f or 7/4?
f
Let o be 4 - 1 - (1 + 3). Suppose y + 1 = 4. Suppose -5*k - 2*v = 4, -3*v - 6 = k + y*k. Which is greater: k or o?
k
Suppose 0 = -6*p + 11*p - 5. Let f be (8/(-3190))/(4/(-10)). Let m = f - 656/2871. Which is bigger: m or p?
p
Let p = -142 - -112. Is -30 != p?
False
Let n be 6/9 - 320/(-15). Which is smaller: 21 or n?
21
Suppose -2*b = 4*b + 102. Is -18 at least b?
False
Let h be (5 - 8)*1/(-4). Let o = -41/28 + h. Which is bigger: o or -1?
o
Let n be (-1)/1057*(-843)/(-9). Let p = -1/151 + n. Is p bigger than 1?
False
Let x be 0 + 2 + 0 - 7. Let k be 2/x + (-6)/(-10). Let j(s) = s**2 + 21*s + 38. Let q be j(-19). Which is bigger: q or k?
k
Let x = -46 - -42.2. Let h = x - -4. Let w = h + -0.2. Is -2/3 less than w?
True
Let r be (-9)/(-7) - (-12)/(-42). Let n be (-2)/(-6)*(1 + 20). Let l be ((-4)/14)/((-4)/n). Which is smaller: l or r?
l
Let k be 3793/11 + 10/55. Let b = k + -669/2. Let j = b + -233/22. Is j less than 0?
True
Let z(r) = 4*r**3 - 2*r - 1. Let x be z(2). Suppose 5*t - 55 = 5*k, -5*t + 2*k = 4*k - x. Suppose 4*v + 0 = -w + t, 0 = -4*w - 4. Is 2 at most as big as v?
True
Suppose -4*m = -3 + 7. Let j = -5 - -3. Let b be 3/j*(-2)/(-3). Is b less than m?
False
Let n = -10 - -4. Let d be (-4)/n + (-85)/15. Let w be 22/(-6) - (-2)/(-6). Which is bigger: w or d?
w
Suppose -3*h + 15 = 0, h - 4 + 2 = w. Suppose w*a = -a. Suppose 0*f - 4*f - 3*t + 12 = a, 4*f = -4*t + 16. Is f bigger than 0?
False
Let u be (-38 - 0)*(-4 + 2). Let b be u + 2*2/(-4). Let j = b + -529/7. Which is greater: -