 -41828/4187997. Are 1 and k nonequal?
True
Suppose -2 + 17 = -5*n. Let q = 0.076 + -0.303. Let y = q + 0.127. Which is bigger: n or y?
y
Let h = -74078/81795 + 27124757/27046880. Let z = h - -1/2976. Let b be (4/(-6)*-3)/2. Is z equal to b?
False
Let r be (183/(-45) - -4)/((-19)/312531). Which is smaller: r or 1098?
r
Let r = -13275.7303 - -13275. Is r not equal to 0?
True
Suppose -12*q = -25*q + 78. Suppose -q*p - p = 56. Is p at least as big as -46/7?
False
Suppose -66*u - 3653 + 4501 = -6478. Is 111 >= u?
True
Let a(n) = n**3 + 8*n**2 - 14*n - 29. Let j be a(-9). Let r be ((-258)/15)/(j/(-40)). Which is bigger: r or 3?
r
Let l = 0 - -11. Let i = l - 7. Suppose 3*a = -i*g - 16, 0 = -2*a - 3*g + 2 - 14. Do a and -4/3 have the same value?
False
Let w(o) = o**3 - 15*o**2 - 13*o - 356. Let d be w(17). Let u = -4297/25 - -172. Are d and u unequal?
True
Let a = -31 + 12. Let q(x) = -12*x + 89. Let n = 214 - 205. Let l be q(n). Is l at least as big as a?
True
Let w = 56 + -60. Let t = -195 + 210.6. Let x = 16 - t. Which is greater: x or w?
x
Let n be (((-2)/6)/((-3)/69057))/(-9). Let k = n + 851. Let v = -65/36 - k. Is v at most 1/8?
True
Let o = 5483 + -5482.8. Is o > -0.0886?
True
Let o(m) = m**3 - 11*m**2 + 8*m + 20. Let l be 3 + ((-7)/(-2))/(1/2). Let x be o(l). Suppose 0 = -5*n - 3*w - 120, -2*n - 3*n + w - 100 = x. Is -20 equal to n?
False
Let p = -3 - -17. Let h = 5.7915 + -2.7915. Is h at most as big as p?
True
Let p be (-164)/(-4) - (1 - 0)*-3. Let m be 39/(-27) - p/(-99). Which is greater: m or -8/29?
-8/29
Let d be 6/3844*(4/6 - (-220)/(-33)). Which is greater: -1 or d?
d
Let t = -2796.2 - -2796. Which is smaller: t or 1786?
t
Let o be -1*(840/45 + -8). Are -10 and o unequal?
True
Suppose 3*v = -4*i + 505, 0*i + 511 = 4*i + 5*v. Suppose -i*p = -130*p - 720. Are -121 and p non-equal?
True
Let q = 38 - 37. Let b be q - 46/(-10)*-13. Let d = b + 59. Is -1 at least as big as d?
False
Let r(v) = -2*v**2 - 6*v + 399. Let o be r(27). Which is greater: -1217 or o?
-1217
Let d = 170 + -172. Let g = -47322/41699 - -8/1813. Which is bigger: d or g?
g
Let s be (-552)/(-92) - (-6)/(-1). Suppose -6*y + 2*y + 8 = -4*j, 3*y + 2*j = -19. Do s and y have different values?
True
Let w(x) = 13*x + 113. Let i be w(-4). Let u = i + -113. Does u = -152/3?
False
Suppose 4*x - 1439 = 5*f, 18*f - 3*x = 20*f + 571. Let s = f - -262. Which is greater: s or -0.2?
-0.2
Let f = 1/52868 - 13692865/2802004. Are f and -5 equal?
False
Let c be 573/(-81) + 8 - 348/522. Suppose 7*r + 4 = 3*r. Which is smaller: c or r?
r
Let n be (-36669)/3054 - (-216)/(31 + -13). Is 1 at least as big as n?
True
Suppose -3*k - 2*s = 28, 0 = 2*k + s + 11 + 7. Let v be k/234*(-1 + 4). Let n(g) = 2*g**2 - 363*g + 7824. Let u be n(25). Which is smaller: v or u?
u
Let y = -401 - -401.484. Let q = y + -0.504. Which is smaller: -0.044 or q?
-0.044
Let i be (-1)/(-2)*(3 - 15). Which is smaller: -113/24 or i?
i
Let k = 311 + -388. Is -381/5 greater than k?
True
Let s be -12 - -11 - -4 - 15. Is s at most 68?
True
Suppose 2*s = -2*d - 54, -129 = 5*s - 0*s + 3*d. Let m = -306 - -282. Are s and m equal?
True
Suppose 0 = -19*u - 2553 + 12412 - 103111. Do -4908 and u have different values?
False
Let g(n) = n**2 - 83*n + 739. Let t be g(17). Is -379 greater than t?
True
Let s = 63 - 61. Let h be (-1)/4*(s - 14). Suppose -4*i = r - 5 - 40, -27 = -h*i - 3*r. Is 5 greater than i?
False
Let z = -2948 + 2947.9543. Is z <= -2?
False
Let n(q) = q - 68. Let o be n(32). Let t be (o/(-15))/((-3)/40). Which is smaller: t or -30?
t
Suppose 0 = -19*q - 81*q + 100. Let r = 187 - 76. Let u be 1 - (-1 + 216/r). Which is bigger: q or u?
q
Suppose 22*i - 64287 = -11*i + 42*i. Is -7142 less than i?
False
Let v(d) = d**3 + 33*d**2 - 659*d - 59. Let r be v(-47). Suppose 60 = -4*f - f. Are r and f equal?
True
Suppose 31*k = 27*k + 76. Let v(s) = -2*s**2 + 35*s + 27. Let y be v(k). Let q = 17 - 46. Which is smaller: q or y?
y
Let q be 38 + 4 + (-3 - 6). Let g be (q/(-9))/(3*5/(-90)). Which is greater: -2/7 or g?
g
Suppose -5*x + 29 = 79. Suppose 0 = 4*f - q - q + 16, -4 = f - 3*q. Let d(n) = 6*n + 17. Let z be d(f). Is z not equal to x?
True
Suppose -t + 3*h + 3130 = 0, 5*t + 146*h = 141*h + 15690. Which is smaller: -0.1 or t?
-0.1
Let h = -13.92 + 15.6. Let g = h - 2.08. Which is bigger: -1.7 or g?
g
Let j = 139 - 56. Suppose -199*g = -2001 - 2974. Suppose j = -4*i - g. Is i at least as big as -27?
True
Let m = -4924 + 4949. Is m less than 287/12?
False
Let z(g) = 5*g - 11. Let f be -6 - -7 - (0 - 1). Suppose 0 = 5*a - 2*v - 11, v + 1 = f*a - a. Let r be z(a). Are r and 5 non-equal?
True
Let b be (-10)/7 + 1400/980. Which is smaller: 2/17103 or b?
b
Let j be ((-9)/6)/((-6)/(-16)). Let p be j/10 + (-84)/(-35). Let z be p*(20/8 + (-1 - 1)). Which is bigger: 2/107 or z?
z
Let k = -19836.819 + 19832. Is k less than -1/3?
True
Let o = -15506 + 790813/51. Let q be (-2)/2*4/4. Which is greater: o or q?
o
Let i(m) = m**3 + 32*m**2 + 204*m + 2. Let u be i(-23). Let s(n) = 4*n + 40. Let y be s(7). Are u and y nonequal?
True
Let c = 0.038 - -39.962. Let v = c - 69. Let p = -29.07 - v. Is 5 greater than p?
True
Let h be 9*(0 - (3 - 2)). Let v be (-2)/3 + 318/h. Let p = -256364 + 256328. Is p bigger than v?
False
Suppose n = 5*i + 3, 5*i = -4*n - 215 + 102. Which is bigger: -24 or n?
n
Let j = -4021 - -100538/25. Let b = j + -119/325. Let v be 2*1 + -1 + -1. Are b and v non-equal?
True
Let p = -594 - -593. Let q = -10 - -26. Let f = p + q. Which is smaller: -1 or f?
-1
Suppose 0 = -3*j - 3 - 0. Let w be (-3)/(-6)*(0 - (-40)/(-12)). Do w and j have the same value?
False
Let n(z) = 2*z**3 - 19*z**2 + 26*z + 4. Let o = 685 + -679. Let v be n(o). Is -93 at most v?
True
Suppose 88 = 3*c + c. Let r be (-26)/c*-1 - (-204)/(-1122). Which is bigger: r or -4/23?
r
Let d be -21*6/288 - 2/(-2). Let o(l) = 67*l + 469. Let w be o(-7). Which is greater: d or w?
d
Suppose 0*i + i = 0. Let x = -30 - -40. Let j be ((-6)/x)/(-3)*(-70)/10. Does j = i?
False
Suppose -89*o + 54 + 53 = 18*o. Which is smaller: -2/145 or o?
-2/145
Let u be (52/(-16) + 3)/((-201)/1416). Let j = u + -106267/60300. Is j != -1?
True
Let z(c) = 4*c + 14. Let j be z(-15). Let u = -35 - j. Let h(b) = b**2 - 11*b + 11. Let v be h(u). Are 11 and v unequal?
False
Suppose 48 = 2*t + 2*k - 0*k, 4*k = 16. Suppose t - 68 = -8*a. Let j = -37 - -34. Which is smaller: a or j?
j
Let y = 11871 + -11892. Is -450/23 less than y?
False
Let g = -18.8 - -19.8. Let r = -5406/11 + 492. Which is smaller: r or g?
r
Suppose -3*c - 4*p = -504, 0 = -c + 5*p - 2*p + 155. Which is greater: c or 163?
c
Suppose 0 = -115*r - 202 + 547. Suppose 0 = -c + 5*c. Suppose c = -5*o - r*l + 60, -3*o = l - 20 - 16. Is 12 bigger than o?
False
Suppose -6204 = -20*u - 14195 - 8869. Which is smaller: -841 or u?
u
Let g = -75 + 73.9. Let v = 4 + -4.9. Let d = v - g. Which is bigger: d or 7?
7
Let d = -205 - -288. Let g = d + -413/5. Are g and -0.051 equal?
False
Let d = -43 + 30. Let g(m) = -m**3 - 6*m**2 + m - 8. Let a = 98 + -104. Let x be g(a). Which is bigger: d or x?
d
Let j = -12.2 + 11.758. Let p = -0.442 - j. Which is smaller: 23 or p?
p
Suppose -2*j + 26 = 5*g, 5*g - 2*g - 6 = 0. Suppose u = 5*d - 17, -3*u - j = 2*d - 25. Which is greater: -0.22 or u?
u
Suppose 1458*o - 1536*o + 78 = 0. Is o at least -6190/9?
True
Let n be ((-167)/12*376/564)/((-1)/22). Which is bigger: 205 or n?
205
Suppose -3*u = -4406*o + 4403*o + 54381, 0 = -2*o + 4*u + 36254. Which is smaller: 18126 or o?
18126
Let y be (2/6)/((-7)/21). Let i be (15/(-5) + y)*31. Let j = i - -93. Is j at least 0.2?
False
Let z = 7 - -17. Let g = z - 24. Suppose -r = 2*n + 21 - 1, -3*r - 5*n - 55 = g. Which is greater: r or -5?
-5
Let o(l) = 2*l**3 - 7*l**2 + 2*l. Let q be o(5). Suppose 438*m + 11466 = 16705 + 31991. Is q at most m?
True
Let x be (-2605482)/(-152370) - 17 - (-2 + 42/20). Which is bigger: x or 1?
1
Let c be (5/(40/(-56876)))/(27/54). Is -14220 greater than c?
False
Let z = 3 - 4. Let l be (8 - (-700)/(-90)) + 1156/(-18). Let i be -1 - (1 + l/36). Which is bigger: z or i?
i
Let l = -2266 - -2266. Is -1/10468 greater than l?
False
Let g = 10497/10 - 1050. Is 129 equal to g?
False
Let b be (424/72 - 6)*(-8573 + -4). Is 952 != b?
True
Suppose l - 7 + 26