- 7. Let g be x(-1). Are w and g unequal?
False
Let r(k) = -2*k**2 + 2*k - 5. Let a(y) = 3*y**2 - y + 6. Let j(f) = -3*a(f) - 4*r(f). Let o be j(-8). Is o at least -22?
True
Let o be 4/5 - ((-4760)/(-25))/(-7). Suppose 12*k - 10*k - 2*d = o, -3*d + 13 = 2*k. Is 11 <= k?
True
Let s(n) = n**3 + 39*n**2 + 140*n + 75. Let t be s(-35). Which is smaller: 2 or t?
2
Let r = 7 - 7. Let j = -0.1 - r. Let c = 20 - 21.5. Which is greater: j or c?
j
Suppose -4*p + 3*k + 52 = 0, -3*k + 171 = 159. Suppose 0*b = s + b - 17, -5*s + 69 = -3*b. Is p less than or equal to s?
False
Let t(a) = a**3 - 11*a**2 + 11*a - 10. Let x be t(10). Let i(q) = -3*q + x*q - q. Let s be i(2). Is s not equal to -7?
True
Let t = 48 - 47. Which is smaller: -0.018 or t?
-0.018
Let s = -119 + 118.9. Does -14.5 = s?
False
Let b = -117 + 121. Suppose 13*r - b = 9. Which is smaller: 18/11 or r?
r
Let l be (-38)/95*(-1 + (-4368)/(-4383)). Which is greater: l or -1?
l
Let h(q) = 0 + q + 6 - 1 + 3. Let l be h(-11). Is l less than -5?
False
Let r = 10 + -82. Let q be (-3)/9 + (-42)/r. Is -13 greater than or equal to q?
False
Let h be 5/30 - 4508/264. Let w = -17 - h. Let i be (2/8)/((-1)/(-4)). Is i != w?
True
Let p = -2498 - -2496. Let t = -0.04 - 20.96. Is t <= p?
True
Let w(z) = 2*z**3 - 10*z**2 - 12*z + 1. Let j be w(6). Is j > 23/31?
True
Suppose -3*w + j + 165 = 0, 0 = -0*j - 4*j + 12. Do w and 2/9 have the same value?
False
Let x = 10 - 8. Suppose -x*s - 80 = -6*s. Let v be 32/130 + (-8)/s. Is v smaller than 1?
True
Let v = 3 + 0. Suppose v*o - 2*o = 1. Let w be 6/(((-12)/(-8))/o). Which is greater: w or -3?
w
Let x be -1*(2 - 1*9). Let u(g) = -g**2 - 12*g + 29. Let b be u(-13). Suppose 8*f - 32 = b. Which is smaller: f or x?
f
Let h = 72 - 69. Suppose 2*y = -5*x + 2*x - 25, -h*y - 4*x = 35. Suppose -l + 4*m + 24 = -5*l, 5*l + 27 = -2*m. Is y < l?
False
Let l(b) = -8*b + 59. Let t be l(7). Let h be ((-2)/t)/((-6)/(18/(-19))). Suppose -5*v + 4*i = -v, 4*i - 8 = -4*v. Is v greater than or equal to h?
True
Let n = -1360 - -1360.6. Which is greater: 6/35 or n?
n
Let w = 2.3 - 2.9. Let f = -2.4 + w. Is f at most as big as -2/9?
True
Let q = 5 - 4.3. Let c = -0.3 + q. Let z = 0.5 - c. Which is greater: z or 1/4?
1/4
Suppose 87*n = 86*n - 133. Let d = n + 133. Is d less than -34?
False
Let p = 14.2 + -17. Let u = p + 2.7. Which is bigger: -15 or u?
u
Let q = 307 + -24. Which is smaller: q or 284?
q
Let i be 36/10 - 3 - (-2940)/(-150). Which is smaller: i or 0.26?
i
Let l(f) = 9*f - 1. Let a be l(4). Suppose v = -a + 7. Is v != -27?
True
Suppose 5*w - w - 4*j - 4 = 0, 4 = -4*w - 4*j. Suppose -a + 12 - 19 = w. Suppose 3*i + 4*x + 5 = -1, -5*i + 5*x = 45. Is a equal to i?
False
Let b be (-9)/(-3)*12/9. Let a be (-42)/(-10) - (-3 + 4). Is b less than or equal to a?
False
Suppose 0 = 8*q + 37 - 45. Which is greater: q or -6/17?
q
Let z be 3/10*25/10. Let r be 3/((-9)/6) - -4. Which is smaller: z or r?
z
Let k = 1/1191 + -265/397. Are k and -4.9 non-equal?
True
Suppose 3*z = 91 - 25. Let y be (1 - 3)*(-143)/z. Are 9 and y nonequal?
True
Let k(l) = -l**3 - 8*l**2 + 20. Let n be k(-7). Which is bigger: n or -31?
n
Let g be ((-6)/(164 - -4))/(6223/56). Which is smaller: 0 or g?
g
Let t(m) = -8*m + 7*m + 3*m**2 + 2*m**3 - 3*m**3. Let h(z) = 2*z**3 - 5*z**2 + 2*z - 1. Let f(g) = 2*h(g) + 5*t(g). Let o be f(5). Which is bigger: -8 or o?
o
Suppose -5*w = -3 - 22. Suppose -w*j - 10 = -35. Suppose 3*p + 8 - j = 0. Is -1 < p?
False
Let h be (-21)/27 + 4/(-18). Let s = 5/166 - -385/996. Which is smaller: h or s?
h
Suppose -b = -12 + 13. Is 2 >= b?
True
Let q(v) = -2*v**2 + 6*v + 3. Let x be q(4). Let r be 20 - 0*1/x. Is 20 not equal to r?
False
Let a = 242/135 - 70/27. Let j be ((-56)/(-6))/4 + -2. Which is bigger: a or j?
j
Suppose -2*v + 68 = 2*h + 2*v, 5*h - 164 = -4*v. Suppose -35 = -l + g - 2*g, 4*l - 5*g - 122 = 0. Is l <= h?
False
Let p = 1 + 0. Suppose 0 = -4*a + 2*x - 8 + 26, -a = 2*x - 2. Let j be (a + (-19)/4)*-4. Is p at least as big as j?
False
Let u = 0.031 - -1.939. Let r = u - 2. Let p = 0.07 - r. Which is greater: 5 or p?
5
Suppose -20 = -3*o - 5. Let w be o*(36/44 - 1). Suppose -6 = -2*u - 10. Is w > u?
True
Let x = -18 - -116. Let j = x - 98. Which is smaller: j or -5/8?
-5/8
Let z(x) = -x**2 - 8*x - 3. Let g be z(-7). Let k = -13 - -14. Suppose 0 = t + k, -t = -3*y + t + 17. Which is smaller: g or y?
g
Suppose 0 = 4*r + 35 - 7. Let z = 6 + r. Let o be (z/((-1)/(-2)))/2. Is o less than or equal to -2?
False
Let n(l) = -l + 20. Let z be n(7). Suppose -1 = d - 3*k, -3*d + 6*k + 21 = 3*k. Is d > z?
False
Let y = -286 + 13447/47. Which is smaller: -1 or y?
-1
Let a = -593683/33 - -17987. Is a != -2?
True
Let v be ((-4)/(-20))/(10/50). Which is bigger: -1/219 or v?
v
Let o be 2/(-11) - 1560/(-8217). Let p = o + -532/4233. Suppose 0 = -3*u + 13 - 16. Is u equal to p?
False
Let h = -1.8 - -0.6. Let n = h + 0.2. Let c = 62/9 + -440/63. Is c greater than n?
True
Let u = -30 - -28. Let p be (-315)/(-65) - u/13. Which is bigger: p or 8?
8
Let t be 207/2211 - 1/11. Is t > -1?
True
Let n(y) = 5*y - 9. Let h be n(2). Which is smaller: 17/33 or h?
17/33
Suppose 0 = -4*b + 6*b - 4. Suppose -8 = 6*y - b*y. Which is bigger: y or 0?
0
Let l = -83 + 190. Suppose -4*p + j = l, p = -0*p - j - 23. Do p and -25 have the same value?
False
Suppose 0*x - x = -3. Suppose 13 = 4*h + f, 3*h - 5*f - 2 = 2. Let u be 3/(h/8*4). Which is smaller: u or x?
u
Let d = 1294 - 9042/7. Which is smaller: 2/11 or d?
2/11
Let i = -0.002 - 10.998. Let b = -2 - -10. Let g = b + i. Is -2/9 smaller than g?
False
Suppose -5*p + 3*z = 355 + 902, 5*p - 6*z + 1269 = 0. Is p greater than -249?
False
Let s = -1432.032 - -1432. Is s smaller than 2?
True
Let s be 20/(-16) - 4/(-16) - 105. Is -106 < s?
False
Let z be 4/(-37)*3/6. Which is smaller: 1 or z?
z
Let u = -5.1 + 0. Let c be (-5)/4 - ((-36)/(-4))/(-9). Is c less than or equal to u?
False
Let z(p) = -p - 3 - 6 - 1. Suppose -3*m - 35 = -0*g - g, 0 = -g + 5. Let q be z(m). Which is smaller: q or -1?
-1
Let n = -3 - -1. Let r(o) = -o**3 - 6*o**2 + 2. Suppose 55 = -5*w - 5*c, -2*w = -5*w + 2*c - 8. Let p be r(w). Is p at most as big as n?
False
Let y(h) = -13*h**2 - 246*h + 18. Let x be y(-19). Let u be (-4)/(-2)*2/(-196). Which is smaller: x or u?
x
Let f = 0.81 - 1.87. Let r = f - -0.86. Which is smaller: 39 or r?
r
Let r = 2/2659 + -308450/7977. Let q = 38 + r. Which is smaller: 3.8 or q?
q
Suppose -26*f + 19*f - 441 = 0. Which is bigger: f or -64?
f
Let c(n) = -15*n - 15. Let d be c(-6). Suppose d = 5*m - q, -4*m + q + 64 = 3. Is m not equal to 12?
True
Suppose 5*v - 6 = -1. Let b(h) = 4*h - 13. Let a be b(-8). Let d be (-3)/(-6) - a/(-50). Is v != d?
True
Let p = -2704.7 + 2704. Is 1/29 < p?
False
Suppose 5*f - 6 = 19. Let k be f - (-2 + 4)*-1. Suppose 13 = 5*p - 17. Is p smaller than k?
True
Let h = 2623/5 - 529. Let a = h - -181/40. Let l(v) = -v**3 - 2*v**2 - v - 2. Let y be l(-2). Which is smaller: a or y?
y
Let a(r) = 54*r**3 + 3*r**2 - 3*r - 3. Let c be a(-4). Let p = 492857/145 + c. Let b = -129/1160 - p. Is 0 > b?
True
Let o be 4*(-9)/(-12) + 7. Suppose j + o = -j. Suppose -1 = 3*u + 14. Is j < u?
False
Suppose 4*l + 2384 - 476 = 0. Is l smaller than -476?
True
Suppose -175006507 = b - 2*n + 222487589, 5*b - 3*n = -1987470515. Let a = b - -10559430924346/26565. Let q = -2/805 + a. Are q and 0 unequal?
True
Let u be 62/4*(0 + -2). Let o = u - -14. Let s = o - -14. Which is bigger: -7/4 or s?
-7/4
Let q(i) = -i**3 + 8*i**2 - 8*i + 8. Let w be q(7). Suppose -d = w - 4. Suppose -5*t + 2*o = -o + 16, d*o - 8 = t. Does t = -3?
False
Let a be 2/(-3)*(4 + -1). Let l be ((-36)/21 - a)/1. Let x(p) = -p**2 + 12*p - 44. Let r be x(7). Which is bigger: l or r?
l
Let d(q) = 544*q**2 + q - 3. Let w be d(2). Let k = w - 8749/4. Which is bigger: k or -13?
k
Let g(p) = -p**3 - 2*p**2 + 5*p + 1. Let b be g(-4). Suppose 0 = -t + 5 - 1. Suppose t*x + 0*w = -w - b, 0 = 5*x + 3*w + 25. Do x and -0.3 have the same value?
False
Let m = -696/169 - 160639/676. Is m smaller than -241?
True
Let k = 53.12 + -53. Let c = -4 - -3. Let o = c - -1.1. Is k not equal to o?
True
Suppose 2*y + w = 1, -w - 9 = -8. Which is smaller: y or 6/385?
6/385
Let b = 0.358 - 0.358. Let n = -65 - -10. Let t = 77 + n. Is b 