 k = -6. Suppose -38*s = -a*s + 5. Let z be 4/(-264)*1*2. Which is greater: z or s?
s
Let v = -14622.846 - -14640. Let l = v - 0.154. Is 0 not equal to l?
True
Let i(o) = o**3 - 3*o**2 + 5*o - 1. Let d be i(2). Let k be (-6)/d*13/(-26)*-15. Which is greater: -3 or k?
-3
Let a = 96 + -63. Let u = -36 + a. Let k(o) = 12*o + 1. Let x be k(u). Which is greater: x or -34?
-34
Suppose -5*q + 8 - 3 = 0. Let w be 2*-4 - (82 + -86). Let f be 1*(3 + q + w). Is f bigger than 3/49?
False
Suppose h + 16 = 260*b - 258*b, -4*h + 92 = 5*b. Which is greater: -0.112 or b?
b
Let w = -384 - -72. Let d = 4.0881 - 4.0881. Which is smaller: d or w?
w
Let z be 55/(-198) - (-4)/(-18). Let m = 0.149 + -0.14. Let r = m + -3.009. Does z = r?
False
Let c(g) = -2*g**3 - 9*g**2 + 23*g + 31. Let d be c(-6). Let v = 41/12 - 809/228. Is v at least as big as d?
False
Let p = -135 - -135. Which is bigger: p or 2.811?
2.811
Let c(g) = -4*g**2 - 49*g + 40. Let z be c(-13). Which is smaller: 2/6701 or z?
2/6701
Let w(i) = -i**2 - 9*i - 20. Let l be w(-5). Let t = 1189 - 36856/31. Is t at least l?
True
Suppose -12*s + 6*s = -18. Suppose 15 = -z - 4*u, -20 = s*u + 2*u. Is z < 2/3?
False
Let x = -56192 - -57127.74. Let b = x - 936. Is b <= -2/5?
False
Suppose g + 9 = 0, 18*o + 4*g + 44 = 16*o - 42. Let b be (-4)/(-30)*6/(-2). Is b less than o?
False
Let q be (-2)/5 - (7 + (-188)/20). Suppose 2*t = 5*a + 83, 4*t - q*a - 65 = 61. Which is greater: 28 or t?
t
Let f = -810 - -1318. Is f greater than -0.3?
True
Suppose -3*i + 57 = -2*i. Let n be (8172/2270)/(-1 + 53/50). Which is greater: n or i?
n
Let w be (-2)/(-18) - (-968)/198. Suppose 0 = w*l - 5*j - 150, 36 = l + 11*j - 6*j. Is 32 at least as big as l?
True
Suppose 2*n - 4*n + 4 = 0. Suppose -w = -3*w + n. Let a be (-5)/24*(-108)/1755*-4. Which is bigger: w or a?
w
Let i = 4857 + -4856. Which is greater: i or 31/81?
i
Let m be ((-630)/20 - (1 + 0))/(705/(-10)). Which is greater: m or -1?
m
Let v be (-4064)/70 - (-58)/1015. Is v at most -59?
False
Let u = -975 - -1055. Which is smaller: 93 or u?
u
Suppose 0 = 3*v - 0*v - g - 12, 0 = 2*v + g - 3. Let b = 6 + 50. Let d = 56.2 - b. Is v greater than or equal to d?
True
Let f be (2 + (-15)/2)/(40/(-2640)). Suppose 3*m - 5*z - 1286 + 189 = 0, -2*z = -4*m + 1458. Which is smaller: m or f?
f
Let f(m) = m**2 + 5*m - 13. Let i be f(5). Let a = -35 + i. Let p be (0 - 4/264)/(a - 3). Which is greater: p or -1?
p
Let x(z) = z. Let u be x(0). Suppose u*s = s + 4*f + 74, 4*s + 241 = -5*f. Let y be (1*(-2)/(-3))/(3258/s). Which is smaller: 0 or y?
y
Let d be 948/(-1185)*(-70)/(-4). Is d > -168/11?
True
Let l = 0.343 + 4.157. Let r = l - 13.5. Is -19 >= r?
False
Let v = -11872 + 11873. Is 6/3103 smaller than v?
True
Suppose 7537 + 1765 = 41*u + 1881. Does 1275/7 = u?
False
Let j be (-1)/6*48/(-20). Let k = 1.9 + -13.9. Which is smaller: j or k?
k
Suppose 54108 = 268*m + 6404. Are 12 and m unequal?
True
Let n(h) = -h**2 - 29*h + 73. Let v be n(-31). Let b be (99/9)/v*(0 + 0). Is b < 38?
True
Let v be (21 - 11)/30*(1 + 2). Is v less than 1/1186?
False
Suppose -3*l + 16*z + 8096 = 15*z, -4*z + 13482 = 5*l. Which is bigger: 2697 or l?
l
Suppose 0 = 3*k - 2*k + 2*g, 4*k - g = -18. Let s be 50/(-159) - k/12*1. Let x = -20 + 21. Is s bigger than x?
False
Let s = -0.4198 + 0.2498. Do 0.04 and s have the same value?
False
Let g = -2223 - -2150. Is g equal to 0.1?
False
Let g = 46.32 - 43.32. Which is smaller: -97 or g?
-97
Suppose -3*i - 6*y - 5 = -4*y, -23 = 5*i - 4*y. Suppose 3*u - 10 = w, 4*w = -5*u - 12 + 6. Let z be ((-35)/u*2 - i)/(-1). Which is smaller: 33 or z?
z
Let d(r) be the first derivative of 8*r - 4*r**2 + 25 + 5/3*r**3 + 1/4*r**4. Let k be d(-6). Which is smaller: k or 22?
k
Let u = -827 + 2507/3. Suppose 0 = 27*w - 125*w + 1050 - 168. Is u less than w?
True
Let u(b) = b**3 + 3*b**2. Let c be u(-4). Let a be c + (-3 - 0)*1. Suppose -7*i - 37 = 103. Are a and i non-equal?
True
Let u = -8570 + 8570. Which is greater: -31/14 or u?
u
Let r(m) = m**3 + 31*m**2 + 243*m + 25. Let j be r(-15). Let y(p) = p**3 + 4*p**2 - 6*p - 7. Let d be y(-5). Let o be -1 + d*9 + 0. Which is smaller: j or o?
j
Suppose 11*b = -690 - 4854. Which is smaller: b or -508?
-508
Let y be 40/(-580)*(-5)/2*4832/(-40). Is y less than or equal to -21?
False
Suppose 25*u = -13*u. Which is smaller: u or -13/330?
-13/330
Let d(m) = -7*m - 3*m + 1 + 22*m + 13. Let n be d(-1). Which is bigger: -64 or n?
n
Let y(n) = -4*n + 6. Let g be y(2). Let l be ((-58)/(-18) - g) + (-2)/9. Suppose 134 - 29 = -l*t. Which is smaller: 1/3 or t?
t
Suppose -2*d = -2*f + 104, 2*d + 95 = 97. Suppose -a + 55 = -0*a. Do a and f have different values?
True
Let o = 12135 + -12134.99. Is 162 smaller than o?
False
Suppose -53 - 23 = -124*n + 296. Which is bigger: 1647 or n?
1647
Let s(i) = -i + 4. Let r be s(5). Let t = 1634347/98 - 16677. Which is smaller: r or t?
r
Let t = -158/817 - -5/19. Let o = -44/1247 + t. Is 1 not equal to o?
True
Let f(s) = -s**2 + 15*s - 13. Let a be f(13). Suppose -n - 2*n = 2*j + a, -5*n = 3*j + 20. Let h be n - -1 - 0/8. Is h >= 0?
True
Suppose -318*u - 372419 = -32159. Which is smaller: -1071 or u?
-1071
Suppose 168 = -v - z, -z + 1 = -2*z. Suppose 0 = 2*h + 5*q + 310, h - 2*q + 219 = 37. Is h > v?
False
Let x = -0.4 + 0.4. Let v be (-1718)/(-6) + (-476)/(-714). Which is smaller: v or x?
x
Let w = 91631/374 + -245. Which is bigger: -1 or w?
w
Let v be ((-24250)/(-625))/(1/10*2). Let i = -194 + v. Which is bigger: i or -3/74?
i
Let u = 0.373 - 0.063. Let b = -127 - -126.89. Let m = u + b. Are 0.06 and m nonequal?
True
Let l = 3.6912 + -0.0112. Let r = -0.91 + l. Is r greater than or equal to -2?
True
Let m(q) = -16*q + 48. Let z be m(-7). Suppose 161*k - z*k = 0. Which is smaller: 82 or k?
k
Let v be 200/44*(10 + 1). Is v at least as big as 864/17?
False
Let w(d) = d**3 + 3*d**2 - 15*d + 17. Let h be w(-6). Is h < 8/7235?
True
Suppose -4421 = -25*s - 99 + 9453. Which is greater: s or 553?
553
Suppose -z = 2*g - 17, 0 = -4*g + 8*z - 5*z + 29. Suppose -2*d = u - 0*u - g, 0 = 2*u - 4*d - 32. Suppose t = u - 14. Is -0.01 greater than t?
True
Let q be (-1)/((-42)/24) - (-16)/(1120/30970). Is 435 smaller than q?
True
Let c(n) = 7*n**2 - 16*n + 2. Let d(r) = -14*r + 44. Let v be d(3). Let f be c(v). Is f not equal to -7/12?
True
Let v = 999 + -994. Suppose -4*t - 10 = -10*o + 8*o, 0 = -t - v*o + 25. Which is smaller: t or 2/1793?
t
Let z(s) = -s**3 + 5*s**2 + 15*s - 5. Let w be z(7). Suppose 5*y - 15 = 5*r, 2*r + y - 6 = -y. Do r and w have the same value?
False
Let v = -0.112 + 9.812. Let b = v + -10. Let c = b + -1.7. Are 2/9 and c non-equal?
True
Let p = 10.7 - 19.3. Suppose -32*r - 31*r = -66*r. Which is greater: p or r?
r
Let z = 5013.2 - 4617. Let v = 396 - z. Which is bigger: -7 or v?
v
Suppose -4*i + 20*u - 19*u = 0, -5*i + u - 1 = 0. Is -452 <= i?
True
Let j(w) = w**3 + 42*w**2 + 40*w + 90. Let i be j(-42). Is -1591 bigger than i?
False
Suppose 0 = 2*h + 2, 2*n + 2*h = 8*n - 8. Which is bigger: 1/1717 or n?
n
Let b be ((-177)/42 + 4)*(10/(-5) + 4). Which is greater: -259 or b?
b
Let l(g) = g**2 - 8*g + 4. Let t(r) = -r - 24. Let x(u) = u. Let h(c) = 2*t(c) - 4*x(c). Let f be h(-9). Let v be l(f). Is -6 >= v?
True
Let b = 162.28 - 3.28. Let m = b + -54. Let q = m - 114.5. Which is bigger: -2/7 or q?
-2/7
Suppose -1 - 14 = -13*m - 2. Let d be 2/4*(-36)/(-42). Which is bigger: d or m?
m
Let b = -8143/7 - -1163. Which is smaller: -105/2 or b?
-105/2
Let f be (-14210)/525*(-5)/(-6). Does f = -23?
False
Suppose -7*x = 96 - 12. Let u be 4/(2 - -2) + x. Is 2 less than or equal to u?
False
Let x be 1/6*-3 + -1*478/(-6). Is 80 at least as big as x?
True
Let y be -11 + (33/(-9) - -3)*3. Let a = y - -52. Is a less than or equal to 40?
True
Let v = -3307 - -3262. Let q = -77 - -31. Which is smaller: q or v?
q
Suppose 22*z = 5*z - 34. Let i be z + -1 + 192/18. Is i equal to 9?
False
Suppose 41*k = 44*k - 672. Let z = 360 - k. Is 136 at least as big as z?
True
Let v(p) = -p**3 + 3*p**2 - 6*p + 6. Let g be v(-4). Are g and 138 non-equal?
True
Let y = -100.13 - -100.13. Is y < 3/8369?
True
Suppose -42 + 36 = 3*b - 3*w, 0 = -2*b + 5*w - 7. Is b smaller than -16/551?
True
Let r(y) = -y + 13. Let u be r(21). Let d be (11580/(-36) + -3)/(u/6)