 1 - 7 = 0, 4*x = 2*c + 14. Is c at least as big as n?
True
Let n = 0.44 + -0.4. Let r = -0.96 - n. Is r smaller than -2/9?
True
Let r = 2314 - 18557/8. Which is smaller: -7 or r?
-7
Let f(s) = -s**3 + 10*s**2 - 8*s - 9. Let l be f(9). Suppose 8*d = 3*d + 5, -4*a - 4*d = l. Which is greater: 1/22 or a?
1/22
Let v = 0 - -1. Let x = 51 + -256/5. Which is greater: x or v?
v
Let j(c) be the first derivative of c**2/2 - 7*c + 1. Let l be j(4). Let d be 1/l*(6 - 3). Which is greater: -2 or d?
d
Let n = -0.8 - -2. Let s = n + -0.2. Let o = 4 + -1. Is o < s?
False
Let k = 11.8 - 13. Which is smaller: k or -1?
k
Let j = 0.3 - 0.1. Suppose 3*m = m + 6. Let n be (-6)/(-9)*m/8. Is j at least n?
False
Let j be 3 + (-2 - -1) + -1. Let x be 2/(-7) - 10/63. Which is smaller: j or x?
x
Let o = 13/17 + -31/85. Do o and -0.6 have different values?
True
Suppose -4*w + 1 = -5*w. Let s be 0/(-2) - 6/1. Let p be (-5)/(-9)*s/15. Which is greater: p or w?
p
Let x = 1/30 - 7/10. Is -32 at most as big as x?
True
Let r = -3.91 + -0.09. Let p = 4 + r. Which is bigger: 2 or p?
2
Let j(u) = -u + 3. Let l be j(0). Let w be (8/(-52))/1 + (-28)/(-13). Is l at least as big as w?
True
Suppose 0 = -5*c - 0*c. Let m be (-30)/(-4)*3/615. Let a = -131/902 - m. Is c at least a?
True
Let v be -3*((-20)/(-6))/5. Let t = -2 + 0. Is v at most t?
True
Let g(h) = -h**3 + 12*h**2 - 20*h - 13. Let n be g(10). Is n at most as big as 2?
True
Let r = 10 + -9. Which is bigger: r or -3/14?
r
Suppose 1 = 2*g - 17. Suppose -4*b + z = -g, z = 5*z + 4. Let u = 1 - 0. Which is smaller: u or b?
u
Let s = 16 + -15. Which is smaller: -1/22 or s?
-1/22
Let b be 10/(-2) - (-112)/24. Let u be (-1)/(2/(-4))*-2. Which is bigger: b or u?
b
Suppose v = 12 - 0. Which is smaller: 11 or v?
11
Suppose -7*v + 4 = 11. Are 8 and v non-equal?
True
Suppose 0 = b - o - o + 9, 13 = 3*b + 4*o. Let y be ((-20)/25)/(18/(-5)). Are b and y nonequal?
True
Let z(d) = d**3 - 14*d**2 - d + 15. Let n be z(14). Suppose 4 = 5*u - n. Suppose -i - 2*i + 9 = 0. Which is greater: u or i?
i
Let i = 55 - 166/3. Let v(g) = -1 - 3*g + 2 + 5*g. Let l be v(-1). Which is smaller: l or i?
l
Let y = 578 + -6346/11. Is 1 > y?
False
Let i be 4 - 0 - (-120)/(-32). Does -1.4 = i?
False
Suppose -3*j = -7*j - 24. Let o = 2 + j. Which is smaller: o or -7/2?
o
Let g be (4 + -3)/(-3)*-3. Do 0.3 and g have the same value?
False
Suppose 1 - 7 = 3*a. Let i = -1 - a. Does 7/6 = i?
False
Suppose 26*i = 27*i + 34. Does -34 = i?
True
Let j = 0.6 - 0.3. Let b = j + -0.2. Let z = 0.01 + -0.01. Is b at most as big as z?
False
Let v = -0.9 - -1. Is -6 >= v?
False
Let n(h) = 2*h**2 - 2*h - 4. Let j be n(3). Suppose -2*g - 2*g + 36 = 0. Is g at most as big as j?
False
Suppose a = 2*a + 1. Let j = -1 - 3. Do a and j have the same value?
False
Let c(z) = z**3 - 6*z**2 + 2*z - 4. Let i(g) = 5*g**3 + 2*g**2 - 2*g + 1. Let l be i(1). Let m be c(l). Suppose -2 + m = -3*b. Which is smaller: -3 or b?
-3
Suppose 3*z + 5*q - 13 = 0, q = -5*z + 5*q + 34. Suppose -3*p - 21 = 3*t, 6*t + 19 = 3*p + t. Let y be (p + 9/z)*0. Do y and 2/3 have different values?
True
Let j(h) = -h**3 + h**2 + 2. Let y be j(0). Suppose a + 2 = 3*a. Is a greater than y?
False
Let d(j) = j - 1. Let a(x) = -5*x + 6. Let u(k) = -a(k) - 6*d(k). Suppose 4*f + 6 = -6. Let h be u(f). Do h and 2 have the same value?
False
Suppose 0 = -4*o - 11 + 3. Let w be 3/o - 231/(-242). Is w != -2?
True
Let w(r) be the third derivative of r**4/24 + r**3/3 + r**2. Let q be w(-4). Let y be q/(-4)*(0 - 2). Is y greater than -1/2?
False
Let t = 5 - 1. Suppose -t*l = l - 25. Suppose 0 = l*q - q. Which is bigger: 2 or q?
2
Suppose n = -5 - 16. Let r be 7/n - (1 + -2). Do r and -0.1 have different values?
True
Let m(n) = -3*n**2 - 23*n + 8. Let u(i) = -2*i**2 - 12*i + 4. Let d(k) = 3*m(k) - 5*u(k). Suppose g - 24 = -2*g. Let j be d(g). Is -4 at least j?
True
Let l = 11.4 + -12.4. Is 27 < l?
False
Let p be 1 + -2 - 4*5. Let l be (6/p)/((-4)/(-6)). Let t = -116 - -115. Which is smaller: t or l?
t
Let x be 2/7 - 6/21. Suppose 0*n - n + 31 = 0. Suppose x = -5*b - 25, b = -3*t - 4*b - n. Are -1/2 and t non-equal?
True
Let m = 6207/17 + -365. Which is greater: 1 or m?
1
Suppose 5*c - 53 = 157. Let x be (-16)/c + (-2)/7. Let s be 1/(2 - 1 - 2). Is s at most x?
True
Suppose -6*n = -7*n - 123. Are n and -124 equal?
False
Let d = 7 - 4. Let w = d - 4. Let f = 5/18 + -17/18. Which is smaller: f or w?
w
Suppose 4*d = -2*d + 150. Which is smaller: 26 or d?
d
Let r(i) = i + 1. Let w be r(7). Suppose 5 = -4*n + 3*t, 0*n - 2*n = 2*t - w. Is -8 < n?
True
Let m = -1 - -0.9. Let c be 11 + -2 - (-1)/(-1). Which is greater: m or c?
c
Let v be 110/56 - 26/(-91). Are v and 1 non-equal?
True
Let u(b) = -b**2 + b + 1. Let w(v) = -3*v**2 + 3*v + 5. Let c(r) = 4*u(r) - w(r). Suppose 2*g + 2 = 4. Let n be c(g). Is n at most as big as 2/9?
True
Suppose -26 = d - 3*d. Is d at least 14?
False
Suppose 4*o - 3*n - 8 - 6 = 0, 4*n + 12 = 4*o. Suppose 0 = -o*f - w - 29, -2*f = -w + 2*w + 14. Do f and -4 have different values?
True
Let o = 0.05 - -0.05. Which is bigger: 1/8 or o?
1/8
Let f(b) = b**3 + 4*b**2 + 2*b + 2. Let y be f(-3). Suppose 3*c - 52 = -4*v, c + 3*c - 66 = -y*v. Is v less than or equal to 11?
True
Let h = 12 + -8. Let o be (h + -3)/(-2 + 3). Which is bigger: 2 or o?
2
Let k = 2/593 + -33214/1779. Let o = k + 19. Is o greater than or equal to 1/2?
False
Suppose 18*g + 30 = 8*g. Which is bigger: g or -23/7?
g
Let b be (4/((-24)/(-10)))/((-5)/(-15)). Is b > 21/4?
False
Let j = -4.3 + 0.3. Let y = -10 - j. Let z = y + 8. Is -3 greater than z?
False
Suppose 2*f + 34 = 4*i, 0 = 5*i + 4*f - 2*f - 29. Which is greater: i or 8?
8
Let x = -1 + 1. Let i be (-20)/24 - (-9)/6. Is i equal to x?
False
Let b be 0/(1/(3 + -2)). Let f(r) = r**2 + 2*r - 3. Let g be f(3). Suppose 4*s - 4*z = g, -6 = 2*s + z + 3*z. Is s smaller than b?
False
Let a be (-4)/(-3) + 20/(-15). Which is smaller: a or -2/5?
-2/5
Let b = 1466/9 + -163. Which is smaller: 1/3 or b?
b
Let w = -23 - -23. Is w less than or equal to 18?
True
Let p = -15 + 20. Is 0.3 at most p?
True
Let n = 2 + 0. Let j = 3 - n. Which is smaller: j or 4/3?
j
Let k be 3/9 - 13/3. Let j = k - -3. Is j greater than or equal to -2?
True
Suppose 147 = 4*p - 81. Which is bigger: p or 58?
58
Let l = 3.7 + 0.5. Let w = -0.2 + l. Is 0.1 not equal to w?
True
Let q be (-1)/(4/(-3)) + -1. Suppose 4*x = 5 + 3. Let s be x/(-7)*(-70)/30. Do q and s have different values?
True
Suppose -2*s + 4*t - 42 = 0, s + 2*t = 3*t - 16. Which is smaller: s or -9?
s
Let j be (-2 + 0 + -1)/(-11). Suppose 0 = t + 3 - 2. Which is bigger: j or t?
j
Let d = -2 + 2. Suppose -2*k + 40 = 3*k. Suppose k = c + 3*c. Is c less than or equal to d?
False
Let o be ((-20)/(-99))/((-4)/6). Let d = o - 4/11. Which is bigger: d or 2/3?
2/3
Suppose -2*p - 3*p = 120. Let k be p/(-10) - 4/10. Suppose j + 12 = -4*m - k, 0 = -m - 2*j. Which is bigger: -5 or m?
m
Let g be (-2)/4*396/(-6). Let i be 2/10 + g/(-315). Which is greater: i or 1?
1
Suppose y + 2*u + 15 = 6*y, 0 = -2*y + 4*u + 22. Let l = y - 3. Let c = -112/3 + 36. Do l and c have the same value?
False
Suppose -8*q + 3*q + 15 = 0. Let k be (-1 - 0)/((-3)/q). Which is smaller: k or -1/3?
-1/3
Let p = -8 - -8. Let j = -0.04 - 4.96. Let f = j - -6. Is p smaller than f?
True
Let a(p) = p - 5. Let j be a(-6). Let d(x) = -x - 10. Let w be d(0). Let u = j - w. Are u and 2/19 nonequal?
True
Let a be (-1 - 2 - -2)/(2 - 1). Suppose -3*f + 28 = 4*w + w, -4*f = -5*w + 21. Suppose -4 = r + g, -w*r + 0*r = -5*g. Is a less than or equal to r?
False
Let b = -4 - -5. Suppose -u + 18 = -3*q, -2*u = -5*u + 4*q + 29. Let d be -1 + u/(-2 - -3). Is d smaller than b?
False
Let r(f) = -2 - 9 + 6*f + 1 + f**3 + 8*f**2. Let x be r(-7). Do x and -4 have different values?
True
Let k(s) be the first derivative of -s**2 - s - 4. Let r be k(-2). Is 2 greater than r?
False
Let w = -2 + 6. Let z = -5 + w. Which is smaller: z or -0.1?
z
Let g = 1.5 - -0.5. Let p = 7 - 5. Is g at most p?
True
Suppose 10 = 4*d + d. Suppose -5*r + 0*x - 31 = -4*x, 4*r + 4 = -d*x. Let g = -1 - r. Is g less than or equal to 0?
False
Let o be (8/10)/(4/10). Suppose o*m + 2*m = -8. Suppose 4*u - 1 + 9 = 0. Do u and m have different values?
False
Let i = 2714/63 +