 is smaller: n or y?
y
Let v(d) = d**3 + 15*d**2 + d - 17. Suppose 122*z = 110*z - 180. Let o be v(z). Is o greater than or equal to -286/9?
False
Let s = -310 + 460. Let g = -451/3 + s. Is g greater than 0.03?
False
Suppose 21*p - 586 = -103. Suppose -12*r + p*r - 7*r = 0. Which is smaller: r or -4/3?
-4/3
Let z = -37 + 37.112. Let x = z + 9.888. Is -8 <= x?
True
Let v(q) = 5*q**3 + 3*q**2 - q + 2. Let s be v(-3). Suppose u - h - 29 + 116 = 0, -365 = 3*u + 5*h. Which is greater: s or u?
u
Let j(a) = a**3 - 6*a - 5. Let w be j(-4). Let p = 47 + w. Suppose 3*d + 2*q - 47 = 0, -3*d = -p*q - 15 - 16. Is d less than 13?
False
Let f be (-215919)/(-3663) - 2/(-37). Is -21 at most as big as f?
True
Let d = -3407 - -3421. Which is bigger: d or -62?
d
Let p(h) = 241*h + 9756. Let m be p(8). Do 11683 and m have different values?
True
Suppose 10752 = 93*g + 19*g. Which is greater: g or 6?
g
Let o = 1 + -2. Let g be ((-4)/6)/(36/873). Let m = g - -16. Which is smaller: m or o?
o
Let k = -145.036 - -0.036. Let g = 145 + k. Which is greater: 93 or g?
93
Let c(u) = -3*u**3 - 2*u**2 + 2*u + 3. Let j be c(4). Suppose 21735 + 9452 = -224*l - 16749. Which is smaller: l or j?
l
Let y be ((-14)/25)/(-7) - 6/75. Suppose y*t - 10*t = -0*t. Is t equal to -1/529?
False
Let y = -35102/39 - -900. Suppose -2*n - 4 = 2*n. Is y at least as big as n?
True
Suppose 1260 = -15*f - 6*f. Let x be (2/(-8))/((-5)/f). Suppose 4*k - h + 17 = -12, 30 = -5*k - 5*h. Which is greater: k or x?
x
Let y(z) = z**3 - 7*z**2 + 3*z - 88. Let m be y(8). Let p be ((-4)/87)/(7/(21/(-2))). Which is bigger: m or p?
p
Let b be ((-15)/25)/(7/(-105)). Suppose -r = -5*r + 40. Suppose r*a - b = 9*a. Are 9 and a unequal?
False
Suppose 30*k + 28*k = -3*k - 100955. Which is smaller: -1656 or k?
-1656
Let a be 2*(3846/42 + (-9)/(-21)). Let p = a - 96. Which is bigger: 87 or p?
p
Let c = -26994.9 + 26995. Which is smaller: c or -11/54?
-11/54
Let w = 59.58 - -15.32. Let z = 9.9 - w. Let m = -64 - z. Which is bigger: m or -19/3?
m
Suppose 7*i = 12*i - 235. Suppose -23 = -10*n + i. Let a = -273 - -559/2. Is n greater than or equal to a?
True
Let k = 14 + 1. Let r = k - -1. Let i be (0/(-2))/(r/8). Which is greater: i or -1/3?
i
Let j = 211 + -211.843. Are 3 and j equal?
False
Suppose 11*g - 2250 = 20*g. Let r = g + 336. Which is greater: 87 or r?
87
Let d = -0.201 - 47.799. Let a = 48.1 + d. Which is smaller: a or 101?
a
Suppose -2992 = -4014*d + 4048*d. Is -132 < d?
True
Suppose -8*v = v + 36. Let f(h) = -2*h**2 - 5*h. Let t be f(v). Let c be (333/t)/(15/10). Is -20 at least c?
False
Suppose 0 = -l + r + 22, 0 = 3*l + l + r - 93. Suppose l*c = 1089 + 728. Which is smaller: c or 78?
78
Let v = 137153/24 + -15328/3. Do 605 and v have the same value?
False
Let x = -2477 + 12456/5. Let i = -73/5 + x. Suppose -13 = -4*z + 91. Which is smaller: i or z?
i
Let r = 0.4 - 0.3. Let d = r - 1.18. Do d and -1 have different values?
True
Let g = 122154/31 - 3940. Let u be 11 - 9 - (-10)/(-5). Is g smaller than u?
False
Suppose 8*r = 5*r + 39. Suppose -27 = -r*f + 12. Let k = 16 - f. Is 15 != k?
True
Suppose 3*z - 18 = -2*l, -l + 9 = 168*z - 167*z. Let j = -2/1955 - 2908/979455. Is j at least as big as z?
False
Let f = 1184.8 - 1184.9. Which is smaller: f or -327/50?
-327/50
Let k = 6974 - 149. Let x be 12/k*45/(-18). Which is greater: 1 or x?
1
Let r(b) = -46*b**2 + 3 + 4*b + 44*b**2 - 9*b + 7*b**3. Let k be r(-3). Is k bigger than 1?
False
Let n = -9.5969 + 136.9939. Let v = -0.397 + n. Is 1 <= v?
True
Suppose -f = -35 - 17. Suppose -4*a = -f - 4. Let u be (a/3)/((-44)/165). Is -18 > u?
False
Let o = 61 - 58.51. Let i = o + -3.59. Which is smaller: i or -1?
i
Let j(y) = -y**2 - 20*y + 23. Let u be j(-22). Suppose 0 = 13*a - 14*a - 8. Let f be (-744)/32 + (-2)/a. Which is greater: u or f?
u
Let q(j) = -j**2 + 6*j + 1. Let i be q(12). Let d be ((-3577)/(-49))/((2 - 1)/(-1)). Is i bigger than d?
True
Let d = -1595.91 + 1593. Which is greater: d or -0.1?
-0.1
Let j = 1021 + -1023.58. Let d be (-2)/(-4) - (-2 + 2). Do d and j have different values?
True
Let c(o) = 15*o**2 + 2*o - 1. Let t be c(-1). Suppose 153 = -t*y + 3*y. Let z(m) = -m**2 - 17*m + 3. Let x be z(y). Are 3 and x unequal?
False
Suppose -4856*z + 12068 = -4828*z. Are z and 4/7 non-equal?
True
Let y = -1144.66 + 1145. Let m(s) = -s**2 + 5*s + 4. Let k be m(5). Let b be ((-2)/(-3))/(2 - k). Is y bigger than b?
True
Let g(f) = 206*f**2 + 44*f - 187. Let a be g(3). Which is smaller: -1 or a?
-1
Suppose 0 = -o + 2 - 0. Suppose 0 = 4*y - c + 73, 0 = -4*y + 2*c + o*c - 64. Let f = 29 + y. Is 12 <= f?
False
Let i be 6/(-302)*(-33955)/180. Let f = i + 1/453. Suppose -18*k + 28*k - 50 = 0. Which is smaller: k or f?
f
Let a = 195 - 1367/7. Let u = -1102 - -857. Do u and a have different values?
True
Let y = -3.506 + 3.5. Let s = y - -14.206. Let o = 2.2 - s. Which is bigger: o or 1?
1
Let y(s) = 2*s**2 - 3*s + 2. Let b be y(2). Let c be (-4)/(-7) + (-9345)/16345. Let f = c - -12143/3269. Do b and f have the same value?
False
Suppose -8*k + 12*k = 0. Suppose -9 + k = -9*j. Let w = 84 - 2435/29. Which is smaller: w or j?
w
Let x be 65/((1885/338)/(-29)). Let k(o) = -22*o**2 + 3*o + 1. Let m be k(4). Do m and x have different values?
True
Let i = -64 + 48. Let u = i + -51. Let n = u - -66. Which is smaller: -56 or n?
-56
Let k = 1840 + -11005/6. Let p(i) = -2 + 2*i**3 - i**3 - 3 - 10*i + 2*i**2 + 4. Let u be p(-4). Is u <= k?
False
Let w = -112848 + 33967286/301. Is 1 greater than or equal to w?
True
Suppose 4*b = 1164 + 496. Let x = -859/2 + b. Which is greater: x or 0?
0
Let x = 2 - 0. Let c = -8 - x. Suppose -85*j - 27*j - 1008 = 0. Are j and c nonequal?
True
Let x = 0.3 - 0.2. Suppose f = 4*p + 6, -3 = -3*f + 2*p + 15. Let c be (4 - (f - -4))*(-1)/(-11). Which is bigger: c or x?
x
Let d = 118/219 + -50999/219. Is -233 < d?
True
Let b be (-2 + 1)*(-82 + 82). Is -3/2702 greater than b?
False
Let i(t) = t**2 - 7. Let w(x) = -11*x**2 + 6*x + 72. Let y(q) = 12*i(q) + w(q). Suppose 2*z + 13 = -3. Let u be y(z). Do u and 9 have different values?
True
Let j = 765/15287006 + 40470009193857/5579757190. Let r = 7253 - j. Which is greater: 0 or r?
0
Let y be ((-37)/(-4))/(3/4). Let g(c) = -c**3 + 27*c**2 - 48*c - 11. Let q be g(25). Suppose -40 = -4*s - 4*o, 5*s - 9*s + q = 5*o. Which is bigger: y or s?
y
Let y = 9437 - 94293/10. Let s be ((-2787)/405 - 1) + (-1)/(-5). Let i = s + y. Which is bigger: i or 1?
1
Suppose -h = -2*t + 19, -878*h + 875*h - 4*t - 57 = 0. Which is smaller: h or -481?
-481
Let t = 11279/3925 + -72/25. Suppose 31 = 9*j + 5*l, 3*l - 14 = 3*j + 13. Is t at most j?
False
Let d = 405 - 399. Let r be d/3*6/(-234). Which is greater: 0.07 or r?
0.07
Let j(t) = -42*t**2 - 2*t. Let m be (0 + -2)*(-12)/(-8). Let i be j(m). Is i < -371?
True
Let b(y) = 2*y**2 - 3*y. Let d be b(4). Let a = d + -20. Let p be (0 + 9 + a)*2. Which is greater: -1/3 or p?
p
Let s(g) = -g**2 - 20*g - 20. Let f = 44 - 63. Let d be s(f). Let c = 10/59 - 13/1121. Which is greater: d or c?
c
Let z(x) = -1 + x - x**2 + 0 + 13. Let t be z(0). Let d be (-1)/(1/t*-1). Is d > 11?
True
Let r(u) = u**3 + 7*u**2 + 16*u - 1. Let y be r(-4). Suppose -13*s = -8*s - 30. Suppose -2*m = -4*h + 24, 4*m - s*m = -3*h + 26. Is m > y?
True
Let u be 13 + (-15403 - 2)/(-3). Which is smaller: u or 5145?
5145
Let y = 1603353/4 - 402796. Which is smaller: y or -1957?
y
Let m = 519/208 + 1/208. Let i(r) = -2*r - r + 6*r - 2*r. Let l be i(2). Is l less than or equal to m?
True
Let v(d) be the third derivative of -d**6/120 - d**5/12 + d**4/2 + d**3/6 + d**2 - 5. Let c be v(-7). Is c smaller than 57/4?
False
Let p = 321/14 + 115/42. Let q(y) = -236*y - 72662. Let g be q(-308). Which is smaller: p or g?
p
Let j = 12/173 + -478/1903. Is j > -89?
True
Let x = -3240.2 + 3240. Is -7968 at least as big as x?
False
Suppose 215*y - 7753 = 34817. Do y and 202 have different values?
True
Suppose 5*v = 2*h + 82, 2*h = -3*v - 16 + 62. Let m = -48 - -71. Which is greater: m or v?
m
Let h(o) = o**2 - 2*o - 1. Let n be h(2). Suppose 37*q + 10*q + 94 = 0. Let i be ((-20)/(-14770))/(q/(-14)). Which is bigger: i or n?
i
Suppose 2*p + 2 = 10. Let f be p/32 + (-2212)/32. Is -70 at least as big as f?
False
Suppose -j + 16 = 5*y + 26, -2*j = 