). Suppose -c + 23 = 5*d, -5*d + c + l*c = -8. Are 4 and d unequal?
False
Let j(z) = z**2 + 8*z - 2. Suppose 0 = 2*w, 2*p + 5*w + 4 + 12 = 0. Let t be j(p). Let f be (2 + 1 + t)*-1. Is 2/7 equal to f?
False
Let q = 8 + -28. Let f be 12/5 + 8/q. Which is bigger: 13 or f?
13
Let h be (8/10)/((-30)/(-2025)). Let f = h - 377/7. Are f and -1 unequal?
True
Suppose 3*i + 9 = d, d - 6 = 2*i + 1. Let q = 15.06 + 3.94. Is i less than q?
True
Let s = -161209/109 + 1479. Is s bigger than 0.5?
False
Suppose -2*r - 26 = -4*r. Suppose -m - r = -12. Which is smaller: 2/17 or m?
m
Let n = -56.1 + 55.1. Let p = 4.3 - 2.6. Let u = n + p. Which is greater: -1/4 or u?
u
Let f = 200 + -205. Let w = 0.08 - -8.92. Which is smaller: w or f?
f
Suppose -5*d - 15 = -110. Suppose -17*m + 18*m + d = 0. Are -20 and m nonequal?
True
Suppose -30 = -3*g + 2*w, 0*w + 4*w - 40 = -4*g. Let z be g/(-2)*(-4)/(-150). Let h = z + 29/30. Which is bigger: 0 or h?
h
Let m = -6.26 + -0.76. Let i = m + 0.02. Which is bigger: -2 or i?
-2
Let t = 192.5 + -187.1. Which is smaller: 3 or t?
3
Let d = -63 - -73. Let v be (-14)/35*d/12. Is 19 less than or equal to v?
False
Let s = 87 - 42. Let x = -42 + s. Is x > -0.01?
True
Let b = -58.1 - -58. Let s = -5267/11 + 475. Which is greater: b or s?
b
Let p = 766 + -26043/34. Suppose -3*t - 15 = 0, 0 = 5*a - 0*a + 2*t + 5. Is p less than a?
True
Let o = 15.3 - 1.3. Let j = o + -14. Is 4/7 less than or equal to j?
False
Let h be 52/18*240/352. Let z = h - 2. Is -1 > z?
False
Let q = 50 + -38. Let d be (187/88)/(5/q). Let g = d + -329/65. Which is smaller: g or -1?
-1
Let t = -8594/9 + 956. Let v(h) = -h + 10. Let a be v(9). Are t and a unequal?
True
Let t be (2 + -2)*12/12. Let v be 2/4 + t + 1. Is 1 bigger than v?
False
Let a = -193 + 647. Let n be (44/(-30))/(9/((-22356)/8)). Let c = a - n. Is c less than or equal to -2?
False
Let h(t) = 5*t + 17. Let i be h(10). Suppose y = 3*k + 100, 5*k + 2*y = i - 230. Is k > -33?
False
Suppose -2*f = -f + 3*x + 14, -f - 5*x - 14 = 0. Let s be 2/6 - 32/(-3). Suppose -2*y - 28 = 2*d, 3*d - d = y + s. Are f and y equal?
False
Let i = 1633/3 + -570. Which is greater: -27 or i?
i
Let r = 629 + -607. Which is smaller: 2/9 or r?
2/9
Let y(p) = -2*p**2 + 79*p + 156. Let i be y(41). Which is smaller: i or 137/4?
i
Let z = -1.14 - 6.96. Let l = z + 8. Let k = -4.2 + -1.8. Is k equal to l?
False
Let f = 94 - 91. Suppose -5*k = 4*i + 60, -7*i + 12 = -k - f*i. Which is smaller: -0.2 or k?
k
Let v = -66 - -7787/118. Is -1 at least as big as v?
False
Suppose -21 = 2*v - 2*k + 15, 4*v = 5*k - 70. Let l be 39 + v/(-5)*1. Is 43 != l?
False
Let t be (-386)/(-8)*82/7. Let k = t - 565. Let s(i) = -i - 6. Let q be s(-5). Is q greater than k?
False
Let y = 139 + -1391/10. Which is smaller: y or 1?
y
Let s = 37 + -454. Let y = -2936/7 - s. Which is smaller: y or -2?
y
Let k = 20722/45 - 3662/9. Let s = 257/5 - k. Let f = s + 67/35. Which is smaller: f or -1?
-1
Let j be 1 - (-2 - (3 + -4)). Suppose -3*m + m = -3*a + j, -5*a + 40 = 4*m. Which is bigger: 2 or a?
a
Suppose -3 = -5*n + 87. Suppose -5*d + 88 = -r, d + 0*d - 10 = 4*r. Do d and n have the same value?
True
Let q be (-1*9)/((-5307)/58). Which is greater: q or 1?
1
Suppose 3*n - 4*z - 34 = 0, 5*n + 2*z = -3*z + 10. Let w be (-3)/n*9/(54/20). Let h be (6/4)/((-1)/2). Is w at most h?
False
Let t = 1088 - 1089. Which is smaller: t or -3/506?
t
Let j = 40.952 + 0.048. Let o = j - 9. Let g = -32 + o. Which is smaller: g or 3?
g
Let o be 2 + -4 - (-4 - 0). Let r be (o/(-2))/(3/(-3)). Suppose 5*a - 4 = r. Do a and -2/17 have the same value?
False
Let q(w) = 44*w + 88. Let s be q(-2). Which is bigger: 2/121 or s?
2/121
Let r = -36 + 25.2. Let j = 11 + r. Let p = -3 - -1. Is p smaller than j?
True
Let h be (-2 - -3)*(-9)/(-1). Let n = -9 + h. Suppose 0 = -4*j - n*j + 12. Are 6 and j equal?
False
Let r be (-15)/(-45) + (-89)/(-3). Let m be (-4)/r - (-2)/15. Which is bigger: -1/2 or m?
m
Let h(z) = z**3 + 8*z**2 - 20*z + 23. Let t be h(-10). Which is smaller: 22 or t?
22
Let c(y) = y**3 + 4*y**2 + 3*y + 1. Let k be c(-4). Let u = -43 + 58. Let s = u + k. Is 1 at least as big as s?
False
Let u = 67037/3285 - 959/45. Is -2 greater than or equal to u?
False
Let m(t) = t**3 + 7*t**2 - 5*t + 15. Let n be m(9). Suppose -2*h - n = -4*c, 4*c - h - 3*h = 1276. Let a = -5340/17 + c. Is a greater than 0?
False
Suppose 6*x = 2*x - 5*s + 28, -3*s = -5*x + 72. Let c be 2/(-63)*x/(-8). Which is bigger: c or 2?
2
Let b be 12/(-54)*3 - 2410/(-195). Which is smaller: 12 or b?
b
Let b be 1*((-20)/(-15) + -2)*3. Which is smaller: -77 or b?
-77
Suppose 0 = 7*q + 90 - 83. Is 30 greater than q?
True
Let t = -19 + -61. Let r = t - -125. Which is greater: 44 or r?
r
Let l(a) = a + 5. Let m be l(-6). Let d = -772/3 - -255. Which is smaller: m or d?
d
Let x = 1 + 22. Suppose 152 = 3*v + x. Is v less than or equal to 43?
True
Let l = -5288 - -396604/75. Suppose 0 = 4*q + 2*w - w + 1, 0 = -2*q + w + 7. Which is smaller: q or l?
l
Let p(s) = -4*s**2 - 81*s + 375. Let a be p(-24). Let i = -1.94 - 0.06. Which is smaller: a or i?
i
Let k(s) = s**3 - 6*s**2 - 13*s - 7. Let u be k(8). Which is smaller: 14 or u?
14
Let b = -86 - -85. Does 20/59 = b?
False
Let i = -2/2615 - 196111/18305. Which is greater: i or -12?
i
Let x be (-7)/(-21) + 50/(-222). Let d = x - -120/259. Let c(i) = -2*i - 6. Let f be c(-4). Which is greater: d or f?
f
Let s = 583 + -9909/17. Is 0.01 <= s?
True
Let s = -64/7 + 690/77. Which is smaller: s or 0.3?
s
Suppose 0 = 25*m - 797 - 528. Is m not equal to 58?
True
Let w be 0 + 6/7 - (-304096)/(-357000). Is w less than -1?
False
Let j(w) = w. Let g be j(5). Suppose -11 - 19 = -6*r. Suppose -3*v - r*k = -g, -v + 6*v = k - 1. Which is smaller: v or 1/6?
v
Let v(t) = -t + 4. Let m be v(2). Suppose l - m + 5 = 0. Let k be -2 + 4 + l/1. Which is bigger: 2/21 or k?
2/21
Suppose 3*u + 3 = 3*k, -u - 2 = 3*k - 5. Let f be k + 2/(-9)*3. Are f and 5 equal?
False
Let y be (-1 + 55)*78/(-156). Which is bigger: y or -24?
-24
Suppose 0 = -25*h + 7*h + 468. Which is bigger: h or 31?
31
Let m = 445.7 - 446. Are 1/72 and m non-equal?
True
Suppose 8*b - 58 + 18 = 0. Let r(o) = -o**3 - 7*o**2 - 8*o - 8. Let f(w) = -w**3 + w**2 - 6. Let d be f(0). Let n be r(d). Which is smaller: b or n?
n
Let c be (32/(-2) - 3)/1. Which is bigger: c or -24?
c
Let u(m) = 2 + 0*m - 5 - 5*m + 3*m - m**3 + 5*m**2. Let c be u(4). Let q = c + 0. Is q at least as big as 2?
True
Suppose 35*s = -1826 - 1009. Are -80 and s equal?
False
Let u be (1218/35)/((-10)/(-25)). Which is bigger: u or -0.06?
u
Let v be (-30)/(-48)*-266 + -3. Is -169 bigger than v?
True
Let k = -1331 - -1347. Is -7 at least as big as k?
False
Suppose -3*h - 2*h = 4*g + 30, -65 = 5*h - 3*g. Let a be 3 - (9 + -3) - (4 - -4). Are h and a equal?
False
Let k = 3 - 1. Suppose 0 = k*b + 2*b. Let s be ((-3)/(-2))/(0 + (-2)/(-4)). Is b greater than s?
False
Let h be 4/(-6) + -4*(-39)/(-36). Which is bigger: -7 or h?
h
Let i = -3 - -6. Suppose 0 = -i*a + g - 0*g, 0 = -g. Suppose a = 4*m - m - 24. Which is smaller: m or 6?
6
Let w be (-1)/(30/4) + 705/6975. Let j = -4.5 - -5. Let h = -0.5 - j. Is h greater than w?
False
Let y = 792 - 15837/20. Suppose -9 = 3*u + 6*z - 3*z, -5*u = -5*z - 15. Which is bigger: y or u?
y
Suppose -309 = -47*p + 302. Do -0.52 and p have the same value?
False
Suppose 5*o = 2*n + 26, -3*o - n - 4*n = -28. Let u be o*(2/2)/(36 - -3). Which is greater: -3 or u?
u
Let y = 845 + -844.9. Is y < -5.74?
False
Let f = -5 - -10. Let b be f/25 + (-64)/(-5). Let k = -10 + b. Which is smaller: k or -0.1?
-0.1
Let k be 300/32 - (-3)/(-8). Let j be ((-24)/(-10))/(k/60). Is 17 <= j?
False
Let n be 22 - 20 - (2 - -1). Is n <= -0.1?
True
Let d be 2/3 - 72/27. Let s be (4 - (-2 + 4))/d. Let p = -3 + 7. Which is smaller: p or s?
s
Let y(j) = -j**3 + 5*j**2 + 4*j + 13. Let g be y(6). Is g less than -2/227?
False
Let k = 4.69 - 5.4. Let u = 36 + -36. Which is greater: k or u?
u
Let h be (2/((-48)/(-4)))/(19/(-114)). Which is bigger: -26/37 or h?
-26/37
Let f(h) = h**2 + 13*h - 10. Let x be f(-14). Suppose 0 = -3*n - 3*z, 10*z = x*n + 5*z. Is n not equal to -3/20?
True
Let x = 264461/21 - 12591. Are 1 and x equal?
False
Let h = 26 - 24. Suppose 0 = -h*q - 10. Is -5 < q?
False
Let 