 - 3*c, 3*g - 5*c = -0 + 15. Let k be ((-12)/(-18))/(4/246). Suppose 36*a = k*a. Is g equal to a?
True
Let n = -76 + 79. Suppose n*p - 2 = -5*c - 55, 40 = -4*p + c. Are -11 and p non-equal?
False
Suppose 4*w = 5*w - 10. Let v(n) = 10*n + 11. Let g(x) = x + 1. Let z(j) = -22*g(j) + 2*v(j). Let i be z(-5). Are i and w equal?
True
Let t(k) = 24*k + 239. Let z be t(-10). Which is bigger: -30/41 or z?
-30/41
Let c(o) = o**3 - 13*o**2 + 8*o. Let x be c(11). Let g = x + 153. Which is smaller: g or 2/53?
g
Suppose 3*n + 2*j + 1288 = 0, n + 4*j + 0*j + 416 = 0. Are -429 and n nonequal?
True
Let z = -77 - -77. Let w = 4/9 - 10/9. Which is smaller: z or w?
w
Let r = -1763 - -1771.7. Which is bigger: 2/13 or r?
r
Suppose 4*j + 12 = j. Let v(c) = -4*c - c**2 + 3*c - 43 + 39 + c**3. Let h be v(0). Are h and j non-equal?
False
Let y be 72/30 - -2*1. Which is smaller: 3/2 or y?
3/2
Let r = -14 - -15. Suppose 0 = g + r. Which is greater: g or 3/10?
3/10
Let v = 183/1630 - 2/163. Let k be 88/15 - 28/(-210). Suppose k*j = -6*j - 0*j. Is v <= j?
False
Suppose 0 = 5*c - 35*m + 33*m + 112, 3*m - 60 = 3*c. Which is bigger: c or -39?
c
Let b be ((288/145)/8)/(2/(-5)). Is -2 greater than or equal to b?
False
Let b = 8 - 11. Let h = 31 + -33.8. Let p = h - b. Is p equal to -3?
False
Suppose -4*n + 2*v = -26, -3*n + 30 = 3*v - 12. Suppose 5*t + 20 = -4*s, -t + 15 = 6*s - n*s. Is s not equal to -2?
True
Let k(n) = -n**3 - 19*n**2 + 2*n + 35. Let o be k(-19). Let c be o*17/(-6)*4. Is c <= 33?
False
Let l be (-18 + (-406)/(-21))/(2/(-12)). Let z = -3 - -2. Let o(h) = 10*h**3 - 2*h - 1. Let a be o(z). Which is smaller: a or l?
a
Suppose 4*s - 5 - 14 = -5*h, -3*h = -4*s - 5. Let y be h*-3*(-5)/(-45). Let i be 6/(-8)*8/7. Is y greater than or equal to i?
False
Let x be (-1006)/(-8) + (-9)/(-36). Do 126 and x have the same value?
True
Let q = -85 + 89. Suppose -2*d - d = -4*l - 7, -q*l - 5 = -d. Which is smaller: 22/13 or d?
d
Suppose -44*d + 202 = -42*d. Is 101 smaller than d?
False
Suppose -14*j + 13 = -1. Is j < -2/25?
False
Let f = 0.26 - 50.26. Let m = 53 + f. Which is smaller: 2/37 or m?
2/37
Let z(u) = 13 + u**3 - 9*u**2 + 13*u - 5*u - 8. Let c be z(8). Suppose -2*s = -5*q - 18, -3 = -4*q - c*s + 9. Are q and -1/2 unequal?
True
Let k be 64/20 - (0 - -2). Let i = k - 8/15. Which is greater: 0 or i?
i
Suppose -26*c = -30*c + 20. Let j be (97 - -3)/c - 6. Let s be ((-2)/2)/((-1)/15). Which is smaller: j or s?
j
Let l = 136/1715715 + 6920434/18872865. Let s = l + -2/639. Which is greater: s or -1?
s
Let t be -1 - -2 - (15 + -15). Suppose -t - 1 = -l. Is -3 greater than or equal to l?
False
Let o be (-1)/4 - 1/4. Suppose r - 4 + 1 = 0. Suppose r*s - 7*s + 12 = -4*f, -2*f + s = 5. Is f greater than o?
False
Let r(p) = 2 + p**2 + 10 - 3 + 1 + 8*p. Let y = -1 + -4. Let j be r(y). Is -7 less than or equal to j?
True
Let m = -3121 - -28117/9. Is 4 at least as big as m?
True
Let p = 6.4 - 6.2. Let z = 0.48 + -22.48. Is z greater than or equal to p?
False
Let k(i) = i + 5. Let z be k(-5). Let c = -32 - -79. Let h be 4/14 + c/(-91). Which is bigger: h or z?
z
Suppose -3*z - 3 = 4*o, o - 3 = -0*z + 3*z. Let h = 30 + -55. Let d be 6/(-10) + 20/h. Is z less than or equal to d?
False
Let k(r) = -r**2 - 5*r - 7. Let a be k(-4). Let v(t) = -t**3 - 2*t**2 + 3*t. Let o be v(a). Suppose 0 = 5*y - o + 35. Which is smaller: y or -8?
-8
Let b be (91/(-4))/7 - 2/(-8). Let v be 18/(-4)*b/(-9)*-2. Suppose -2*k + 8 = 2*z - 8, 0 = 2*k - 10. Is z smaller than v?
False
Let g = -5645/12 + 470. Which is smaller: g or 0?
g
Suppose -1291*z + 1296*z = -405. Is z != -412/5?
True
Let n be (0 - 13)*(-8 + 7). Suppose -3 = 4*i + n. Let o be ((-104)/(-39))/(i/6). Is 1 <= o?
False
Let d be (-1 - 1)*(-16)/(-2). Let x(w) = 15*w**3 - 1. Let q be x(-1). Are q and d unequal?
False
Let y be 133/57 - (-2)/3. Suppose -y*n + 16 = 5*h, -h + 2*h = -3*n + 8. Do h and 3 have the same value?
False
Let q(x) = x. Let v be q(1). Let w be 4/(-10) - (-18)/45. Suppose -4*j - 28 = 5*i, 3*j - i = -w - 2. Does v = j?
False
Let h = -42 + 47. Suppose -h*m = -3*i + 8*i, 2*i = 4*m - 6. Which is smaller: i or 7?
i
Let t be (-2)/((-217)/21 - 2). Suppose 3 = 5*v - 2*v. Is v at least t?
True
Let s be (-1 - 6/(-4)) + 19/190. Do 0.08 and s have different values?
True
Let y(g) = g**2 + 47*g + 321. Let d be y(-12). Does d = -104?
False
Let g = 1573/5 + -312. Let i = -9 + 13. Do i and g have different values?
True
Suppose -56 + 58 = 2*k. Which is bigger: 300 or k?
300
Let r(v) = v**3 + 8*v**2 + v + 6. Suppose -7*u + 4 = 60. Let l be r(u). Let x = -2 - -1. Which is bigger: l or x?
x
Let b(r) = 3*r - 24. Let c be b(-11). Let j = c - -93. Let h = -44 + j. Is -3 <= h?
False
Let o = 2/3 + 7/12. Suppose 2*a = -0*a + d + 7, 3*d + 11 = -4*a. Is a bigger than o?
False
Suppose -4*s = -5*u + 190, 8*u - 217 = 5*s + 12*u. Is s > 0.03?
False
Let q be (-21 - 120)*(-1 + 0). Let u = q + -343. Let j = 1027/5 + u. Which is greater: 2 or j?
j
Let l be 9/((-315)/10) + (-37)/(-7). Let i = 18.37 - 19.3. Let c = 0.07 - i. Is l >= c?
True
Suppose -162*i + 3264 = -146*i. Which is greater: 203 or i?
i
Let y be (-730)/520 + 2/13. Let d be 16/(-6) + (-32)/(-48). Which is smaller: d or y?
d
Let l(i) = i. Let t(z) = 4*z + 7. Let f(p) = l(p) - t(p). Let r be f(-4). Suppose 0*m = 2*m. Does r = m?
False
Let b(c) = 48*c + 130. Let t be b(8). Which is smaller: t or 515?
t
Suppose -9*j - 184 = 14*j. Let q be j/(-2) - (3 + (-114)/(-108)). Suppose 4 = 4*y, -3*y = -2*u + 1 - 2. Which is bigger: q or u?
u
Suppose 0 = 4*x - 47*x - 258. Let n(l) = -23*l - 1. Let y be n(-3). Let t be (y/12)/((-1)/1). Which is bigger: t or x?
t
Suppose 13*b - 11*b + 29 = 3*a, 5*a + 35 = -5*b. Suppose -5*p + 2*g = 64, 0*p + g = -p - 10. Which is smaller: p or b?
p
Suppose -22*v + 1638 = -4*c - 20*v, 4*v + 423 = -c. Are -411 and c equal?
True
Let a = -4.6 - -4.591. Let m = 3.009 + a. Which is smaller: m or -1?
-1
Let f = 59/245 + -2/49. Let a = -96 - -96. Which is smaller: a or f?
a
Suppose -46*k = -41*k + 4845. Let i be ((-2)/3)/((-34)/k). Is -81/4 equal to i?
False
Suppose -3*s = -8*s + 15. Suppose -149 = s*t + 4*i, 4*t - 3*i + 147 = 2*i. Is t != -44?
True
Suppose 0 = 3*f - 6. Suppose f*m = -m - 15. Let v = m - -14. Is 9 greater than v?
False
Let i = 24.129 + -24. Let c = 0.159 - i. Which is smaller: -2 or c?
-2
Suppose 7*m = 3*m + 80. Let r be (-27)/36*(-912)/36. Which is greater: r or m?
m
Let w(u) = -3*u**3 + 13*u**2 + 10*u. Let z(b) = -4*b**3 + 13*b**2 + 10*b + 1. Let g(j) = -3*w(j) + 2*z(j). Let k be g(14). Is -2/5 less than k?
True
Suppose -5*t - 18 + 3 = 0, -3*b - 2*t = -2589. Let r = 4311/5 - b. Do r and -0.1 have the same value?
False
Let r = 1422 - 1390. Which is bigger: -9 or r?
r
Let j = -8 - 37. Does j = -0.8?
False
Suppose 4*h = 8*h + 12. Let x(m) = -m**2 - 3*m - 3. Let t be x(h). Is t greater than 2?
False
Let u = -579 + 578.9. Is 62 at least u?
True
Let f = -2 + -15. Let u = -27 + -13. Let b = u - f. Which is smaller: -22 or b?
b
Let a be ((-84)/30)/((-2)/5). Suppose -54 = -2*b - a*b. Is 6 greater than b?
False
Let g = -8333 + 8367.13. Let l = g + -34. Let c = 2.13 - l. Is c smaller than -0.3?
False
Suppose 0 = 62*y - 71*y + 9. Which is bigger: y or 360?
360
Let a be (0 - 1) + 18/2. Let o be (-3 - (-126)/7)*2/(-2). Let m be (8/(-20))/(a/o). Is 1 at least m?
True
Suppose 0 = -5*i + 7*i - 110. Suppose 5*y + 5*l + 100 = 0, -3*y - l - i = l. Which is smaller: -14 or y?
y
Let j = 65 + -64.38. Let u = 4.62 - j. Which is smaller: 0.1 or u?
0.1
Let t = 289 + -288. Let p = -16/1253 - -10579/141589. Let k = p - -206/2147. Is t at least k?
True
Suppose 5*h + 76 = -3*a, -h - 5*a = -0*h + 24. Let n = 14 + h. Let c = -3 - n. Which is greater: 0 or c?
0
Let x(a) = -a**3 - 6*a**2 - 16*a - 51. Let o be x(-6). Which is greater: 0.3 or o?
o
Suppose -d = 10*d - 77. Let p be (-344)/d + 2/14. Is p >= -48?
False
Suppose -5*z + 273 = 4*o - 329, -5*o + 3*z + 771 = 0. Which is smaller: o or 151?
151
Let g(s) = -s**3 + 6*s**2 - 2*s + 9. Let z be g(6). Let c = 12 - 8. Let l = -1 - c. Which is bigger: z or l?
z
Let t = -1932 + 3855/2. Is t >= -5?
True
Let f = 22 - 18. Let r be -2 - ((f - 4) + 3). Is r greater than -6?
True
Let k = 0.493 + 17.517. Let i = k + -18. Let u = i + -0.11. Which is bigger: u or -1?
u
Let g(o