 + 27*g + 41. Let s be k(12). Suppose 4*n - 280 = 4*p, -n - 4*p + s = -13. Is n > 75?
False
Suppose -7 = n - 3*j - 8, 2*n + j - 58 = 0. Do -54 and n have the same value?
False
Let d = -2.6916 + 2.7916. Let z = 213 - 168.8. Let f = z - 48. Is f at most d?
True
Suppose -4039 = -10*c + 3371. Are c and 2 non-equal?
True
Let n be 13 - (-302042)/150982 - 15. Are 0 and n non-equal?
True
Let x = 177.585 - -0.415. Let m = x + -255. Which is bigger: -0.2 or m?
-0.2
Suppose 0 = v + v + 42. Suppose -8*j = 11*j - 114. Suppose 2*h = 4*y + 82, 5*y - h + 110 = -j*h. Is v at least as big as y?
True
Suppose 0 = 2*t - 97 + 629. Let g be 3/((-30)/t) - (-156)/(-260). Suppose u - 4*p = -0*p + 26, 0 = -u + 3*p + 26. Are g and u unequal?
False
Let x(c) = 2*c - 12. Let w be x(36). Suppose 3*l = t - w - 33, 124 = -4*l - 2*t. Which is bigger: l or -30?
-30
Let y be -3 - (-1 + -2 + 1). Let v(d) = 10*d**3 + d**2 - 1. Let r be v(y). Suppose -5*m + 2 = 7. Is r < m?
True
Suppose -3*o - 1008 = -981. Let g be (1547/117)/17 - 2/o. Is g less than or equal to 200?
True
Let i(c) = c + 2. Let h be i(-13). Suppose 3*m + 12 = -138. Let d be ((-34)/85)/((-2)/m). Which is bigger: h or d?
d
Suppose -13*i = 7*i + 640. Let o be ((-12)/(-36))/((-1)/(-12)). Suppose -170 = h + o*h. Which is smaller: i or h?
h
Let a = -101 + 1817/18. Let c be (14/(84/(-18)))/(-3). Let d be c + (0/7)/(-6). Is a less than or equal to d?
True
Let l be 8/140*-17 + (-268)/(-469). Is 4/7 greater than l?
True
Let t = -1 + 0.9. Let i = -492.77 + 7.77. Let j = 479 + i. Which is greater: j or t?
t
Let b be 1134*(5 - 2) + 2. Let a = 4301199/5 + -856821. Let x = a - b. Is x at least 16?
False
Let h = -16197 - -16194. Which is smaller: -244/115 or h?
h
Let m be (18/(-19752))/(45/120). Which is bigger: 1 or m?
1
Let x = -0.48 + -67.52. Let i = 1150.1 + -1082. Let l = x + i. Is -8 <= l?
True
Let m be (-2003)/(-5) - (-6)/15. Let c be (-15052)/(-38) - 4*40/(-32). Let g = c - m. Are 1 and g unequal?
True
Let q = 221.5976 - 221.6. Are 17 and q non-equal?
True
Let s(b) = 2*b**2 + 4*b - 60. Let h be s(-12). Is h greater than or equal to 188?
False
Let y be 3 + 5 + (115 - -1). Suppose -5*c + r = -81 - y, -3*r = 2*c - 65. Which is smaller: 38 or c?
38
Let y be (-6)/(-15) + (-106)/(-110). Suppose 7*z - 164 = -10. Suppose 0 = z*r - 25*r + 3. Which is greater: r or y?
y
Suppose 0 = -16*k + 6752 + 3072. Suppose 0 = -2*v - k + 548. Let r = -73 - -41. Which is bigger: v or r?
r
Let s(h) = -2*h - 1. Let b be s(-4). Suppose 2*j = x + 3, 2*x = b*x - 5. Which is smaller: 14/23 or j?
14/23
Let b = -1/3098 + -94483/18588. Let q = -19/4 - b. Let f = -169/153 - 1/153. Which is bigger: q or f?
q
Let y = -13 + 22. Let m = -0.77 + -11.43. Let f = -12.3 - m. Which is smaller: y or f?
f
Let g = 8422 - 4947. Suppose -20*a + 115 = g. Is -170 less than a?
True
Let x(w) = 2*w**3 + 22*w**2 + w + 8. Let s be x(-11). Let n be -5 + (-13)/s + 0. Suppose 8*h = 4*h + 84. Which is smaller: n or h?
n
Suppose 14*q + 21*q + 233 = -292. Suppose -2*b + 24 = -5*b. Which is smaller: q or b?
q
Let a be (-6)/(-11) + 258007/(-649). Which is bigger: a or -401?
a
Let l = -16389 - -16409. Suppose -2*b = 6*n - n - 43, -n = -2*b + 37. Is l != b?
True
Let t = 3849167/15 - 256435. Let j = 176 - t. Which is smaller: 0.07 or j?
j
Let h(p) = 4*p**2 - 984*p - 6815. Let d be h(-7). Which is smaller: d or 287?
d
Suppose 0 = -2*y - 4*o + 3*o - 14, -2*y + 2*o - 20 = 0. Suppose 2*m + w + 60 = 6*w, -4*w = 5*m + 216. Let t = m - y. Which is smaller: t or -1/4?
t
Suppose -307 = -19*z - 326. Is z less than -25/92?
True
Let f = 24 + -20. Let k be (184/44 - f) + (-157)/924. Let n be -3 + 3 + 0/(-3). Is n <= k?
True
Suppose 0 = -6*c + 3*c + 216. Let i be 24354/451 - 40/(-2). Which is bigger: i or c?
i
Let h = 191 + -239. Which is smaller: 0.4 or h?
h
Let j be (-3 - 0)/(-2*21/364). Let d be (j/(-16))/(9/36)*10. Let f = 67 + d. Which is bigger: 12/7 or f?
f
Let f = -2.3 - -7.8. Let v = 19344 - 56177/3. Let j = v - 619. Which is bigger: f or j?
f
Let f be (33/(-22))/(15/(-2080)). Which is bigger: f or 212?
212
Let h be (-1)/(-935)*695/(-417). Is 0 bigger than h?
True
Let w = 0.62408 - 30.13308. Let r = w + 0.509. Are r and -3/4 equal?
False
Let u be ((-29)/(-29))/(-3 - (-665)/221). Let r = 1499/14 - u. Which is smaller: r or -2?
r
Let l = 25 - 34. Let p = 1364 - 1373. Is l > p?
False
Let t = 469.637 - 469.7. Which is smaller: t or 22?
t
Let i be (-57 - -7)*(3 - 1). Let g = -125 - i. Let b be ((-100)/(-12))/(2/(-6)). Is b >= g?
True
Let v(d) = d**3 + 14*d**2 + 5*d + 30. Let i be v(-13). Let q = -209 + i. Let w be 5/(q/12 - -3). Which is smaller: w or -1?
w
Let t be (-169)/169*(-2)/(-2207). Is 1 <= t?
False
Let u be ((-780)/240)/(1 + 163/(-164)). Let y = u - -494. Which is smaller: y or -37?
y
Let f(h) = -10*h + 6. Let z be f(4). Let d be 1 - ((-6365)/(-171) - (-8)/(-180)*5). Is z != d?
True
Let r(n) = -3*n**2 - 192*n + 1480. Let u be r(8). Which is bigger: u or -1?
-1
Let u be (39/4)/3 + 3/(-12). Suppose u*r - r = 4*r. Let m be (0 + 1)/((-4)/(-52)) - r. Which is greater: m or 16?
16
Suppose 20*n - 16*n + x - 49 = 0, n - 14 = -2*x. Let k be n/(-5)*79/(869/(-30)). Suppose 18 = 4*p - p. Are k and p equal?
False
Let w(k) = -2*k**2 + 26*k + 49. Let p be w(16). Let d be 3 + (7 + -9 + p)*1. Let h(y) = 2*y**3 - y. Let c be h(1). Are d and c nonequal?
True
Let k = 1771 - 12358/7. Let d = k - 787/140. Suppose -2*f - 3*f = 0, 4*f + 5 = -5*a. Which is greater: d or a?
d
Let j be (10/6)/((-453)/(-9)). Let v be (-30 - 244608/(-8154))/(2/5844). Let w = v - j. Are w and -3 nonequal?
True
Suppose -115*v = -128*v - 112437. Which is bigger: -8648 or v?
-8648
Let z = 1080 - 1501. Which is smaller: z or -419?
z
Let j(v) = 7*v**3 + 7*v**2 + 3*v - 7. Let m(w) = -15*w**3 - 12*w**2 - 6*w + 13. Let s(y) = -5*j(y) - 3*m(y). Let i be s(1). Is 10 greater than or equal to i?
True
Let i = -28577 - -28578. Suppose y = f + 1, f + 0*y + y - 1 = 0. Which is smaller: f or i?
f
Let t(s) = -2*s**3 - 30*s**2 + 5*s + 50. Let g be t(-15). Is -10 at least as big as g?
True
Suppose -615*d + 309*d = -312*d - 28920. Which is bigger: d or -4819?
-4819
Suppose -2*z + 165 = -0*l - 5*l, -2*l + 3*z - 77 = 0. Let v = l + 21. Let w(u) = -u**3 - 11*u**2 - 15*u - 9. Let i be w(v). Is 41 less than i?
False
Suppose -447*q = -310*q + 208514. Is q <= -1521?
True
Let q be (-18)/(-27) + 85*(-1)/(-3). Suppose 0 = 7*z + 10 - 10. Let v = 29 + z. Do v and q have the same value?
True
Suppose 2 = f + 1. Let w = 128040 - 19334034/151. Which is smaller: w or f?
w
Let w = 15773 + -15848.828. Let c = w + 0.328. Let l = c - -76. Which is bigger: -2/7 or l?
l
Let n = -0.0687 - -2.0687. Let y = -23 - -10. Let s = y + 35. Which is smaller: s or n?
n
Let n be (0 + 1 - 0)/(-8 + (-22 - -29)). Is 4/4773 greater than or equal to n?
True
Let r = 141.6 - 5.6. Let m = r - 306. Which is smaller: m or 0?
m
Let q = 35.986 + 0.014. Let r = q - 6.1. Let k = r - 30. Which is smaller: 41 or k?
k
Suppose -5*l = -2*x + 66, 4*x - 188 = -8*l + 4*l. Let p = x + -52. Let k(w) = -w**2 - 7*w + 21. Let d be k(p). Is d less than or equal to 2?
False
Suppose -11 = -5*n - 1. Let p be -3 + 44 - n/(1 - 2). Let v be 0 - 4/(-16) - p/28. Which is greater: v or -1?
-1
Let g = 10 - 24. Let l be 1*10/(-15)*18/(-3). Suppose -4*d = -2*h + 62, 0 = 2*d + h + l*h + 1. Which is smaller: d or g?
g
Let l = -91/69 + 8221/897. Let c = -4 - -13. Is l at most as big as c?
True
Suppose 28*s - 27*s - 5*r - 743 = 0, 3*r - 2193 = -3*s. Which is smaller: 730 or s?
730
Let s = 7 + -3. Let x be (4 - 3)/((-436)/(-1530)). Let q = x - 1/109. Are q and s unequal?
True
Suppose 2*m + 25 = 7*m. Let u(a) = -6*a**2 + 15*a - 2. Let d(r) = 5*r**2 - 13*r + 1. Let k(n) = -4*d(n) - 3*u(n). Let t be k(0). Is t smaller than m?
True
Let i = 18 + -15.9. Let y = -2.9 - i. Suppose -2*w + 2*a = 0, -5*w = 3*a - 3 - 13. Is y equal to w?
False
Let u(p) = p**3 + 24*p**2 - 26*p - 4. Let w be u(-25). Suppose -21 = t - 5*z, 5*t + 21 = 25*z - w*z. Which is smaller: t or -1/107?
t
Suppose -4*b - 141 = 59. Let k be (-35 + 2)/(((-105)/10)/7). Suppose 422 = -8*f + k. Is b <= f?
True
Let k be -5*3*((-6)/(-2))/(-9). Let u be 3/k - (-63)/(-105). Which is bigger: u or -5/12?
u
Let s = -35213/196704750 - -1/28250. Which is smaller: s or 1?
s
Let r = -4 + 7