Suppose -2*v + 118 = 2*k, 5*k = k - 2*v + 228. Let y be ((-12)/10)/(22/k). Does j = y?
False
Let f = -76 + 82. Which is greater: -4 or f?
f
Suppose 4*g + 42 = -5*z + 13, g + 2 = 4*z. Which is greater: 0 or g?
0
Let z = -54 + 51. Is -38/9 != z?
True
Let g(l) = l**3 + 7*l**2 + 5*l - 1. Suppose m - 6 = 2*m. Let z be g(m). Suppose -x = -z*x. Is x at most 2/3?
True
Let y = -0.023 - -0.323. Is -0.8 smaller than y?
True
Let i = -2 + -13. Let x = 18 + i. Which is smaller: 4 or x?
x
Let f(z) = z**3 + 14*z**2 - 16*z - 18. Let h(l) = -l**2 - 13*l - 15. Let s be h(-13). Let c be f(s). Are c and -5 non-equal?
True
Let h(m) = 2 + 7*m - 1 + 2 - 2. Let v be h(1). Which is smaller: v or 9?
v
Let b = -2 - -4. Let x(f) = f + b*f + f + 3 - 3*f. Let d be x(-7). Is -4 at most d?
True
Let f = -10 + -2. Let m = f - -9. Is m greater than or equal to -2?
False
Let a(f) = f**2 - 5*f - 10. Let p be a(7). Suppose -2*d + 10 = p*m - 0, -15 = -5*m. Let q = 38 + -38. Which is smaller: q or d?
d
Let i be 2/(-6)*2*3. Let o(m) = 3*m**2 + 2*m + 1. Let j be o(-1). Let t be j*((-3)/(-12) - 1). Which is greater: i or t?
t
Let q(u) = -u**2 - 2*u - 1. Let p be (4 - 6)*1*-2. Let m be q(p). Let b be (4 - -1)*(-2)/m. Is 0 != b?
True
Let s be (7 + -4)*2/(-142). Let m = s - -151/213. Is m equal to 2/3?
True
Suppose 0*r = -4*r. Suppose r = 5*y - 31 + 11. Suppose 5 - 1 = y*f. Which is bigger: 1/2 or f?
f
Let r = -1 - -2. Suppose -4*g + 13 = r. Which is smaller: -2/7 or g?
-2/7
Let z = -40 - -27. Let b = z - -5. Let r be b/10 + 4/10. Which is smaller: 1 or r?
r
Let b = -11 - -8. Let o(m) = 2*m - 2. Let s be o(b). Let t be ((-2)/s)/((-1)/(-2)). Which is smaller: t or -2/7?
-2/7
Let l(g) = g**2 - 9*g. Let a be l(9). Which is smaller: a or 1/4?
a
Let m = -47/3 - -241/15. Is m at most -5?
False
Let z = -7 - -10. Suppose -4*l = 2*a + z*a - 10, 4 = l + 2*a. Let k(i) = i**3 + i + 2. Let c be k(l). Is 3 less than or equal to c?
False
Let j = 1 + -1. Let s = 39 + -39. Is j less than or equal to s?
True
Let j be 1/(-4)*(-32)/18. Which is bigger: j or 0?
j
Let i = -48 + 526/11. Is i != 2/21?
True
Let s(x) = -2*x**2 + 13*x + 3. Let h be s(7). Which is smaller: h or -5?
-5
Let k = 6 + -2. Suppose 0 = 4*n + 13 - 1. Let f be (-10)/6 + k + n. Which is bigger: f or -1?
f
Let l = 0.03 + 0.04. Let h = l + -0.27. Which is smaller: 1 or h?
h
Let w = -11 + 28. Let z = 25 - w. Which is bigger: -2 or z?
z
Let h be ((-4)/6)/((-3)/63). Let p be (-21)/h - (-2 + 0). Let c(m) = -m + 3. Let v be c(3). Which is smaller: v or p?
v
Suppose 5*s + 39 = -y, -5*s + 4*s = -2*y + 10. Which is smaller: -10 or s?
-10
Let g = 1846 + -5614/3. Let a = 24 + g. Are 0 and a non-equal?
True
Let k be (12268/(-88))/(3/6). Suppose -r - 3*r + 1116 = 0. Let s = k + r. Which is smaller: 1 or s?
s
Suppose -4*j = -6*j. Suppose -2*a + 4*a - 20 = j. Is -2/9 at least as big as a?
False
Suppose -2*n + 2 = -0*n. Is 1 <= n?
True
Let y(g) = -g**2 - 12*g - 15. Let z be y(-10). Is 4 not equal to z?
True
Let f = 6 + -26. Let q be (2/(-55))/((-4)/f). Let u be 2/1 + 100/(-45). Which is smaller: q or u?
u
Let i = -12.7 + 0.9. Let o = i - -12. Is 3/2 at least o?
True
Let d(a) = -a**2 + 3*a + 3. Let p be d(3). Let o be ((-3)/27)/1*p. Is 1 greater than or equal to o?
True
Let m be (-32)/20*1/4. Which is smaller: 0.093 or m?
m
Let k = 7 - -5. Which is greater: 14 or k?
14
Let k = 22 - 17. Let s = -5.4 + k. Let l = 5 - 3. Is s bigger than l?
False
Suppose 0 = -g + 5*p - 17, 6*g - 2*g = -5*p + 32. Let u(v) = -v**2 - 5*v - 3. Let q be u(-3). Are g and q unequal?
False
Suppose 3*w + w = 0. Which is smaller: w or -1?
-1
Let y = 5 - 5.5. Let x = -14.5 + 20. Let l = y + x. Does -1 = l?
False
Let o be (-1)/4 + (-348)/(-112). Which is smaller: o or 2?
2
Let f = -19 + 10. Let i be 3/f + (-20)/(-6). Are i and 3 nonequal?
False
Let n(v) be the second derivative of v**3/6 + 11*v**2/2 + 6*v. Let z be n(-9). Let x = -4 - -6. Is z smaller than x?
False
Suppose -2*d + 5*w = 8, 5*d + 0*w - 22 = 2*w. Let g be (-3)/d + 1/1. Let f be (2/(-8))/(10/8). Which is smaller: g or f?
f
Let b = 13/20 - -1/60. Let o = b + -1/6. Which is smaller: o or 2?
o
Suppose 3*p - 4 = p. Suppose 3*u - p = 7. Let c be 11/(-2) - u/6. Which is greater: c or 1/3?
1/3
Let p be 2 + -4 - -1*(-1 - -2). Which is smaller: -11 or p?
-11
Let f = -17.4 - -17. Let s = f + 0.3. Is -0.3 >= s?
False
Let n be 1/(7/3 - 2). Let r be (-1)/n*(-4 + 5). Let s = -2.8 + 3. Does s = r?
False
Suppose 0 = 5*v + 5*l + 25, -4*l = l + 20. Is -2 less than or equal to v?
True
Suppose 4*w = 4 + 32. Let f = w - 6. Suppose 2*g + f*g = -5. Which is smaller: 1/4 or g?
g
Let f = -6.3 + 6. Let p = -0.6 + 0.5. Let h = p - f. Is -0.1 less than or equal to h?
True
Suppose 3*t + 0 = 3. Are t and 2 non-equal?
True
Let k be -1*10*2/4. Is -7 at most k?
True
Let j = 123/34 - 7/2. Is 1 smaller than j?
False
Let x(b) = b - 7. Let w be x(6). Let h(a) = a - 5. Let l be h(4). Are w and l equal?
True
Let y be -9*1*(-2)/6. Suppose 4*d + v = -3, y*d + v + 3 = d. Let t be (3 + d)*(0 + -1). Which is greater: t or 1/3?
1/3
Suppose w + t + 5 = 0, -3*w - 4*t = -4*w + 10. Let h be 2 - (w/(-3) - -1). Which is bigger: 0.1 or h?
h
Let k = 64 - 56. Does k = 6?
False
Let y be 5/((-300)/(-236)) + -4. Is y < 1?
True
Suppose -4*j + 0 = -8. Suppose -j*x - 2 = 2*v - v, -3*x + 3*v = -6. Let q be 0 - (-2 + 1 + x). Are q and 1 equal?
True
Let r(i) = i**2 - 7*i - 6. Let w be r(7). Let j(a) = 4*a + 7. Let t(z) = -11*z - 22. Let n(s) = -8*j(s) - 3*t(s). Let m be n(w). Is 3 at most as big as m?
True
Let c = 3683/16 + -230. Are -1 and c non-equal?
True
Let x be (-4)/2 - 5/(-1). Suppose -4*r = -r. Suppose -3*c + 0 - x = r. Is c >= 2/5?
False
Let z(d) = 2*d - 4. Suppose 0 = 5*p - 31 + 16. Let h be z(p). Which is smaller: h or 4?
h
Let a be 1 + -3 + (0 - -4). Suppose u - 1 = v - 9, v + u - a = 0. Is v <= 4?
False
Let j = -42 + 94. Let g be (-1 - -1) + 0 - j. Let x = g + 207/4. Which is smaller: x or 0?
x
Let w(r) = -r - 5. Let y be -12*(36/8 + -4). Let u be w(y). Which is bigger: u or 2?
2
Let v(o) = -3*o + 17. Let a be v(4). Is -1 less than a?
True
Let j = 0.27 - -12.73. Let o = -13.3 + j. Is o at least -1?
True
Suppose -1 - 1 = -2*c. Which is smaller: 2/33 or c?
2/33
Let d = 26 - 13. Let u be d/5 - 2/1. Is 2 at least as big as u?
True
Suppose -3*p = b - p, -b = 4*p + 2. Suppose -b*a + 6*a = -16, 2*l + 2*a = -10. Let i = -0.2 - 1.8. Are i and l nonequal?
True
Let v = -10 + 4. Let l = 1 + v. Is l at most -3?
True
Let l = 49 - 48. Which is greater: l or 32?
32
Let p be (-66)/(-15) + 4/(-10). Let n(o) = -6 + p*o**2 + 5*o**2 - o - 4*o**2 + o**3. Let i be n(-5). Is i smaller than -1?
False
Suppose -8 = -3*c - 14. Let g(r) = -5*r**3 - r**2 + r - 2. Let p be g(c). Suppose -2*f - 32 = -2*q + 6*q, 5*f + p = 2*q. Which is smaller: f or -7?
f
Suppose 4 + 6 = -5*q. Let r(h) = h**2 + h. Let s be r(q). Which is bigger: s or 4?
4
Let p be (-14)/(-3)*(-2830)/315. Let m = -42 - p. Which is bigger: m or 1?
1
Let k(p) = p**2 - 15*p + 65. Let r be k(11). Is 21 <= r?
True
Let c = -139 + 147.9. Let u = c - 1.9. Which is smaller: 0.2 or u?
0.2
Let v = 15 - 14. Let a be 0 + -2*v/4. Which is greater: a or -2?
a
Let c = 3/8 - 7/8. Which is smaller: -1 or c?
-1
Let i = 2.4 + -2. Let h = i + -0.2. Let q = -1 + 0. Which is bigger: h or q?
h
Let z(i) = -i**2 + 6*i - 4. Let f be z(5). Which is smaller: f or 0?
0
Let u = -3 - -2. Let t = 1.55 + -0.62. Let y = -0.07 - t. Does u = y?
True
Let c = 10 - 7. Suppose 2*b = i - 13, 0*b = -2*i + 3*b + 22. Suppose -i*u - 4*n = -2*u - 26, c*u - n = 1. Is -1 >= u?
False
Let l be (4/32*4)/(-1). Suppose -y + 5*y - 3*k = -3, -4 = 5*y - 4*k. Is l > y?
False
Let r(d) = -2*d + 8. Let n be r(8). Let q = n + 8. Suppose -y - 3*s + 7 = -0, q = 5*y - 5*s + 5. Do 1 and y have different values?
False
Let c = 31 + -21. Suppose 0 = -t - 7 + c. Suppose -3*a + t = -0*a. Is a at most 2/7?
False
Suppose 2*q + q = 6. Suppose -p + 3 = 1. Let r = -3/2 + p. Are r and q unequal?
True
Let c = 8/23 - 101/92. Which is smaller: c or -0.3?
c
Let q(u) = u**3 + 2*u**2 + 4. Let a be q(-3). Suppose 8*s + 116 + 484 = 0. Let r be (2/12)/(a/s). Which is smaller: r or 3?
r
Let n be (-624)/(-45) - 2/30*-2. Is 15 >= n?
True
Let y = -1 - -2. Let i = 277 + -278. Is i at least y?
False
Let b = -11 + 4. Let i = b + 6.