Is 2/5 not equal to v?
True
Let n(i) = i**2 + 7*i + 4. Let t be n(-6). Let o be t/2 - -1 - 0. Suppose -3*f + 5*f = 0. Do f and o have the same value?
True
Let v = -60 + 35. Let u = 17 + v. Which is greater: u or -7?
-7
Suppose q - 2*t = -0*q + 7, -3*t = 2*q. Let y = 9 + 12. Suppose 5*c + 5*s = 0, -y = -q*c + 4*s + 7. Which is smaller: c or 3?
3
Suppose -3 = -10*r + 17. Is r > 2/3?
True
Let h be ((2 - 3)*0)/(6/3). Which is bigger: h or -3/65?
h
Let d(q) = 2*q**2 + 6*q - 4. Let y be d(-5). Let h be -2*(-2)/y + -1. Which is bigger: 0 or h?
0
Let c = 0.4 - 0.3. Let b = 0.85 - -0.15. Which is greater: c or b?
b
Let a be (-4)/(-6)*(-18)/4. Do a and -5 have the same value?
False
Suppose 0 = -2*n + n. Which is smaller: -0.02 or n?
-0.02
Let z = -152 - -1670/11. Which is smaller: z or -1?
-1
Let r(f) = f**2 + 13*f + 8. Let w be r(-13). Let y be ((-1)/5)/(w/(-40)). Which is smaller: -2/15 or y?
-2/15
Let p be (-1)/((-3)/(-9)) - 1. Let k be 2 + p*(-4)/(-10). Is 0 bigger than k?
False
Suppose -v + 2*x + 6 = -3*x, 5*v - x - 54 = 0. Suppose 5*o - 2*j = 16, 6*o - 2*o - v = j. Suppose -4*m + 6 = -o. Are m and 1 equal?
False
Let w = -2 - -8. Let p = 8 - w. Let j = -0.4 - -0.3. Is j at least as big as p?
False
Let z(c) = -c + 1. Let d(v) = 3*v + 7. Let t(n) = d(n) + 2*z(n). Let g be t(-9). Let b = -0.09 - 3.91. Which is greater: b or g?
g
Let a(k) = k**2 - 4*k + 2. Let l be a(4). Suppose 5*y - 5*f = -20, 4*f - 15 = 2*y - 1. Is y not equal to l?
True
Let c(g) = -g**2 - 5*g + 4. Let q be c(-5). Suppose 0 = -0*b - q*b - 16. Are b and -8/3 equal?
False
Suppose 0 = -50*r + 47*r + 15. Is r greater than or equal to 4?
True
Let a be (-2)/7*21/(-3). Suppose -k - 20 = -5*z, -4*k + 4*z = -a*k + 10. Suppose k*r = r. Is -1 less than r?
True
Let g = 98716/19 - 5197. Let p = g + 659/437. Is -1 not equal to p?
True
Let n = -46 - -24. Which is bigger: -21 or n?
-21
Let y be ((-2)/(-3))/((-3)/(-36)). Suppose -2*x + 2*w + y = 3*w, -4*x + 14 = w. Suppose -v + x*t + 8 = -t, -5*t = -2*v + 10. Which is smaller: v or -1?
-1
Let u = -70 - -206/3. Which is smaller: 2 or u?
u
Let m(f) = -6*f**2 + 2*f. Let q be m(-2). Let s be (2/8)/(q/(-48)). Are 1 and s unequal?
True
Let p = 4 + -3. Let s be (6/(-16))/((-3)/(-2)). Which is greater: p or s?
p
Let x = -0.034 - 0.046. Are x and 1 non-equal?
True
Let m(d) = 3*d + 51. Let f be m(-19). Is f >= -5?
False
Let i = -6/17 + 81/85. Is 1 smaller than i?
False
Let q = -157 + 1096/7. Let u = 5 + -4. Which is bigger: q or u?
u
Let n be 4 + -6 + (-40314)/58. Let t = n + 697. Which is greater: -1 or t?
t
Suppose -3*g - 9 = 3*z, -9*g - z = -4*g + 11. Let t be (0 + 0)/(1*-2). Which is smaller: t or g?
g
Suppose -2*g + 18*g = 1104. Is g >= 70?
False
Let t be -241*-18*8/228. Let r = 152 - t. Which is bigger: r or 1?
1
Let n be (0 + -3 + 2)*-1. Is n smaller than -1?
False
Let a be (-13)/132 + (-6)/(-33). Which is smaller: a or -1?
-1
Let r be ((-59)/(-2))/(9/(-18)). Does r = -60?
False
Let f(x) = 5*x + 11. Let c be f(-2). Which is smaller: -2/43 or c?
-2/43
Suppose 3*y - y - 4 = 0. Let i = 23 - 21. Suppose -o + 6 = i*m - 4*o, -y = -2*m + o. Is m at least as big as -1/7?
True
Let k(w) = -w**3 + 15*w**2 + w - 18. Let d be k(15). Is 2 at least as big as d?
True
Let m = 4 + -6. Let a be (3 - m/(-2))/2. Is 1/3 less than a?
True
Let d = 44 - 16. Is d != 28?
False
Let l = -5 + 4. Let u = l + 3. Which is greater: u or 0.2?
u
Let n(h) = -h**3 + h**2 - 1. Suppose 4*q + 1 - 16 = -5*f, 5*q - 27 = 2*f. Let b be n(f). Does -3/10 = b?
False
Let f(y) = 26*y**2 + 2*y - 2. Let h be f(-2). Let o be -1 + 4 - h/35. Is o at most 1?
True
Let x be 19/1 + (-75)/(-15). Which is smaller: 23 or x?
23
Let x = 0.18 + 0. Let t = x + -11.18. Is t greater than -1?
False
Let n(b) = -2*b**3 + 18*b**2 - 13*b + 12. Let i(m) = -m**3 + 9*m**2 - 6*m + 6. Let f(t) = 5*i(t) - 3*n(t). Let d be f(8). Is 1 at most d?
True
Let c be -2*(-22)/28 + -2. Is c < 2/9?
True
Let v be (-1 - -1)/(-3 - -1). Let z be ((32/20)/(-4))/4. Which is smaller: z or v?
z
Suppose 0*c = 4*c + c. Which is smaller: c or -39?
-39
Suppose 0*f = 4*f - 8. Suppose -1 = -u - f. Is u greater than -2/3?
False
Suppose -3*c = c. Which is smaller: c or 3/8?
c
Suppose -5*b + 10 = 2*d, 3*b - 10 = 2*d - 4. Let f be ((-8)/(-12))/(b/(-3)). Which is smaller: f or -2/5?
f
Let r be 4/3*1/4. Let l be -5 - -2 - 1*-2. Let d be 3 + l/1 - 3. Is r greater than or equal to d?
True
Suppose -j - 9 = 2*o + o, -4*o - 5*j - 23 = 0. Let l(r) = -2*r**2 + r. Let k(u) = -u**3 + 3*u**2 - u. Let m(a) = o*k(a) - 3*l(a). Let b be m(1). Is 4/5 < b?
True
Let s = -6 - -5.9. Let l = s + 0.2. Is -8 equal to l?
False
Let a be 2 + (-1 - (0 + -1)). Let f be (a/15)/(5/25). Is f at least as big as 0?
True
Let z be 6/(-72) - (-1)/3. Is 1 bigger than z?
True
Let o = 0.25 - 0.1. Let i = 0.25 + o. Is -3/2 less than or equal to i?
True
Let p be (-4)/21*9/(-2). Let g = p - 11/21. Which is smaller: g or 0?
0
Let v be (3 - 2)/((-3)/27). Let f be -2*15/(-2) + 2. Let t = -26 + f. Is v greater than or equal to t?
True
Let s = 10 + -7. Let i(m) = -m + 9. Let u be i(6). Suppose -4*o + u = -o. Do o and s have different values?
True
Let g(f) = -f + 9. Let m be g(9). Let v be -2 - m - 12/(-9). Which is greater: -1 or v?
v
Suppose 2*s = 3*s. Let a(d) = -d + 1. Let w be a(s). Let f be 8/(-10)*2/(-8). Which is bigger: w or f?
w
Let d = 2 + 1. Let i(m) = -m + 3. Let q be i(d). Is -1/10 at most as big as q?
True
Let a(s) = -s**2 + 2. Let c be 4/(-2) - (-4 + 2). Let d be a(c). Let j be (0 - 1 - -1)/d. Which is greater: j or -6?
j
Let h be (6*-2)/((-76)/178). Let y = h + -28. Which is bigger: y or 0.1?
y
Let z = 54 + -105/2. Is z smaller than 1?
False
Let f be 0 + 2*(3/(-6))/(-1). Is 5/4 smaller than f?
False
Let y = -21.1 - -17. Let a = y - -4. Let p = 0 - a. Is -0.1 < p?
True
Let o(k) = 2*k - 2*k + k - 5. Let r be o(4). Is 0 less than or equal to r?
False
Let w = 40.3 + -40. Let o = 2.57 + -0.17. Let g = -0.4 + o. Is w at most g?
True
Let j be (4/6)/((-17)/612). Which is smaller: -23 or j?
j
Suppose u - 5 = 0, r - 6*r - 15 = -5*u. Let d = -7/4 + r. Is d < -5?
False
Let u = 6.4 - 0.7. Let l = u - 6. Let h = 0.2 + l. Which is smaller: h or 2?
h
Let r be (0 - 2)*(-2)/(-6). Let b = 5.05 - 0.05. Let t = 7 - b. Are t and r nonequal?
True
Suppose 19 + 41 = -4*q. Is -14 at least as big as q?
True
Let j = 39 - 40. Let p be ((-2)/(-6))/(2/6). Is p != j?
True
Let c be (-8)/(-66)*(-18)/12. Let m(u) = -u**2 + 8*u - 1. Let y(s) = -2*s**2 + 15*s - 3. Let a(n) = 5*m(n) - 3*y(n). Let b be a(4). Which is smaller: b or c?
c
Let c be (-2)/(-5) + 1868444/(-35). Let z = 53188 + c. Let l = z + 196. Is 1 < l?
False
Let x = 2 - 2.8. Let g = 34 + -33.3. Let w = x + g. Which is greater: 4 or w?
4
Let l be (-2)/4 + 13/2. Suppose 0 = -f - 0*f - 6. Let r = l + f. Which is bigger: r or -2/3?
r
Suppose 3*z - n + 5 = -2*z, 3*n = 4*z + 4. Are z and 3/16 equal?
False
Suppose -2*h - 11 + 27 = 0. Let y be h + ((-27)/(-3))/3. Is y at most 9?
False
Suppose -2 = -r + 3*r. Is r >= -9/4?
True
Let x = 0.2 + -0.3. Is -0.21 greater than or equal to x?
False
Let l = 18.1 - 19. Let s = -0.5 - l. Let d = -0.5 + s. Which is bigger: -2 or d?
d
Suppose 2*q + o + 0*o = -15, 2*o = 6. Is q at least as big as 6?
False
Let v = 41 - 40.99. Is 7 < v?
False
Let j(p) be the third derivative of -p**5/60 - p**4/24 + p**3/3 - p**2. Let r be j(0). Let n be 3 - r/1 - 4. Which is smaller: n or -2?
n
Let y = -129/5 - -2183/85. Which is greater: -1 or y?
y
Let t be 37/3 - 2/6. Let v = t - 8. Is v at most as big as 3?
False
Let n = 6 - 1. Let o be 5*(1 + (-1)/n). Suppose -3*c = 2*h + 4, c + 12 = o*h - 3*c. Which is bigger: -2/5 or h?
h
Suppose 0*m + 8 = -4*m - 2*o, -2*o - 8 = -2*m. Suppose m = 2*g - 0*g - 8. Is 5 >= g?
True
Let u be (-2)/5*(-15)/12. Is u smaller than 65?
True
Let d(p) = -p**2 - p + 4. Let n be d(-3). Let x(b) = b**2 + 2*b. Let q be x(n). Let r = -1.1 - -1. Which is smaller: q or r?
r
Let m = 62 + -62.1. Let o = 8.8 - -0.2. Is m greater than or equal to o?
False
Suppose -k = -3*k + 4, 2*s = 3*k. Suppose -s*m + 9 - 48 = 0. Is -14 at most m?
True
Suppose 0 = 2*d + 5*n - 9, 3*n + 1 - 10 = -3*d. Suppose d*p - 2 = -2*m - 6, 5*p = -m - 18. Suppose 1 = m*g + 3. Is g less than or equal to 0.2?
True
Suppose -5*o = -2*h + 25, -2*h + 19 = o - 4*o. Suppose 