Which is bigger: z or u?
u
Let a = -12887/22 + 586. Is -1 > a?
False
Let t(s) = -2 - 5 - s**3 + 0*s**3 + 8. Let g be t(1). Let z(f) = f**3 + f**2 + f - 1. Let y be z(g). Is -1 not equal to y?
False
Let o = 0.32 + -0.66. Let t = 0.24 + o. Which is smaller: t or 25?
t
Let k be 44/(-48) - 2/24. Is k >= -12/13?
False
Suppose 12*y = 16*y - 24. Let o(u) = 10*u - 2. Let b be o(y). Let d be 0 - 1 - b/(-62). Do -1 and d have the same value?
False
Suppose 0 = -2*s + 5*k - 11 - 0, -5*s + 1 = -3*k. Suppose 21 = s*u - 11. Is 1/2 <= u?
True
Let i = 0.2 - 0. Let d be (6/(-10))/((-2)/20). Suppose 3*w - d*w - 3 = 0. Which is greater: w or i?
i
Let q be -231*((-3)/9)/(-1). Let z be (q/42 - -2)/((-4)/(-366)). Which is smaller: z or 14?
14
Suppose 18*f - 30 = 78. Let c be 1/2 + 6/4. Suppose -f*r - c = -8*r. Is r > -2/43?
True
Let l = 13 + -17. Let k be (l - 8)/3 - -1. Which is bigger: -14/9 or k?
-14/9
Let q(y) be the second derivative of y**5/20 + y**3/6 + y**2 - 6*y. Suppose 0*c - 2*c = 0. Let u be q(c). Which is smaller: u or 1?
1
Suppose -26*z = 4*z - 15*z. Is z >= 3/29?
False
Suppose -6*u = 2*o - 4*u + 216, -2*o = -u + 225. Which is smaller: o or -116?
-116
Let p = 296/5 + -59. Let i = -0.004 + 0.122. Let r = 0.482 + i. Are r and p unequal?
True
Let f(v) = v**3 - 4*v**2 - 3*v + 1. Let x be f(-1). Are 1/223 and x unequal?
True
Let b = -2767/9 + 307. Let t = 3 + 0. Suppose t*d = 4*d. Which is bigger: b or d?
d
Let l(o) = o**2 + 4*o + 4. Let a be l(-3). Suppose -11*m = -26 + 1962. Let i be (m/(-198))/(1 + 14/6). Are i and a nonequal?
True
Let z be (-6)/21 + 2/14. Let p be (-52)/(-10) + (-3)/15. Suppose -4*w + p*d - 14 = 0, -5*w - 8*d = -3*d - 5. Which is smaller: w or z?
w
Suppose -26 = -4*b + 6*b. Let s = -8 - b. Let a be (3 - 3/s) + -2. Is 9 at most as big as a?
False
Let z = -5123/17 + 301. Let l(i) = i**3 - 4*i**2 + 3*i + 2. Let o be l(2). Let q be -37 + 36 + o/(-2). Which is bigger: z or q?
z
Let b be (1*12)/(-6*1/(-6)). Let n be (-2)/(160/b) - 3/(-4). Which is smaller: n or -4?
-4
Let z be (-2 - 430/(-235))/14. Let i = -790/10857 - z. Is i at least as big as 3?
False
Suppose -279*h = -285*h - 420. Are -76 and h non-equal?
True
Let f = 51521/9812 + -2/2453. Suppose 3*q - 14 = 2*k, -2*q = -3*q + 2*k + 6. Is f at least as big as q?
True
Let t be (13/390)/((-4)/42). Let v = t - -9/140. Which is smaller: v or 0?
v
Suppose -x - 4*x + 15 = 0. Suppose 3*f - x*p = -p + 7, 4*f + p = 24. Suppose -3*g - f*a = 8, 0 = 3*g + a + 2*a. Which is greater: 1 or g?
g
Let c be ((-2)/(-4))/(6/12). Let g be (-147)/(-24) + 9/(-72). Let q be g - ((1 - 4) + 7). Do q and c have the same value?
False
Let j = 39 - -31. Let p = -76 + j. Which is smaller: p or -0.08?
p
Let n be (2/(-4))/(5/(-420)). Suppose 4*s = -5*v - n, 0 = -3*v - 4*s + 14 - 44. Is -9 less than v?
True
Let f(i) = -i**3 - 8*i**2 + 11*i + 19. Let c be f(-9). Do 2/197 and c have the same value?
False
Suppose d + 10 = 2*y, 3*d = -4*y + 3*y + 5. Let i = -7054/21 - -336. Is i equal to d?
False
Let k = 87 + -85. Suppose -24 + 6 = -3*y. Which is smaller: k or y?
k
Let l = -0.3 + 0.2. Let t = l - -0.3. Let x(f) = -5*f - 188. Let j be x(-38). Is j less than t?
False
Let d = -19 + 21. Suppose d*x = f + 17, 2*f - 3*x + 17 = -14. Let z = -66 + 54. Is f at least as big as z?
True
Suppose u - 11 = 75. Suppose -121 = 4*i + h, 0 = 5*i - 4*h + 60 + u. Is i smaller than -30?
False
Let y = 74 + -71. Suppose -2*b = y*b - b. Which is smaller: -3/7 or b?
-3/7
Let g = 609 + -494. Which is bigger: 574/5 or g?
g
Let f be 1/4 - 10/360*13. Let g(t) = -2*t + 3. Let o be g(2). Which is bigger: f or o?
f
Let m = -28987340/178619 - -4/25517. Let w be 9*18 - (-1 + 1). Let r = w + m. Are 0 and r equal?
False
Let i be (6/4)/((-4)/8). Let r be (i/(-5))/(6/(-4)). Suppose d = -4*y + 2*y - 3, 3*d = -4*y - 7. Which is greater: r or d?
r
Let t = 37 - 37.29. Let p = -3.11 + t. Let f = p - -3.7. Which is greater: 3 or f?
3
Let q = -790 + 790.7. Which is greater: -2 or q?
q
Let w be (-731)/153 + (-4)/18. Which is bigger: w or 5?
5
Suppose 2*r = -0*r. Let i = r - 5. Let k = 115 - 121. Which is smaller: i or k?
k
Let s(y) = -11*y**3 - y**2 + 1. Let w be s(-1). Suppose 6*j - 5*j - 10 = 0. Let o = w - j. Which is smaller: -3/19 or o?
-3/19
Suppose 129*g - 882 = 122*g. Is g at least as big as 127?
False
Suppose 0 = -p - 21 + 2. Let y be 3 + 116/p + 3. Let t(k) = -k + 9. Let o be t(10). Which is smaller: y or o?
o
Let s be ((-18)/(-135))/((-6)/171). Is s smaller than 0?
True
Suppose 2*a - 15 = 3. Let h(s) = s**3 + 6*s**2 + 3*s - 7. Let d be h(-5). Suppose 0 = d*q - 7 - 8. Is a < q?
False
Let f be 5880/630*42/(-16). Are -2/7 and f unequal?
True
Let n = 4490 - 4489. Let c(a) = -a + 2. Let m be c(0). Is n less than m?
True
Let x = -56 - -278/5. Suppose -p - 6*r - 31 = -2*r, 4*p + 44 = 4*r. Let b be (6/9)/((-35)/p). Which is greater: b or x?
b
Let o be (-93)/(-12) + 9/(-12). Let u be (-22 + o)/(-1 + 0). Is u >= 20?
False
Suppose -16107 = -216*x + 229*x. Which is smaller: x or -1240?
-1240
Suppose 2*w + 4*k + k - 19 = 0, -k - 1 = 0. Suppose v - 3*q = w, 20 = 3*v - 4*q - 1. Let d(j) = -j + 4. Let o be d(4). Is v greater than o?
True
Let q = -605 - -605. Which is smaller: 3/1351 or q?
q
Let t(c) = c**2 - 6*c + 8. Let n(j) = -5*j - 4. Let m be n(-2). Let r be t(m). Is 2 < r?
True
Let s = 9 + 1. Let i(p) = -p**3 + p**2 + p - 12. Let l be i(0). Let o = l + s. Is -6 at most o?
True
Suppose 3*s = -9 - 3. Let m be 9/s*(-3)/(-9). Let v = 106 + -108. Which is greater: m or v?
m
Let w = 258 + -225. Is w at least as big as 29?
True
Let o(v) = -v**3 + 30*v**2 - 56*v + 9. Let r be o(28). Let i be 0/(-2) + (-12)/99*r. Is -1 < i?
False
Let l(s) = 50*s - 55. Let i be l(6). Which is greater: i or 244?
i
Suppose -8 = 2*x, 2*x = -y - 2*x - 14. Suppose 0 = -h + y*l + 1 - 4, -4*h = 5*l - 27. Which is smaller: h or 0?
0
Let p be (9/(-3))/(180/(-60)). Which is smaller: -1/308 or p?
-1/308
Let p(z) = z**3 - 8*z**2 - 7. Suppose -2*r = 2*v - 12, 0 = -r - 2*r + v + 26. Let l be p(r). Is -6 at least as big as l?
True
Let p(i) = -i + 13. Let y be p(11). Suppose -3*v + v + y = 0. Suppose 0 = -4*w - 2*j - v - 9, w = 5*j + 25. Which is smaller: w or 2/29?
w
Let c = -21 + 21. Suppose o + 2*o = c. Do o and 1/3 have different values?
True
Let m(y) = 7*y - 7. Let z(h) = h + 9. Let v be z(-6). Let f be m(v). Let p be (-4)/f - (-176)/(-1001). Which is greater: 0 or p?
0
Let v = 39 - 32. Let b = v - 29/4. Let n be -2*(-1 - 6/(-4)). Which is smaller: b or n?
n
Let y = 940 - 939. Is -70 > y?
False
Suppose 0 = -1428*d + 1423*d + 5. Is 46/21 > d?
True
Let v = 3 + -1. Let t be ((-21)/(-10) - v)*-16. Let r = -1687 + 1685. Which is bigger: r or t?
t
Suppose 12*f - 5*f = 0. Is f <= -1/366?
False
Let r be (324/3)/(155 + 0). Let l = 59/3875 + -14/125. Let y = r + l. Which is smaller: 0 or y?
0
Let j = -29 - -163. Are 133 and j non-equal?
True
Let w be (3/4)/(-3 - 6/(-4)). Let p(n) = n + 3. Suppose -2*g - 5*t + 25 = -3*g, g - 2*t + 13 = 0. Let x be p(g). Which is bigger: x or w?
w
Let u be (-799)/282 - (-20)/8. Which is smaller: 8/5 or u?
u
Let q(j) = j**3 - 2*j**2 - j - 356. Let w be q(0). Let a = 4987/14 + w. Which is smaller: a or 0?
0
Let v be (-4)/12 - (-2)/6. Let g be -2 + (-40)/(-24) + 146/240. Let b = g - 1/40. Are v and b non-equal?
True
Let h = -5 + 6. Suppose 8*d = -h - 7. Is 5/18 < d?
False
Let j be 10 - 252/(-27)*-1. Which is greater: -0.26 or j?
j
Let o = -48 - -47.34. Let z = 7.34 - o. Let q = 0 + 0. Do z and q have the same value?
False
Let v(m) = -15*m. Let h = 39 + -38. Let u be v(h). Are u and -15 equal?
True
Suppose -4*k + 2 = 14, 4*a + 5*k + 15 = 0. Suppose -2*m - 4 = -0. Let u be 16/9 - m/9. Is u greater than or equal to a?
True
Let d be ((-88)/198)/((-4)/(-6)*3). Is 22 greater than d?
True
Suppose -2*j + m = -3, -j + 3*m + 15 = -2*m. Suppose 3*g = 5*q - 150, 0*q = 2*q + 4*g - 86. Let u be ((q/(-90))/11)/(1/8). Is u smaller than j?
True
Let g = 29 - 24. Let x be (2/g)/(975/125). Which is greater: x or 0?
x
Suppose 0 = -0*g - 2*g. Suppose -3 + 23 = 5*v. Suppose 4 + 4 = -v*o. Is g less than o?
False
Let c be 922/(-322) + 4 - 0. Let d = 11/7 - c. Which is smaller: 1 or d?
d
Let s = 27547724 - 1680507241/61. Let z = 1575 + s. Is -1 greater than or equal to z?
False
Let r = 1/524 - -1303/3668. Let s 