350680/(-528) - (-2)/(-24). Which is bigger: u or 1?
1
Let o be ((-27)/((-27)/2))/((-3516)/3). Are 2 and o non-equal?
True
Suppose 7280 = 1238*g - 1210*g. Let y = -31 - -30. Which is greater: g or y?
g
Let g be ((-18)/(-162))/((-8)/(-108)*-3). Does g = -982?
False
Let n be (6 - 12)*5/(-6). Let a(m) = 2*m - 1. Let s be a(3). Let x = n - s. Which is smaller: x or 1/9?
x
Let w = 7827 - 7827.043. Which is smaller: w or 59?
w
Suppose 4*h + 2 + 0 = 2*d, 3 = 2*d - 3*h. Let v be -5 - (-3 + d + -4). Are v and -2 nonequal?
True
Let b = 7870 - 196804/25. Let d(n) = n**3 + 7*n**2 + 10*n - 3. Let i be d(-5). Are b and i equal?
False
Let p be (-2*66/12)/(1 + 0). Let i be 18/3 - (0 - 3). Let u be (i/(-15))/(2/30). Which is smaller: p or u?
p
Let d = -8/2111 - -36249/10122245. Which is smaller: -1 or d?
-1
Suppose 0 = -5*o + 2*y - 105, -5*y + 21 = 2*o - 3*o. Let q(b) = -163*b + 956. Let k be q(6). Is o at least k?
True
Let q(k) = k**3 - 37*k**2 - 52*k + 531. Let p be q(38). Let o = -30451/58 - -525. Which is bigger: p or o?
o
Let o be 6/(-12)*2 + 4. Suppose 14 = o*t - 25. Suppose t*s = -4*s. Are s and -1/245 equal?
False
Let d = 0.02323 + -0.14323. Which is bigger: d or 214?
214
Let d be 1/(-1) - (-145 - 52). Is d bigger than 1573/8?
False
Let x(l) = 35*l - 324. Let a be x(0). Let h be (-24390)/a - (-6)/27. Which is smaller: 76 or h?
h
Let v(a) = -3*a**2 + 5*a - 19. Let k be v(-6). Let x = -153 - k. Suppose -20 = -3*f + 19. Which is greater: f or x?
f
Suppose -5*s = -25, 3*k + s - 1416 = -82. Is 443 greater than k?
False
Suppose 0 = 2*f - 1797 - 3095 + 21470. Do f and -8289 have different values?
False
Let o be 4/22417*(-28)/112*(3 - 1). Which is smaller: 1 or o?
o
Let k = -1200.5 - -1205.86. Is k bigger than -0.3?
True
Let c = 29.97 + 0.03. Let m = -0.0033 - 29.8967. Let d = m + c. Is d not equal to 0.3?
True
Let c = 390.2 - 266.2. Is 36 less than or equal to c?
True
Let m(d) = 3*d**2 - 31*d + 18. Let r(s) = -14*s + 10. Let g be r(0). Let t be m(g). Is t < 27/4?
False
Let u = -3.807 + 623.807. Which is greater: u or -3?
u
Let g(p) = 14*p + 70. Let c be g(-5). Suppose c = 11*h + 41*h. Is -2 equal to h?
False
Let k be 9/((-1269)/(-1645))*(-24)/(-590). Which is bigger: 1 or k?
1
Let s = -3.94415 + 3.99715. Let h = -1.94 + 2. Which is bigger: s or h?
h
Let z be (312/48)/((-3)/(-126)*6). Which is bigger: z or 0?
z
Suppose -7*s - 627 = 4*s. Let g = s - -101. Suppose 13*v - 356 = 216. Is v >= g?
True
Let o = -108 - -112. Suppose -3*r + 3*s = -9, -3 = -o*r + 3*s - 2*s. Let k(i) = i + 2. Let g be k(-1). Which is bigger: g or r?
g
Let l = -432 + 276. Let w be l/(-234) + (-17)/3. Are w and -34/3 non-equal?
True
Suppose -2*z + 245 = 5*y, 0 = -3*y - 2*z - 73 + 216. Which is smaller: 59 or y?
y
Let s be (4/(-5))/(2/845). Let m = s - -282. Is m >= -51?
False
Let o = 13118 - 13120. Suppose 7*w - 4*w - z - 35 = 0, -3*w + 31 = -5*z. Let a be (w/4)/(2*-2). Which is smaller: a or o?
o
Let q be 5 - (4 + 30)/(-2). Let y = 87 - q. Which is smaller: 64 or y?
64
Let z = -42991.9 + 39811. Which is smaller: 0 or z?
z
Suppose 2*s = 4*h + 24, -2*s + 7*s + h - 16 = 0. Suppose s*a = a - c + 57, -a = 3*c - 27. Suppose -13*m = -a*m. Which is greater: 18/5 or m?
18/5
Let k be ((-139867)/(-174))/(6/(-4)). Let p = k - -537. Which is smaller: p or 0?
0
Suppose 0 = 2*s + 2*s - 20. Let v be 5*(34/6 - 6)*-591. Let j = 986 - v. Is s < j?
False
Let s = 27.8 - 27.596. Is 10 less than s?
False
Let o(p) = -6 - 8*p - 3*p**2 + 2*p**2 + 4*p - 9*p. Let f(a) = 4*a**2 - 29*a + 16. Let m be f(6). Let c be o(m). Which is greater: c or -1?
-1
Let n be 6/36 + 46/12. Let l be (-1)/(-3) - n/1. Let q be (-16)/(-72)*-1 + (-86)/18. Which is smaller: l or q?
q
Let q(k) = -k**3 - 5*k**2 - 4*k - 22. Let s be q(-5). Let f be -3*2*((-273)/138 - s). Which is greater: 0 or f?
0
Let b = 2113 - 73966/35. Are 1 and b nonequal?
True
Suppose -7*i = 8*i + 8*i + 11*i. Which is greater: 2/221 or i?
2/221
Let x = -0.13 + -0.17. Let h = 372385/97 + -3839. Which is smaller: h or x?
x
Let t = 11749/2637 - -88/879. Let x = -13 - -17. Which is smaller: x or t?
x
Let b = 19155 - 19154. Which is greater: 1982 or b?
1982
Let w be 16644/(-114) - (-3 - (-1 + 2)). Let n = w + 201. Do 57 and n have the same value?
False
Let u be (6 - 3 - -5)/(1 - -1). Suppose -2*i = -h - 7, -u*h + 4*i - 23 = i. Let z(v) = -v**3 + 4*v**2 - 3*v + 6. Let g be z(4). Which is smaller: g or h?
g
Let v = -7033 - -7270. Is -11/6 at least v?
False
Suppose -1305 = 90*y + 1665. Do -34 and y have the same value?
False
Let h = -377 + 377.24. Let t = 232 + -2550/11. Is t less than or equal to h?
True
Let s = 6633 + -33943/5. Which is smaller: s or -155?
s
Let h = 1 + -11. Let r be (8/h + (-19)/(-5))*-9. Let z be ((-12)/(-8))/(r/4). Is z >= 1/22?
False
Suppose 5*n - 5 = v + 14, -2*v - 5*n + 22 = 0. Let d = 974 - 1372. Let m be ((-76)/57)/(d/3). Are m and v nonequal?
True
Suppose -210 = 3*b - 3*v, -5*v = 3*b - 2*v + 186. Let p be 72/28*8722/21. Let z = p + -1134. Is b <= z?
True
Let h = 1.5604 + -1.6834. Which is greater: -1 or h?
h
Let n be 1*-3 - (1 + -1 - 3). Suppose x - 64 + 45 = n. Is 56/3 < x?
True
Let x be (-669)/(-279) + (-88)/1364 + -11. Let u = -26 + 16. Which is smaller: x or u?
u
Let q(v) = 9*v**3 + 2*v**2 + 2*v + 4. Let w(g) = 12*g - 158. Let a be w(13). Let p be q(a). Which is bigger: -65 or p?
p
Let y(k) be the second derivative of k**5/20 - 11*k**4/12 + 4*k**3/3 + 65*k**2/2 - 105*k. Let i be y(10). Which is smaller: i or 46?
i
Suppose 3*l - 4*l = 4. Let i = 9.58 - 59.58. Which is bigger: l or i?
l
Let z = 3.6 + -4.02. Let n be ((-4)/28)/(35/((-6615)/36)). Which is greater: z or n?
n
Let g = 3880 - 3880. Which is smaller: g or -251.1?
-251.1
Let v be (-66)/(-363) - 13173/33. Let z be -5 - 19/(v/102). Is z not equal to -1/2?
True
Let t(m) = -117*m**2 + 11*m + 9 + 115*m**2 + 3*m. Let f be t(8). Is f bigger than -11?
True
Let j = 9 - 9.08. Let t = 0.3418 + -0.1418. Which is smaller: j or t?
j
Let w = -50 + 45.7. Let s = -5.8 - -1.4. Let b = w - s. Which is bigger: b or 23?
23
Let t = -34161 + 33138. Which is smaller: -2 or t?
t
Let p = 1418773641/4049 + -350401. Which is smaller: p or -1?
-1
Let c = 44315/2 - 21381. Which is greater: c or 777?
777
Let r(h) = 3*h**2 - 5*h - 1. Let m be r(-1). Let t = 1 - 3. Let u be -2 + -1 + (-18)/t. Is u smaller than m?
True
Let a = 55 - 42. Suppose -4*d + 96*t = 93*t - 57, 3*t = d - 21. Which is greater: a or d?
a
Let l = -7821 + 7829. Is -580 greater than l?
False
Let l be -2*(2 - 105/(-10)). Let s = -16 - l. Is s > -3/5?
True
Let s = -19 - -21.19. Let c = s + -1.69. Are 5/7 and c nonequal?
True
Suppose 3*y - 296 + 282 = 17*y. Does 34/275 = y?
False
Let a = 161 - 156. Let l be ((-105)/(-2))/(a/(-10)). Is l < -105?
False
Let w(c) = 22*c + 26. Let l be w(-8). Let f be (-6)/(-51) - l/170. Are f and 2/181 unequal?
True
Let f = 7622 + -1646347/216. Is f != -2/9?
True
Let k = -361/68 - -160575/748. Let r = -209 + k. Which is bigger: r or -2?
r
Let t = -30836/1226127 + 22/931. Which is bigger: t or 0?
0
Let p = -11 - -15. Let r(g) = 3*g**2 - g + 14. Let l(a) = a**2 + 1. Let j(y) = p*l(y) - r(y). Let x be j(-4). Does x = 7/8?
False
Let h be ((-8)/6)/((-61536)/576). Is h less than -1?
False
Suppose 4*z = -g - 202, 29*g = 28*g - 6. Suppose 0 = -4*k - 5*t - 187, 5*t - 215 = 4*k + 22. Let d = k - -4. Is z greater than d?
False
Let o be 0/7 - 643524/285. Let h = 2258 + o. Let u be 1 + (4 - 3) + -1. Which is bigger: h or u?
u
Let m be (-6)/408*(4/(-6))/(59/(-236)). Which is bigger: -6.98 or m?
m
Let f = 125 - 128. Let u be 28/(f - (-1 + 228/(-111))). Suppose 0*p - u = -14*p. Is p < 38?
True
Let f = 6.175 - 5.975. Which is bigger: f or -244.8?
f
Let o be 1467/(-6) + 1/2. Suppose -u + 698 = 2*q + 921, -4*u + 3*q = 1013. Which is smaller: o or u?
u
Let d = -62 + 6. Let b(o) be the first derivative of o**4/4 + 25*o**3/3 + 45*o**2/2 - 78*o - 124. Let c be b(-23). Is d equal to c?
False
Let h = -4476 + 4274. Which is smaller: h or -203?
-203
Let c = -785 - -851. Let f be 12/c - 3486/18326. Let v be -1 + (-2)/2 + 1. Which is greater: v or f?
f
Suppose 2*j = 3*k - 76 + 79, 4*k = j - 4. Is -9/2294 at least k?
True
Let l = -3.78 - -293.78. Let t = l - 290.03. Which is bigger: t or -2/43?
t
Let o be (-12 + (-780)/(-70))/((-6)/70). Let l = -5.23 - -