1)/((-57306)/57336 - -1). Let d = -105956/55 - x. Is -15 < d?
False
Let y be (4/(-114))/(3*12/(-27)). Let j(i) = 5*i - 24. Let g be j(6). Suppose -g = 8*l - 14. Which is greater: y or l?
l
Suppose -20*y + 23 + 57 = 0. Let c be (-25 - 0)*y/330. Are c and 1 non-equal?
True
Let f = -1021.819 + 1021. Let z = f - -0.519. Is z less than or equal to -35?
False
Let z = 4778.02 - 4778. Is -69 not equal to z?
True
Let t = 926.2 + -926. Let l = 30/37 - -391/111. Which is greater: t or l?
l
Let w(k) = -k**3 - 6*k**2 - 2*k + 5. Let u be w(-5). Let z(d) = 4*d**2 + 4 - 2*d + 19*d**3 - 9*d**3 - 9*d**3. Let f be z(-5). Is f smaller than u?
True
Let y(w) = -802*w - 286. Let z be y(-3). Is 2122 <= z?
False
Let g(x) = 9*x**2 + 785*x - 76. Let s be g(-87). Do -499/2 and s have the same value?
False
Let x = -3068 - -3069.763. Let m = x - -0.237. Is m less than 11?
True
Let b = -0.0577 - -0.4177. Let r = -4.36 + 4. Let q = b + r. Is q smaller than 2?
True
Let c(n) = -7*n + 43. Suppose 3*t - 16 = 5. Let p be c(t). Is p smaller than -6?
False
Let c be 172/(-430) - (36/(-15) + 3). Which is greater: 8/1607 or c?
8/1607
Let j be (0 - -4)/(-4)*18. Let s be 31/(-60) - j/72. Let m(n) = -2*n**3 + 3*n**2 - 4*n + 2. Let c be m(1). Which is bigger: c or s?
s
Let j(k) = k**2 - 22*k + 122. Let z be j(10). Suppose -5*l - 28 = i, -z*i - 29 = 4*l - 9. Which is smaller: l or -0.05?
l
Let a be 1*(-2 - (-25)/(-5)) + 5669 - -7. Does a = 5669?
True
Let m = 459 - 469. Suppose -16 = p - 5*p. Suppose -5*s - 40 = c, p*c - 2*c = s - 25. Is c less than m?
True
Let z = -4 + 8. Let a = -155003/33 + 4697. Is a at most z?
True
Let w be (45/(-1020))/(3 + 0). Let s(n) = -7*n - 16 + 2*n**2 + 40*n - 2*n. Let g be s(-16). Is g > w?
True
Let v(k) = -8*k**3 - 2*k**2. Let m(t) = t**2 - 10*t + 17. Let a be m(8). Suppose 11 = -5*w + a. Let c be v(w). Is 1 equal to c?
False
Let d = -2337 + 5564. Which is smaller: d or 3226?
3226
Let x = 2521 - 2519.9. Which is greater: x or 0.97?
x
Let f be -2 - (-38892)/(-7780) - (-48 - -41). Which is smaller: -1 or f?
-1
Let a be (-237826)/42 - (-1 - (-38)/42). Let h = a + 5684. Is h equal to 23?
False
Let m be 1 + -5 - (13 + -503 - 11) - 0. Which is smaller: 496 or m?
496
Let d(j) = -4*j - 4. Let u be d(5). Let n be (10/240*138)/(1/(-4)). Let g = u - n. Is g at least as big as 8?
False
Let c = 39166 + -195752/5. Let h be (-292)/(-20) - 2/(-5). Is c equal to h?
False
Let q = 7.001 + -4.001. Is -49 > q?
False
Let y be (-16)/(-172) + -3 + 4 + -1. Let f = -27/172 - y. Which is greater: 10 or f?
10
Suppose 0 = -4*t + 14*t - 400. Let z be 12/(t/(-32)*(-21)/(-100)). Do -46 and z have different values?
True
Suppose -4*i + 6 = u, 0 = 4*i + 2*u - 0*u - 4. Let m be i/6 - 4/3. Let s = -2324/23 - -101. Are m and s non-equal?
True
Let c = -183890 + 3569488792/19411. Which is bigger: c or 0?
c
Let b = -253 + 158. Suppose 8*o + 291 = 5*o. Is b greater than o?
True
Let w = 34.5 + -45. Let n = 15 + w. Let a = n - 3.5. Is a > -0.21?
True
Let v = 31 + -40. Let h = 11 - -3. Let u(m) = m**2 - 13*m - 21. Let s be u(h). Which is bigger: s or v?
s
Let v = 3653 + -3652. Which is bigger: v or 90/119?
v
Let y(o) = -6*o**2 + 705*o + 359. Let l be y(118). Let m = 11 + 4. Is l > m?
False
Let y = -32298 - -32296. Which is smaller: 4574 or y?
y
Let r = -25.8 + 54.8. Let x = -40.3 + 38. Let j = 2.3 + x. Which is smaller: r or j?
j
Let u(z) = -z**2 + 18*z + 2. Let h be u(13). Suppose -5*d + 65 = -x, 3*x + 6*d + 271 = 2*d. Let y = x + h. Which is bigger: y or -2?
-2
Let a(v) = 387*v + 16078. Let h be a(-18). Is h < 9112?
False
Let i(k) = -39*k - 27. Let l be i(-2). Let t be 4 + 1256/(-306) - 6/l. Is t less than 6/23?
True
Let x(n) = n**2 - 20*n - 492. Let p be x(83). Is p less than or equal to 4737?
True
Let v = -1393 + 9796/7. Suppose -4*g - 36 = 2*r, -13*g + 10*g = -2*r - 43. Let l be 5/(((-25)/r)/(21/14)). Is v equal to l?
False
Let q(r) = -98*r + 8. Let u be q(-4). Suppose -5*z + 0*z = -u. Let j = -57 - -138. Is z < j?
True
Suppose -826*c + 821*c - 4*u + 1378 = 0, -2*u - 1396 = -5*c. Which is smaller: 289 or c?
c
Let a = 544 - 534. Is a not equal to -2/165?
True
Suppose -3*j - 273 = -m, 33*j + 808 = 3*m + 35*j. Is 274 less than or equal to m?
False
Let f = -53 - -166/3. Let k = 22.098 + -0.098. Let b = 16 - k. Which is smaller: b or f?
b
Let d = 87 - 76. Let s = -59 + 32. Let o = s + d. Which is smaller: o or 1?
o
Suppose -2*d + d - 4*h + 14 = 0, -h + 1 = 0. Let z be (-15)/(-3)*(28/d + -1). Suppose 10 = -z*k + 4*k. Are k and -13/7 equal?
False
Suppose 1388 = 5*m - 4*b - 242, -5*b = -5*m + 1625. Is 1323/4 != m?
True
Suppose 0*a = 2*a. Suppose -2*y = 4, m + 22*y = 23*y + 101. Suppose 95*x - m*x = 0. Is x < a?
False
Let f be (319/(-6) + -5)*(-1 + 20). Let p = -1100 - f. Let d = -5 + p. Which is bigger: 0 or d?
d
Let l be 35/28*(-10 + 4 + 2). Which is smaller: l or 3?
l
Let g = -2491/60 + 937/20. Are -1/71 and g nonequal?
True
Let g = -0.74 - 3.96. Let w = g + 4.28. Let c = 0.58 - w. Which is greater: 2 or c?
2
Suppose -4*p - 155 = -59. Let f be -1*p*2/(-2). Let s(y) = y**2 - 120*y + 2734. Let v be s(31). Which is bigger: f or v?
f
Let j be (39/(-12))/(7/28). Let b(g) = -52*g - 1000. Let p be b(-19). Is p > j?
True
Suppose -7*g - 5*l = -5*g + 184, -4*g = 4*l + 356. Let v be 525/g + (14 - 9). Which is smaller: -1 or v?
v
Suppose 6040 = -2*m + 2*p, 0 = 44*m - 40*m - 3*p + 12074. Is m greater than or equal to -3012?
False
Suppose 3*x + 2*x = -55. Suppose -4*p = -28, 2*u - 6*u = p + 109. Let s = x - u. Is s less than 18?
False
Let q = 4.72 + -1581.72. Which is smaller: q or 1?
q
Let b(y) = -3*y**2 - 68*y + 5. Let u be b(-23). Let r be ((-90)/(-60))/(u/255). Let o = 36 - 56. Which is bigger: r or o?
o
Let r = -14 - -23. Suppose -53 = -4*z - 0*p + 5*p, -z - 4*p + 8 = 0. Suppose 6 = z*n - r*n. Is n less than -20?
False
Let c = -1.79 + 4.43. Let h = 3.64 - c. Which is smaller: 0.1 or h?
0.1
Suppose -2*m - 5*z + 8 = -25, m = -5*z + 14. Suppose 3*f - h - 16 = 0, h - m + 5 = -3*f. Let s(k) = k - 5. Let a be s(f). Which is bigger: a or 12/13?
12/13
Suppose 0 = 3*k - 19 - 8. Let u(q) = -2*q - 10. Let i be u(-8). Let r be k + i - (-3)/1. Is r at most 18?
True
Suppose 2*t = s - 373 - 240, -4*s = 4*t - 2416. Which is greater: 606 or s?
s
Let r be (-300 + 0)*(-6224)/1945. Which is greater: 958 or r?
r
Let c = -6955/32 + 435/2. Is c smaller than 2?
True
Let i = 1049 - 545. Suppose 3*v = v - i. Let k be (-2 + 0)/10 - v/(-15). Which is bigger: k or 2?
2
Let s(f) = f**2 + 11*f + 484. Let g be s(-22). Which is greater: g or 725?
g
Suppose -4*s + 7*s - 24 = 5*d, 3*s = d + 12. Let a be (-144)/14 - (-2)/21*s. Suppose 0 = -j + 3*x - 5 - 13, 54 = -5*j + 3*x. Which is greater: j or a?
j
Let c = -284.143 - 4.857. Which is bigger: c or 1?
1
Let z(h) = -82*h**2 - 3. Let d be z(-2). Let s = d - -226. Are s and -106 non-equal?
True
Let s be 4*(-20)/8 + 2 + 4. Is s at most -49/12?
False
Let p be 4/12 + (-66)/(-18). Let a(w) = w**2 - 2*w - 2. Let m be a(-2). Suppose 2*g - m = 4*v, 7*v + 7 = 2*g + p*v. Which is smaller: g or 3?
3
Let n(b) = 311*b + 330. Let r be n(-1). Which is greater: 410/21 or r?
410/21
Let g be 4 + -5 + 2 + 6. Let r(s) = -g*s**2 - 6 + 11*s**2 - 21*s - 3*s**2 - 18. Let v be r(22). Is -3/5 less than v?
False
Suppose -518*u - 24 = -513*u - w, 7 = -2*u + 3*w. Is -18/29 smaller than u?
False
Let u = -159188/69 - -2307. Let w = u + 913/10695. Suppose 10*z = 19 - 9. Which is bigger: w or z?
z
Let a = -0.45 - -0.64. Let l = -0.4 + a. Let k = -1578 + 1578. Is l < k?
True
Suppose -142 = -6*g - 34. Let r be (-4)/g - (-1491)/27. Suppose 17*b = 22*b - r. Is b >= 13?
False
Let m(j) = -j - 3. Let d be m(7). Let l = 9584 + -9596. Is d bigger than l?
True
Suppose -61 = m + 5*u + 364, 4*u = -4*m - 1748. Is m at least as big as -432?
False
Let b = -17634 + 16393. Are b and 0.7 unequal?
True
Let h = 0.36 - 30.36. Let g = -348.6 - -317. Let x = g - h. Is 0.2 at least x?
True
Let k = -5724 - -5723.9. Do k and 72.3 have different values?
True
Suppose -5*i - 37 + 42 = -5*k, 0 = i + 2*k + 2. Which is smaller: 56/57 or i?
i
Let p = -147 - -180. Let h = -32.7 + p. Which is bigger: -15 or h?
h
Let k = 207.59 + -206. Let m = 16.59 - k. Is -0.1 equal to m?
False
Let r(t) = -t**3 - 32*t**2 + 34*t + 30. Let b be r(-33). Let z be (12/9)/(-4)*(114 + 