32918 + 0.02918. Are u and o nonequal?
True
Let j be (5 - 1)/4 + 1. Suppose -j*v = -0*v - 4*v. Suppose -i + 6 = -m + 2*m, -4*m - 3*i + 20 = v. Which is greater: 1 or m?
m
Let b be 3/78*(-13 + 10 + -7). Suppose 0 = -0*m + 3*m - 12. Let a = m + -3. Which is bigger: b or a?
a
Suppose -13*y = -14*y + 14. Suppose 2*t + y = -0*q - 4*q, 4*t = -20. Which is bigger: -0.1 or q?
-0.1
Let p be (15/60)/((-1)/(-2)). Let n = 50 + -62. Which is bigger: n or p?
p
Let c = -19.4 + 26.6. Let q = 9.2 - c. Is q >= 0.8?
True
Suppose 0 = -5*o - 3*d + d - 339, -3*o - 192 = 5*d. Let l = o + 175. Let w = 77 - l. Is w equal to -29?
True
Suppose -9*t - 72 = 9*t. Let z be (-15)/184*t - 0. Which is bigger: z or 1?
1
Suppose -8*a + 6*a = -20. Let u(c) = c**2 - 9*c - 14. Let j be u(a). Let l be ((-4580)/(-1144) + -4)/(j/16). Which is smaller: l or -1?
-1
Let s = -81 + 83. Suppose -37 = -3*x + 5*i, 0*x + s*i = -4*x + 58. Let u = -44/3 + x. Which is smaller: 36 or u?
u
Let n = 3248 - 3246. Is n bigger than -66?
True
Let o(y) = -y**2 + 2*y - 3. Let z be o(-7). Let u = -0.86 - -0.66. Is u <= z?
False
Let b = -102582209/56 + 1831745. Let u = -548/7 - b. Is 3 bigger than u?
True
Let k = -2740.1 + 2740. Let b = 1.75 - 0.8. Are b and k unequal?
True
Let g = 5425 - 11158. Is -5732 equal to g?
False
Let t = 230 + -411. Let i be (-3 - (-4)/4)/(-3). Does i = t?
False
Let o be -2*(-4 - 3682/(-18)). Let y = 401 + o. Which is greater: -7 or y?
y
Suppose 0 = -5*c + 2*z + 2*z + 41, -5*c + 17 = 2*z. Suppose c*t = 2*r + 282, -r - 306 = -5*t - 5*r. Do 176/3 and t have the same value?
False
Suppose 28*d - 1100 = 3*d. Suppose -18*s = -29*s + d. Which is smaller: s or -3/10?
-3/10
Let x be (9/4 - 2) + (-40290)/(-272). Which is smaller: x or 147?
147
Suppose o - 3104 = d - 33, 5*o - 15376 = -2*d. Is 3076 less than or equal to o?
False
Suppose 3*y - h = 3*h - 14, 0 = -2*y - 4*h + 24. Suppose -3*m + 472 = y*d, 0 = 2*m - 6*m - 5*d + 641. Suppose 2*n + m = 9*n. Is n greater than 23?
False
Suppose 5*z = -7 - 473. Is 1/4 less than z?
False
Let d(h) = 8*h**3 + 2*h**2 + h - 1. Let u be d(-2). Let f be -57*(-28)/21*3/(-4). Which is smaller: u or f?
u
Let t be -148 + (1 - 1) + 2. Let h = t - -155. Are h and 11 unequal?
True
Let c(a) = -a + 2. Let x be c(-3). Suppose -x = -4*d - 1, 2*d - 5 = -3*i. Let k be (-12)/30*10/14. Which is smaller: i or k?
k
Let u = 8388 - 9341. Which is smaller: u or -956?
-956
Let l be 11552 - -15*((-168)/(-30) + -6). Which is bigger: 11545 or l?
l
Let i(s) = -2*s**3 + 46*s**2 - 8*s + 183. Let h be i(23). Let g = -317/4 - -7269/92. Which is smaller: g or h?
h
Suppose 311905 + 4477 = 177*m - 31*m. Is m greater than 0?
True
Suppose 5*j - 20 = -5*c - 0*j, -2*c + 4*j - 10 = 0. Let p be (-4)/(-2) + (c - -2). Let s = 5 - 4. Which is bigger: s or p?
p
Let j be (582 - -9) + (3 - 36/6). Which is smaller: 589 or j?
j
Suppose n = -3*r + 8*r + 19, -n + 14 = -4*r. Let s be 1755/(-850) + n/(-20). Which is smaller: s or -0.2?
s
Let k = 142857/280 - 3573/7. Suppose 0*y = -5*y - 3*v + 17, -5*y + 1 = -v. Which is greater: k or y?
y
Let z = -5733/50 - -161521/1850. Are -28 and z nonequal?
True
Let z = 0.05 - 14.55. Let i = -12.5 - z. Let n be -2 - 1*39/(-19). Is i at least as big as n?
True
Let u be 8/(-20)*(-6)/(288/(-40)). Which is bigger: 1/111 or u?
1/111
Let z = 173 + -128. Suppose -39*m = -z*m - 180. Which is smaller: -29 or m?
m
Let t be ((-4 - -6) + 12*1)*(-220)/(-385). Which is smaller: 13 or t?
t
Let w(t) be the second derivative of -t**4/12 + 13*t**3/6 + 3*t. Let o be w(8). Let y be 2*(14 + 1022/140 - (-4)/(-5)). Which is greater: y or o?
y
Let a = 1956 + -871. Which is smaller: a or -1/4?
-1/4
Let h = 3679 + -3250. Which is smaller: h or 428?
428
Let w = -21.4 - -21. Let b = -43.8 - -18.4. Let q = b + 25. Are q and w unequal?
False
Let f(o) = -3 - 4*o**2 + o**2 + 7 - 6. Let q be f(-2). Let i be 1/7 + 478/q. Which is smaller: i or -35?
-35
Let r = 34 - 20. Suppose -3*c + 3*v + 14 = 2, -5*v - r = -2*c. Let i = 2.1 + -3. Which is bigger: c or i?
c
Suppose -8*t + 51590 = 6*t. Let u be 10*(t/(-925) + 16/4). Suppose -4 = -2*b - 0*b, 5*b - 6 = 4*s. Is u <= s?
True
Let m = 69 + -170. Let h(i) = -4*i**2 + 82*i - 515. Let s be h(9). Is s < m?
False
Let b = -4354 + 4424. Are 343/5 and b nonequal?
True
Let m = -1144 - -1127. Let y = -19 + 6. Is m != y?
True
Let w = -10/9129 - -182908/150308985. Which is smaller: w or 0?
0
Suppose -4*a - 2*j = -0*a - 16, -5*j + 10 = 0. Suppose -3*k = -3*m + 3, -4*k - a*m = -5*m - 6. Suppose 2*x + k*h - 10 = 0, -8*x + 6*x = 3*h - 8. Is x <= 10/19?
False
Let k(v) = -v**2 - 13*v + 32. Let o be k(-12). Suppose 325 = -5*a + 105. Let z = a + o. Which is smaller: -3/7 or z?
-3/7
Let x = -20934 - -19888. Is -1048 at most as big as x?
True
Let o = 818/12973 + 474836583/635677. Let i = o + -747. Let j be 12/12*(-25)/(-10)*(-2)/(-5). Is j bigger than i?
True
Suppose 10*j = -g - 957, 79 = -j + 4*g - 29. Which is bigger: 8 or j?
8
Suppose -13680*h = -13600*h. Which is smaller: -2 or h?
-2
Let w be (-13234)/(-29736)*-1 + 99/231. Let t = -2/177 + w. Which is smaller: t or -1?
-1
Let f be (-4)/(-44) + 45/(-55). Let o(q) = q**2 + 13*q + 18. Let t be o(-12). Let c be 21/(-15) - t/(-15). Is f != c?
True
Let c be 10/(80/(-56)) - 195. Let n = -250 - c. Let d = -0.3 - -1.3. Which is bigger: n or d?
d
Suppose -3*q + 207*i = 212*i + 1957, -5*q - 3230 = 2*i. Which is greater: q or -641?
-641
Suppose 0 = m - 2*h + 1283, -5*m + 6*m = -h - 1286. Is -1285 greater than m?
False
Let i be (-33150)/100*8/6. Let r = 7511/17 + i. Which is bigger: r or 0?
0
Let y be 2*1*(-6)/(-12). Let w = -1 + y. Let k be (-2 - (-308)/63) + (-1 - 1). Is k >= w?
True
Let n = -15 + 13. Suppose -g + 500 = 3*g. Let y be (-1 + 0)*75/g. Is y at least as big as n?
True
Let c = -134 - -113. Let n be (-10)/((-30)/c) + 25. Is n != 15?
True
Suppose 22*m - 7 = 15*m. Let z(a) = -1381*a**2 + 3*a - 2. Let u be z(m). Let b be (-4)/(-14) - (-6 + u/21). Is 72 at most b?
True
Let b(m) be the first derivative of m**4/4 + 7*m**3/3 + m**2 - 37*m - 62. Let n be b(-7). Is -52 > n?
False
Suppose 92*m - 144*m = 301*m + 150*m - 4024. Let f(u) = -u - 4. Let y be f(-6). Let k be 8 - (2 + -1 - y). Is k <= m?
False
Let m = 6.3 + -5.3. Let i = -6.216 - -0.216. Do m and i have the same value?
False
Let l = 522 + -873. Let u = -332 - l. Which is bigger: 16 or u?
u
Let m be (-4 - -1)/(195/4420). Let g be m/(-442) + (0 - 0). Is g not equal to -27?
True
Let i(n) = -2*n**3 + 169*n**2 + 80*n - 740. Let k be i(85). Is k at most as big as -1166?
False
Let f = 12490 + -12407. Is 115 != f?
True
Suppose 2*w + 2*w = 4. Let j be (-2)/w + (2 - -1). Let p = -66752 + 66753. Is j at least as big as p?
True
Let o = 17274.7 - 17140.7. Let f be ((-2)/6)/((-14)/12). Do f and o have the same value?
False
Suppose -242*k + 236*k = 2568. Does -428 = k?
True
Suppose 3146 - 238 = 4*k. Let n = -732 + k. Let u = -7 - -1. Which is smaller: n or u?
u
Suppose 0*l - 3*l = -33. Let g = l - 13. Let w = -1362/143 - -112/13. Is w less than or equal to g?
False
Let r be (-300)/1708 + (-3)/(-21). Is -2.4 less than r?
True
Let w = 14.5 + -0.5. Let t = w + -13. Let m = 6323/11 - 575. Which is greater: t or m?
t
Let u(v) = 6*v**3 - 4*v**3 + 6*v + 13 + 6*v**2 - 3*v**3 + 0*v**3. Let w be u(7). Suppose r + 2*a - 6 = 0, a - w*a = -5*r. Which is smaller: 14/5 or r?
r
Let x = -299.3 + 166.2. Let f = -133 - x. Is -9 <= f?
True
Let k(l) = -13*l**2 + 154*l + 28. Let j be k(12). Let c be j*(1*-2 + 140/16). Is 27 >= c?
True
Let d(m) = m**3 + 3*m**2 + 2*m - 5. Let p be d(-4). Let x = -13 - p. Let l be (-87)/4*890/(-1335). Is x at least l?
True
Let n(s) = s**3 + 15*s**2 - 98*s + 792. Let w be n(-25). Which is greater: w or -3003?
-3003
Let s be (-6 + 825/99)/((-1)/502). Which is smaller: s or -1171?
s
Let i(t) = -139*t - 1114. Let m be i(-8). Is m bigger than 1012?
False
Let j = -3931 + 4193. Is j equal to 259?
False
Let q = -22.766 + -133.634. Which is smaller: 1/3 or q?
q
Suppose -4*t - 3030 = -2*p, 14*p - 4*t - 12847 = 8363. Which is smaller: p or 1518?
p
Suppose 15*o = 183 - 33. Suppose -34 = -o*q - 34. Is 0.27 != q?
True
Let i = 2645 - 2587. Is i smaller than 748/13?
False
Let c(k) = 3*k**2 - 15*k + 3. Let u be c(5). Suppose 4*p + 19 = u*p. Suppose 5*v + 5 = -2*j - 12, -2*j + 3*v = 57. Which is sm