 4. Let k = 534 + -535. Do i and k have different values?
True
Let k = -21.54 - -0.54. Let f = 19.4 - -3.6. Let l = k + f. Does l = -6?
False
Let k(l) = -10*l**3 + l. Let y be k(1). Let a be (-3)/6 + (-15)/(-6). Let m be (a/6)/(6 - 7). Is y greater than m?
False
Let x(c) = -c**3 + 8*c**2 - 2*c + 9. Let i be x(8). Let v(m) = 2*m - 6. Suppose 3*d + 12 = 6*d. Let z be v(d). Is z equal to i?
False
Let g = 1.924 + -2. Let o = 0.076 + g. Which is bigger: o or -0.05?
o
Let l = 0.168 + 0.032. Does l = 1/102?
False
Suppose -3*u = -2*q + 505, 4*q + 5*u = 8*q - 1007. Which is smaller: q or 249?
q
Let x = 0.081 + 8.919. Let g = -0.2 - -10.2. Let f = g - x. Which is smaller: f or 6?
f
Let j = 0.76 - 31.76. Let p = -33 - j. Is p smaller than -8?
False
Let i(r) = 8 - 2*r**3 + r**3 - r**2 - 4*r**2 - 4*r**2 + 12*r. Let c be i(-10). Let s be (c/(-27))/((-1)/(-3)). Which is bigger: 0 or s?
s
Let h = 17 - -380. Let m = 38615 + -191068/5. Let j = h - m. Which is smaller: j or -5?
-5
Suppose 4*v - 41*a + 46*a = 0, 4*a = 2*v. Is v bigger than -9/184?
True
Let k = 49 - 49.11. Let j = k - 0.19. Is -2/7 smaller than j?
False
Let l be 60/(-76) - (-2)/2. Let c(t) = -t - 3. Let a be c(-4). Is l > a?
False
Let t = -39 + 38.2. Let p = -7.1 + 1.3. Let g = p - t. Which is smaller: g or -0.1?
g
Let f = 20.2 + -23.4. Which is greater: f or 1?
1
Let u be (-18)/60 + (-614)/(-20). Is u less than 31?
True
Let s = -374.1 + 374. Let x = 7.3 + -8. Let k = x - -0.67. Is k equal to s?
False
Let g = 0.06 + 0.04. Let x = g - 6.1. Let r = 30.5 + -30.7. Which is greater: r or x?
r
Let s be -1*(3 - 3) - -2. Suppose 0 = -s*v + 6*v - 24. Suppose -a = -4*n - 5, 3*n + 2*a = v*n + 10. Is 0 > n?
False
Let d = 568 + -1137/2. Which is smaller: d or 1/33?
d
Suppose -18*u + 25*u = 1085. Which is greater: u or 157?
157
Suppose 2*h + 3*u = 30, -58 = 59*h - 61*h + 4*u. Is 1 at least h?
False
Let i be ((-1245)/340)/1 + 1/4. Is -2 bigger than i?
True
Let n = -62 + 82. Suppose -5*r = -0*x - x + 36, -2*x + 45 = -r. Is x > n?
True
Let x = 22.71 + 0.29. Let t = -31 + x. Is 1 less than or equal to t?
False
Suppose -859 = -7*w + 345. Is w <= 172?
True
Suppose -645*i + 657*i + 5832 = 0. Is i <= -484?
True
Let q be 4739/(-180) + (-8)/36. Let i = 119/5 + q. Which is smaller: i or -2?
i
Let a = -9 + 6. Let d = -25 - -22. Let f be (d - (-14)/3)/(-1). Which is smaller: a or f?
a
Let d be 9/(-285)*(-140)/45. Let c = -2/665 + d. Is -1 at most c?
True
Let y be -6*(9/((-54)/(-28)) - 2). Suppose 0 = -j - 4*j - 70. Is y >= j?
False
Let g = -702 + 787. Is g less than 1/5?
False
Suppose -16 = 2*v - 6*v. Let w = v + -7. Let g be (w - 1)/(2/(-8)). Is g greater than 16?
False
Suppose 0 = 5*h + 5, -l - 3*h - 335 + 68 = 0. Let w be ((-7160)/l)/(1/12). Let j = w - 326. Which is smaller: j or 0?
j
Suppose 2*b = -12 - 8. Let q be (-25)/b*2/(-100)*-4. Is q greater than 8?
False
Let i = -1921/6966 + 10/43. Which is smaller: i or -1?
-1
Let x be ((-15)/210)/(3/(-42)). Is 3/826 >= x?
False
Let s(c) = -3*c**2 + 459*c - 1824. Let m be s(4). Let h be -38 - (0 + (-2 - -1)). Is h bigger than m?
False
Let r = -80 - -83. Suppose 2*y + 47 = -l + 5*y, l + 17 = -r*y. Is -32 at most l?
True
Let q = 27 + -30. Let j be q/21 - (-29)/7. Let c be ((-10)/j)/((-3)/6). Is 4 smaller than c?
True
Let m be 7*(84/6)/2. Is 49 smaller than m?
False
Suppose 2*p = -3*k + 2, 0*p - 5*k = 5*p + 5. Let j(h) = -h**3 + 4*h - 1. Let a be j(p). Let c be (-2304)/a + (-4)/(-26). Is c at least as big as -22?
True
Let v = 43 - 43.7. Let h = v + 1.7. Does 13 = h?
False
Let m be (10 - 5 - 3)/(-2). Let t be (-1)/1 - (16 + -2)*m. Which is greater: t or 12?
t
Suppose -5404*h + 5406*h = 0. Is h < 129?
True
Let u = 47 - 44. Suppose -2*z - 3 = 5, 4*c = u*z + 16. Which is smaller: c or 1/99?
1/99
Let u(d) = -6*d - 10*d**2 + 4*d + 9*d**3 + 12 - 3*d - 8*d**3. Let z be u(8). Let f be (-8)/(-2) - (-720)/z. Which is greater: -1 or f?
f
Let i be (-1)/(5/(-2) - -2). Let o be (-2)/3 + (-1)/i. Suppose s + 3*n - 7 = 0, -2*n + 7 = -5*s - 3*n. Is o <= s?
False
Let p = 48 + -44. Which is bigger: -4.3 or p?
p
Suppose -2*y - 70 = 3*y. Let q be ((-16)/168)/(3/y). Which is greater: q or 0.2?
q
Let d = 153 + -152. Is d greater than -2/95?
True
Let u = -31 + 40. Let z = u + -8.8. Is -8 smaller than z?
True
Let x = 642/7 - 7132/77. Is x >= -1/4?
False
Suppose 4*w - 16 = -0*w. Let i(h) = h**2 - 10*h + 12. Let d be i(9). Suppose 0 = -w*o + o + d. Is 3 smaller than o?
False
Let z = -308 - -190. Let u = z + 115. Let a = 146/3 - 51. Are u and a equal?
False
Suppose 2*s - 14 + 42 = 0. Let z(y) = y**3 - 13*y**2 - 14*y - 15. Let i be z(14). Let q = -28 - i. Which is smaller: q or s?
s
Let b = -41 - -77. Let f = b - 30. Is f at least 9?
False
Let j be 12/21*(19 - 5). Which is smaller: -0.13 or j?
-0.13
Let i = 69 - 347/5. Let c = 0 - 0. Which is greater: i or c?
c
Let w be (93/(-30) - -4)*(-4)/3. Let u = -1 - -9. Suppose 4*h = 5*g - u, 8*g = 5*g + 3*h + 6. Is w smaller than g?
True
Suppose 4*h + h = -g, 26 = -h + 5*g. Let v be h/(-4) - (-10)/(-120). Is 0 equal to v?
False
Suppose 5*l - 4*m = -1, -4*l + 8*m - 8 = 3*m. Suppose -l*f + 5*r + 17 = -17, 2*f - 28 = 2*r. Is f at most as big as 19?
True
Suppose -5*m + l = -31 + 140, -2*l = m + 24. Let j = m - -32. Suppose 2*o + j - 4 = 0. Which is greater: o or -5?
o
Let k be 3/(-7) - (-2706)/924. Let a(q) = 3*q**2 - q. Let s be a(-1). Which is smaller: s or k?
k
Let f = 103 - 103.98. Let a = 144 + -144.02. Let h = a + f. Is -1/11 at most h?
False
Let a be 22/(-77) - (7656/182)/3. Which is smaller: -15 or a?
-15
Let c(b) = b**3 - b**2 - b + 14. Let q(w) = w + 4. Let u be q(-4). Let s be c(u). Let r = s + -13. Is -1/3 > r?
False
Let h = 103 + -72. Let j = 51 + h. Which is smaller: j or 83?
j
Let k = 0.04 - 0.08. Let n = k + -8.96. Let t = -8.8 - n. Does t = 2/9?
False
Let y be (-24629)/99 + 10 + 4/(-18). Which is bigger: -238 or y?
-238
Suppose 0 = 14*r - 5 + 33. Which is smaller: r or -8?
-8
Let s = -1/4698 + 112787/164430. Which is bigger: s or 0?
s
Let u = -648 - -648. Is u equal to 1/89?
False
Let j be -1*(-9)/(-18) - (-87)/(-2). Is j <= -43?
True
Let p(i) = -37*i - 5. Let a be p(-6). Let s be (7/a)/((-4)/3 - -1). Which is greater: s or 1?
1
Let x = 11058 - 187979/17. Let o(q) = q**2 + 4*q + 2. Let y be o(-3). Which is greater: x or y?
x
Let g(z) = -z**3 + 7*z**2 - 6*z - 3. Let t be g(6). Let u be 0/((t - 0) + 2). Suppose 9*w - 4*w + 15 = u. Which is greater: w or 3/4?
3/4
Suppose r = v - 9, -3*v - 17 = -2*r + 3*r. Which is smaller: -9 or r?
r
Suppose -88*n + 81*n = -70. Which is greater: 7 or n?
n
Let k = -51526/57 - -904. Suppose -2*h = -3*h. Suppose 0*c - 5*c = h. Is c < k?
True
Suppose -13 = 7*y + 99. Let v be (y/(-4))/((-3)/(-54)). Is 72 smaller than v?
False
Suppose q = 3*q - 10. Let t(z) be the first derivative of z**2 - 7*z + 11. Let g be t(q). Is -2 less than or equal to g?
True
Let d be (-1)/(2/(-4*3)). Let t be (30/(-24))/(d/8). Let v = 44 - 45. Is v greater than t?
True
Let g be (-2)/2 + 1 + -2. Let s be (-44)/112 + g/(-14). Which is greater: -24 or s?
s
Let g = 0.098 + -4.198. Let m = 6.1 + g. Is -8 at least as big as m?
False
Let z be 3 - (3 - 14/(-6)). Let u(k) = k**2 - 6*k + 7. Let d = -8 - -12. Let y be u(d). Which is smaller: z or y?
z
Suppose 8*d = -6*d - 2086. Is -148 >= d?
True
Let z = -133/3 - -45. Let d = -0.36 + 0.73. Let l = 14.37 - d. Which is smaller: l or z?
z
Let n = -88 + 87. Which is bigger: -3.1 or n?
n
Let x = 1714 + -1714. Let r be (-61)/40 - (-2)/5. Is x > r?
True
Let o = 1286 + -1280. Let k(c) = 5*c**2 + c + 3. Let s be k(-3). Let p be ((-105)/s)/(4/o). Which is smaller: -5 or p?
-5
Let l = 57 - 99. Let f = -38 - l. Let b = 3.9 - f. Is 0.01 at most b?
False
Let g(t) = t**3 + 8*t**2 - 46*t - 9. Let k be g(4). Let v = 7207/9 - 803. Is k not equal to v?
True
Suppose 0*n = -4*n - 20. Suppose -6 - 4 = -2*j. Suppose -14 = j*b + 6. Which is smaller: n or b?
n
Let v = 2188 + -2158. Is 13 less than v?
True
Let t be ((-1)/(-3))/(14/3402). Suppose -t = r - 4*r. Which is smaller: 28 or r?
r
Let g be (-116)/(-16) + (0 - (1 + 1)). Which is smaller: 0.03 or g?
0.03
Let g(o) = o**3 - 2*o**2 - 61*o - 19. Let f be g(9). Is -1/220 less than f?
False
Let w be 1/(-2*(-2)/8). Let m be ((-9)/w)/(9/(-18)). Suppose 3*d - 12 = -m. Is -8 at least as big a