e (1 - (5 - 127))/1. Suppose 7*g = 9*g - r - t, 0 = 4*g - r - 245. Are 61 and g nonequal?
False
Let b be -5 - (73 + -71 - 2996/(-2)) - 7. Is b at least as big as -1513?
True
Let u = -2489 + 2587.04. Let l = u + -98. Which is bigger: l or -1/2?
l
Let c = -30.807 - -30.8. Let z = -35 + 36. Which is bigger: z or c?
z
Let g be 32/(3*(-1)/(-12)). Let a = -131 + g. Which is smaller: -8/3 or a?
a
Let v = 2282 + -2282. Which is greater: v or 717?
717
Let u(l) = 2*l**3 + 13*l**2 - 14*l - 28. Let j be u(-5). Which is bigger: j or 118?
118
Suppose -h - 1 = 3. Let a = -5 - h. Suppose 1350 = -24*u - 66*u. Is u equal to a?
False
Suppose 32 = -35*z + 67*z. Let v be z/(-16) - (-90840)/384. Are 238 and v equal?
False
Let s be 7/(1 + -22) - 32/(-6). Suppose b + y = -0*b + 41, s*b - 2*y = 240. Suppose -4*l + b = -2*g, 18 + 22 = -5*g - 5*l. Which is bigger: g or -12?
-12
Let d = 2 - -1. Let f(i) = 3*i**2 - 48*i - 36. Let n be f(20). Let r = n - 602/3. Is d less than r?
True
Suppose -5*j + 0*j + c + 14 = 0, 13 = 5*j - 2*c. Suppose -5*x + 354 = 3*z - 483, j*z = -4*x + 672. Are x and 164 non-equal?
True
Let c be (-6140)/(-35) - (1 + 2)*(-14)/(-98). Which is bigger: 0.05 or c?
c
Let z be 17/4 - (-2)/(-8). Let g = 148 + -77. Suppose -10*x + 39 = -g. Which is smaller: z or x?
z
Let v = -0.85 - -0.9. Let r = -0.06 + v. Let l = -22.17 + 22.17. Which is bigger: l or r?
l
Let d = 57.6261 + -2.6261. Is 25 at least d?
False
Let x = -364920375/8383 + 43531. Which is smaller: x or 1?
x
Let a = 12565.73 + -12549. Let n = 35 + -34.27. Let p = a - n. Is 2 smaller than p?
True
Suppose -3*j = -109 + 103. Let k be 1 - (-10 - (0 - 0)). Suppose -4*g + k = 3*n, -2*g + j*n = n + 7. Are -7/3 and g equal?
False
Let b = 376 - 419.3. Let u = -58 + 15. Let k = u - b. Is -1 bigger than k?
False
Suppose -r = -f + 6*f + 19, -3*r - 31 = 2*f. Suppose -3*p = -3*u + 9, 3*p + 3*u - 6 = 9. Let t = -8 + p. Which is greater: t or r?
t
Let j = -0.59 - -1.02. Let z = -2.53 + j. Let i = z - -3.9. Which is smaller: -0.2 or i?
-0.2
Let i(b) = b**2 + 18*b + 22. Let h be (-19 - 4/(-2))/1. Let f be i(h). Suppose -g + 12 = -f. Are g and 17 non-equal?
False
Let l be (-6)/11*2/8*3. Let f = -29/44 - l. Which is smaller: f or 9?
f
Suppose -k = -5*f - 448, 19*f - 14*f + 462 = -k. Is -1455/16 != f?
True
Let u(j) be the first derivative of j**4/4 + 11*j**3/3 - 13*j**2/2 - 2*j + 1. Suppose -509 = 7*h - 425. Let t be u(h). Is t greater than 21/2?
False
Let s be -99 + 1 - (4 - -1). Let l = -84 - s. Which is smaller: l or 17?
17
Let m be 2*(-8)/4 - -59. Suppose 5*t + m = 5*x, 3*x = 2*t + 3 + 28. Is 9 at most as big as x?
True
Let w = 12 - 9. Let t be 0 - (27 + (w - 0)). Let d(f) = f**3 - 9*f**2 + 4*f + 4. Let b be d(8). Which is smaller: t or b?
t
Let c(s) = s**2 - 11*s + 27. Let i be c(8). Let l be ((-26)/4 - -4)/(i/(-6)). Do 19/5 and l have the same value?
False
Let a = -272 - 77. Let v = a + 334. Is v bigger than 4?
False
Let v(j) = 2*j**2 - 19*j + 17. Let u be v(8). Let n be 2/u - (312/(-308))/1. Which is smaller: 0 or n?
0
Let h = -345.2 - -355.2. Let q = -0.19 + 0.09. Which is greater: q or h?
h
Let k = -9.9 - -3.2. Let r = k - -7.7. Are r and -3/79 nonequal?
True
Suppose -2 = 4*f + 2*l, -4*f + 2578*l = 2582*l. Which is greater: f or -1/38110?
-1/38110
Suppose 700*d - 5297070 = 143*d. Is d smaller than 9508?
False
Let q = -7966 - -7970. Which is greater: q or -11/63?
q
Let s = 206 - 204. Suppose -15 = 3*q, 0 = -o + 6*q - s*q + 62. Do 45 and o have the same value?
False
Let c(z) = 124 + z - 2*z**3 - 125 - z. Let x be c(1). Let v be ((-18)/(-15))/(x/20*-2). Is -0.1 greater than v?
False
Let o = -46045 + 46049. Let b = -2077 - -26961/13. Which is bigger: b or o?
o
Let n = 36950022/259 + -142664. Let p = n + 4/37. Which is bigger: p or -2/135?
p
Suppose 477*b - 683*b - 1634545 + 202227 = 0. Which is smaller: b or -6954?
-6954
Let k be 4*1 + (-264)/156. Let a be (-114)/(-42) - 14/(-49). Is a < k?
False
Let i be (-3)/2*(-16)/6. Suppose i*w - 2 = 3*w - 4*j, -w = -j + 8. Suppose -928*n - 9 = -927*n - 3*k, k - 16 = -4*n. Is n > w?
True
Let q = -61449.74 - -62137. Let c = -687 + q. Let h(w) = -w**2 + 2*w. Let n be h(1). Which is smaller: c or n?
c
Suppose -203*v + 5*r = -198*v + 3445, 3457 = -5*v + 2*r. Which is greater: -696 or v?
v
Let v = 4246 - 4245. Which is smaller: 0.06215 or v?
0.06215
Let t = -2603 - -2628. Let n(v) = -v**2 + 4*v - 3. Let y be n(3). Suppose -l + t - 5 = y. Which is smaller: 21 or l?
l
Let n = -37 + 24. Let b(z) = -z**3 - 14*z**2 - 14*z - 10. Let m be b(n). Let i be 5/(-3) - 52/m. Which is smaller: i or -18?
i
Suppose 5*b = -26*r + 24*r + 1808, 0 = 2*r + 2*b - 1808. Let q = r + -904. Is q less than -2/39?
False
Let m = -46 - -31. Let x = m + 15.1. Let l be (-3)/(-4)*20/(-6). Is l smaller than x?
True
Let h be 3/(-27) - 8/(-72). Let k be (-837)/(-1242) - 1/4*2. Do k and h have the same value?
False
Let r = -0.06853 + -0.03147. Is r smaller than -381?
False
Let b = 4667 + -4666. Which is bigger: b or 2/9419?
b
Suppose 60*d - 83*d + 46 + 46 = 0. Which is smaller: d or -263?
-263
Let l = -29 + 26.8. Let g = 2.76631 - -0.23369. Do l and g have the same value?
False
Let a(j) = -j**3 - 3*j**2 - 4*j. Let p be a(-4). Let u = p - 28. Suppose q - u = -q. Are 2 and q unequal?
False
Let r = 261.53 - 260. Let o = r + -1.08. Let z = o - 0.4. Which is greater: -1 or z?
z
Let f = 608 - 606. Suppose -q + 22 = f*b, 5*b = 5*q - 0*b - 35. Let t be (-2 - -5)*(-122)/(-30). Which is smaller: t or q?
q
Let v = 2225 + -2224. Is 1024 equal to v?
False
Suppose 0 = 9*d - 7*d - 466. Let j = -232 + d. Let a be 0 - (112/106 + -1). Which is bigger: a or j?
j
Let n = -4486 - -4487. Which is smaller: n or -110?
-110
Let m = -13309975/127 - -104803. Let c be 0/(2 + 1 + -4). Do c and m have the same value?
False
Let t = -110 - 1. Let n be (-660)/t + -2 - 4. Which is smaller: n or 1?
n
Suppose -1789 = -3*y - 7*y + 271. Which is greater: 209 or y?
209
Let s = -2 - -2. Let a be (-1)/(-6)*2 + 140350/(-2730). Let x = 51 + a. Is s greater than or equal to x?
True
Let a be (-1085)/98 + (-26)/(-4). Which is smaller: -5 or a?
-5
Suppose -63*v = -59*v + 144. Let y = -75 - -46. Is v at most y?
True
Let m = 0.572 - 1.989. Let q = -0.417 - m. Which is smaller: -74 or q?
-74
Suppose -s + 24 = -2*g, 2*s = -s - 2*g + 96. Let a be (1/(-80))/(s/(-20) + 1). Let u(x) = -x - 1. Let n be u(-1). Which is greater: a or n?
a
Suppose 0 = 20*n + 17138 - 4938. Which is smaller: n or -605?
n
Let z(g) = -g**3 + 50*g**2 + g - 51. Let i be z(50). Is 3/1445 not equal to i?
True
Let u = -1946 - -2751. Let p = 807 - u. Let i(v) = -v - 5. Let n be i(-5). Which is greater: n or p?
p
Let w = -21 - -14. Let r = 78 - 76. Let b be r/16*12*4/(-2). Which is smaller: w or b?
w
Let x be (552/(-72) - (3 + -10))/((-190)/(-6)). Let g(k) = -k**2 - 2*k - 1. Let t be g(-2). Which is smaller: x or t?
t
Let p = 2695 - 2675. Is 211/11 at least p?
False
Let w be (-73)/6789*3/(-542). Which is smaller: 0 or w?
0
Suppose -2*q - b = q - 5, 3*b - 4 = 2*q. Suppose -4*p + q + 23 = 0. Let u be 1/(2/p) - 10. Which is smaller: u or -36/5?
-36/5
Let o = -11438171/75 + 152509. Let m(l) be the second derivative of -l**3/6 + 2*l**2 - l. Let d be m(5). Is d != o?
True
Let f(b) = 12*b**3 + 87*b**2 + 12*b - 8. Let s be f(-7). Let d be (-1 + 2)*(0 + -65). Let t = d + s. Which is greater: -13 or t?
t
Let j be ((-1881)/114)/((6/(-4))/1). Suppose -j = -d + 4*v, -2*d = -0*v - 3*v - 2. Let b be 0/3*(1 + 0). Which is smaller: d or b?
d
Let v = 863 - 860. Let l = 13 - 19. Let i = 6.2 + l. Which is greater: v or i?
v
Suppose 0*k - 2*k = -p + 345, 4*p + 5*k = 1315. Let r = 290 - p. Is r bigger than -42?
False
Suppose 0 = -2*i + 3*i + 1. Let c = 918/146243 + 4/817. Which is smaller: c or i?
i
Let f(o) = -o**2 + 12*o - 6. Let b be f(10). Let r be (-284)/10 - b/(-35). Let c be (-56)/r*((-2)/(-3) - 1). Which is greater: 0 or c?
0
Let r be ((-12)/3)/(2/8). Let x = r - -6. Let i = x + 11. Is i at least as big as 1/5?
True
Let b = -31.9 - -48.6. Let y = b - 16.639. Which is smaller: 0.1 or y?
y
Let q be (12/14)/(((-5780)/1428)/85). Let y be 2/7 + (-158)/14. Which is greater: y or q?
y
Let c be (-3 + 6)/(-54) - (-2725)/52938. Which is smaller: c or 0?
c
Let u = -8375 + 13194. Which is bigger: 4820 or u?
4820
Suppose -8*v