et z be 5/(25/1520) + (-25)/d. Is z equal to 300?
False
Let u = -3142 + 3143. Is u greater than -1/166?
True
Let z = 68361/803 - 936/11. Let y = 12 + -11. Are z and y unequal?
True
Let b be 356/(-10) - (-4)/(-10). Let k(z) = -z**3 + 2*z + 6. Let g be k(-2). Suppose -5*a = -v - g, -3*v + a - 2*a - 110 = 0. Which is smaller: v or b?
b
Let d be (-10900)/(-260) - 2/(-26). Are 50 and d unequal?
True
Let h = 4163 + -5278. Which is smaller: h or -1113?
h
Let p = 9.8 - 9.38. Let c = 22.42 - p. Which is greater: 3 or c?
c
Suppose v - 4*a = -20, -5*v + 5*a = -2*v + 32. Let w(k) = -k**2 - 7*k - 1. Let o be w(v). Let x be 2/4 + o/(-22). Which is smaller: 6/29 or x?
x
Suppose 16*r + 978 + 382 = 0. Let y be r/(-51) + (-1415)/855. Which is smaller: 1 or y?
y
Let o = -0.4 + 11.4. Let r = 508.2 + -508. Which is smaller: r or o?
r
Let l(m) = -2*m**2 + 20*m - 13. Let p(q) = -3*q - 21. Let x be p(-10). Let d be l(x). Suppose -d*c = -21 - 4. Which is bigger: 1 or c?
c
Let w(y) = -18*y - 5. Let i be w(-5). Let g(s) = 10*s**2 + 484*s + 1449. Let h be g(-3). Is h bigger than i?
True
Let w = -177715 + 177773. Suppose -l - 2*l = 3. Which is smaller: w or l?
l
Let c(j) = -j**3 + 3*j - 1. Let r(d) = 6*d + 32. Let w be r(-6). Let l be c(w). Suppose -5*q = 2*b - l, -q + 33 = 2*q + 2*b. Is q smaller than 10?
True
Suppose -18*c - 98*c - 5336 = 0. Which is smaller: -42 or c?
c
Suppose -480*z + 5008 = -542*z + 38116. Which is smaller: z or 538?
z
Let b be 1/79*((-12)/8 - (-287)/210). Is b less than -1?
False
Let t = -50.57 + 7.87. Let j = -42.8 - t. Which is smaller: 164 or j?
j
Suppose 5*c + 12 = 2*c. Let x be 4/(-5)*(-2)/c. Let n = -61 + 60.9. Is n smaller than x?
False
Suppose -151*o = -4*x - 154*o - 17, 3*o + 18 = -3*x. Is x bigger than -6/2335?
True
Let j be 10*1*8/16. Suppose j*h - 11*h = -234. Suppose -f = -5*s - 33, -5*f + 2*s = 57 - 245. Is h not equal to f?
True
Let d = -21611/28575 - -11/1143. Which is greater: -2 or d?
d
Let k be -9 - -6*1544/12. Is k greater than 762?
True
Let s be (4/60)/((-14)/636). Let b = -5906/2135 - s. Which is greater: 0 or b?
b
Let f(r) = 307*r**3 + 137 + 28*r + 3*r**2 - 308*r**3 - 11*r**2. Let h be f(-11). Which is bigger: 191 or h?
h
Let c = -28433 + 28413. Which is smaller: -89 or c?
-89
Suppose -47 - 53 = 20*l. Let o be ((-1)/(l/(-10)))/(2 - 4). Which is smaller: o or -2/83?
-2/83
Suppose 5*i = i. Let j = -2273 + 2258. Is j > i?
False
Let p be (4 - 0)*(-99)/(-12). Let l be 7/((2/(-18))/(320/(-360))). Suppose 3*s - 102 = 3*j, 244*j - 248*j = 2*s - l. Which is smaller: s or p?
s
Let s be 2 + (-1 - -3)/(3/39). Let t be (42/s)/(6/44). Which is greater: t or 31/3?
t
Let s be 5 + 2/5 + (-89034)/60. Let w = 1552 + s. Is 73 less than w?
True
Let a = 26 - 22. Let g(o) = 2*o - 7. Let d be g(a). Let p be 4/(-30) - (9 + 4284/(-405)). Do p and d have the same value?
False
Let y = 649 + -649.2155. Let w = -0.0155 - y. Which is greater: 56/9 or w?
56/9
Let n = 85.98 + -86. Let h = 5 + 17. Let o = h + -21.9. Is n at least as big as o?
False
Let y(p) = 4*p + 83. Suppose 0 = 351*v - 343*v + 136. Let u be y(v). Let g be (-2)/6 + (-43)/(-3). Which is smaller: u or g?
g
Let l = 333690/41 - 8138. Which is smaller: l or 0?
0
Let b = -715 + 467. Let k(p) = p**3 + 22*p**2 - 2*p - 46. Let l be k(-22). Is b > l?
False
Let a = -16962.53 - -17039. Let k = a - 77. Is k at least as big as -0.1?
False
Suppose -2*o = 4*r - 12, 3*r - o = 8 + 6. Suppose -686 = r*k - 250. Is k > -110?
True
Let o be (-622 - -34)*(-425)/(-20). Which is smaller: o or -12496?
-12496
Suppose 0 = -7*j + 22 - 15. Suppose 0 = h - 1, -f - 3*f = -4*h + 1016. Let b be (1 - -1)/(f/(-22)). Which is smaller: b or j?
b
Let s = -232.7 + 26.7. Let u = 205.9 + s. Which is greater: 0.3 or u?
0.3
Let z = -1596 - -1530. Let v be 2/4 + 1/(-6). Which is smaller: z or v?
z
Let f(c) = -330*c**3 + 56*c**2 + 169*c + 8. Let o be f(-3). Which is greater: -0.2 or o?
o
Let g = -0.44 - -11.34. Let o = g + -21.2. Let j = o + 0.3. Is j smaller than -2?
True
Let t = 34 - 84. Is t greater than 27?
False
Let i be (-34639)/165 - 3*1/(-5). Let m = i + 8134/39. Is m smaller than -1?
False
Let p = 0.05 - -1.95. Let m = -391 + 391.42. Let h = m - 5.42. Are p and h nonequal?
True
Suppose 44*s = -45*s. Is 2/1985 equal to s?
False
Let r(m) = m**3 + 28*m**2 + 48*m + 42. Let u be r(-26). Let w = u + -116. Which is bigger: w or 34?
34
Let i = -396 - -392. Let n be 0 - (1 - (-46071)/21). Let j = n - -2190. Is j less than i?
True
Let w be ((-114)/285)/(7/40). Let q = 232/77 + w. Let u = 0 + 0. Are q and u non-equal?
True
Suppose 214 = 3*b - 275. Let p = b - 161. Which is smaller: p or 0.068?
0.068
Let g(i) = 12*i - 19. Let u be g(2). Suppose 5*p - 3*f + 20 = 0, -2*f + u = 3*p - 2. Let x = -6063/7 - -864. Which is bigger: p or x?
p
Let x = -645 + 20633/32. Let h = x - -79/288. Let k = -384201.1 + 384201. Are k and h nonequal?
True
Suppose -20 + 14 = -3*n. Suppose j = -5*p + 91, n*j + 5*p - 130 = 8*p. Which is bigger: j or -3?
j
Suppose -2*h - 5*b = -7*h + 20, 5*h = b. Which is smaller: h or -2/52093?
h
Let v = 1545.2 + -1348.2. Which is bigger: v or -12?
v
Let r be ((-10)/4)/((15/(-10))/3). Suppose -r*x - 4 + 234 = 0. Suppose w + 10*d = 15*d + 25, 0 = 5*w + 3*d - 237. Does w = x?
False
Let w(v) = -2*v**3 - v**2 + v + 2. Let t be w(2). Let h be (-3)/(-4) + 252/t. Suppose 10*i + 68 + 92 = 0. Is i at least as big as h?
False
Let s be 26/39 - (-3)/9. Is -1/40686 less than s?
True
Let c = 309.63 - 304. Let m = c - 5.51. Is m less than 17?
True
Let r be ((-52)/(-182))/(12/21) + (-30)/52. Is r bigger than -0.39?
True
Suppose -19 = -d + 4*i - 2, d = -3*i - 4. Let u be ((-792)/(-110))/((-7)/d). Let s = 3 - 7. Is s at least as big as u?
True
Let g be (-6)/(-1) - (264 - -8). Let i = 270 + g. Which is smaller: i or -32?
-32
Let o be (64/288)/((-8)/36). Let j = 6583 + -1823493/277. Which is smaller: j or o?
o
Suppose 128 = 3*p + 4*b, -11*p + 10*p + 2*b + 36 = 0. Suppose 2*h + 3*w = 72, -3*h - 5*w = -2*w - 111. Is p at least as big as h?
True
Let n be (-40)/25*(-155)/124. Which is smaller: n or 86/49?
86/49
Suppose 5*a + 27 = 4*l, -l + 6*l - 55 = 2*a. Let z = -22 - -28. Suppose -z*v + 13 = -77. Do v and l have the same value?
False
Let u = -1.279 + -101.921. Let n = u + 18.2. Let a = n + 84.9. Which is greater: 0.28 or a?
0.28
Let x be (-10)/(25/(-5)) + (4 - 6). Suppose x = 14*i - 18*i - 16. Let n = -779 + 3095/4. Is i > n?
True
Let g = -2239 - -248527/111. Let c be (-550)/(-165)*(-1 - (-23)/5). Let k be (-22)/c + 240/288. Is k smaller than g?
True
Suppose -15 = -2*d + w, 5*d = 4*w + 37 - 7. Suppose -69 - 71 = -d*r. Is r bigger than 16?
False
Let k(p) = p**3 - 7*p**2 + 4*p - 3. Let y be k(6). Suppose -2*j = 2*o - 26, 2*j + 50 = 2*o - 2*j. Suppose 4*w + o + 47 = 0. Is y != w?
True
Let u = -698913/35 + 19971. Let s = u - 13/7. Let z = -5 + 5. Is z < s?
True
Let q = 13.924252 + 0.075748. Let v = -0.01 - 0.1. Which is smaller: q or v?
v
Let y be 1*5 - (-2)/(-1). Suppose 2*s - y*s + 6 = 0. Suppose -5*k + 4*k + 824 - 817 = 0. Is k greater than s?
True
Let f be 2/(-8) + 483/12. Let u be 30/(-8) + 30/f. Suppose 0*s + 20 = -4*s. Which is bigger: u or s?
u
Suppose -9 - 96 = 5*l. Let s(g) = 3*g + g + 763*g**2 + 0*g - 766*g**2 - 8. Let x be s(3). Is x not equal to l?
True
Let d = -2093121/46 + 45506. Which is greater: d or 2?
d
Let t = -13 - -7. Let x = t + 5. Let o be (-36)/1287 - (-4)/22. Is x bigger than o?
False
Let u = 11.6 - 57.6. Let k = 41 + u. Let x = k - -14. Which is bigger: x or 1?
x
Let d(n) be the second derivative of -2*n**3/3 + 25*n**2/2 + 16*n. Let y be d(6). Let p be 3 + 16/(-4) + 0. Which is smaller: p or y?
p
Suppose -184*s + 63 = -175*s - 72. Which is bigger: s or 342/23?
s
Let u(k) be the second derivative of -k**5/20 + 7*k**4/4 - 19*k**3/6 - 10*k**2 - 10*k. Let c be u(20). Let y = -34/9 - -356/99. Which is smaller: c or y?
y
Suppose 29 = 2*n - 5*v, -2*n - 38 = -7*n + v. Let t(g) = g**3 - 3 - 4*g**2 - n*g + 3*g + 2 - 9. Let w be t(5). Which is smaller: -26/7 or w?
w
Let k(x) = 1138*x - 170. Let g be k(-6). Which is bigger: -6999 or g?
g
Let x(g) = -g**2 - 138*g - 1213. Let q be x(-9). Let o be (-1)/(-1*2/96). Let y = o + q. Is -1/3 > y?
True
Suppose x + 0*x + 2*n = -10, -4*x - n = 47. Let z be (-54)/72 + (-1)/x. Which is greater: 107 or