 smaller: -54 or j?
j
Let y(o) = 4*o**2 + 4*o + 3. Let h be y(-2). Suppose 8*g + 605 + 3 = 0. Let m be (-258)/(-21) - (3 + g/28). Which is smaller: h or m?
h
Let a be (1/5)/((-21)/119) + (-6)/(-45). Does 6/1115 = a?
False
Let p be (-566)/(-28)*6 - 2/7. Let m = p + -117. Which is smaller: m or 7?
m
Let z = -6786 - -6787. Is z >= 5/9?
True
Let j(s) = 9*s + 9. Let u(t) = -t. Let v(y) = -j(y) - 4*u(y). Let m be v(-2). Which is greater: m or 11.1?
11.1
Let f(p) = -10*p - 53. Let k be f(-12). Let q = k - 63. Which is greater: q or 8?
8
Let c be (-32)/(-6) - 0 - (-16)/24. Suppose -46*j + c = -40*j. Let f be (-6)/15*(-10)/(-322). Which is greater: j or f?
j
Suppose -220 + 240 = r. Suppose 17*l + 25*l = -r*l. Which is bigger: 2/161 or l?
2/161
Let p(c) = 6*c - 177. Let z be p(30). Suppose 0 = -z*d + 11 - 14. Which is bigger: d or 2.1?
2.1
Let z be 4/((-1 - -8)/14). Suppose z*g = 26*g - 108. Which is smaller: 0 or g?
0
Let t(k) = k**3 + 15*k**2 - 32*k + 34. Let u be t(-17). Which is smaller: -671 or u?
-671
Let o(x) = -x**2 + 3. Let g(b) = 7*b**2 - 6*b + 2. Let d(u) = -g(u) - 2*o(u). Let s be d(3). Is s bigger than -33?
False
Let f be ((-14)/35)/((-36)/(-30)). Which is smaller: 17.42 or f?
f
Suppose 3*q + 10*g - 8385 = 7*g, -8392 = -3*q + 4*g. Suppose 31*o - q = -409. Is o > 75?
True
Let b(z) = -z**3 - 3*z**2 + 3*z - 2. Let f be b(-4). Suppose 0 = f*m - 10 - 0. Suppose 2*q + 16 = 5*i, 2*q + 2 - 6 = -m*i. Is 3 at most as big as i?
False
Let m = 21.8891 - -0.1109. Let g = -154 - -155. Is g bigger than m?
False
Let q = 586 - 584.868. Let y = -0.668 + 0.8. Let n = q - y. Is -0.02 smaller than n?
True
Let g(q) = q + 7. Let f be g(-7). Let o(k) = -35*k - 11 + 48*k + f*k**2 - 2*k**2. Let u be o(8). Which is smaller: -34 or u?
u
Suppose 4*z + z = -31*z - 527508. Is z < -14652?
True
Let d = -16322/5 - -3281. Let g be 1/(-10) + 2415/150. Is g less than d?
True
Let b = 10200 + -9755. Is 449 not equal to b?
True
Let p be (6/4)/((-407)/57794). Which is greater: p or -170?
-170
Let l = -1.967 - -2.167. Let c = -8 + -4. Is c greater than l?
False
Let v = 0.0432 - -0.2568. Let j = -21 - -21.035. Let r = 13.035 - j. Is v less than r?
True
Let o be -7 + -6*(-99)/54. Suppose 3*l + 7*u = 2*u + 4, 3*u - 8 = -l. Let t = 13 + l. Which is smaller: o or t?
o
Suppose -5*u + 1485 = 4*u. Let o be (-3 - -13)*u/120. Which is bigger: o or 14?
14
Let q = -139.167 - 1.033. Let y = q + 142. Is 3 smaller than y?
False
Let u = 0.26449 - 0.06449. Let z = 8 - 8. Let b = 3 + z. Which is bigger: u or b?
b
Let q = -3987 + 6328. Suppose 24*v - q - 803 = 0. Which is smaller: v or 130?
130
Let w be (-5 - (-1 + -4))/(1/1). Let m = 7/107 - 400/11021. Is m smaller than w?
False
Let v = 193 + -194.21. Let w = 0.01 + v. Let i = 34677 - 34676. Is i smaller than w?
False
Let y(r) = 183*r**2 - 254*r + 22. Let l be y(-7). Is l greater than or equal to 10766?
True
Let n(x) = 24*x - 47. Let v be n(8). Let i = v + -147. Are -3 and i nonequal?
True
Let j(w) = -2*w**3 + 7*w**2 + 2*w - 6. Let i(g) = -g**2 + g. Let x(h) = -3*i(h) - j(h). Let f be x(4). Which is smaller: f or 54?
f
Suppose 2273*h - 2216*h - 2280 = 0. Which is smaller: 41 or h?
h
Suppose 7*i - 12 = 3*i - 4*w, -2*w + 6 = 0. Which is bigger: i or 2/2173?
2/2173
Let d = -628.3 + 642. Let s = 73.7 - d. Which is smaller: -1 or s?
-1
Let g(n) = -9*n**2 - 34*n - 4. Let r be g(-3). Let o(l) be the third derivative of l**4/24 + 10*l**3/3 + 2*l**2. Let i be o(r). Is i at most 36?
False
Suppose 5*k = -5*q - 180, -3*q = -4*k - 36 - 94. Suppose l + 96 = -2*l. Is l less than or equal to k?
False
Let i = -14 - -22. Let w = -10.05 - -3.05. Is i bigger than w?
True
Let q = 0.863 + 52.477. Let d = 53.1 - q. Is 2/17 not equal to d?
True
Let z = -2742 - -2736. Which is smaller: z or 2?
z
Let k = 25649/3 + -8629. Let y = -79 - k. Let z = 1 + 1. Which is bigger: z or y?
z
Suppose 3*a - 35 = -4*z, 2*z - 36 = -3*a - 11. Let r = 3 - a. Let k = -131 - -131.3. Which is bigger: k or r?
k
Let z(a) = a**2 - 6*a - 82. Let b be z(13). Suppose 28*h + n - 41 = 24*h, 3*n = -b. Is 27 at most as big as h?
False
Let t be (1/(-4))/(1/23). Suppose 1276*d = 1260*d - 96. Is d > t?
False
Let i = 434 + -206. Suppose 2*o + o - i = 0. Let v be (8/14 - 0)*(-19)/o. Which is bigger: v or -1?
v
Let i(o) = -4*o**3 + 22*o - 4. Let p be i(0). Are -125/23 and p nonequal?
True
Let f be 6/(-21) + 68691/(-21315)*-40. Is f bigger than 130?
False
Let t = -5289221/490240 - -50091/766. Let p = 273/5 - t. Which is greater: p or 0?
0
Suppose 2*b - 20 = -4*d, 4*d - 8 = -6*b + 5*b. Let c be 5151/18 - (0 + 2/b). Suppose 4*s + 5*l - 375 = 0, 3*s = l - 0*l + c. Which is bigger: s or 96?
96
Let b = 1058/9 - 117. Let c(k) = -3*k - 1. Suppose 4*y = -3*v - 4, 5*y + 2*v = y - 4. Let n be c(y). Which is greater: n or b?
n
Let s = -3523 - -584825/166. Are 0 and s nonequal?
True
Let c = -188 - -188. Let l = 0 + 2. Suppose 3 = l*t + 1. Which is bigger: t or c?
t
Let v = -37253 - -37253. Are v and -2/11889 equal?
False
Let x = -17928359/198225 + 1/22025. Is x less than -91?
False
Let w(s) = s**2 - 6*s + 63. Let r be w(7). Is 51 <= r?
True
Let z = -235/3 + 79. Let d = -1151 + 1160. Is z greater than d?
False
Let t = -18138198/43 + 421842. Which is smaller: t or 22?
22
Suppose 0 = 4*v + 5*k - 1722, 3*v - 5*k = 1646 - 372. Is 418 greater than v?
False
Let j(a) = 20*a + 182. Let z be j(-9). Suppose -5*d + 4*p - 16 = 0, -z*p + 12 = d + p. Are d and 2/1609 equal?
False
Let j = 1016.1468 - 0.1468. Which is smaller: -1 or j?
-1
Let v = 8 + 121. Let s = v - 85. Is -1 at least s?
False
Suppose -4*z + 117 = -3*h, 0 = -117*h + 121*h - 4*z + 152. Is h greater than or equal to -59?
True
Let c = -192.8 - 1.2. Let p = c - -198. Is 0.09 > p?
False
Let l = -5.3 + 0.1. Let v = 4.2 + l. Let o = v + 1. Which is greater: -16 or o?
o
Let u be ((-15075)/12 - -6)/((-33)/(-88)). Is u less than -3333?
True
Let z be (3/9*14)/(2/15). Suppose 113 = -2*t - 2*a + z, -3*t - 2*a = 117. Which is smaller: -1 or t?
t
Let n = 29203 - 34730. Does -5525 = n?
False
Suppose 7*v + 4 = 11. Suppose -q + 5*q - 3*c = -290, -4*q = -2*c + 292. Let y = 84 + q. Which is bigger: y or v?
y
Let o(s) be the first derivative of s**3/3 - 15*s**2/2 + 5*s - 28. Let v be o(18). Suppose -4*y - 29 - 20 = m, m = 5*y + v. Is y greater than -13?
True
Suppose -2*f = -44 + 30. Suppose -f*n = 8 - 1. Are n and -1/127 nonequal?
True
Let p = -349/77 - -53/11. Which is smaller: p or 522?
p
Suppose 4*c + n = 75 + 1016, c + 3*n = 270. Is c at least as big as 270?
True
Let g be 3*((-160)/15)/(-8). Let w(t) = -t + 1. Suppose 2 = 3*i + l - 0, -3*i - 4*l = 1. Let m be w(i). Is m at most as big as g?
True
Let u = 4 - 8. Let z = u - 3. Suppose -l + 8*o - 1 = 10*o, -2*l - o = 11. Is l greater than or equal to z?
True
Let j = 166 - 68. Let p = j + -99.7. Let s = p + 0.7. Is 21 less than s?
False
Suppose 32*r + w = 28*r - 8371, 0 = -4*w - 12. Which is bigger: r or -6280/3?
r
Let j = -1202 - -1201.804. Is j at most 0.07?
True
Suppose -p + l = 2*p - 5, -5*p - l = -11. Suppose -h = p*h + 108. Let c = -36 - h. Is 0 at most c?
True
Let n = -40 + 62. Let z = n - 26. Let r be 1/z*-1*4. Which is smaller: -3/11 or r?
-3/11
Suppose 8*a + 784 = -0*a. Let t = -92 - a. Which is bigger: 0.05 or t?
t
Let d = 510.829 - -0.171. Which is smaller: d or 2?
2
Let h = 323/77 + -43/11. Is -3/1922 at most h?
True
Suppose -102*b = -104*b - 36. Let a be 8/(-6)*(-1431)/b. Do a and -105 have the same value?
False
Let b = 340/71 + -6811/1704. Which is smaller: -1/2 or b?
-1/2
Let s be (114/(-133))/(3/(-2233)). Is 638 less than s?
False
Suppose 281 = -4*t + 5*q, -2*q = -5*t + 2*q - 358. Let l = -70 - t. Let c be -4 - 1/(l/96). Are -2 and c equal?
False
Let t = 182 - 180. Let a be t/6 - ((-385)/15 + 8). Let z be (29/(-3))/(3/(-6)). Which is bigger: a or z?
z
Suppose 21*z = 51 + 12. Suppose 168 = -z*o + 198. Do 10 and o have different values?
False
Let t = -4236 + 4237. Which is smaller: -3058 or t?
-3058
Let d = 240 - 35. Let w = 331 - d. Do 0.2 and w have the same value?
False
Let l(u) = -9523*u - 19047. Let f be l(-2). Let r = -5/221 + 2403/28067. Does r = f?
False
Suppose -13786 + 142575 = 51*d - 35890. Which is bigger: d or 3230?
3230
Let d be 30/21*623/41652. Which is bigger: -0.2 or d?
d
Let u be (-1)/2*(2 + 0). Let m be -26