d -2969 have different values?
False
Let w(x) be the first derivative of x**4/4 - 7*x**3 + x**2 - 41*x + 47. Let t be w(21). Let r be (-2 + 6/4)*-3. Is r smaller than t?
False
Suppose 0 = -4*z + j - 0*j + 239, 0 = 4*z + 5*j - 269. Suppose -64*d + z*d = 0. Are -2/583 and d equal?
False
Let z = 31.488 + -31.288. Which is smaller: 10.707 or z?
z
Let v = 27.74 + -28.14. Let p be (-174)/(-6) - (-2 + 1). Suppose 0 = -m - 2*m + 5*b - 10, p = 4*m + 2*b. Which is bigger: m or v?
m
Let h = 0.151 + -0.131. Let i = 0.12 + h. Which is greater: 0.2 or i?
0.2
Let z be ((-1533)/9 + 9)*-6. Is -0.1 at least z?
False
Let p = 7 + -32. Let w = p - -28. Let q = 25/12 + -1/4. Which is greater: q or w?
w
Let v be ((-4)/(-12))/((-1 - -3)/282). Suppose v*j + 8 = 49*j. Is 4 < j?
False
Let u = 2760 - 2797.075. Let n = u - -0.075. Let o = 40 + n. Which is greater: -0.5 or o?
o
Let q = -11235 - -11264. Is -0.109 smaller than q?
True
Let r be (-1)/(-2*5*1/20). Let m be -183 - r - (8 - 9). Is -184 less than m?
False
Let c = -47 - -30. Let g be -40 - -25 - (2*-6)/4. Are g and c unequal?
True
Let l = -5.67 + 5.973. Let n = l + 0.047. Let v = 0.25 - n. Which is smaller: -1.8 or v?
-1.8
Let z(w) = -w**3 - 29*w**2 + 66*w + 125. Let x be z(-31). Which is greater: 16/149 or x?
x
Let n(g) = 21 + 46*g + 25*g + 6*g**2 + 43*g. Let m be n(-19). Which is smaller: 13 or m?
13
Suppose 2*u + 68 = 5*m + 8, 4*u - 6 = m. Let y be (-1 - (-10)/m)/(-5). Suppose 5*k = 3*o - 4 - 8, -3 = k. Is o < y?
True
Let p = 46.56 + 438.44. Does p = 0.1?
False
Let h = 1028282 - 1028273. Let u = 29.937 - -0.063. Do h and u have the same value?
False
Suppose -4*g + 166 = -2. Let y be ((-329)/g*3)/((-1)/(-2)). Suppose 0 = 2*p - 29 + 121. Which is bigger: y or p?
p
Let m = 1.52 + 81.48. Let l = -83.043 + m. Let n = -0.957 + l. Is -9 greater than n?
False
Let s be (-15)/(-25)*(-88)/245652. Which is bigger: 0 or s?
0
Let p = -18346 + 18311.8. Is -2/23 bigger than p?
True
Let u(h) = 52*h + 3 + 0 + 8 - 7. Let i be u(-4). Let g be (-1)/5 + (i/70)/(-6). Which is smaller: g or -4/19?
-4/19
Let b = -391 - -325. Let c be (1/b + 0)*146/1241. Is c equal to 0?
False
Let c = 3064 + -3064.1. Let w = 246888 + -246991.919. Let d = w + -0.081. Is d <= c?
True
Suppose 133 = 11*j + 8*j. Let q be j*(-18)/54*1*-3. Let b(s) = -12*s + 79. Let h be b(q). Is h less than or equal to -21/4?
False
Let b(v) = v**2 - 12*v - 1. Let d be (-8)/(-4) + 5 + 5. Let r be b(d). Let f be 0/(-8) + (-1 - r). Is -1/22 bigger than f?
False
Let a = 80 - 76. Suppose -a = 3*q + 50. Let n(u) = -3*u - 55. Let o be n(q). Which is bigger: o or -52?
o
Let a = 676 - 709.444. Let s = -0.444 - a. Is s < -1/7?
False
Let f = 8218/5 - 1642. Let z = -0.011 - -1.051. Let q = z + -0.04. Which is smaller: f or q?
q
Let g be -5*(-8)/(-200) + 2/10. Is g >= -6/2135?
True
Suppose 13*s + 234 + 221 = 0. Let x be (-10)/s - (-12)/7. Suppose -14 = x*r + 74. Which is smaller: -46 or r?
-46
Suppose -67 = 19*x + 66. Let b(y) = 11*y + 95. Let l be b(x). Which is bigger: l or 21?
21
Let x(k) = 5*k + 37. Let u be x(-7). Suppose -5*l + 24 - 2 = 2*j, -3*j = -u*l + 5. Let a be l*2/(-1340)*-5. Is 0 >= a?
False
Suppose -3*g + 3*v - 2 = 1, 2*g - 4*v = -12. Let y(j) = 32*j**2 + 94*j - 1. Let l be y(-3). Suppose -13 = g*p - 1, -x = -l*p - 44. Is x not equal to 29?
False
Let z be -4*6/(-9) + 5920/480. Which is greater: -120 or z?
z
Let p = -18103 + 18103. Which is smaller: -4/4105 or p?
-4/4105
Let z = 0.41 - 18.41. Let n = -13/192 - -15/64. Which is smaller: n or z?
z
Let l = 59/229 - 32373/63433. Do l and 1 have the same value?
False
Let r be 68/11 + 8/(-44). Suppose r*a - 2*a - 108 = 0. Let n(i) = i**2 + 3*i + 8. Let y be n(3). Are a and y nonequal?
True
Let l = 20116 - 20116.00243. Which is smaller: l or -0.2?
-0.2
Let v = 43 - 43. Let p = -0.228 + -0.802. Let a = p + 0.73. Is v at least a?
True
Suppose -27*y + 165 + 213 = 0. Let j be (y/(-4))/(10/(-20)). Let g be (-1)/4 - 34/(-8). Which is smaller: g or j?
g
Let x(l) = -2*l**3 - 105*l**2 - 166*l - 97. Let v be x(-51). Which is bigger: v or 576?
576
Let g be (-4)/26 - (-2982)/5187. Let a(y) = -48*y**2 - 240*y - 1. Let v be a(-5). Which is smaller: g or v?
v
Suppose 0 = 2*m + 274 - 30. Let d = 202 + m. Which is smaller: d or -2?
-2
Let l = 5616 - 6696. Do -4323/4 and l have the same value?
False
Let f = -0.3 + 0.2. Let z = -2586 + 2666. Which is smaller: z or f?
f
Let p be ((-430)/(-15))/((-12)/1008). Which is smaller: p or -2410?
-2410
Let w = 0.1 + -0.3. Let s = 59526 - 11369468/191. Which is smaller: s or w?
w
Let r = 98 + -166. Let q = -67.3 - r. Is q less than -3?
False
Let f = -170 - -168. Let h = -10.2118 - -0.0118. Is f smaller than h?
False
Let i = -0.129 + 350.129. Let k = i + -362. Is -1.5 less than k?
False
Let u = 6.7 + -37.3. Let t = u + 30.8. Let k = -19.09 - -19. Which is smaller: k or t?
k
Let s = 2537/99666 - -26/1017. Which is bigger: -0.2 or s?
s
Let h = 21788/530121 - 2/2129. Which is greater: h or -1?
h
Let r be 66/693*(-770)/425. Which is greater: r or 1?
1
Let d = 1172/3561 + 5/1187. Which is bigger: 414 or d?
414
Let a(k) = 15*k - k**2 + 14*k**3 + k**2 - 23 - 17*k**3 - 11. Let j be a(2). Suppose -5*y = 5*n + 120, -y - 4*n - 38 = y. Which is smaller: j or y?
y
Suppose 15*x = -9*x. Suppose 0 = 5*m - x*m. Let i = 84 - 141. Which is smaller: m or i?
i
Let k(j) = 1521*j**3 + 21*j**2 + 24*j + 2. Let t be k(-1). Which is greater: -1527 or t?
t
Let a(d) = -74*d + 1898. Let g be a(45). Is -1433 at most g?
True
Let w = -1903 + 1883. Which is greater: w or -1018/51?
-1018/51
Let f = 2798 - 2791. Suppose -5*q + 12 = -3*q. Suppose -f*o + q = -8. Are o and 4 nonequal?
True
Let h = 127062 - 266703130/2099. Which is bigger: 0 or h?
h
Let m = -9 - -39. Suppose -1782*y - 735 = -1816*y - 301 + 620. Which is greater: y or m?
y
Let u be ((-3)/28)/((-399)/12068) + -3. Which is smaller: u or 1?
u
Suppose 0 = -122*n + 120*n - 2*t + 436, -2*n = -2*t - 412. Is n less than 229?
True
Suppose 923 = 2*c - 5*j, -560 = 3*c - 3*j - 1949. Suppose h = -3*f - c, f + h + 173 = -3*h. Is -153 greater than f?
False
Let b(i) = -i**3 - 97*i**2 - 98*i - 214. Let n be b(-96). Which is smaller: 0.2 or n?
n
Let y = 75 + -73. Suppose -7 - 9 = -y*a. Let i be ((-2)/3)/(2/3). Is i less than a?
True
Let s = 54597 + -38708. Is s smaller than 15890?
True
Let q = -11.41 + 477.41. Let v = q - 465.9. Which is greater: v or 1/12?
v
Let l be (-14)/(-980)*-20*518/(-6). Is -0.03 < l?
True
Suppose -11 = -4*f - z, 0*f = -f - 2*z - 6. Let h be f + -1 - (0 - -3). Let p = -0.196 - -89.196. Which is greater: p or h?
p
Suppose l - 4*l = 78. Let h = 155 - -195. Suppose 5*v + 9*v = -h. Is v less than l?
False
Let d = 507197180776 - 25412100347328814/50103. Let b = d + 2/5567. Which is greater: b or 23?
23
Let l be ((-2)/68)/((-40)/(-80)) - 256525/85. Which is greater: l or -3019?
l
Suppose -q + 14 = -4*n, n = 2*q - 2*n - 28. Let s(g) = g**2 + g. Let i be s(-1). Suppose f + f - 28 = i. Are q and f nonequal?
False
Let x(h) = -26*h**2 - h - 38. Let n be x(-5). Let m be n + -17 - (0 - -6). Which is greater: -707 or m?
m
Let b(u) = -21*u + 84. Let t be b(4). Let k(o) = -o**3 - 3*o**2 + 4*o - 1. Let m be k(-3). Let z = 9 + m. Is t not equal to z?
True
Suppose 1087*m - 1082*m - 5 = 5*n, n - 4 = -4*m. Is m < 37/69?
False
Let k = -103 - -102. Let y be 64/(-108)*((-1)/2)/(-1). Is k bigger than y?
False
Let l = 5.213 - 0.213. Let t = 6 - l. Which is smaller: t or 12?
t
Let b = -420.8 - -420.1. Which is greater: b or 1/12?
1/12
Let l(s) = s - 2. Let g be l(2). Suppose 4*d + 0*d + 24 = p, g = -4*d + 5*p - 40. Which is greater: -1/4 or d?
-1/4
Let q = -7319 + 8616. Which is smaller: 1295 or q?
1295
Let u = 28711/15 + -1914. Which is bigger: u or 298?
298
Suppose -115316 + 3092 = 23*d + 33*d. Do -2005 and d have the same value?
False
Suppose 45 = 5*t - 3*x - x, -x - 5 = 0. Suppose 4*n - 15 = n, 4*v - t*n = 27. Suppose v = -i + 22. Which is smaller: 7 or i?
7
Suppose -10*z - 21 + 71 = 0. Suppose z*u + 106 = 6. Are u and -18 unequal?
True
Let l = -57 + 25. Let r be ((-10)/20)/(2/l). Let k be 12/r - 111/90. Which is smaller: 1/4 or k?
1/4
Let s = -26.023 - -0.023. Let a = s - -26.2. Let j = -0.914 + 0.214. Which is smaller: j or a?
j
Let v = 1.359 - 1.459. Which is smaller: v or 557?
v
Let d(p) = 13*p 