a nonequal?
False
Suppose -1022*l + 1019*l - 10683 = 0. Which is smaller: l or -3562?
-3562
Let x = -157 - -1411/9. Let v = -23 - -28. Suppose -v*m - 5*d = -20, -2*m + 8 = -5*m + d. Which is bigger: x or m?
x
Let u(i) = -8*i. Let p be u(2). Let t = -31.8 + 59.9. Let c = t - 26.1. Is c less than p?
False
Let y = -494.2538 + 0.2538. Is 0.4 > y?
True
Let o = 362 - 253. Let r = 219/2 - o. Is r <= 2?
True
Let s be (-2 + -15 - -3) + (2 - 0). Let i be (4 + s/(-6))*9/(-2). Is -25 at least i?
True
Let n be ((-15)/10)/((-3)/6). Let h = 2208 - 24262/11. Is n > h?
True
Suppose -7*b = 12*b - 2*b - 4811. Which is bigger: 280 or b?
b
Let w = 0.1533 + -1.3728. Do -2 and w have the same value?
False
Let f(p) = p**3 + 4*p**2 + p - 4. Let r be f(-4). Let g be (((-2)/(-3))/2)/((-224)/(-42)). Which is smaller: g or r?
r
Let s = 11 + 178. Let a = 377/2 - s. Is a at least as big as -1/118?
False
Let a = -43.91 + 43. Let g = -3.09 + a. Which is bigger: -7 or g?
g
Suppose 3*x + s - 1202 + 215 = 0, 2*x - 5*s - 607 = 0. Is 320 less than x?
True
Let j = -4.08 - -337.08. Do -5 and j have the same value?
False
Suppose 8 = s + s. Suppose -395 = -h - 3*r, s*h - 6*h = -r - 755. Let f = -4132/11 + h. Is f less than 5?
True
Let u = 198.3 - 186. Let m = u + -11.6. Does m = -1?
False
Let w be -1 + (-1)/((-3)/(-332313)). Let r = w + 1217501/11. Let m = -90 - r. Is -1 smaller than m?
True
Let k be (2/44)/(3/12). Let n = 13114 - 13114. Is n <= k?
True
Suppose 36*r - s + 104 = 31*r, -3*s = r + 40. Is r <= -129?
False
Suppose -5*y = -2*m - 233, 7*y - 4*y + 5*m = 146. Let w = 20198 - 20153. Are y and w non-equal?
True
Let b be (-110919)/7533*-3*6. Let u = 19834471/77562 - b. Let c = u + -5/278. Which is smaller: c or -9?
c
Let k = 7814 - 7813. Which is smaller: 0.2396 or k?
0.2396
Let l = -459/14 + 33. Let c be (-4 - (-210)/49) + 0. Let j = c - l. Is -1 <= j?
True
Let u = -2/150721 + -581180130/3466583. Which is smaller: u or -167?
u
Let x = -97.34 - -1.34. Let a = 96.59 + x. Let w = a - -0.41. Is w greater than or equal to 0.01?
True
Let k be (3 + -1)/(0 - -5). Let o = 2.46 - 2.573. Let n = 0.087 - o. Are n and k nonequal?
True
Suppose 8*u - 28 = 308. Let m be (u + 3 - -3) + -4. Let t = 44 - m. Is t >= 2/51?
False
Let a(h) = 40*h - 2. Let k be a(6). Let u = k + -235. Are u and 14/5 non-equal?
True
Let b = 370 - 17. Let u = 352 - b. Are 1.17 and u unequal?
True
Let z be ((-791)/(-265) + -3)/(34/255). Let n = 32 - 33. Is n less than z?
True
Let d = -101 - -103. Let c be 89 + -2 - (-1 + 3 - d). Let s be (c + -2)*-1 - 5. Is -90 bigger than s?
False
Let x = -1251/40 - -8709/280. Which is smaller: 0.23 or x?
x
Suppose -306*r = -96*r. Which is bigger: -111/214 or r?
r
Let k = 545/14 - 79/2. Let f = 66185 + -66269. Is k at least as big as f?
True
Let b = -3832 - -15327/4. Which is smaller: -1819/4 or b?
-1819/4
Let t = 40 + 7. Suppose -p + 3*b + 27 = 0, -1 - 422 = -7*p - 5*b. Is p at most as big as t?
False
Let b be 1/(-2)*(-31)/((-62)/(-12)). Suppose 2*w - 3*w + 2*x + 4 = 0, 0 = -5*w - b*x - 19. Which is bigger: w or 13?
13
Let s(m) = m**3 + 5*m**2 + 5. Let y be s(-5). Let u(w) = 26*w - 5. Let o be u(y). Let c = 257/2 - o. Which is bigger: 5 or c?
5
Let s(v) = v**2 - 126*v. Let u be s(0). Is u greater than or equal to 1399?
False
Suppose -p = -261 - 99. Suppose 0*i - 12*i - p = 0. Let f = 30 + i. Which is greater: 4/7 or f?
4/7
Let c = -14987 + 28283. Let l = c + -133141/10. Let h = -18 - l. Which is greater: h or 0?
h
Let z(j) = j**3 + 12*j**2 + 12*j + 12. Let k be z(-11). Let o = -902507 + 12629725/14. Let g = 384 + o. Which is smaller: k or g?
g
Let l be (-910)/39*54/141. Is l greater than or equal to -10?
True
Let o = 4291 + -4308. Suppose -g - 3*x = 17, -53 - 15 = 4*g + 5*x. Do g and o have different values?
False
Let v(p) = -7*p + 677 + p**2 - 693 - 3*p. Let d be v(7). Is -38 less than d?
True
Let c be (-555)/189 + (-2)/(-9). Let s be (-600)/(-550) + (-90)/22. Do s and c have different values?
True
Suppose 31*s = 2*q + 32*s - 1, 4*s + 3 = -q. Which is greater: q or -5/11169?
q
Let u(z) = z**2 + 14*z + 20. Suppose -2*g = 6*g + 80. Let o be u(g). Let d be 78/(-4) + (-1)/2. Is o at most as big as d?
True
Suppose 8*p - 3*p - 2*y = 474, 3*p + 4*y = 300. Which is greater: -1/8 or p?
p
Let p(s) = s**3 - 14*s**2 + 21*s - 11. Let o be p(12). Let b = 521/11 + o. Is b at least as big as 0?
True
Suppose -7*v + 3097 + 445 = 0. Let i = -287 + v. Which is smaller: 2 or i?
2
Let j = 230.9652 - -0.0348. Let f = 230.92 - j. Which is smaller: 6 or f?
f
Let p = 74 + -82. Let u = p + -15. Let x = 10.9 - 11. Is u greater than x?
False
Suppose 4*s + 2*x = -57 - 19, -3*x = -s - 33. Let j be (-3618)/(-36)*(-1)/s. Let q = j - 13/2. Which is smaller: q or -2?
-2
Suppose 3*p = -7*c + 3*c + 1857, -3*c + 4*p = -1424. Is 465 greater than or equal to c?
False
Suppose -28*k + 36*k - 184 = 0. Let y = -24 + k. Which is greater: 3/88 or y?
3/88
Let m(t) = -t + 24. Let i be m(12). Suppose i*l = -10*l - 22. Let o be 1 + 1/((-24)/29). Which is bigger: o or l?
o
Suppose -3*p + 18 = -81. Let d = 39 - p. Let x be (d/8)/((-180)/160). Which is smaller: x or 3/10?
x
Suppose -6*f + 16 = -14. Suppose 3*t - 4 = 5*r - 36, f*r - 28 = 2*t. Let c be 8/(-6)*t/(64/(-52)). Are -4 and c nonequal?
True
Suppose -38 = -2*a - 3*z, -z = 4*a - 91 + 25. Let b be a/56 - 6/21. Suppose b = -6*i + 15*i + 27. Are -18 and i equal?
False
Let n be (-2368)/12432 - 200/126. Which is smaller: n or -3?
-3
Let q = -12/121 + 29463/605. Let t = q - 49. Is 11/14 at least t?
True
Let c be ((-171)/21090)/(((-23)/(-2))/(3/3)). Which is smaller: c or -1?
-1
Suppose 13*s - 30 = 10*s. Suppose 0 = 2*w + s - 2. Let p be -15*(56/(-12) - w). Is p less than or equal to 8?
False
Let w = -46.7 + 0.7. Let a = -54.5 - w. Let h = 2.5 + a. Which is smaller: -2/3 or h?
h
Let j = 280.1 + -280.3. Let v = 1389 + -6968/5. Which is smaller: j or v?
v
Suppose 2*l - 14 = -2*x, 2*l + 2*l - 5*x - 1 = 0. Suppose -5 = n - l. Let q = -1141 - -62753/55. Is q at least n?
True
Let g(d) = -d**3 - 10*d**2 - 12*d + 9. Let h = -30 + 21. Let i be g(h). Suppose -7*y = -11*y - i. Which is smaller: -12 or y?
-12
Let b = 11027/21 - 525. Let g = 6 + -6. Suppose -4 - 5 = 3*z + 2*f, 3*z - f = g. Is z equal to b?
False
Let f be (8/84)/((-3)/(-9)). Let l(x) = x**3 + 8*x**2 - 11*x - 13. Suppose 5*v + 37 = -3*r, -4*v - 4*r - 11 = 17. Let h be l(v). Which is bigger: f or h?
h
Let b(j) = -j + 8. Let q be b(7). Let x be q + (-1*2 - 3). Let o = 7439 - 7443. Is x bigger than o?
False
Let x = -0.02 - -15.02. Let q = 48 + x. Let v = q + -58. Is v at most as big as 2?
False
Let c = -141 - 14. Let l = c - -146.1. Let p = -4.9 - l. Which is smaller: p or -1.1?
-1.1
Suppose f + 303 = 47. Let g(b) = b**3 + 41*b**2 - 37*b - 47. Let x be g(-42). Which is smaller: f or x?
x
Suppose 2*s - 35*s - 58*s + 1729 = 0. Suppose -x - 2 = -2*i, -x = 3*x - 4*i. Suppose 0 = 2*m, -4*h + 0*m = -x*m - 80. Which is smaller: h or s?
s
Let q = -4848 - -5034. Which is smaller: q or 192?
q
Let n = -4190 + 3357. Are n and 1 non-equal?
True
Let o = 14 + -4. Suppose 153 - 225 = -3*h - 2*w, -4*h + 5*w + 50 = 0. Suppose -5*r = o - h. Which is bigger: 28/11 or r?
28/11
Let u be (13 - 11)/(-20)*(-3)/39. Which is bigger: 1 or u?
1
Let q be 219/(-21) - -1 - -10. Which is bigger: 21.2 or q?
21.2
Let d = -358 + 360. Let x be (3/(-4))/3*2*d. Is x at least as big as -2/531?
False
Suppose -4*u = -10*u + 18. Suppose 33*t + u = 30*t. Let o be 1*570/(-574) + 1. Which is smaller: o or t?
t
Suppose b = 42*b + 10*b - 39882. Is 784 less than b?
False
Let h be ((-6710)/(-9760))/(-89*141/(-6276) - 2). Is -1439 > h?
False
Let x be 1 + 846/5 + (-22)/110. Let b = -182 + x. Which is smaller: b or -34/3?
b
Let b = 0.254 + -0.137. Let k = 0.317 - b. Which is bigger: k or -7.4?
k
Let l be (-2 + 2056/1030)/(10388/210 + -30). Which is greater: l or 0?
0
Let k be (0 - -13) + -7 - 7/1. Which is greater: -2/1601 or k?
-2/1601
Let y = -4.9657 + 82.9657. Let n = 205/4 - 51. Is n bigger than y?
False
Suppose -q + 43 = 4*g, -2*q = 3*q - 2*g - 259. Suppose a = 4*t - q, -a = -2*t + 11 + 16. Which is greater: 9 or t?
t
Let k be (0 - (-104400)/203)/((-4)/42). Is -5401 bigger than k?
False
Let v = 1795139/29 - 61895. Is v at most as big as 6?
False
Let s be 2/(-2 + 1)*(-63)/(-14). Let