+ 2. Let i(b) = -5*b + 8. Let t(p) = -2*i(p) + 11*j(p). Suppose -4*v + 16 = -12. Let w be t(v). Are -1 and w non-equal?
False
Let q be ((-505664)/(-156))/(6/27). Let j = 14598 - q. Are j and 11 equal?
False
Let m = 189 - 176. Suppose -3*n + m*n - 100 = 0. Let d = -53/60 - -145/12. Which is smaller: n or d?
n
Let z = 3059 + -5536. Let k = -319531/129 - z. Is k at least as big as -1?
True
Suppose -50*x - 4008 = 44*x - 82*x. Is -334 < x?
False
Suppose -6*l + 2 = -2*l - 2*y, 3*l = -2*y - 2. Let j be 0 - (0 + l/4)*1. Is j equal to 13/18?
False
Suppose -4*v = -h + 2937, 200 = h + 199. Is -726 != v?
True
Let x = 5871 + -358119/61. Which is smaller: x or 0?
0
Let f = 6.4 - 6.4. Is f >= -1374/31?
True
Let v(s) = -s**3 + 46*s**2 + 5*s - 157. Let c be v(46). Let i = -0.04 + -1.96. Are c and i equal?
False
Let v = -97.9 + 242.18. Let s = v + -144. Which is bigger: -0.1 or s?
s
Suppose 5 = -4*u - 9*f + 10*f, -4*f + 5 = -u. Which is bigger: u or -1/300?
-1/300
Let x = 5447/21 - 259. Which is bigger: x or -1?
x
Let m = -0.326 - -16.826. Let o = -16.08 + 0.08. Let c = m + o. Which is bigger: 1/10 or c?
c
Suppose 24 = 2*v + 176. Let x be -4 + v/(-16) + 21/(-12). Is 1/75 bigger than x?
True
Suppose -34*b + 7 = -333. Let u be (2/1135*2)/(2/b). Which is greater: 0 or u?
u
Let u = -9.85 - -10.3. Let d = u + 4.05. Is d less than or equal to 0.1?
False
Let p be (0 + 0/1)*1. Let b(h) = h**2 - 15. Let y be b(p). Let c = 8430 - 8446. Is y at least c?
True
Let f = -73.1795 - -73.21. Is f equal to 2/9?
False
Suppose 0 = -6*d + 2759 + 469. Is 1 greater than d?
False
Suppose 3*w = 5*j - 7112, -114*w + 111*w - 7114 = -4*j. Is w at least -2373?
False
Let g = -92.909 - 0.091. Let u = g + 138. Let a = -46 + u. Is a less than or equal to -2/33?
True
Let n = 3170 + -3097. Is n greater than 506/7?
True
Let l = -34823 + 34823. Is 2.7132 less than or equal to l?
False
Suppose -29526 - 25249 = 35*m. Which is smaller: m or -1568?
-1568
Let r = -2677.2 - -2676.61. Is r less than -61?
False
Let x(p) = -377*p + 7175. Let y be x(19). Which is bigger: 252 or y?
252
Let l(o) = -o**3 + 18*o**2 - o + 22. Let c be l(18). Let n = 169 + -166.22. Let v = -0.78 + n. Is c > v?
True
Let b = -18021 - -18021. Do b and -8 have the same value?
False
Suppose -j + 3*j - 3*g + 48 = 0, 2*j + 52 = 2*g. Let y be (j/21)/((9/(-21))/3). Let q be (y - 1)*(-2)/4. Which is bigger: q or -5?
q
Let j(g) = 2*g - 6. Let u be j(5). Let r = -4 + u. Let q be 153/(-147) + 3/(3/1). Which is smaller: q or r?
q
Let x = -65 + 76. Suppose -x*k - 555 = 2712. Is k equal to -298?
False
Let w = -4094.006 + 4099. Let t = w - -0.006. Let m = -4.77 + t. Is 1/4 equal to m?
False
Let l = 16 + -18. Let f be (2 - (l - -4)) + -2. Let j be (-2 - 4)*22/88. Do f and j have different values?
True
Let c(u) = -82*u + 80*u - u**2 + 1 + 0*u**2. Let h be c(2). Are 14 and h non-equal?
True
Suppose 0 = -22*m - 931 - 125. Let d = m + 43. Is d greater than -16/3?
True
Let c be (-917)/49 + 2/(-7). Let d be (3 - (-4)/(-1))/(1/17). Is d equal to c?
False
Let f = 31 + -24. Let j = 11 - f. Suppose -4*x = j*b + 8, -b = 5*x + 24 - 10. Is b != -29?
True
Let q be (-256)/440 + (-2)/(-5). Suppose 0 = -3*m + 5*t + 2, -26*m = -22*m - 3*t + 1. Which is smaller: m or q?
m
Let i = -806/459 - 4/459. Let x = i - -17203/9758. Is x < 1?
True
Let w be 3 - (0 + 13 - (-2 - -4)). Let j be 2/9 + (-12)/432*w. Let v be ((-2)/(-2))/(-1) + 1. Is j at most as big as v?
False
Let j = -6341/93206 + -3/3214. Is j at most as big as 2.11?
True
Let k = -2627 - -2628. Which is greater: k or -43/182?
k
Let n = 215 + -1508/7. Let f(p) = p**3 + 9*p**2 + 8*p + 1. Let v be 57/(-6) + (-3)/(-2). Let l be f(v). Is l at most as big as n?
False
Let v = 11003/15114 - 1/1374. Let x = 44 - 39. Suppose x*k + 53 = 58. Is v bigger than k?
False
Let m = 2758 + -2759. Is -2929 equal to m?
False
Let h = -31 + 90. Let d = 65 - h. Let c be 1/d*(-15 + 11). Which is smaller: c or 0?
c
Suppose 2*q - 4*q - 2334 = -p, 9345 = 4*p - 5*q. Let j be 23/(13386/p) - 4. Suppose 2 = -u + 1. Which is bigger: u or j?
j
Let m be -13 + 21 - ((63 - 5) + 3). Which is smaller: -64 or m?
-64
Let q(k) = -1. Let g(u) = 10*u - 2. Let a(s) = -g(s) + 6*q(s). Suppose 13*d + 2 = 12*d. Let z be a(d). Which is bigger: 18 or z?
18
Let o = -0.00809 - -0.01809. Which is smaller: -37 or o?
-37
Let p = -30 + 72. Let x = -0.0685 - 0.0315. Which is smaller: p or x?
x
Suppose 3*l + 18 = -2*f, 4*f - 11 + 31 = 2*l. Let m(r) = 10*r + 17 + 19 - 4*r. Let y be m(f). Does -3 = y?
False
Let o be 3 + 4 - (124410/616)/29. Which is smaller: 22/15 or o?
o
Let m be (2 - 372/184)/((-6)/216). Suppose 8*o = 3 + 5. Is o >= m?
True
Let s = 0 - -3. Suppose -650630*d - 55 = -650575*d. Which is smaller: d or s?
d
Let t be 6/(-4)*(3/(-9) - 1). Suppose -j + 3 = 2*q, -4*q + 3*j = -9 - t. Let u be q/(-10) + 7/35. Which is smaller: 1/30 or u?
u
Let i = -3563 - -3301. Is i at most as big as -265?
False
Suppose 7*r + 2*r = -18. Suppose -2*f - 8*d = -4*d + 12, -4*f + 5*d - 37 = 0. Let m be (-2)/f*-1 - r. Which is smaller: 3 or m?
m
Let b = -21591 - -24461. Do 2871 and b have the same value?
False
Suppose -h + 3*h - 6 = 0. Let g(k) = -20 + 20 + 3*k - 21. Let f be g(9). Is h at least as big as f?
False
Let d(w) = w**3 - 29*w**2 + 54*w - 10. Let j be d(27). Let s be 54/(-387)*j/(-15). Which is greater: s or -1?
s
Let z be 6/(-8) - 0 - 1. Let d(s) = 31*s**2 + 371*s - 13. Let l = 1879 - 1891. Let p be d(l). Which is smaller: z or p?
z
Suppose -634 = 7*o - 424. Suppose 0 = 4*a + 4*k - 9*k + 93, 0 = 3*k + 9. Which is bigger: o or a?
a
Let a(y) = 280*y + 16. Let c be a(-1). Let f(v) = 2*v**2 - 47*v - 15. Let u be f(8). Is c less than u?
True
Let g be (7682010/(-877912))/5 + (14/(-8))/(-1). Which is smaller: g or 1?
g
Let q = 1485 + -1454. Let k = -238 - -2144/9. Which is greater: k or q?
q
Suppose -763*c - 749 = -768*c - 4*h, -4*c + 4*h + 592 = 0. Is 3 greater than or equal to c?
False
Let a = -1862 + 1860.67. Which is smaller: 1 or a?
a
Let v be (1366 - -2430)*((-1)/(-2) + 1). Is 0.1 bigger than v?
False
Let u = 295973/1551 - 514/141. Do u and 187 have different values?
True
Let o(f) = 107*f**3 + 64*f**2 - 67*f + 1. Let n be o(1). Does n = 120?
False
Suppose -13*s = -1750 + 1854. Which is bigger: s or 133?
133
Let y be 6/634*(8/(-12))/1. Let x = y - 624/1585. Which is bigger: x or 0.026?
0.026
Let o = 480 - 408. Suppose o*w + 56 = 76*w. Are 14 and w equal?
True
Suppose -3*v + 1 = -2. Let r(y) = -5*y**2 - 4*y + 6. Let b be r(-2). Let p be (b/26)/(18/(-12)). Is p greater than v?
False
Let g(i) = 326 - i - 400 + 7*i. Let y be g(18). Which is bigger: 35 or y?
35
Suppose 10*j + j - 495 + 451 = 0. Let b = 0.4 + -0.34. Let s = 0.01 - b. Is j bigger than s?
True
Let y = -41.38 + 0.38. Let u = y + 110. Let q = u - 67.1. Which is greater: 1 or q?
q
Let q be (-2)/(-3)*(-3)/(-2). Let a be (-5576)/(-398) + 87 + -100 + -1. Which is bigger: q or a?
q
Let k(v) = 12*v**3 + 3*v**2 + 2*v + 12. Let w be k(-3). Let p = w + 1745/6. Is -0.04 less than or equal to p?
False
Suppose -2 + 32 + 27 = -57*s. Is s < -2/5899?
True
Suppose -f = 3*f - 480. Let r = 2951383/24136 - -15/3448. Let a = f - r. Which is smaller: -2 or a?
a
Let i = 21096 - 20211. Is i not equal to 889?
True
Let d be (1 - (-31)/(-9))*((-3171)/(-14) - -16). Is d equal to -594?
False
Let p be 960/(-45) + 24 + (-11)/3. Let f = -5049066/697 - -7244. Which is greater: f or p?
f
Let x(a) = a**2 - 43*a - 391. Let r be x(50). Is -6 at least r?
True
Suppose 4*k = 3*g + 1866, -2*g - 1889 = -5*k + 440. Is 467 at least k?
True
Suppose 2*r = -8*r + 20. Suppose i + 118 = -5*n, i + r*i = -n - 326. Do -109 and i have different values?
True
Suppose -98*n + 103*n - 90 = 0. Suppose -8*y = -5*y - n. Which is bigger: y or 4?
y
Let p = 15/154 - 267/154. Which is bigger: p or -1?
-1
Let p = 2/845 - -7559/19435. Suppose c = 3*y + 96, -4*y + 0*y - 133 = -3*c. Let g = y + 31. Which is smaller: g or p?
g
Let d be (-50)/((-4)/(-2)) + -2. Let l(v) be the third derivative of -v**5/60 - 7*v**4/6 + 101*v**3/6 - 49*v**2. Let o be l(-32). Are d and o unequal?
False
Let j(c) = c**3 - c**2 + 2*c + 15. Let f be j(0). Let l be (6/(-18))/1 + (-25)/f. Which is smaller: l or -3/2?
l
Let w = 2649 - 2956. Suppose 974 + 1490 = -8*f. Which is smaller: w or f?
f
Let c(x) = -7*x - 3