et s be -4 + (l/(-10) - (-8)/20). Are s and 2 non-equal?
True
Let b be 8/(-5) + (-832)/(-320). Which is smaller: -70 or b?
-70
Let f = -3.4 - -2. Let j = f - -1.1. Let k = 1 - 4. Is k greater than j?
False
Suppose -3*c + 54 = -15. Let t = c - 70/3. Let r = t + 0. Is r < -0.03?
True
Let a = 57.2 - 64. Let q = a - -4.8. Let p = 3/149 - -265/1639. Do q and p have different values?
True
Let d = 7 - 12. Let u = -2.855 + 2.655. Which is bigger: d or u?
u
Suppose -y - 2 = -19. Suppose 4*b + 85 = 21. Let k = 34 + b. Which is smaller: k or y?
y
Suppose 61 + 8 = 3*g. Suppose -43 - g = 11*c. Is c > 0?
False
Let s = -25.982 - 0.018. Let l = 7236 - 7233. Which is smaller: l or s?
s
Let d(n) be the first derivative of -3*n**2/2 + 28*n - 10. Let s be d(9). Is s > 7/12?
True
Let l be (18/88)/((-3)/(-32)) + -2. Suppose -3*j = 2*c - 23, -5*j + 3*c + 9 = -c. Suppose j = 7*d - 2*d. Is d at least as big as l?
True
Let b = 378 - 380. Is b smaller than -0.034?
True
Let q(f) = -f**3 + 6*f**2 + 17*f - 34. Let b be q(7). Is 2/21 at most as big as b?
True
Let d be 1/2*108/15. Suppose -2*s = 12*s - 42. Which is greater: d or s?
d
Let k = 4.2 - 6.2. Which is smaller: 0.8 or k?
k
Suppose -5*q - 4*b = -2*b + 57, q = -2*b - 13. Let m be (-1 + 0)*(-10 - q). Which is greater: 5/33 or m?
5/33
Let v be ((-4)/1 - -67) + -4. Suppose -2*l - v - 1 = 0. Is l <= -30?
True
Let n = 115 + -45. Suppose -2*h - 3*v + 4*v = 61, -2*h - 2*v - n = 0. Are -33 and h equal?
False
Let n be (-2947)/6 + 13/78. Is -490 > n?
True
Let w be -1*-1*0/(-1). Let o(k) = 2*k + 4. Let z be o(-4). Which is smaller: z or w?
z
Suppose 3*x - 5*o = -335, -10*x - 5*o + 445 = -14*x. Which is bigger: -109 or x?
-109
Let x = 15 - 15. Suppose 11*q - 14*q + 3 = x. Is 2/107 at most as big as q?
True
Let n = 6 - 16. Let f(w) = -w**3 - 5*w**2 + 3*w + 3. Suppose 20 = -7*h + 3*h. Let t be f(h). Is n smaller than t?
False
Let j be 532/126*(5 - 1 - -2). Which is greater: j or 25?
j
Let p = -3104 - -3103.9. Are 20/11 and p nonequal?
True
Let x = 471/7 + -2791/42. Suppose 3 = 2*z + 1. Are x and z equal?
False
Let a be (2/(-8) - 0)*0. Let r(f) = -2*f**3 - 4*f**2 - 3*f - 2. Let g be r(-2). Let u be 2/(3*g + -2). Which is smaller: u or a?
a
Let w = -332.04 - -324. Let g = 8 + w. Let m = -50 + 152/3. Which is greater: m or g?
m
Suppose -o - 5*s - 29 = 0, -2*o + 3*s = -2*s + 13. Let t be 1 - (-10 + (-75)/(-3)). Is o greater than t?
False
Let z = -1.19 + 0.19. Let d = 0.08 + 0.72. Let m = 4.8 - d. Does z = m?
False
Let o = -267 + 266.8. Is o > 55/6?
False
Let c = -874 - -977. Is c at most as big as 107?
True
Let b(r) = 3*r**2 + 7*r - 4. Let u be b(-6). Is 61 > u?
False
Let k(g) = -g**3 + 12*g**2 - 9*g - 26. Let r be k(9). Suppose -4*y = -4*f + r, -5*y - 20 = -9*y. Which is smaller: f or 40?
f
Let c = 1083 - 1007. Is c greater than 76?
False
Let f(z) = -2*z**2 - 3*z - 5. Let w be f(-2). Let j(x) = -x**2 - 7*x + 1. Let c be j(w). Let r be 2 + (-162)/40 + 2. Which is bigger: c or r?
c
Let c be (-13)/65*-5*1/5. Are -6/19 and c unequal?
True
Let l = 2/11 - 15/22. Let m = -656 - -655. Which is smaller: m or l?
m
Suppose 0 = 2*s + 8 - 2. Let t be (-4)/(-4) + -3 + s. Is -4 at least as big as t?
True
Let p = 1583/110 + 6/55. Suppose 40 = 4*q - 4*b, -6*b = -q - 2*b - 5. Which is bigger: q or p?
q
Let c(m) = 3*m**2 - 9*m. Let b be c(3). Is 1/2394 >= b?
True
Let v(r) = -3*r**3 + 5*r**2 + 19*r + 12. Let f be v(-2). Let s = -13 - -30. Is f less than or equal to s?
False
Let v be (-2 + 0 - -1)*0. Suppose v = -15*t + 13*t. Suppose 2*g = -t*g + 26. Is 13 smaller than g?
False
Suppose -5*s = -3*d - 874, 5*d + 1164 = -2*s - 303. Do -292 and d have different values?
True
Let o be 82*(-75)/70 - 2/14. Is -87 >= o?
True
Let t = 1/542 - -18834/271. Is 70 greater than or equal to t?
True
Let j = 246 - 245.5. Is j less than or equal to 2?
True
Let r be 4*(2/(-4) + 0). Let y(k) = 7*k**2 - 3*k - 3. Let g be y(-2). Let w = -31 + g. Which is smaller: r or w?
r
Suppose 5*f + 32 = -3*y, 3*f + 20 = 2*f - 4*y. Is f at most 10/7?
True
Let b = 35.24 - 5.24. Which is greater: 1 or b?
b
Let u(n) = n**3 + n**2 + n - 4. Let p be u(0). Let r be p/(-14) - 82/(-7). Suppose -8 = -2*d - r. Is d < 0?
True
Let b(c) = -c**2 - c - 1. Let n(p) = -2*p**2 - 2*p. Let g(w) = -3*b(w) + 4*n(w). Let j be g(1). Is -9 smaller than j?
True
Let a = -9 - -13. Suppose -5*z - 5*g = 55, z - 4*z = -a*g + 26. Is -12 != z?
True
Let y = 121.9 + -123. Let v = 3 - 3. Which is smaller: v or y?
y
Suppose 1110*t - 1111*t = -103. Is t <= 102?
False
Let v = 26/335 - 6584/93465. Are v and 1 unequal?
True
Suppose 3*l - 10 - 11 = 0. Let z(b) = -3*b + 32. Let m be z(l). Is 9 > m?
False
Let l(z) = 7*z**3 - 28*z**2 + 2*z + 10. Let g be l(6). Is 527 at most g?
False
Let n = -61 - 70. Is -1 smaller than n?
False
Suppose 0 = -2*f + 6*f + 84. Let u = f + 103/5. Which is smaller: 1 or u?
u
Let b(r) = -r**2 - 6*r + 1. Let u be b(-3). Let d = 13 - u. Let y be -1 - (1 + (-4 - -1)). Is y greater than d?
False
Let s = -120 + 120.011. Is s greater than 2/3?
False
Let m = -0.234 + 1062.234. Which is bigger: m or 0.1?
m
Let z = -0.1 - -0.3. Suppose v = -22*v - 322. Which is bigger: v or z?
z
Let o(j) = j**2 + j + 2. Let x(l) = -l**3 + 3*l**2 + 8*l - 4. Let a(i) = 2*o(i) - x(i). Let b be a(2). Is b less than 5/6?
True
Suppose 2*z + 3*u = 236, 7*z - 5*z - 5*u = 204. Are z and 114 equal?
False
Let f be (2/4 + 0)/(117/(-78)). Is f > -346?
True
Let j be (-36)/(-7 + 5) - (2 - -6). Let p be 2/12 - (-116)/24. Is p greater than or equal to j?
False
Let c = -1.8 - -325.8. Which is greater: c or 0.1?
c
Suppose -q - 12 = -t - 57, t - 2*q + 44 = 0. Is -44 at least as big as t?
True
Let z(i) = 2*i**3 + 23*i**2 + 38*i + 37. Let r be z(-10). Which is bigger: r or -566/13?
r
Let b(a) = a**2 + 2*a - 4. Let m be b(-4). Let g = m - 4. Let l be (g + 1)*(6 + -7). Is l < 2/29?
True
Let n(x) = -3*x - 1. Let u(a) = 13*a + 5. Let i(y) = 9*n(y) + 2*u(y). Let l be i(3). Let s(g) = -g**3 - 3*g**2 - g + 1. Let q be s(l). Is q < -1/8?
True
Let p = -1 + -1. Let r = 72 + -71.71. Let j = r + -0.19. Are j and p equal?
False
Suppose -3*j = -5*y - 15, -1 = -4*j + y + 2. Suppose j*o = 6*o. Let g be (-18)/(-136) + 3/(-12). Which is smaller: o or g?
g
Let o = -220 - 148. Is -366 <= o?
False
Let s(h) = h**3 - 8*h**2 + 6*h + 11. Let a be s(7). Suppose 0 = a*i - 18 - 2. Does i = -15?
False
Let d(m) = -328*m - 1212. Let k be d(-6). Which is smaller: 757 or k?
k
Let h(n) = 8*n + 34. Let u = -59 - -51. Let y be h(u). Which is greater: -31 or y?
y
Suppose 4*p = -2*h - 2*h + 180, 5*h - 221 = -3*p. Let l = -44 + h. Which is smaller: l or 1/4?
l
Let s = -86.34 - -85.2. Is 1/7 equal to s?
False
Let j = -12.1 - -1.1. Let h = -0.15 - -10.15. Let b = j + h. Which is smaller: b or 1/2?
b
Let d(t) = -10*t**2 + 21*t + 4. Let z(c) = 7*c**2 - 14*c - 3. Let b(w) = 5*d(w) + 7*z(w). Let s be b(7). Which is greater: -6 or s?
s
Let u = 135 - 156. Let k be (3/4 + u/28)/2. Are 4/41 and k equal?
False
Let l = -33.3 + 24. Let b = 4.2 + l. Let p = b + 5. Which is greater: -1/4 or p?
p
Let r = -0.06 + -0.04. Let z be 3/(32/20 + -3). Let m = z - -61/35. Which is greater: m or r?
r
Let t = 23 - 23. Let k be (1 - -1)/(2/6). Let s be 0/((-3)/k*4). Is t less than or equal to s?
True
Let l = -4 - 2. Which is smaller: -5 or l?
l
Let c be (-758)/16 - (-6)/16. Does c = -193/4?
False
Let k = -1/468 - -983/21996. Does k = 1?
False
Let k be -2*20*50/6755. Let y = k + 2/193. Let f = -0.5 + 0.7. Which is greater: y or f?
f
Let c(d) = d**3 - 11*d**2 + 9*d + 7. Let y be c(10). Is -0.047 greater than y?
True
Let g = -7.98 - -11.98. Is g smaller than -39?
False
Let t(i) = 212*i**2 - 4*i. Let a be t(1). Are a and 208 non-equal?
False
Let p(g) = g**3 + 7*g**2 + 11*g + 10. Let q be p(-5). Suppose 0 = -q*a + o + 57, 5*a + 4*o - 24 = 4*a. Which is smaller: 11 or a?
11
Let w = -43 - -47. Let s be (-2)/(-4)*w/(-26). Is 0 greater than or equal to s?
True
Suppose 12*j = j + 385. Let v be 1 + -3 + ((-640)/j)/(-8). Is -2.4 > v?
False
Let s = -356.99 + 358. Is s greater than or equal to -2/3?
True
Suppose -88 = -17*s + 1000. Which is greater: s or 60?
s
Suppose -11*y + 50 = -6*y. Let j be ((-8)/y)/(1/(-10)*-2). Which is smaller: -2 or j?
j
Let q be (-2 + (-3 - 0))/1. Let j = -6 + 25. Suppose 2*b + 5*u - 14 = 0, 5*b + 2*u =