1. Let u = y + -1043. Let x = 0.028 + u. Is 1/25 at most x?
False
Suppose -2*o = -6, -d + 3*o - 1 - 23 = 0. Suppose -12*j + 77 = -19. Suppose 16*x - j*x = -104. Is x equal to d?
False
Suppose -5*u - 104 = -c, -4*c + 17 = 4*u - 5*u. Let w = 2357/18 - 911/6. Are w and u equal?
False
Let b be ((-386960)/24)/35*(-2)/8*-6. Which is greater: b or -684?
-684
Let u be 3/6*(79 + -9 + -12). Suppose 18*s = 17*s + 26. Are u and s unequal?
True
Let t be -14*(-2 + -3 + 4)/2. Suppose z = 4*z. Let g = z - -9. Is t < g?
True
Suppose 35*k = 10*k - 26*k. Suppose k = 11*h + 39 - 50. Which is smaller: 5/148 or h?
5/148
Let c(t) = t**2 - 11*t + 9. Let f be c(10). Let b(a) = 14*a + 2. Let m be b(f). Let z be 1 - m/(8/(-2)). Is -8/9 not equal to z?
True
Let z = -139 + 140. Let x be (z/(-4))/((-330)/(-99)). Do 1 and x have different values?
True
Suppose 18 = 3*s, -1558*z - 3*s + 418 = -1553*z. Let d(w) = -9*w**3 + 3*w**2 + 2*w. Let v be d(-2). Is v not equal to z?
False
Suppose -8 = 4*l + 4*f, 38*l - 42*l = -4*f - 8. Let s(y) = -2*y**3 - 2*y**2 - 5*y + 1. Let b be s(l). Which is greater: -1/236 or b?
b
Let b(p) = p**3 - 13*p**2 + p - 13. Let c be b(13). Let m(a) = -4*a + 8. Let u be m(3). Let h be (u*(-6)/(-5076))/((-1)/(-3)). Is c at most as big as h?
False
Let w(r) = r**2 + 45*r - 24*r - 18*r + 17. Let a be w(-11). Let i be 6/(-10)*((-49)/a + 1). Is i at least 1?
False
Let a be ((2 - 2)*-1)/(-3). Let u = 821279/354 - 2320. Is a > u?
True
Let a(x) = 4*x - 3. Let l(g) = g. Let v(o) = a(o) - 5*l(o). Let m be v(-3). Suppose 0 = -4*r + 16, 22*n - 5*r = 20*n - 12. Which is greater: m or n?
n
Suppose 80*x - 275260 = -225*x + 693115. Is 3174 not equal to x?
True
Let g be (-1896)/(-158) + (-47162)/3930. Which is greater: 0 or g?
0
Suppose 3*w - g + 1 = 4*w, 0 = -3*w + 2*g - 17. Let r(j) = 2*j**3 - 21*j**2 + 196*j - 1858. Let p be r(10). Is p at most w?
False
Suppose 62 = 2*n + 10 - 8. Which is smaller: n or 70?
n
Suppose -5*s + 3*l + 1 = -14, -32 = -2*s - 4*l. Let b be 1/2*(s - 8). Which is greater: 4/17 or b?
4/17
Let p = 1349.2 + -1114. Let g = p + -235. Is g less than -2/3?
False
Let j = 94 + -72. Let y be j/((-3)/2 + 75/42). Let q = -78 + y. Is q greater than or equal to 3/13?
False
Let k = 14.721 + -14.821. Is k <= 8838?
True
Let y be (-14)/2 - ((-18154)/87)/((-3)/(-5)). Which is greater: y or 341?
341
Let c = -13.88 + -1.72. Let h = -0.6 - c. Let g = h + -13. Is g at most 0?
False
Suppose 2*q + 2*s - 4 = 3*q, 0 = -3*s + 15. Suppose 1 + 5 = q*f. Let r be f + -1*(-42)/((-12)/4). Do -13 and r have the same value?
True
Suppose -263*w + 565295 = 2351854. Is -6794 at least as big as w?
False
Let v = -25/12 - -7/3. Let u = 153.21311 + -0.07311. Let d = -153.2 + u. Are d and v nonequal?
True
Suppose 3*d - 16 = -2*h, 5 - 1 = 2*d - 2*h. Suppose 9 + 1 = -2*m, -d*f - m = 21. Let r be 6/(-9) + (-8)/6. Which is greater: f or r?
r
Suppose -k + 4 = 0, -7*t + 11*t + 4*k - 16 = 0. Let i be (-50732)/(-25355) - (2 - 0). Let a = i - 13856/29965. Is a less than or equal to t?
True
Let j be (716/16 - 4)/((-2)/8). Let s = j + 157. Which is smaller: -14 or s?
-14
Let w = -615.1417 - -0.0417. Let x = w + 615. Does x = -59?
False
Let u(q) = -q - 4. Let s be u(-5). Let l = -14672/5 - -249394/85. Which is bigger: l or s?
s
Let t be (-186)/(-190) + 1*-1. Let a = 247 + -247. Suppose a = -c + 21*c. Does c = t?
False
Let a = -4058 - -4057.9. Are 135/16 and a nonequal?
True
Suppose 0 = -3*b + 6*p - 2*p + 299, -12 = -3*p. Is 75 greater than or equal to b?
False
Let o = 0.17 + 4.03. Let q = -2 + o. Let j = 3.2 - q. Is 2/9 < j?
True
Suppose 4*v - 3*v + 4*n = -78, -2*v + 2*n - 176 = 0. Suppose 4*f + 26*i = -560, 2*f - 5*i + 96 = -40. Which is greater: f or v?
v
Let c = -45145 - -45128. Is c greater than -878?
True
Suppose 35 = -w + 6*w. Let v = 199 + -196. Which is bigger: v or w?
w
Let z = 95 + -66. Suppose -5*w + 84 - z = 0. Let x be -4 + (w/5 - (-1)/(-5)). Is x less than -8/3?
False
Let l be (-1)/(-7) + (-3477)/42959. Is 0 at least as big as l?
False
Let z = -41004.942 + 40965. Let o = -0.058 + z. Let n = 31 + o. Which is bigger: -1 or n?
-1
Let n = -4407 - -4406. Which is smaller: n or -5/278?
n
Let m = 2 - 8. Let v = 8 + m. Suppose 6*g + 12 = 12*g - 0. Is v < g?
False
Suppose 4*b + 659 = 3*u, 3*b - u + 713 = 220. Let l be (b - -27) + 3/1. Which is greater: 0.1 or l?
0.1
Let c be (-480)/(-12) + 1/(-1). Let v = 43 - c. Suppose -v = -4*z + 12, -3*p - z + 196 = 0. Which is greater: p or 63?
p
Let t be (28/(-8))/7*(-3 + 1). Suppose 3*h - h - 1 = -m, 3*m = -4*h - t. Let r be (-21)/84 + m/4. Is r greater than 2?
False
Let h(i) = i**2 + i - 1. Let v be h(-1). Let q be -2 - -7 - v - 2. Suppose -y - y = q*j, 4 = -2*j - 2*y. Is 7/8 greater than or equal to j?
False
Let n = 500/3 - 168. Let i = 1686.96 + -1650. Let b = -37 + i. Is n equal to b?
False
Let s be ((-121)/(-30))/((-29)/3). Let l = 1/58 + s. Is 11 bigger than l?
True
Let p = -1988 + 1988. Which is smaller: -33/37 or p?
-33/37
Let h = -30 + 33. Suppose -3*o + 4*c - 5*c = -29, 41 = h*o - 2*c. Let l be ((-3)/(-16))/(o/(-396)). Is l equal to -6?
False
Suppose 0 = -5*c + u - 830 - 1070, 0 = -c - u - 380. Which is bigger: c or -4934/13?
-4934/13
Suppose -2*m + 2527 - 182 = 5*a, 10 = -2*m. Is 470 < a?
True
Let h = 63 - 439/7. Let q = -189 + 329. Let n = q + -139.7. Which is smaller: h or n?
h
Let u(p) = 3*p**2 + 2*p - 8. Let m(n) = -2*n**2 + n + 1. Let w(o) = m(o) + u(o). Let k(h) = 8*h + 20. Let l be k(-4). Let f be w(l). Is f < 100?
False
Let b be (348/(-36) + 10)*15. Which is bigger: b or 22?
22
Let l = 477 + -117. Let u be (-6)/(l/(-76))*3*1. Which is smaller: 3 or u?
3
Let v = 82 - 60. Let s be (834/(-418))/(v/44) + 4. Are s and 1 equal?
False
Let a = -542500859/13138 - -82585/2. Is a smaller than 1?
True
Let g = 5448 - 5465. Which is smaller: -16 or g?
g
Let u = -939571277/392 + 4793685/2. Let h = u + 185/8. Which is smaller: h or 0?
0
Let p = 4162 - 4006. Do 10 and p have the same value?
False
Let w = -51 - -53.4. Let k = 2.4 - w. Is k not equal to -50?
True
Let t = -4935.57 + 4969. Let k = t - 6.23. Which is greater: -1 or k?
k
Let w = 16 - 42. Let x = w - -108. Let p = x - 83. Is -10/3 < p?
True
Suppose -3*b + 1423 = -5*i, b - 1160 = 4*i - 23. Let g = i + -264. Which is smaller: g or -547?
g
Let b be (584/6)/(16/(-48)). Let l = b - -442. Is 150 > l?
False
Let k = -20 + 97. Let y = -72 + k. Is 13 at most as big as y?
False
Suppose 34*p = 29*p + 1190. Let j = p + -1901/8. Which is greater: j or -10?
j
Let o be 2 + (-5)/(-10)*10. Let u = 11 - o. Suppose -3*p + 26 = -u. Is -3 greater than p?
False
Let a = -33209 - -30039. Do a and -3173 have different values?
True
Let d = 124379 - 124412.0354. Let j = d - -0.0354. Which is smaller: -4 or j?
j
Let f = -27.4 - -5.4. Let r = -21.55 - f. Let g = 2.55 + r. Which is bigger: g or 1/4?
g
Let c = -23.2 - -21. Let p = -197 + 210. Suppose 0 = -3*y + 2*f + p, 2*y + 6*f - f = -23. Which is smaller: c or y?
c
Let b = -51/94 + 2/47. Let y(u) = u**3 + 5*u**2 + 5*u - 3. Let z be y(-3). Suppose 0 = 5*t - 4*s + 25, -5*t - 5*s + z*s + 20 = 0. Is b at most as big as t?
False
Let z be ((-4)/22)/((-255)/(-935)). Is -613 at most as big as z?
True
Let x be (-3723)/(-1215)*-3 + 10. Which is smaller: x or 1?
x
Let s = 315/8 + -10415/264. Let g = s + 1477/330. Which is smaller: 5 or g?
g
Suppose 0 = 23*m - 24*m + 30. Let r be 159/(-5) + 4/m. Which is greater: -33 or r?
r
Let w(u) = -u**3 + 21*u**2 - 22*u + 7. Let b be w(20). Let q be (-233)/(-77) + b/(-77). Which is smaller: 4 or q?
q
Let h be -14 + (-156)/(-6) + 28. Are 44 and h equal?
False
Let c(x) = x**3 + 20*x**2 - 45*x - 21. Let w be c(-22). Let t be (w + 2)/(-1) + (-9)/1. Suppose 138 = -5*h - 5*q + 53, 0 = 3*q + 15. Is h bigger than t?
False
Suppose -35*k + 1 = 4*p - 40*k, 5*k + 5 = 0. Which is smaller: -6/415 or p?
p
Let m(r) = r**3 - 120*r + 22. Let j be m(-11). Which is bigger: j or 83/7?
83/7
Let j = 5661 + -243435/43. Do j and 1 have the same value?
False
Let i = -140169 - -704258/5. Let j = -683 + i. Does j = -9?
False
Let h be (-16)/6*(-810)/360. Are 33 and h unequal?
True
Let q(t) = t**2 - 10*t - 152. Let i = 267 - 250. Let g be q(i). Which is bigger: -37 or g?
g
Let s(u) = u**3 - 32*u**2 - 3*u + 12. Let o be s(32). Let q = 48 + o. Which is bigger: -34 or q?
-34