Are p and r nonequal?
True
Suppose -v = 3*s - 23, -4*v - 2*s + 182 - 110 = 0. Which is greater: 181/11 or v?
v
Let q = 111016/43 + -2582. Let i = -302/559 - q. Suppose 2*y - 2*j = 4*y, 0 = y + 5*j. Which is greater: y or i?
y
Let f = 496.2 - 396.2. Is 5 smaller than f?
True
Let z = -8672 - -8771. Which is smaller: z or 2304/23?
z
Suppose h + 198 = 34*h. Suppose h*i + 0*i - 360 = 0. Is 60 smaller than i?
False
Let z be (2 - 8) + 6/1. Suppose z = -5*a + 5*q + 121 + 154, -216 = -4*a + 5*q. Suppose -w = g - 54, 2*w + 2*g + 246 = 6*w. Is a >= w?
True
Suppose 51*g - 220 - 178 = 469. Let t be 1 + 2/(-20)*-166. Which is greater: t or g?
t
Let z(t) = -2*t**2 - 96*t + 76. Let g be z(-48). Suppose -8 = -g*p + 72*p. Does p = -90?
False
Let t be ((-1)/(-1) - 79) + 2. Suppose 5*r = -20, -2*r = -3*i + 8*i - 467. Let p be t/i*(0 - (-10)/(-28)). Which is smaller: -0.3 or p?
-0.3
Let a = 228 + -221. Suppose -3*g - a*t - 51 = -4*t, -g + 3 = -3*t. Is g less than -11?
True
Suppose 5950 = -14*v - 6832. Which is smaller: -911 or v?
v
Suppose -170*l - 22 = -159*l. Which is smaller: 1819 or l?
l
Suppose 3*u = -3*r - 519, 53*u = 49*u + 3*r - 699. Let c(l) = 4*l**3 + 4*l**2 - 6*l - 7. Let s be c(-4). Is u at most s?
False
Let y = 252.4 + 1.6. Let d = 233 - y. Which is smaller: 3 or d?
d
Let z = 265 - 748. Let j = z + 337. Does -146 = j?
True
Suppose 5*c + 40 = 5*h, 0 = -3*c + 2*c - 1. Let a be 16/(-4)*(-26)/2. Suppose -3*l - a = -h*l. Which is smaller: l or -1?
-1
Let q = 246 + -250.52. Let r = q + 4.62. Is r equal to 9.7?
False
Let o = 183 + -169. Suppose o*f = 13*f - 19. Which is smaller: f or -17?
f
Let w = -284 + 188. Let c be (72/(-672))/(2/w) + -5. Is c less than or equal to 8?
True
Let z = -3.28 - 0.56. Let l = 3.64 + z. Which is bigger: l or 55?
55
Let f = -49 - -47. Let r = -1983 - -2040. Which is smaller: f or r?
f
Let x be (-3 + 22/6)*7/68. Let j = x - -19901/1326. Let y = 8846/585 - j. Which is greater: 0.1 or y?
0.1
Suppose -21 = 3*g, 3*l = -g + 3 - 4. Let d = 10347/8 - 1291. Which is smaller: l or d?
l
Let n be 54/(-675)*(3 + 27/(-8)). Let h be (6/33 + 28/88)*-2. Is n greater than h?
True
Suppose -48*a - 714 = -50*a. Let d(p) = p**2 + 41*p + 764. Let k be d(-24). Does k = a?
False
Suppose -32 = -4*x - 2*m, -8*m + 13*m + 20 = 0. Suppose -x*q + 546 = -24*q. Which is greater: -35 or q?
-35
Let k(i) be the second derivative of i**4/12 + i**3/3 + 15*i**2/2 + 152*i. Let b be k(-5). Is b smaller than 18?
False
Let z(y) = -y**3 + 11*y**2 + 2*y + 8. Let j be z(11). Let w be ((-40)/(-5))/(j/(-9) - -4). Which is greater: w or 10?
w
Let g = 51043/39 + -1309. Let b be 9 + (-28 - (-8 + -10)). Is b less than g?
True
Let n(w) = 63*w + 691. Let z be n(-12). Is -82 at least as big as z?
False
Let b = 419.9155 + 0.0845. Let z = b - 455.9. Let q = -36 - z. Which is smaller: -1/19 or q?
q
Suppose -2*r = -57*r - 13640. Which is smaller: r or -245?
r
Let y = 28388 + -20377. Is 8011 bigger than y?
False
Suppose -2*g + 2*q + 196 = 0, 4*g + 5*q - 434 + 87 = 0. Suppose i = 5, 2*x - i + 2*i + g = 0. Which is smaller: -47 or x?
x
Let a = 7403 + -11270. Which is smaller: -3866 or a?
a
Let l = 477.41 - 9.41. Is -22 <= l?
True
Suppose 3*f + 0 = -3*l + 483, -5*l + 838 = -6*f. Let k = 75 + 88. Is k > l?
False
Let a be (-675)/40*14*(-56)/(-21). Which is greater: a or -632?
a
Let u = -270 - 129. Let y = 407 + u. Let o be ((-8)/50)/(2/5). Is o less than y?
True
Suppose 31 = -4*f + 9*f + 4*m, -5*m = -20. Suppose 12*c = -f*c + 1830. Are 122 and c non-equal?
False
Let y = 3192 - 5835. Is -2639 equal to y?
False
Let n = 0.01 + 0.49. Let s = 0.502 - n. Let f = s - 0.045. Which is smaller: -2/7 or f?
-2/7
Let s = 1001 + -18985/19. Let k(r) = r**3 + 11*r**2 - 33*r - 90. Let i be k(-13). Which is smaller: i or s?
i
Let r = -1 - -2.2. Let f = r - 2.2. Let o = -8.89 - -8.65. Is f > o?
False
Let l be ((-24)/30)/((-2)/15). Suppose -3*q = -l*q. Let c = 499 + -4989/10. Which is smaller: q or c?
q
Let b be (-386)/(-10) - 6/(-15). Suppose -11*l + 22 - 88 = 0. Let o be (-8)/l*(-114)/(-4). Do b and o have the same value?
False
Let p = 622 + -624.88. Let d = 3.18 + p. Which is smaller: d or 190?
d
Suppose b + 2*w - 6 = 417, -4*b - w = -1664. Is b greater than or equal to 418?
False
Let r be 10/(-20) + 1/(-2). Let f(p) = -6*p + 2. Let u be f(r). Suppose 0 = -3*z - 5*x + 44, 0*x = -3*z + 4*x + 8. Is z < u?
False
Let g = -275 - -273. Let q be g/20*-34 - 2/5. Are 27/7 and q equal?
False
Let n = 11/5 + -61/30. Let o = 1364488.5 + -1364476. Is n at most as big as o?
True
Suppose 5*o - 4*o = 18. Let u(j) = j**3 - 18*j**2 + 3. Let t be u(o). Suppose 3*z - 12 = 3*d, -2 - 1 = -t*z. Which is smaller: 5 or d?
d
Suppose 5808*u - 5815*u = 0. Is -1/1090 < u?
True
Let u = -77369/5 - -100458/5. Which is smaller: 4619 or u?
u
Suppose -3*z + 2261 = 41*a - 45*a, -1506 = -2*z + 4*a. Which is smaller: 754 or z?
754
Suppose 2*a - 8574 = -224*g + 227*g, -a = 6. Is g at most as big as -2864?
False
Let k be (-2 + 0 + 6)*25*7/70. Which is bigger: 25 or k?
25
Suppose 2*k - 14*k + 11312 = -8*k. Do 2828 and k have different values?
False
Let b be 250/(-1185) - 11/(-66). Which is smaller: b or 0?
b
Let y be 65063/(-82) - (-3 - (-3)/2). Let v = 792 + y. Which is bigger: 1 or v?
1
Let h = 82 + -92. Let y(v) = 2*v**2 + 14*v - 8. Let x be y(h). Let i = x - 83. Are i and -31 equal?
True
Suppose 0 = 54*g - 202*g - 242276. Is 3 greater than or equal to g?
True
Let l = -0.0318 + 225.0318. Let o = -226.04 + l. Which is smaller: -1 or o?
o
Let c = -486.3 + 489.3. Are c and -82 nonequal?
True
Let n(i) = -i**3 - 26*i**2 - 43*i + 120. Let c be n(-24). Is -10/449 at least as big as c?
False
Let c(v) = v**2 - 27. Let a be c(-21). Let h = a + -360. Which is bigger: h or 51?
h
Let t = 2.4029 + -1.4029. Is 1/4029 at least t?
False
Suppose 49 - 76 = -9*y. Let l be y/(-1) - (-4 + (-14)/(-7)). Which is greater: l or -1/25?
-1/25
Let a = 142.505 + -1.105. Let x = a - 141. Is x less than 0.35?
False
Let g(v) = 14*v**2 - 151*v - 24. Let y be g(11). Is 6 > y?
False
Suppose 4 = 4*w, 2*n = 4*w + 2547 + 407. Is 1478 smaller than n?
True
Let q = -35953 - -35952.9. Let w be (18/(-14))/((-8)/14). Which is smaller: q or w?
q
Let t be (-2)/(((-35)/(-10))/(-7)*16). Which is smaller: t or -3.507?
-3.507
Let w be -11 + 9 + (-36978)/30. Let p = w - -1219. Let r(u) = -16*u**2 + 1. Let s be r(-1). Are p and s nonequal?
True
Let w = -103.34 - -108. Let n = -5.63 - w. Let d = 0.71 - n. Which is smaller: d or -0.01?
-0.01
Suppose 2*c + 2*c - 16 = 4*z, -2*c - 3*z = 7. Let d(m) = 1 + m - 3 - c - 2*m. Let f be d(-7). Which is greater: 3 or f?
f
Let n = -83 - -79. Let h = 14131 + -55673/4. Let j = 208 - h. Does n = j?
False
Suppose 0 = -2*l - 5*w - 51, -l - 2*l - 89 = -5*w. Which is greater: l or -1/3?
-1/3
Let k = 327.665 + -328. Let m = k + 4.435. Is m bigger than -1/3?
True
Let s(n) = -4*n + 15. Let v be s(7). Let t = -60 - -62. Let r be 74/(-4) + 3 - -4 - t. Does v = r?
False
Let h = -19 - -19.28. Let q = h - 17.28. Let p = 114 + -114.1. Which is smaller: q or p?
q
Suppose -b + 31 - 2 = 0. Suppose 0 = -5*g - 5*h - 100, -g + 9 = -h + b. Let s = g - -17. Which is smaller: -1 or s?
s
Let m be (-823096)/(-588) - 5/(-90)*3. Let c = 1400 - m. Which is smaller: 0 or c?
0
Let t be 6/(-4) - (-8082)/(-12). Let v be (3/(t/(-10)))/((-2)/20). Is v < 1?
True
Let l be 3/(-2)*2/6. Suppose -4*v - 32 = 24. Let d = v + 14. Is l equal to d?
False
Let u be 0/1 - (7 + -10). Let o be (u - 4) + -4 - 77/(-15). Let m be (-8)/(-7) + (-2)/7. Which is bigger: o or m?
m
Let o be -1 - 5/(15/(-6)). Suppose y + o = 5. Let z be ((-357)/63)/(-1 - y/(-6)). Is z >= 14?
True
Let m = -17458 - -17461. Is m <= -1015?
False
Let h(w) be the second derivative of w**4/12 + 5*w**3/6 - 3*w**2/2 + 5*w. Let a be h(4). Let t = -42 + a. Is t at most as big as -9?
True
Suppose 0 = -4*a, -4*s = -14*a + 18*a - 1008. Which is bigger: s or 253?
253
Suppose -5*s - 2*k + 2126 = -0*s, 5*s - 2*k = 2134. Let y = -591078/11 + 54162. Let f = s - y. Are -2 and f equal?
False
Let x be 1/(2/(-4) - 0). Let c be 0/x*(-25 - -24). Let g be 1/(c + (0 - 1)) - 3. Is g at least as big as -14/3?
True
Let i = 353.6 + -353.6. Which is smaller: 8889/4 or i?
i
Let f be (0 - 3)*38/(-3). Let z = f - 40. Let v be (40/(-22) - z)/2. Which is smaller: -1 or v?
