t r be l(d). Which is bigger: 184 or r?
r
Let a be (0 - (-4)/(-7))/((-13)/91). Suppose -2*n + 716 = 4*k, -a*k - 3*n + 340 = -372. Which is smaller: 183 or k?
k
Let p(z) = z**2 + 19*z - 29. Let w(m) = 24*m - 21. Let u be w(0). Let y be p(u). Suppose -2*f + 1 + 21 = 0. Is y less than f?
False
Suppose -2*c + 5*x - 2415 = c, 5*c + 4025 = -4*x. Let l be (8 - 0)/(-56) + (-87)/c. Is -1 != l?
True
Suppose 4*y + 4*y + 160 = 0. Let u be 2*(102/y)/((-36)/(-10)). Suppose -4*n - 9 = 2*p - 3*p, p + 2*n + 9 = 0. Is u bigger than p?
True
Let o = 313 + -304. Suppose 96 = o*t + 3*t. Let z = 5629/603 + -1/603. Which is greater: z or t?
z
Let s be 98/2940 + (-8997)/(-90). Which is greater: 1415/14 or s?
1415/14
Let d be 5/(-30)*3*4/(-3). Let n be (-585)/595 + (2 - 1). Let f = 827/357 + n. Is f at most d?
False
Let o = 2155 - 3260. Let u = o + 5503/5. Which is bigger: u or 0.2?
0.2
Let n = -4.3262 - -31.5432. Let c = -0.017 + n. Let f = c - 1.2. Which is bigger: 0 or f?
f
Let y be (-9)/45*25/(-4) + 3150/72. Which is smaller: -13/3 or y?
-13/3
Let k = 579.87 - -15.63. Which is greater: -1 or k?
k
Let b = -701.5 - -700.5. Let v = -2/83 - 239/415. Which is smaller: b or v?
b
Let x(c) = 22*c - 10. Let j(g) = 3*g - 74. Let h be j(24). Let s be x(h). Let l be (11 + 1)*27/(-6). Are s and l nonequal?
False
Let a = -17393 - -3983003/229. Which is smaller: a or 0?
0
Let k = -13154 + 13155. Is 2/6057 != k?
True
Suppose -4*g + 192 = -4*t, 0*t - 136 = -3*g + 5*t. Let l be g/39 + (-4)/(-6). Let q = 254 - 244. Does l = q?
False
Let x(p) = 115*p - 231. Let u be x(2). Which is greater: 6/1457 or u?
6/1457
Let s(c) = 215*c + 4724. Let v be s(-22). Which is bigger: 251 or v?
251
Let b be (11/(-55) - 681/(-15)) + 2/(-10). Is 16 bigger than b?
False
Suppose -7*n + 6*n - 2*p + 12616 = 0, -3*n + p = -37841. Let k be 62/(-217) + 3632/n. Which is smaller: 1 or k?
k
Let d be (2970/2079)/((-2)/(-38)*1/(-7)). Which is smaller: d or -949/5?
d
Let t be 260/(-585)*((-78)/(-36))/(-13). Which is smaller: 256/5 or t?
t
Suppose 4*w + 37*d - 35*d + 36 = 0, -5*d = 2*w + 26. Let p(o) = -3*o**2 - 3 + 4*o + o - o**3 + 0. Let b be p(-4). Which is smaller: b or w?
w
Let x = 2515/18 + 3941/18. Does 359 = x?
False
Let c = 9418.54 - 199.54. Is 1 equal to c?
False
Let v = -525/6919 + -17/407. Suppose 0 = -3*a - 19 + 1. Let f(r) = r**3 + 7*r**2 + 7*r + 4. Let x be f(a). Which is greater: v or x?
v
Let b = 30 + -25. Let o(i) = 49*i**3 + 2*i**2 - 2*i. Let a be o(b). Let q be ((-18)/a)/((-1)/(-5)). Which is smaller: q or 1?
q
Let u(i) = -i**2 - 5*i + 26. Let s be u(-8). Let w(v) = 5*v**2 - 3*v - 2. Let d be w(s). Let l be (-8)/d + 0 - -1. Is l at most as big as -0.2?
False
Let l be (5 + 13/(-3))/(2/291). Suppose -l*h + 101*h + 12 = 0. Do -46/11 and h have the same value?
False
Let k be (1/(-2))/(16876/16). Let o = -3869/738325 + k. Let g = o - -71/175. Is g bigger than 22?
False
Let r = -4829/6 + 324167/402. Is 1 > r?
False
Let c be 3416/6664 - (-12)/(-21). Is c less than or equal to -48?
False
Suppose -18*w + 872 = 2008 + 3364. Do w and -35 have different values?
True
Let i = 165.18 + -2.18. Let p = i - 161. Is p less than or equal to 0?
False
Let n be ((-315)/140)/((-6)/(-16)). Suppose 5*k - 3*x = -23, -35 = 5*k + x + 4. Which is bigger: k or n?
n
Let c be -4 - (-1)/((-3)/(-3)). Let n be -3 + -1 + c*(-23)/3. Is n equal to 19?
True
Let g = 1051 - 1043. Suppose -4*y + 48 + 192 = 0. Suppose 10 = -5*f + y. Is g less than or equal to f?
True
Let i(k) = 3*k**2 - 47*k + 183. Let o be i(8). Which is smaller: -4/1265 or o?
o
Let j = 2.8 - 3. Let d(k) = k**3 + 10*k**2 - 29*k - 47. Let s be d(-14). Let o = s + 431. Which is smaller: j or o?
j
Let p be (-4818)/144*-3 - (-15)/(-40). Is 100 >= p?
True
Let b = -458/5 + 1424/15. Let v be (-7)/((-14)/8) - 2. Which is smaller: b or v?
v
Let l(v) = 3*v**2 - 10*v + 7. Suppose 2*y - 14 + 2 = 0. Let r be l(y). Let z = 105 + -50. Is z smaller than r?
False
Suppose -3013 + 8382 = 7*t. Let l = -5291/7 + t. Which is smaller: l or 12?
l
Let h = -822 - -1475. Let o = -654.6 + h. Is o >= -7/3?
True
Let t be ((-867)/(-102) - (-2)/(-4)) + 113. Is t bigger than 126?
False
Suppose g - s - 2 = -4*g, 3*g - 5*s - 10 = 0. Let w = -620 - -621. Is w at most as big as g?
False
Let c = -1062.7 - -1133. Let q = 70 - c. Let k = 0.21 + -11.21. Which is smaller: k or q?
k
Let g(f) = -2*f**3 + 14*f**2 + 7*f - 13. Let v be g(7). Suppose v = t + 35. Which is smaller: t or 1/45?
1/45
Let u = -2717 - -2715. Let d = 110 - 109.953. Which is bigger: d or u?
d
Let y = -87 + 42. Let b = 0.047 + 17.653. Let p = b + -17.7. Which is smaller: y or p?
y
Let h = 3/3620 + 2709/7240. Is h not equal to -6.26?
True
Let i be (6 + 9/6)*2/3. Suppose s - 4*k = 6*s - 14, -i*k = -2*s - 1. Suppose 0 = -0*q - 4*q + 32. Which is bigger: s or q?
q
Suppose 22*o = -29*o + 54621. Is 1070 greater than o?
False
Let b = 223 + -271. Let j be b/(-9)*1/(-6). Which is greater: j or 2/17?
2/17
Suppose -7*g + g + 36 = 0. Let n = g + -3. Suppose -4*w + n = -2*k - 1, 3*w - 2*k = 1. Is 3 at least as big as w?
True
Suppose -5*p + 5 = -5*s + s, -2*s = -2*p. Let w be 1/4 + p + (-85)/20. Let a be 1/(-21)*1 + 0. Which is smaller: w or a?
a
Let i = -652 - -647. Let x be i - 2/((-48)/(-570)). Which is bigger: x or -28?
-28
Let f = 7 - -2. Suppose -5*u - 4*v = -v - 6, -v - f = -2*u. Suppose -3*i - 12 = 5*k, -4*k - 4*i + 1 = -3*k. Is u < k?
False
Let o = 21002069/177 + -118657. Is o less than 0?
True
Let l be 60/(-16)*42/(-35). Suppose -3*n + 5*t = t - 33, -5*t = -4*n + 45. Let j be 65/n + (-3)/9. Which is bigger: l or j?
l
Let h = -525 - -525. Is -5.53 < h?
True
Let p = 398/5 + -131/10. Let b(o) = o**2 + 2. Let s be b(-8). Is s less than p?
True
Let q = -0.128 - -0.228. Let k = -625 + 629.42. Which is greater: q or k?
k
Suppose -t - 4*u = -4, -2*t + 4*u = -u + 5. Let w = t + -2. Let c be ((-2)/3*w)/(-6). Is 0 at least c?
True
Let f = -3390 - -3360. Suppose o = -n - 38, 3*n - 4*n - 77 = 2*o. Let q = o + 8. Is f >= q?
True
Let g(j) = 2*j**3 - 7*j**2 - 2*j - 33. Let n be g(6). Suppose 18*r = -9*r - n. Let p(v) = -3*v**2 - v - 2. Let f be p(-2). Are f and r nonequal?
True
Let w = -5 - -16. Let s = w + -9.5. Let b = s - -47.5. Which is bigger: b or -1?
b
Let a = 9786 + -9286. Which is smaller: 0.3 or a?
0.3
Let p = -2.742 + 4.742. Which is bigger: p or -0.1815?
p
Suppose -28 = 5*q - 8, 4*q + 32 = 2*v. Let k(f) = -f**3 + 7*f**2 + 5*f - 33. Let i be k(v). Do -57 and i have the same value?
True
Let x = 302 + -206. Let w be 7*372*(-22)/(-616). Which is greater: x or w?
x
Let l = 31660/51 - 1862/3. Let i = 0.08 + 3.92. Let s = 3.9 - i. Is s <= l?
True
Let y = 8 + -11. Let p be -3*8/6 + 59. Suppose -c + 53 - p = 0. Is y <= c?
True
Let q(a) = a**3 - 5*a**2 - 2*a - 10. Let d be q(6). Let f(v) = -v**3 + 15*v**2 - 16*v + 15. Let i be f(d). Let h be (1 - 2)/(1/i). Which is smaller: h or 14?
h
Let j = 0.9473 - 0.9473. Which is smaller: j or 1/1390?
j
Suppose -71*m + 103540 = 75*m + 5136. Which is smaller: 676 or m?
m
Let b = -12750 - -12673. Which is smaller: b or 17?
b
Let n = 330 + -48. Suppose 8*k + 930 = n. Is -80 greater than or equal to k?
True
Let o be ((2/4)/(-1))/((-23)/(-92)). Let k = 9 + -46. Let z = k - -237/7. Are o and z unequal?
True
Let m = -39 + 39.16. Let n = m - 17.16. Let i = n - -17.1. Which is greater: i or 1?
1
Let l be -1418 + ((-324)/66)/(-9) + (-216)/33. Is -1423 at least as big as l?
True
Let t = -0.443 - -200.443. Let d = t + -202. Are -3 and d equal?
False
Let q be ((-11)/4)/(1/3). Let y(a) = 14*a**2 + 18*a + 1. Let v(m) = 2*m**2 + 2*m - 1. Let r(t) = 6*v(t) - y(t). Let d be r(-3). Which is smaller: q or d?
q
Let d = 101 + 320. Let t = d - 132. Is t <= 290?
True
Let k be 2/9 + 96/54. Suppose k = -m - 3. Let j = -6 - -2. Are j and m equal?
False
Let c = -2186 + 2185.9. Which is smaller: c or 9.84?
c
Let m be (-75)/(-20) - 10/(-40). Suppose 0*d = -m*d + 31*d. Is -2/2493 at most d?
True
Let v(o) = 777*o - 11 - 5 - 778*o. Let w be v(-8). Suppose -b + 18 = -3*b. Is b at most as big as w?
True
Suppose 21 = 2*b - 4*d - 3, 4*b - 54 = 2*d. Let s be (b/4)/((-5)/2). Suppose -1187*i = -1295*i. Is i greater than s?
True
Let c = 82 + -23. Suppose 0*q - 5*q = -o + 45, 3*q = 4*o - 214. Let d = c - o. Is 6 equal to d?
False
Let l = -0.457 - -0.51. Let h = l