-3*a - 12*a = 15. Are a and 2/135 nonequal?
True
Let f = -0.005 + 0.05. Let g = f + -6.945. Let m = g - -7. Is 2 less than m?
False
Let h = 0 + 0. Let a be (1*4/4)/(2/2). Suppose 0 = -h*m + m - a. Is 3/2 at most m?
False
Suppose 4*d - 11 = 1, 3*i - 4*d = -45. Which is smaller: i or -14?
-14
Suppose -2*k = 3*k - 10. Suppose -z + o - k = 0, -z + 4*o + 8 = -5*z. Let r = z - -3. Is 1 != r?
False
Let u be 1*1/(-1)*-7. Let z(t) = -5*t + 35. Let b(o) = o - 9. Let k(y) = -9*b(y) - 2*z(y). Let m be k(-10). Which is smaller: m or u?
m
Let b = -1.9 + -0.3. Let s = 5 - 3. Let p = b + s. Which is bigger: -2/7 or p?
p
Let f = -0.02 + -0.08. Let t = 208 + -1661/8. Is f greater than t?
False
Let p = 3 - 7. Suppose 0*s + 2 = -2*s. Let q(k) = 4*k - 1. Let a be q(s). Is a less than or equal to p?
True
Let j = 13 + 14. Let k be 4/(-6) + (-1869)/j. Let w = k - -70. Which is smaller: w or 1?
w
Let l = -4 - -10. Let u = l + -4. Suppose -3*f = -u*f + 2. Is f not equal to -2?
False
Let f be (-1)/2 - (-21)/6. Let q be ((-7)/3)/((-1)/f). Is q at least 7?
True
Let t be ((-10)/(-3))/(2/(-6)). Let c = t + 1. Let p = 28/3 + c. Which is greater: 0 or p?
p
Let t = 25 + -22. Let m = 3 + 3. Which is greater: m or t?
m
Let p = 1579/7 + -226. Is p at most 0?
True
Let m = -28 - -16. Let v be (27/18)/((-2)/m). Which is greater: 2/5 or v?
v
Let j(a) = -a**3 + 18*a**2 - 14*a - 10. Let x be j(17). Is x at least as big as 124/3?
False
Let g = 17 + -10. Let x = 8 - g. Do x and -2 have different values?
True
Let v = -67/35 - -12/7. Which is smaller: 1/3 or v?
v
Let g(b) = b**2 + 7*b + 3. Let x be g(-6). Are x and -5 equal?
False
Let d = -7 - 5. Let f = d + 9. Which is smaller: -4 or f?
-4
Let c = 1786 + -8874/5. Let m = c + -58/5. Which is smaller: m or 3?
m
Let c be 1 - ((-3)/13)/((-27)/135). Let v = 4 - 3. Is v > c?
True
Let u be ((-20)/40)/((-1)/(-10)). Is u less than -2?
True
Let p(r) be the third derivative of -r**4/24 - 5*r**3/6 + r**2. Let x be p(-5). Do x and -1/6 have the same value?
False
Suppose -4*h = 4 + 20. Let q be (6 - 3)*2/h. Let b = 0 + q. Which is greater: b or -2?
b
Suppose -2*w - 54 = 4*w. Let k be (6/w)/(4/6). Which is smaller: -1/4 or k?
k
Suppose 4*x = 2*c + 20, -x - 2*x - c + 10 = 0. Let n be (2 - 1) + 2 + -1. Let a be 6/(-4) + n/x. Which is bigger: a or 0?
0
Let r = -34 + 35. Which is smaller: r or -27?
-27
Let g = 0.09 - -0.31. Let p = g + -0.48. Let s = p + -0.92. Is 2/3 at most s?
False
Let v be 2/36*(-138)/8. Let f = v + 5/8. Which is smaller: f or 0.2?
f
Let g = 4.6 - 5.6. Is 10 at least as big as g?
True
Let o be (0/(-1))/(3 - 4). Let l = -35/4 - -183/20. Which is smaller: o or l?
o
Let c = 76.9 + -77. Is 2 greater than or equal to c?
True
Suppose 9 = -2*x + 7. Let g be 2/(-4)*2/7. Are x and g non-equal?
True
Let d(k) be the second derivative of -k**3/2 - 7*k**2/2 - 2*k. Let n be d(-7). Let t be 24/n - 4/2. Which is smaller: -1/2 or t?
-1/2
Let u(s) = s**3 + 6*s**2 + 4*s - 11. Let m be u(-5). Which is bigger: m or -11?
m
Let c(r) = -r**2 + 6*r + 8. Let a be c(7). Let y be 0/(a + (-4 - 1)). Is -1/9 at most as big as y?
True
Let c = 2.9 + -3. Which is greater: c or -5/2?
c
Let n = -5/3 + 13/6. Which is bigger: 0 or n?
n
Let o be 3/15 - 39/(-5). Let w be ((-95)/40)/(30/o). Let s = w + 2/15. Which is bigger: 0 or s?
0
Let z = 3.69 - 3.9. Let h = -2.22 - z. Let r = -0.01 - h. Which is greater: r or -0.1?
r
Suppose -2*x + x + 4 = 0. Let v = -14 + 14.14. Let c = v + -0.24. Is c smaller than x?
True
Let y = -0.1 + 0.1. Let i(f) = -f**3 - f**2 - 2*f - 4. Let d be i(-2). Which is bigger: y or d?
d
Let b = 109.4 + -109. Let w = 0.2 + 0. Which is bigger: b or w?
b
Let a = -6 + 4. Suppose 2*j + 2*j + 12 = -4*d, -3*d - 2*j - 11 = 0. Let p be (a + 4)/2 + d. Is -4 less than or equal to p?
True
Let u(d) = -4*d - 9. Let l(g) = 3*g + 8. Let a(p) = 3*l(p) + 2*u(p). Let m be a(-4). Suppose 2*r = -m*r - 4. Which is bigger: r or -2?
r
Let y = 0.6 - -1.5. Let r = y - -4.9. Which is bigger: r or 0?
r
Let f be -1 + 32/(-20) - -3. Is f < 2/9?
False
Suppose 5*h - 5*i + 10 = 0, 8 = -4*h - 0*i + 3*i. Which is greater: h or -4?
h
Let z = -18844/1272045 - -2/9285. Is z less than 0?
True
Let o be (0 + 3 + -3)/(1*-1). Is o greater than or equal to 4/7?
False
Let w = -40 + 16. Let m = w + 26. Is m >= -3/4?
True
Let w(m) = -m**2 + 7*m - 3. Let o be w(6). Suppose o*t = -2 - 4. Suppose 3*p = -5*g + 12, -3*p - 4*g = -4*p - 13. Which is greater: t or p?
p
Let z = 0.02 - -0.02. Let a = -1.04 + z. Which is smaller: 0 or a?
a
Let y = -0.09 + 0.06. Let a = y - -0.03. Let r = 0 + 0. Are r and a unequal?
False
Let u = 491 - 5359/11. Is u less than 5?
True
Let g = -16 + 5. Let y = g - -11. Is -5 < y?
True
Let t be 171/15 - 3/(-5). Suppose -4*l + 9*l + 4*g = t, 3*l = 3*g - 9. Do l and -1/6 have different values?
True
Let x be 4/(2 - (1 - -3)). Which is smaller: -1/2 or x?
x
Let x = -4 - -3.89. Let t = -0.89 + x. Is -2 greater than t?
False
Let u be 120/126 + 4/(-6). Is u equal to -1/57?
False
Let b be (-634)/(-104) - (-14)/91. Let h = 67/12 - b. Are -2 and h nonequal?
True
Let l be 5 + -5 - -4*1. Suppose l*p + 10 = 26. Suppose -5*o + 5 = -3*v - 0, 3*o + p*v + 26 = 0. Do -4 and o have the same value?
False
Let n be ((-340)/(-58))/2 + 23 + -26. Which is bigger: n or 1?
1
Let q = -2.06 + 0.06. Let b = -11.4 - 1.6. Let a = -14 - b. Which is bigger: q or a?
a
Let u = 15.32 - 0.32. Let n = u - 9. Let c = 5 - n. Does c = 1/4?
False
Let s(m) = 9*m. Let o be s(-5). Suppose 4*b + 2 = u, 2*u + 41 = -3*u + 3*b. Let t be 1/(-2)*u/o. Which is smaller: 0 or t?
t
Let g = -1 + -4. Let d = -14/15 + -27/5. Which is greater: d or g?
g
Suppose -4*u + 8*u = 2*l + 12, 3*u - 14 = -l. Let f(n) = -n**3 + 4*n**2 + 5*n + 4. Let s be f(5). Is u greater than s?
False
Let n = -6.84 - 0.16. Let c = 6.6 + n. Is -2/3 at least c?
False
Suppose 4*b = p + 38, -4*b - 2*p = -b - 23. Suppose b = -t - 2*t. Is t greater than or equal to -4?
True
Let i = -6/53 + 2397/106. Let f = i + -177/8. Is f < 0?
False
Suppose -18 - 42 = -4*v. Which is greater: v or -1/4?
v
Let n = -12 + -18. Is -1 at most n?
False
Let r be 0 - -4 - (-6)/(-4). Is 4 smaller than r?
False
Let u(f) = 3*f - 4*f + 4 + 2*f. Let r = 0 - 3. Let z be u(r). Are z and -2/7 unequal?
True
Let a(o) = -7*o - 41. Let n be a(-6). Which is greater: n or 3/19?
n
Let v(y) = -y**3 + 5*y**2. Let m be v(4). Suppose o - 2*w = 3*w + m, 0 = 2*o + 2*w + 4. Which is greater: 2 or o?
2
Suppose 12 = -4*r - 3*w, w = -2*r - r - 9. Let d be 0/(-4) + -1 + -3. Which is smaller: r or d?
d
Let z = -13 - -12. Is z at most as big as -1.1?
False
Suppose 6*v = 4*v + 6. Suppose v*w = 15 + 48. Let g be 9/7 - 6/w. Which is bigger: 2/3 or g?
g
Suppose -5*d + 7 + 8 = 0. Suppose 2*s - d - 1 = 0. Let h = -2 + 4. Is s at least as big as h?
True
Let z(u) = u**3 - 8*u**2 - 8*u - 10. Let d be z(9). Which is bigger: d or 1/5?
1/5
Let n(x) = -3*x**2 + 2*x - 1. Let i be n(1). Let l = i - -5. Let k = 4 - l. Are k and 1/7 nonequal?
True
Suppose -4*n + 2*n = -14. Suppose m - n = -4*z, 0*z + 3 = -4*z - 3*m. Is z less than or equal to 3/2?
False
Let j be (14/(-154))/(2/(-4)). Let v be -2 + 4 - 7/4. Which is smaller: v or j?
j
Let m(z) = -z + 1. Let n be m(-2). Suppose -n*y + 53 + 14 = -5*k, -y + 13 = -k. Let q be (-1)/(-2) + k/4. Is -1 at most as big as q?
False
Let x = -136 + 88. Let p be -4*(-4)/x*2. Which is smaller: p or 6?
p
Let v = -0.53 + -0.27. Which is smaller: v or 0?
v
Let g = -22 - -21. Let t be (1/22)/(3/12). Which is smaller: t or g?
g
Let n = 62/195 - -1/65. Which is smaller: n or -0.9?
-0.9
Let b be (4/31)/((-3)/(-9)). Which is smaller: b or 0?
0
Let o be (-2)/(-4)*-1*2. Let a = -30 + 21. Let c be (-4)/(-16) - a/(-20). Is o at least c?
False
Let n = -18 + 19. Which is smaller: n or -1?
-1
Let s = 223.84 + -231. Let n = s - -0.16. Which is greater: -1/4 or n?
-1/4
Suppose 0 = -5*w + 4*k + 18, -2 = -3*w + 2*k + 8. Let l = w - 2. Suppose l = q + 4*q + 10. Are -0.1 and q nonequal?
True
Let x = -3.92 + 4.3. Let w = -0.22 + x. Is w bigger than -1/3?
True
Let i be -1 - 0 - 1/(-2). Suppose -8 = -4*d + 4. Let m = -3 + d. Which is greater: m or i?
m
Let l = 22 - 19. Let b be -9*(6 - l - 1). Is b < -19?
False
Suppose -5*u + 2*p = 1, -5*p - 8 = 2. Which is smaller: u or -1/75?
u
Let p = 3 + -2.7. Which is smaller: -2/33 or 