is greater: 7 or y?
7
Let u = 9898 - 10011. Is u >= -94?
False
Let j = 143/588 + 1/147. Let z(u) = u**3 + 11*u**2 - u + 14. Let d be z(-11). Let s = d - 32. Which is smaller: s or j?
s
Suppose -w - 11 = 4*i - 7*i, 0 = 2*i - 2*w - 14. Suppose -4*b - 4 = 3*d, -b + 2*d + 6 = -i*b. Let m be 4/(-4) + (-1)/(b - 3). Is 24 <= m?
False
Let l = -2 + 6. Let z = 45 + -43. Suppose l*v + z = 6*v. Which is smaller: v or 1/20?
1/20
Let s = -52/53 - -8062/8109. Let a(l) = 3*l - 71. Let h(v) = -2*v**2 + 40*v - 104. Let t be h(16). Let g be a(t). Which is smaller: g or s?
s
Suppose -2*o = 2*b - 13556, -o = 5*b + 10861 - 44727. Which is bigger: b or 6771?
b
Let g = -10928 - -54646/5. Suppose -k = -5*k - 308. Which is bigger: k or g?
g
Let n be ((-2)/(4/(-2)))/((-177)/6). Suppose -f = -0*f. Let a = 1 - f. Do n and a have different values?
True
Suppose i = 2*m + 7 - 10, -i - 3 = -m. Let p(n) = 2*n - 4. Let z be p(6). Let t be ((-4)/(-392))/(2/z). Which is bigger: t or m?
t
Let z = 133.65 - 1.65. Let j = -126.7 + z. Let g = j - 5.8. Which is greater: g or 1?
1
Let c = -8109 + 8347. Which is greater: 241 or c?
241
Let n(q) = q**2 + 5*q - 7. Let m be n(-7). Suppose o = 4*t - 96 - m, t - 5*o - 21 = 0. Let f = t + -7. Is 20 != f?
True
Let i be (77361/1284)/((-10)/8). Which is smaller: i or 1?
i
Let a = 0.177 - 80.177. Let c = a + 79.7. Do -23/2 and c have the same value?
False
Let k(d) = -d. Let l(j) = 4*j + 5. Let z(o) = -k(o) - l(o). Let r be z(-2). Suppose 5*f - 3*v + 7 = 10*f, -v = 5*f - 9. Which is bigger: f or r?
f
Let i(j) = j**3 - j**2 - 4*j - 28. Let o be i(-5). Let s be o/(-3)*(-12)/(-4). Is -1 equal to s?
False
Suppose -4*j = 1929 - 693. Is j > -19?
False
Let g = 17.78 - 18. Let j = -0.242 - g. Let h = 4.23 - 4.13. Which is smaller: j or h?
j
Let c = -71 - -67. Let a be c/(-12) - (-3)/(-18)*-10. Suppose -2*m + 2*h + 0*h = 0, m + h = a. Is 4 not equal to m?
True
Suppose -35*z = -1415 - 265. Which is bigger: 43 or z?
z
Suppose 3*r - 20 = -5*n, -2*n + 12 + 5 = 3*r. Let w be -5*n + (-12)/((-132)/55). Which is smaller: w or 1/2?
w
Suppose 22 = -3*w - 2. Let j be (2 - (-18)/w) + (-80)/(-64). Are j and -13 nonequal?
True
Let c = -12799 - -12728. Which is bigger: -1336/19 or c?
-1336/19
Let g = -29 - -41. Suppose u = -u - 4, m - 4*u - g = 0. Let i = -4 + m. Which is bigger: i or -38?
i
Let r = -4466 + 4477. Which is smaller: 139/13 or r?
139/13
Let c = -72 - -77. Let u be 78/9 - c/(-15). Suppose -u*k = -6*k + 6. Is -2 <= k?
True
Let u be 249*90/243*48/(-40). Which is greater: -110 or u?
-110
Let d be 3*(-2)/(-3) - (-2356472)/(-1114078). Let y = d - -16/151. Which is smaller: -1 or y?
-1
Let c(w) = 35*w - 999. Let l be c(29). Is l greater than or equal to -161/2?
True
Let l be 11/(-44) - (-142)/(-8). Let k = l + 19. Suppose -9 = 2*h + k. Is -5 bigger than h?
False
Let s = 353.97 - 352. Let o = s - 1.87. Which is smaller: -0.14 or o?
-0.14
Let d = -70407955/376 + 187255. Is 0 at most as big as d?
False
Let k = -9/10 - -233/270. Let h = k + 59/135. Is h greater than or equal to 0.4?
True
Let j(y) = y**3 - 9*y**2 + y - 52. Let u be j(10). Suppose -5*l - d = 60, 0 = 4*l - l + 5*d + u. Is -23/2 at least as big as l?
False
Suppose 0*q - 5*q + 24 = -4*a, -5*q + 15 = 5*a. Let z be (-2)/(-14)*4561/a*-1. Let f = z + -653. Which is smaller: f or 0.1?
f
Let k(i) = -65*i - 5225. Let n be k(0). Is n <= -5224?
True
Let n be (-4)/3*(66/(-1))/(-3 - -7). Is -5 at least as big as n?
False
Let s = -187229 - -2457911/13. Let y = -1842 + s. Let p = 181/182 + y. Which is smaller: 2/5 or p?
p
Let m be 0 + (6842/(-33))/(2/(-3)). Suppose m*n = 314*n + 9. Which is bigger: -19/6 or n?
n
Suppose 2*n + 62 = 2*s, s + 195 = 6*s + 3*n. Suppose -5*w = -10, 34*w = -2*c + 33*w + 8. Suppose -8*k + 69 = -6*k - 5*p, c*k + 5*p - 116 = 0. Is s >= k?
False
Suppose n + 5*u + 635 = 0, -5*n - 737 = -u + 2204. Is 0.8 != n?
True
Let d be (-6)/21*3/(120/242). Let s = d + 10/7. Let x = 1 - 0.9. Which is bigger: x or s?
x
Let l(y) = 2*y**3 - 12*y**2 - 31*y - 16. Let z be l(8). Let o be 2/(-14) - -7*z/196. Is 1/34 > o?
True
Suppose -13*z + 20 + 19 = 0. Suppose -z*x - 3*k + 2*k = 0, x + k = 2. Is -2/503 bigger than x?
True
Let z be (-140)/(-60)*15/35. Which is smaller: -11/205 or z?
-11/205
Let c be (-1 - -2)/((-61)/(-183)). Suppose -6*s + c*s + 147 = 0. Which is smaller: s or 50?
s
Let m = -22 - -22. Let x be 109/35 + (-14)/(-49). Do x and m have different values?
True
Suppose -f + 46 = -3*f. Let k be 1498*(-3)/(21/(-2)). Suppose -430*t + k*t - 48 = 0. Is t less than f?
True
Let f = -3.1426 + 6573.1426. Is f >= -0.2?
True
Let d = -1991.1 - -1870. Let g = d + 121. Is g less than 1/14?
True
Let q(y) = -3*y**2 - 12*y + 15. Let x be q(-5). Suppose -374*w + 378*w = x. Which is greater: 18/73 or w?
18/73
Suppose -622*i + 623*i - 5*h + 9419 = 0, 0 = i - h + 9439. Is i greater than -9444?
False
Let k = -1 + 5. Let i = 44 - -1. Suppose x = -k*x - i. Which is smaller: x or -25/3?
x
Suppose -5*d - 5*r = 5, 5*r - 10 = -35. Suppose 0 = -2*q + q - d. Does q = 5?
False
Let l = -189062 - -1321295/7. Let a = -305 - l. Let j be 1/(-2) - 5/(-2). Are a and j unequal?
True
Let k be -4 - -12 - (-798998)/(-118). Let p = 6763 + k. Is p less than or equal to 1?
True
Let v be (39/(-65))/((-1)/5). Suppose 4 = -y, -v*y + 13 + 23 = w. Let x be -20*(w/(-15))/(-4). Which is smaller: x or -18?
-18
Let p(k) = 6*k + 16. Let x = -2 - 79. Let f = 78 + x. Let h be p(f). Is -16/5 at most as big as h?
True
Let c be (-17 + 18)/(11/11). Is c greater than or equal to 21/184?
True
Let x be 2802/9*-3 + 3. Let o be (-4 + 3 - -3)*x/(-14). Which is greater: 132 or o?
o
Let r = 20 - 48. Suppose -22 = -v + 53. Let z = -76 + v. Is z at least r?
True
Let a = 72 + 12. Let t = a + -84.07. Let p = -685/8 + 86. Are t and p equal?
False
Let g(y) = -2*y**2 + 7*y - 6. Let z be g(2). Let n be (-4)/(z - 4)*-1*81. Is n at most -80?
True
Let o be (-172)/(-5) - (-8)/(-20). Suppose 3*i + 14 = -o. Let z be -67 + 83 - 752/24. Are i and z unequal?
True
Let s(m) = m**2 - 24*m - 2. Let w be s(24). Let d be (3*2/w)/((-4)/(-432)). Let g = 1613/5 + d. Which is smaller: g or -0.1?
g
Suppose -2*p - 4*v = -5*p, -2*p = -4*v. Suppose p = -0*q + 5*q - 15. Let s = 18787 + -18794. Which is greater: q or s?
q
Let n = 22722 - 22703. Which is greater: n or 37?
37
Let s be 9/11 + 2478/77 + -32. Is s smaller than -1/13747?
False
Let m(a) = 3*a + 50. Let k be m(-15). Suppose k*u + 4*b - b = -240, -4*u - 4*b = 192. Do -49 and u have different values?
True
Let f(w) = w**3 - 11*w**2 - 8*w - 3. Let c be f(11). Let p = -10 - c. Let q = -31 + p. Which is bigger: 49 or q?
q
Let b = 2815 - 8444/3. Which is smaller: b or -1.35?
-1.35
Suppose -4*s - d = -3*s - 9, 3*s - 2*d - 52 = 0. Let y = -15 + -34. Let c = 63 + y. Is c bigger than s?
False
Let l = 340 + -158. Let q = l - 162. Which is greater: 2/7 or q?
q
Let m be -2 - (1/(-4) - 2). Let s = -8.517 - 0.083. Let f = -9 - s. Which is bigger: f or m?
m
Let a be ((-4)/22)/((-6)/3) - (-142140)/(-18975). Is a greater than 3?
False
Let a(v) = 0*v - 7 - 3*v - 7*v**2 + 6*v**2. Let u be a(-4). Let i be 0 + 19/u + 2 + 0. Do i and 0 have the same value?
False
Suppose 47*r + 24 + 35 = -12*r. Which is bigger: r or -62/75?
-62/75
Let a be ((-6)/9)/(15/(-18405)). Let l = a - 823. Is -6 greater than l?
False
Let q be (-224)/24*54/(-7). Suppose q = -6*a - 3*a. Let m be (a/6)/(6/18). Is m smaller than -4?
False
Suppose 9 = 102*l + 25*l + 9. Which is greater: l or 237/7?
237/7
Let q be ((-4534)/4)/((-30)/(-94 + 34)). Is q smaller than -2267?
False
Let l = 335 + -334.973. Let k = l + 0.073. Is -45 at most as big as k?
True
Let k = 35137/62 - 1135/2. Let q be (5/(-30))/((-9)/18)*-3. Which is greater: q or k?
k
Suppose -4*p + 3*k - 7*k - 7340 = 0, p = 4*k - 1860. Is -1839 smaller than p?
False
Let p(k) be the second derivative of k**5/20 - 7*k**4/6 + k**3/3 - 12*k**2 + 42*k + 2. Let r be p(11). Does r = -365?
True
Let a be (-4)/7 - 5*7860/21. Let r be 78/a*(-2)/85. Is 1 greater than r?
True
Let h = 5.4244 + -5.651. Is 1 at least h?
True
Suppose 6*r - r - 440 = 0. Suppose -180 = -2*l + 314*v - 312*v, -5*v = -2*l + 189. Is r bigger than l?
True
Suppose 8*i = 10*i. Suppose i = 5*b - 20*b + 15. Is b at most -5/32?
False
Let x = -8135 + 8136. Which is bigger: -16/275 or x?
x
Let w(t