. Suppose 0 = -8*c + 12 + 20. Let y be (6/(-40))/(c/(-16)). Is y at most t?
False
Let a = 1702/3575 - 4/275. Is a < 5?
True
Let t(v) = -2*v**2 - 16*v + 3. Let d be t(-8). Suppose -6 = d*f - 0*f - 2*a, -5*f + 3*a = 9. Is -1/41 != f?
True
Suppose 24 = 9*n - 7*n. Suppose -n*d - 34 = 86. Does d = -1/3?
False
Suppose 0 = 15*n - 6*n + 7*n. Let p = -2567/11 - -233. Which is smaller: n or p?
p
Let o = -64589 - -3357905/52. Let d = 55/4 + o. Which is smaller: d or 0?
d
Let h(g) = -8*g + 140. Let w be h(21). Is -35 at most as big as w?
True
Suppose 3*g + 2*g = -2*r + 20, 2*r - 4 = -g. Let v be 343974/(-8827) - g/26. Let w = v - -274/7. Which is smaller: w or 0?
0
Let n = 19 - 20. Let w = n + 2. Which is smaller: w or -3.4?
-3.4
Let o = 603 + -564. Is 37 greater than o?
False
Let h(l) = -2*l - 9. Let f(n) = -3*n - 18. Let r(u) = -3*f(u) + 5*h(u). Let i be r(9). Let s be 1 + (5 - (-89)/118*-8). Which is bigger: s or i?
i
Suppose -k + 6*k - 18 = -4*q, q + 2 = 2*k. Let t be 4/(-2 + (k - 1)). Let v be (-42)/12 + (-12)/t. Is v bigger than -1/2?
False
Let d be (-15)/(-18)*30/8 + -3. Let z be 2/12*3*2. Which is smaller: z or d?
d
Let k = 120 + -98. Is k >= 19?
True
Let v = 33659/273 + 34/91. Which is smaller: v or 123?
123
Suppose 7*x = 5*x + 4. Let p be (-10)/(-15)*(x + -2 + -1). Which is smaller: p or -2?
-2
Suppose 91 = -3*c + 4*w, 2*w = 5*c - 40 + 201. Are -191/6 and c non-equal?
True
Let m be ((-138)/273)/((-14)/(882/(-27))). Which is smaller: m or -1?
m
Let b = -11.16 + 0.46. Let t = b - -11. Let r = -18.3 + 18. Which is bigger: t or r?
t
Let u(q) = -q + 10. Let r be u(9). Let w = -29 - -29. Let g = w + 4. Is g bigger than r?
True
Let h = 0.1 - 0.1. Let f = -8 + -56. Let n be 0 - (f/24 - (-2 - 1)). Is n != h?
True
Let z be ((-14)/(-28))/(1/((-12)/1)). Let s(o) = -o**2 - 6*o - 3. Let b be s(z). Is b greater than -3?
False
Let s(p) = p**2 + 3*p - 11. Suppose 4*i = 19 + 13. Let x be -1 + 4 + (0 - i). Let c be s(x). Is 0 equal to c?
False
Suppose -598 = -11*t + 1107. Is 155 at least t?
True
Let f = 2/137 - -216/3973. Let g be (20 - 20)/((-1 - -2)*1). Which is smaller: f or g?
g
Let r(j) = -4*j**2 + 5*j - 4. Let w be r(2). Let x(m) = m**2 + 4*m - 32. Let b be x(w). Which is bigger: 29 or b?
29
Let c be (-54)/6*(-3)/9. Let a be c + (-13)/(-17)*-3. Is 2 bigger than a?
True
Let n = 9 - 19. Let d be 159/105 + n/(-35). Do d and -2 have different values?
True
Let r be 1/((-8)/10)*4. Suppose 0*a = -a. Which is smaller: a or r?
r
Let r = 697 + -626. Is r smaller than -4?
False
Let k = 5.1 - 4.1. Which is greater: k or -2/11?
k
Let c(m) = m**3 + 14*m**2 - 10*m - 65. Let w be c(-15). Which is smaller: -139 or w?
w
Let z(m) = m + 1. Let y be z(0). Let g be (-2 - (-1 - 2)) + y. Suppose g*a + a - 2*r = -11, -2*a = 3*r - 10. Are a and -2/49 non-equal?
True
Suppose -11805 = 109*o - 94*o. Is -787 at most as big as o?
True
Let p = 8 + 2. Suppose -2*r - 3*r = -p. Let m = -59/4 + 16. Is m equal to r?
False
Let c = -0.1214 + 84.1214. Is 2 >= c?
False
Let y(i) = 18*i + 162. Let a be y(-9). Which is greater: a or 42?
42
Let v be (-2)/3 + 1 + (-777)/441. Let h = -16 + 16. Which is smaller: v or h?
v
Let l = 2 - 7. Suppose -4*g = -o + 5, 5*o + 7*g = 4*g + 25. Suppose o*z = -4*a - 0*z + 4, -5*a - 4 = 4*z. Do l and a have the same value?
False
Let l(b) = 111*b**3 + b**2 + 5*b - 5. Let n be l(1). Suppose -n = w - 5*w. Which is greater: w or 53/2?
w
Let v be (486/30)/((-4)/10). Is -1 less than v?
False
Suppose -5*d - 4*y - 352 = 335, 555 = -4*d - 5*y. Is d > -134?
False
Suppose 0 = -8*x - 0 + 16. Suppose o + x*z - 8 = 4*z, -59 = -3*o - z. Are 18 and o equal?
True
Let i be (3 - (-3396)/28)/(-7). Let y = i + 13/147. Is -17 less than or equal to y?
False
Let y be 153/(-12)*128/96. Is y at least as big as -34?
True
Suppose -7 = 5*p + 3. Let j = -401/390 + -9/65. Which is bigger: p or j?
j
Let l = 0.11 - 16.11. Let y = -0.107 + 10.107. Let g = y + l. Is -0.1 smaller than g?
False
Suppose -7 - 1 = -8*k. Let i be (-2)/((2/7)/k). Let j be ((-105)/(-12))/i*12. Which is smaller: j or -16?
-16
Let b(s) be the third derivative of s**6/240 - s**5/15 - s**4/2 + 4*s**2. Let p(a) be the second derivative of b(a). Let w be p(6). Are w and 9 equal?
False
Let j = 273 - 273. Let l be (7/2)/((-2)/4). Let i(b) = -b**2 - 6*b - 1. Let w be i(l). Which is greater: j or w?
j
Let y be 0 - -3 - 1792/592. Let q(x) = -x**2 + 7*x - 2. Let m be q(10). Let w = -31 - m. Do y and w have different values?
True
Let t = 404 - 404. Which is smaller: -5/39 or t?
-5/39
Suppose z - 4*x + 9 = -2*x, -x = 3*z - 8. Let k = 1/135 + -1763/1080. Let u = k - -35/24. Which is greater: z or u?
z
Suppose 5*d + 5*l = 8*d - 56, 0 = -4*d - 3*l + 65. Is d not equal to 22?
True
Let i = -2810 - -2809. Let j be (-4)/10 + 52/(-70). Is i bigger than j?
True
Let q be 1*(10 + (-577)/58). Which is smaller: q or -3?
-3
Suppose 4*x + 7 = -u - 0*x, 77 = 4*u - 5*x. Let h = -12 + u. Is h < -17?
False
Let z be (1/530*-5)/((-1)/12). Let p = z + 135/212. Is 0.8 not equal to p?
True
Suppose 3 = n + 2*n. Let g = 4525/308 - 162/11. Which is smaller: g or n?
g
Suppose 4*s + 1492 = -4*m, 8*s + 1868 = 3*s - 2*m. Let d be ((-56)/(-5))/(14/(-469)). Let o = s - d. Which is smaller: 1 or o?
1
Suppose -t - 4385 = 5*m, 0*t + 2*m + 17486 = -4*t. Let i be (-4)/(-10) + (-7856)/t. Let n = i + 1/437. Is n > 1?
True
Suppose -11*t - 4 - 7 = 0. Which is smaller: 10/81 or t?
t
Let t = 5.306 - -0.694. Does t = 82?
False
Let t = 46904/10941 + -2/1563. Is 4 less than or equal to t?
True
Let g(o) = 5*o - 4. Let m be g(0). Is 8 < m?
False
Let r(d) = d**3 - 14*d**2 + 4*d - 61. Let l be r(14). Let s be ((-3)/6)/((-2)/(-8)). Is l > s?
False
Let z(a) = a - 29. Let t be z(2). Are -23 and t equal?
False
Let r = 0.25 - -9.75. Let l = -3 - 11. Let b = l + 12. Which is greater: b or r?
r
Suppose 0*r = -5*r. Suppose -4*l - 42 + 18 = r. Let m be 3/l - (-13)/14. Is m >= 1?
False
Let n be (-1)/(-3) - 2/6. Suppose n*f = -f. Let p = 3/58 + -79/3770. Which is greater: p or f?
p
Suppose -3 = a + y, -y - 1 = -3*a + 6. Which is greater: 40/73 or a?
a
Let s = 75 + -86. Let d(l) = -l**2 - 10*l - 1. Let c be d(s). Which is smaller: c or -4?
c
Let x be (-2)/(-6) - ((-224)/24)/(-7). Are -1/233 and x equal?
False
Let a be 1/(2 - -1) - (-17)/(-33). Is a less than or equal to 7?
True
Let t be ((-22)/6 + 3)*9/(-36). Is t equal to 17?
False
Let t be 32/2 + 2/(-2). Let n be 4*(-6)/((-72)/t). Suppose -2*v + 4*z + 0 = -6, -4*z + 1 = n*v. Which is greater: v or -1?
v
Suppose 0 = 2*l + 3*t - 48, 3*t = 4*l + 6*t - 108. Let y = l + -34. Is y >= -13/5?
False
Suppose -1472*m = -1483*m + 814. Is 73 < m?
True
Let y = -9 + 7. Let x be 3*1 - (-8 + (1 - y)). Is x less than 8?
False
Let j = -0.9 + 1. Let q = j + -0.2. Let c = 1.2 - 1.19. Which is bigger: c or q?
c
Let j = -1 + 0. Let s be (-2)/4*(8 - (-597)/(-75)). Which is greater: j or s?
s
Let g be 6 - (1/((-6)/42) - 13). Suppose l - 108 = -3*l. Is l equal to g?
False
Let y be -10*(-2 + 3/2). Suppose -4*s = y - 29. Let o be 2 + -4 + -2 + s. Which is bigger: -2/17 or o?
o
Let h(k) = -k**3 - 9*k**2 - 10*k + 2. Let t be h(-8). Let p = 12 - t. Do p and -8 have the same value?
False
Suppose 5*l = 2*l. Let x be ((-10)/(-3))/(3 + -5 - l). Let o(b) = -b**2 - 2*b. Let j be o(-3). Is j greater than or equal to x?
False
Suppose -2*w = -8*j + 9*j + 11, -2*w = 5*j + 23. Which is smaller: j or -43?
-43
Suppose 3*h - 162 = -2*y - 63, 0 = -4*y + h + 177. Which is greater: y or 179/4?
y
Let j = 296 - 296. Which is greater: j or 2/733?
2/733
Suppose -5*u = -7*s - 1965, s - 3*s + 2010 = 5*u. Which is smaller: u or 399?
399
Let y = 2.7 + -2.732. Let c = 2.032 + y. Is c < 13?
True
Let k = -34 + 24. Let f(j) = -j**2 - 11*j + 10. Let h be f(k). Let s = 19 - h. Which is smaller: -2/9 or s?
s
Let l(j) = 2*j - 2. Let o be l(2). Let i = 160 + -160. Suppose o = -z - i. Is z equal to -2?
True
Let b = -95 + 94. Let o be (-4)/(b/((-10)/26)). Which is bigger: -0.1 or o?
-0.1
Suppose -310 = -2*h + 3*h. Let j be (-2 + (-612)/h)*50/(-20). Which is smaller: j or -2?
-2
Let j(u) = 2*u**3 + 13*u**2 + 4*u - 12. Let r be j(-6). Is -8/95 <= r?
True
Let x = 90 + -96. Let f be -4 - x - 2 - (-2)/18. Which is greater: f or 2/19?
f
Let f = 16 + -12. Let r(g) = -3*g + 6. Let c be r(3). Let z(p) = -p**2 - 5*p - 3. Le