Suppose -16*q = -20*q + 280. Suppose 12*x - q = 19*x. Let s be (2/2)/(6/(-60)). Are x and s nonequal?
False
Let z(y) = 17*y**2 + 10*y + 23. Let h be z(-8). Let d be 72/432 - h/(-6). Is d at least 172?
True
Let p = 5322.7 + -5066. Let m = p + -257. Is -2/31 less than m?
False
Suppose -b + 5*q + 136 = 0, -4*q = -0*b - 2*b + 254. Which is bigger: b or 111?
b
Let m be 2/56*(-186)/(-12). Let a = m + -755/1288. Which is smaller: 1 or a?
a
Let b = -159769/84 + 1902. Let y(a) be the first derivative of -a**2/2 + 3*a - 1. Let i be y(3). Which is greater: b or i?
i
Suppose -8*o - 16 = 32. Let f(s) = -s**2 - 6*s + 11. Let u be f(o). Let g = -112 - -123. Is g at most u?
True
Suppose -2520 = 5*h - 0*u - 3*u, -5*u - 2520 = 5*h. Let v be h/26*((-48)/(-4))/3. Let t = -500950/6461 - v. Which is smaller: t or 0?
0
Let g be 5/(306240/9)*(-16)/56*-7. Which is greater: 1 or g?
1
Let m be 21/((-168)/(-64)) - 12. Let h(l) = -4*l**3 - l - 1. Let y be h(-1). Suppose -3*j = 0, 2*j + y = -4*p - j. Is m >= p?
False
Let b be (-66)/18 + 4 + (-212)/6. Let j be (-3)/(-1) - (b/(-15))/1. Which is bigger: 10 or j?
10
Suppose -3*z = 59*i - 62*i + 12, -5*i = -10. Is -218 at least as big as z?
False
Let q(v) = -v - 7. Let z be q(-16). Suppose 8 = z*y - 7*y. Is 0.04 equal to y?
False
Suppose -17*x + 12*x = -2160. Let w = x + -619. Let g be (-2)/(-11) + w/363. Which is bigger: g or -9?
g
Let s be (35/14)/(5/4). Suppose 2*i = t + 1, -6*t + s = -2*i - 2*t. Do i and -2/289 have the same value?
False
Let j = -820.81 - -825. Let o = j - -43.81. Are o and 1.1 nonequal?
True
Let j = -48311/7 + 6722. Which is bigger: -179 or j?
-179
Let v be 4*(-3 + 87/12). Suppose -u - 23 = -q - 8, 0 = 5*u - 4*q + 72. Let d be (-90)/u*(32/6)/2. Which is smaller: d or v?
v
Let q(f) = 2*f**3 - 15*f**2 + 8*f - 2. Let n be q(7). Suppose k + n*m + 20 = 81, -316 = -4*k - 2*m. Suppose 14*l - k = 717. Is 57 at least l?
True
Let x be 0 - (3 - (-1 + -5205936)). Let s = -2150028662/413 - x. Let n = s + -416/7. Which is greater: -1 or n?
n
Suppose -3*i = -3*r + 51, 266*r + 67 = -4*i + 271*r. Which is smaller: 1/6 or i?
i
Suppose 24*b + 48612 = -27*b + 57*b. Which is bigger: 8101 or b?
b
Let w be (-1)/7 - (-2)/(-7)*-88. Let m = -72 - w. Which is smaller: m or -96?
m
Let p be 25/670*(-4)/15. Let h(o) = o**3 - 3*o**2 - 4*o - 1. Suppose 9*d - 24 = 3*d. Let b be h(d). Is p >= b?
True
Let i be 6/(-2) - (-8)/4. Let p = -572241815552/303 - -1888584495. Let b = 2355 + p. Is i not equal to b?
True
Let u = -1753 - -1782. Is u greater than or equal to -7/2?
True
Let t = 4/21 - 1/7. Let b = 15 + -13. Let o be 3/(-3)*2/b. Is t bigger than o?
True
Let h be 18 + (-21768)/2520 + (3 - (-132)/(-45)). Suppose -8 = 4*p + 2*m - 0, 0 = -3*p + 4*m - 28. Let k = 12 + p. Which is bigger: h or k?
h
Suppose 0 = -3*m + 41204 - 40913. Let o be ((-2)/3)/(2/(-288)). Is m equal to o?
False
Let c(w) = w + 1. Let k be c(-1). Let s = k - -3. Let d = 526 + -523. Is d less than or equal to s?
True
Suppose -3*u = -2*u + 1. Let n = -6/5341 - 12209460/58751. Let x = n + 208. Is u smaller than x?
True
Suppose -2*a = a + 9. Let l = a - -4. Let c be (-2 + 5)*2 + -61 - -16. Which is bigger: c or l?
l
Let c be 11572/1652 - (-7 - (-36)/6)*-7. Which is smaller: 0 or c?
0
Let c = 118.1 - 116. Let v = c + -2.1. Is 0.2 not equal to v?
True
Let h be 0 - (30/57 - 1). Let t be 0 + -4*((-8)/32)/1. Which is bigger: t or h?
t
Let f = -63 + 62. Let k be ((-8)/f)/((-8)/6 - -2). Let g = -164 + 177. Is g bigger than k?
True
Let r = -762 - -168. Let k = 523 + r. Is -72 > k?
False
Let z = 15753 + -1149967/73. Let x be (-2 - (-4 + 1)) + -1. Is x less than or equal to z?
True
Let y be (-2)/(-5) - 74/10. Let j(d) = 14*d + 43. Let v be j(8). Suppose v*n - 156*n = 10. Is n greater than y?
False
Suppose 0 = -2*r + 3*l - 4, 2*r - 16 = -r - l. Suppose 4*i - 54 = -4*h + 170, 164 = 3*h + r*i. Which is smaller: 61 or h?
h
Suppose 3*t + 2*u + 188 = 8*t, -155 = -4*t - 3*u. Suppose t*r = 39*r + 7. Which is bigger: -8 or r?
r
Let u = -1 + 0. Let o = -2520/19 + 42669/323. Is o smaller than u?
False
Let o = 51.84 + -53. Let u = o - -1.26. Is u <= -2/3?
False
Let s = -8421 + 8427. Suppose 2*m = 7*m - g + 1098, -2*m + 2*g = 436. Let d be m/(-35) + (-4)/14. Is s at most as big as d?
True
Let u be (-1)/(-10)*(-139 + 133). Does u = 73/4?
False
Let g = 36.19 - 35.69. Which is bigger: -2/23 or g?
g
Let v be -3 + (-13*36/(-546))/((-4)/(-21)). Is -1407 <= v?
True
Let g = -592 + 500. Suppose 6 = -v + 3*r - 5, -5*v + r + 1 = 0. Which is smaller: g or v?
g
Let n = -714 - -714.8. Which is greater: n or 22?
22
Let z = 25.991 + -0.091. Let n = z - 25.81. Which is bigger: -2 or n?
n
Let s = -551/105 - 1/420. Suppose -35*l + 21*l = -2114. Let r = -155 + l. Which is greater: s or r?
r
Let u(r) = -r**2 - 9. Let h be u(-5). Let x = h - -32. Are x and 2 unequal?
True
Let l = 55 + -53. Suppose 5*s - 70 = -0*v + 5*v, -l*s + 10 = 0. Let k = v - -17/2. Is k less than or equal to 0?
True
Let g be ((-8)/24)/(1/1941). Let i be g/(-129) + 310/(-62). Let z = -2/69 + -128/345. Which is smaller: z or i?
z
Suppose -z = 2, 0*z - 5 = f + 5*z. Suppose 100 = -f*g + 90. Let n = -4451/6 + 739. Is n != g?
True
Suppose -223*k + 296 = 36*k + 37. Which is greater: -2/17239 or k?
k
Let r = -151/13 - -43807/3861. Let m = 22/27 + r. Let a = m - 1/22. Does 1 = a?
False
Suppose -56 = 3*b + 19. Let k be 378/(-40)*-2 - (-10)/b. Which is greater: k or 20?
20
Let n be 12 - 7 - 3 - ((-284)/(-53) + -2). Which is greater: 0 or n?
0
Suppose -z = -2*l + 119, -6*l + 10*l = -3*z + 253. Let o = 206 - 145. Is l less than o?
False
Let d(y) = y**2 - 24*y + 66. Let w be d(21). Let g(v) = -2*v**2 + 10*v - 23. Let h be g(w). Which is smaller: -9 or h?
h
Let j(r) = 27*r + 109. Let m be j(-9). Let i(q) = q**3 + 11*q**2 - q - 1. Let d be i(-12). Is m bigger than d?
False
Suppose 0*r = 23*r - 345. Let y be r/18*20/25. Which is greater: -2 or y?
y
Let n = -45.8 - -3.8. Suppose -55*o + 53*o + 60 = 0. Let p be ((-122)/o - -4) + 2/(-6). Is p bigger than n?
True
Let y(n) = n**3 - 26*n**2 + n + 38. Let g be y(27). Let h = 780 - g. Do h and -11 have different values?
True
Suppose -8*w + 36 = -716. Suppose -w = 14*m + 4. Which is bigger: m or 11?
11
Suppose -4*v + 4*a = -264, v + 5*a + 269 = 5*v. Let z = -46 + v. Which is bigger: 14 or z?
z
Let b be (-6)/(-14) + (-240)/21. Let h(n) = -1 - 2*n + 35*n + 9 - 13*n. Let c be h(-1). Which is greater: c or b?
b
Let j be ((-4)/9162)/((-14)/2310*-11). Which is smaller: 0 or j?
j
Let l be (152/80 - 3)*(-5)/(-4). Let f = -11/23 + 101/115. Is l less than f?
True
Let u = 20/53 + 46/159. Let n = -0.48 + -0.01. Is n at least u?
False
Let l = 0.2 - 0. Let o = 0.23 - l. Let h be 136/96 - (-100)/(-60). Does h = o?
False
Let f(j) = -18*j + 8. Let r be f(0). Let m be (-1 + 2/r)/(336/128). Let k = -2 + 1.8. Which is smaller: k or m?
m
Let m = 271.8 + 59.2. Let g = -343.4 + m. Which is bigger: g or -1/3?
-1/3
Suppose -3*f + 4*d = -d - 4, 0 = -f + 3*d. Let y be ((-126)/(-390))/((-3)/(-270)*f). Which is bigger: 11 or y?
11
Suppose -135 = -5*c - 165. Let o be (141/18)/(8/c)*-20. Let q = 117 - o. Is q at most -0.2?
True
Let d = 15.8 + -16. Suppose -3*j + 3*v = 6, 4*v - 30 = -4*j - 6. Let g be (-20)/(-19) - (j + 3 + -4). Is g bigger than d?
True
Let w(n) = -3*n + 48. Let y be w(16). Suppose -4*s + 0 = -2*g + 26, 3*s + 5*g = y. Let k be ((-72)/(-16))/(2/(-4)). Which is smaller: s or k?
k
Let r = -0.98487 + -0.01513. Is 17/94 at least r?
True
Let k(p) = 2*p**3 - 11*p**2 - 5*p - 6. Let l be k(6). Let f be -5 + 2 + 3 + -9. Let r be (-185)/210 - 6/f. Is r <= l?
True
Let s be 234/30 + (-2)/(-10). Let h be (-2)/s - 84/(-144). Let k be 9/(-12) + 9/12. Which is greater: h or k?
h
Let k = 51535 - 51830.67. Let j = 296 + k. Is -1 at least j?
False
Let m be (48/324)/(2/(-1191)). Which is smaller: -89 or m?
-89
Suppose -432 = -994*x + 992*x + 4*t, 648 = 3*x - 2*t. Is x at most as big as 222?
True
Let z = -1192 - -1065. Which is bigger: z or -129?
z
Suppose 0 = -15*q + 16*q. Let m be 20/110*14/(-4). Which is greater: m or q?
q
Let y(v) = 7*v**2 + 5*v + 8. Let w be y(-3). Let m be -1*(-4 + w/8). Which is smaller: m or -40/13?
-40/13
Let r(j) = -j + 19. Let g be r(16). Suppose 0 = 4*t + z + 3 - 6, -z + 2 = g*t. Which is greater: t or -4/37?
t
Let o = -162 + 35