ich is smaller: -0.07 or u?
-0.07
Let q be (-576)/210*(-320)/6. Let b = 146 - q. Let u be 18/(-30)*(-2)/(-3). Are u and b equal?
False
Let q = 683/4 - 845/4. Let d = q - -40. Which is smaller: -309 or d?
-309
Let r = -1521.15 + 1523. Is -9 > r?
False
Let u(b) = b**2 + 29*b + 118. Let p be u(24). Suppose 2*m - 550 = -2*c, 37*c = 32*c - 2*m + p. Is c less than 279?
False
Let h = 218 - 101. Suppose -414 + h = 3*l. Let n = -100 - l. Is n != -6/77?
True
Let l = -12587 + 12643. Which is smaller: l or 517/9?
l
Let v(r) be the first derivative of -r**4/4 + 8*r**3/3 + 2*r**2 + 28*r + 10. Let f be v(9). Do -17 and f have the same value?
True
Let n = 204849 - 1436285/7. Is n at most as big as -335?
False
Let a(l) be the third derivative of 0*l - 1/60*l**5 + 0 + 0*l**4 + 1/3*l**3 - 23*l**2. Let y be a(-1). Are y and 9/10 equal?
False
Let o = 14420 + -100740/7. Let b = -3221/112 + o. Let r be 2/4*(-21 + 7 - -12). Which is bigger: r or b?
b
Suppose -345*m + 343*m - 2*t + 44 = 0, t = -4*m + 70. Let o(u) = u + 1. Let n(s) = -4*s + 29. Let p(g) = n(g) + 2*o(g). Let q be p(m). Is -6/17 greater than q?
True
Let h be 14/35 + (9 - 15659/(-35)). Which is smaller: h or 456?
456
Let h = -46.94 - -0.94. Let x = h + 28. Let g = x - -18.1. Is -0.8 greater than or equal to g?
False
Let l = -13 - 98. Is l less than or equal to -104?
True
Suppose -19*t - 51 = -36*t. Suppose -t*w + j - 5 + 7 = 0, -3*j - 6 = -w. Which is smaller: w or 6/29?
w
Let b = -296 + 288. Let i = -8 - b. Is i at least as big as 14.6?
False
Let n be (-1)/(-4) + 30/8. Let r be (n/(-6))/(10/6). Let g(t) = -t**3 - 38*t**2 + 113*t - 410. Let u be g(-41). Which is smaller: u or r?
r
Let i = -22130 - -22127.1. Let q = -2.2 + 4.3. Let g = 2 - q. Are i and g nonequal?
True
Let s = -31.3 - -33.3. Are 691 and s non-equal?
True
Let q be ((-10)/(-50) - 6/(-10))*20. Let h be (-7)/4 - 5/(-20)*3. Let n be h + -2 - -3 - q. Is -14 at least n?
True
Let q = 80 + -113. Let y = q - -32. Let b = 0.09 - 0.09. Do y and b have the same value?
False
Let r = -828 + 833. Let k = 8305653 - 5639542100/679. Let p = 10/97 - k. Do r and p have the same value?
False
Let h(y) = -2*y - 15. Let z be (-34 + 0 + 1)*3/9. Let f be h(z). Suppose -d + f = -8*d. Which is smaller: 3.6 or d?
d
Let d be (-14 + 11)*(-1)/((-9)/(-6)). Let r be (3 - d)/(215/5). Is r at least as big as 1?
False
Suppose 0 = -4*r + 4*j - 104, 4*r = j - 3*j - 80. Is r at most -595/27?
False
Suppose 4*p + 5*m = 10408, -4*p - 2*m + 10398 + 22 = 0. Do 2606 and p have the same value?
False
Let d = -67.101 - -0.101. Let h = -61 - d. Let r = h - 5.8. Is r < 0.4?
True
Suppose -11*h + 8985 = 988 + 253. Is 706 > h?
True
Suppose f - 6 = 53 + 19. Is 62 less than or equal to f?
True
Let q = -168404/527 + 5564/17. Is q > 7?
True
Let g = -3778 - -60511/16. Which is smaller: 5 or g?
g
Let o = 29 + -26. Suppose -d = 2*d - 4*n - 44, 0 = 5*d + o*n - 25. Suppose 79 - 15 = d*j. Which is greater: 13 or j?
13
Suppose -107*k + 106*k = -4*i + 146, 2*i = -3*k + 66. Let t be 1375/210 + (-30)/i. Is 6 equal to t?
False
Let a = -11083/7 - -1543. Is a < -39?
True
Let f = -8/8209 + 44665/37408413. Is 0 at least f?
False
Suppose -5*g + 52 = 4*i, 4*g = -i - 0 + 46. Let p = -10 + g. Suppose 3*d + 2*o + p*o = -78, 5*d + 3*o + 119 = 0. Does -22 = d?
True
Let l be (12/(-45))/((-207)/2070). Let u = -0.9 - -0.6. Which is smaller: u or l?
u
Let b = -0.0099 - 1.0481. Let c = 0.358 + b. Which is smaller: c or -3?
-3
Suppose -485*f = -11*f + 8611158. Which is greater: -18166 or f?
-18166
Let r be ((-15)/4)/(48/104 + 74/(-104)). Suppose 0*h + 2*h = 4. Let c be h/3 - (-111)/9. Which is smaller: r or c?
c
Let s = -17.11 - -0.11. Let v = -689 + 671.9. Let d = s - v. Is d < -17?
False
Let x = -1398/11 - -1396/11. Which is greater: -41 or x?
x
Let x(u) = -u**2 + 33*u - 258. Let l be x(21). Is l equal to -479?
False
Let j = 0 - 0. Let p be 3/(-20) - 157/628. Which is smaller: p or j?
p
Let u be 8/1 + (-1)/(-1). Let v(r) = 13*r**3 - 10*r**2 + 11*r - 1. Let s(y) = 2*y**3 - 1. Let j(t) = -6*s(t) + v(t). Let h be j(u). Does 25 = h?
False
Suppose -5*m + 3*c - 27718 = 0, m - 6*m + c - 27706 = 0. Is -5540 less than or equal to m?
True
Suppose 5*z - 1 = 9. Suppose -3*y + 131 = z*a, -4*y - 171 = -3*a - 0*y. Suppose 0 = a*b - 57*b + 12. Do -7/4 and b have different values?
True
Let u = 4201 - 4200. Which is smaller: -4/519 or u?
-4/519
Let v be (3 - (-6)/(288/(-244))) + (-50 - -51). Which is bigger: v or 19?
19
Let v(y) be the third derivative of -y**6/120 - y**5/5 - y**4/2 + 2*y**3 + 61*y**2. Let r = -26 - -15. Let o be v(r). Are 24 and o equal?
False
Let f = -0.088 - -314.088. Let j = f + -313.9. Which is greater: j or 47?
47
Let r = 9272 + -11977. Do r and -2706 have the same value?
False
Suppose 5*o - 43 = -0*o + j, 2*j - 18 = -3*o. Let i(z) = z**3 - 6*z**2 - 18*z + 7. Let l be i(o). Let r be (-4)/3 + (-363)/l. Is 39 less than or equal to r?
True
Suppose -2*z - 12 = 2*z. Let m = -102866 - -102839. Which is smaller: m or z?
m
Let l = 205256/325 - 7463/13. Which is smaller: 57 or l?
57
Let k = 39.88 - 37.88. Which is bigger: k or -225?
k
Let o(j) = -29*j**2 + 318*j - 244. Let l be o(10). Which is smaller: 847/24 or l?
847/24
Let z(t) = -t**2 - 37*t - 81. Let y be z(-35). Let s = 27 + -18. Let a be (2/24)/(s/(-18)). Do a and y have the same value?
False
Suppose -3 + 38 = 7*q. Suppose 20 = -4*a, -w + 6 - 35 = q*a. Which is smaller: 2/25 or w?
w
Let c = 3758.76 + -3758. Is 0.06 >= c?
False
Suppose 212 = -3*k - 80*i + 82*i, 5*k = -5*i - 295. Is k greater than 2?
False
Let w(v) = 98*v**3 - 1. Let k be ((-2)/(-6))/(7/21). Let t be w(k). Is 95 > t?
False
Let c(m) = -22*m - 259. Let o be c(-15). Is 18 smaller than o?
True
Let y = 4.41635 - -0.18365. Is y smaller than -3/5?
False
Suppose 256*q - 62 = 258*q - 8. Suppose f + 2 = -0*f. Let l be -15*(f/(-4))/(q/(-36)). Which is smaller: l or -11?
-11
Let f = 28 - 47. Let t = 418.1 - 399. Let p = t + -19. Are p and f non-equal?
True
Let a = -26107/4103 + -3/4103. Is a less than or equal to -36?
False
Let w be (0 - 2*-50)/(19 - 17). Suppose -p + 30 = -3*s, 12*s + w = p + 13*s. Which is bigger: 44 or p?
p
Suppose 97*t - 325*t = 0. Which is smaller: -1/3195 or t?
-1/3195
Let y = 7376 + -7390. Which is smaller: -176 or y?
-176
Let c = -2/542083 + 3269548/4621257575. Which is greater: 1 or c?
1
Suppose 9 = 5*k + f, -k + 3*f + 5 = 4*f. Let n(y) = 65*y**2 + 2. Let i be n(k). Suppose i*a - 71*a - 4 = 0. Which is smaller: a or -1/82?
a
Suppose -4*h + f - 4*f = 159, 2*f = -10. Suppose -2*k + 60 = -2*c, -5*k - 115 = 4*c - 10*k. Which is smaller: c or h?
h
Suppose -5*t - 10*n - 41 = -8*n, 5*t + 11 = 8*n. Which is greater: -191 or t?
t
Suppose -3*z - 2*z - 3*y = -9218, 0 = -6*z - 5*y + 11063. Which is greater: z or 1842?
z
Let n = -454.882 + -1.118. Let z = -462 - n. Which is smaller: z or 29?
z
Let w = -9395 + 22322521/2376. Which is smaller: 0 or w?
0
Suppose -5*n + 330 = -2*n. Let b = 113 - n. Suppose -b*g = y - 16, -5 = -4*g - 5*y - 2. Which is greater: 11 or g?
11
Suppose 0 = 118*p - 113*p + h + 11, -4*p - 46 = 7*h. Is p greater than 5/5208?
False
Let z(q) = -q**3 - 5*q**2 + 14*q + 2. Let d be z(-7). Suppose -24 = -4*y - d*o, -o - 18 = -5*y + 19. Which is greater: y or 4?
y
Let b = 10441510955546/29435135 - 48597942/137. Let y = b - 1/443. Is y at most as big as -1?
False
Let r = 106.92 - -10.68. Let y = -4.7 + -107.3. Let z = r + y. Are 0.1 and z non-equal?
True
Let j = -5.44 + 34.44. Let s = -30 + j. Which is bigger: 154 or s?
154
Suppose n - c = 223, -4*c - 1115 = -7*n + 2*n. Let g = -356 + n. Let q be (56/4)/2*-19. Is q at most as big as g?
True
Suppose -34 + 19 = -15*z. Let k = -27261 - -30723145/1127. Is z at least as big as k?
True
Let l = 964/7 + -22081/161. Do 0.1 and l have different values?
True
Suppose -33*g + 27*g = -12. Let a(j) = j**3 - 4*j**2 + 3*j. Let m be a(g). Let k be m/4*-1*(-4 - -4). Which is smaller: k or 1/143?
k
Let f = 1543 - 834. Suppose -f*c = -714*c + 5. Which is bigger: -4/163 or c?
c
Let f = 473/357 - -1/119. Let w = 250 + -210.8. Let l = w - 38.2. Which is smaller: l or f?
l
Let y = 123/7459 - 16711481/201393. Let u = -83 - y. Are 1 and u unequal?
True
Suppose -3*j + 12 = 5*f - 41, -4*j = 5*f - 54. Suppose 17 = 9*x - f. Let u(y) = y**2 + 3. Let i be u(0). Is i >= 