2*a + 15 = 0. Suppose -5*q = -a, 3*d + q = 11 - 34. Is -3 at most as big as d?
False
Let u = 11 + -19. Let t = 3382 + -1676. Let i = -6857/4 + t. Which is greater: i or u?
u
Let t = -11360.2 - -11360.2. Let v = 887/100 - -19/50. Do t and v have the same value?
False
Let o be 5 - 13 - -2 - (-1 + -29). Let y be (-668 - 2)*o/(-150). Is 108 less than or equal to y?
False
Let u = 66.1 - 72.1. Which is bigger: 333 or u?
333
Let v be (572/45)/(-4) - 35/1575*-3. Let r be ((-2)/(-5))/((-1)/5). Is r > v?
True
Let y = -12381 - -9393. Are y and -2987 equal?
False
Let h = -11 + 9. Let a = h - 15. Let k = a + 16.9. Is -1/4 at least as big as k?
False
Suppose -31*s - 364 = 60*s. Which is smaller: 64/7 or s?
s
Let b(q) = q + 12. Let a be b(10). Let k = a - -40. Let w = k + -33. Is 29 bigger than w?
False
Let n(v) = v + 10. Let d be n(-9). Let y be (-16)/16*(d + -1 + -12). Suppose y*p = -14 - 82. Is -8 > p?
False
Suppose x + 327 + 68 = 0. Let u = x + 200. Does u = -195?
True
Let v = 4756 - 4388. Which is smaller: v or 366?
366
Let g = 0.083 + -0.183. Let s = -9 + 3. Let h be ((-55)/(-33))/(s/(-4)). Which is smaller: h or g?
g
Let g = -4 + 7. Let p be (-17)/100 + g/12. Let x = -9978 + 9977. Which is smaller: p or x?
x
Let d(g) = -g**3 - g**2 + g + 1. Let i(u) = 4*u + 26 - 16 + 9 + 8. Let w be i(-7). Let o be d(w). Which is greater: -4/47 or o?
o
Let p = 387 + -374. Let n = 1359.63 - 1347. Let s = p - n. Is 2 at most s?
False
Let v = -392.2 - -424. Let p = v - 31.9. Let s = 16 + -15.82. Which is bigger: s or p?
s
Let z = -22/1085 + 1/105. Let h(j) = -6*j**3 + 53*j**2 - 3*j + 108. Let x be h(9). Is z at least x?
False
Let l be ((6 - 7)*1)/(2 + -3). Which is smaller: l or 7/3667?
7/3667
Let j be (-714)/(-2366) - (-20)/(-130). Which is bigger: j or 1?
1
Let f be 15/(-193164)*(-210)/(-525). Which is smaller: -1 or f?
-1
Suppose 0 = -6*s + 14 - 8. Let g be (40/(-8))/(s + -2). Suppose 3*n = 9 + 9. Which is bigger: n or g?
n
Suppose -63 = 2*q - 71. Suppose 3*f - h - 1 = 0, 5*f + h - 5*h - q = 0. Which is greater: f or 2/127?
2/127
Let a = -209/5 + 1707/40. Let v = 56 - 53. Let t be (3/v)/(0 - -1). Do t and a have the same value?
False
Let v(y) = 45*y + 3*y**2 + 17 - y**2 - 33*y. Let l be v(-3). Let c = -18/155 + 296/2015. Does c = l?
False
Suppose -5*t - o = 4198 - 3531, t + 4*o = -160. Which is greater: -2 or t?
-2
Let r = 2793.1 - 2790. Let j = -15 - -11.5. Let q = r + j. Which is greater: 2/5 or q?
2/5
Let f(n) = -n**3 - 3*n**2 + 3*n - 7. Let a be -4 + 8 + 16/(-2). Let i be f(a). Let l(y) = y**2 + 4*y + 2. Let o be l(i). Which is greater: -3 or o?
o
Suppose 885*b = 861*b. Let d(g) = -g**3 + g**2 + 0*g**2 + 2*g**3. Let i be d(b). Which is smaller: i or -6?
-6
Suppose -3 - 4 = -u + o, -5*u - 3*o = -11. Let c(d) = 174*d + 700. Let j be c(-4). Suppose u*m + y + 12 = 3*m, -j*m - 2*y = 38. Which is greater: -3 or m?
-3
Let f be 4/(-7) + 0/(5/5). Let t = 0.3 - 11.3. Let l = -11 - t. Is f less than or equal to l?
True
Suppose -16*g + 11*g + 7*g = 0. Let k = 951/7 - 21929/161. Do k and g have the same value?
False
Let i = 9/9747314 + 3007006949/42693235320. Let y = -496474/219 - -2267. Let h = y - i. Is h bigger than 0?
False
Suppose 0 = 41*x - 42*x - 4*r + 1, -r + 14 = -x. Which is smaller: -81 or x?
-81
Let i = -1413 + 9913/7. Suppose s - 3*n = 9, 0*n = 2*s - 2*n - 10. Is s > i?
False
Let l(j) = j**3 - 6*j**2 + j + 9. Let g(y) = y**2 - y - 1. Let z(x) = -3*g(x) - l(x). Let d be (-9)/(-42)*(12 - -2). Let r be z(d). Is 1/3 at most as big as r?
False
Suppose 4*f = 5*f - 17. Let u be ((-308)/(-63) - 22/(-33))*3. Which is smaller: f or u?
u
Suppose 0 = -0*v - 2*v. Suppose v = -g - g - 2. Let r = 19047912/17 - 1120465. Does g = r?
False
Suppose 5*g = 9*g - 5*m - 8, 35 = -5*g - 5*m. Let r be (-2)/g - 416/480. Is -62 equal to r?
False
Let j be (66/(-70) + 1)*-5. Let w = 288 - 162. Let n = w - 2269/18. Which is smaller: n or j?
j
Let r(v) be the first derivative of v**3/3 - 25*v**2/2 + 8*v - 49. Let i be r(28). Do i and 92 have the same value?
True
Let m = 0.1 - 1.1. Let b = 6.0102 + -8.0102. Is b greater than m?
False
Suppose -4*s + 4 = j, 0 = -5*s + 3*j - 7*j + 5. Let w(z) = -2*z + 2*z - z - 48 + 47 - 3*z. Let n be w(s). Are n and -6 equal?
False
Let k = -10806 + 10802. Which is smaller: -435/101 or k?
-435/101
Let x(d) = -d**2 - 4*d - 2. Let w be x(-3). Let g be 28/182 - (-11800266)/4329. Let n = g + -2726. Are n and w nonequal?
True
Let a = 10.931 + -11.431. Which is bigger: a or -353?
a
Let o(j) = 143*j - 7373. Let r be o(54). Does 338 = r?
False
Let m be 2/14*((-94)/(-1128) + 249/36). Which is greater: -4/29 or m?
m
Suppose 3*c + 298 = 4*c. Let s = c - 277. Which is bigger: 22 or s?
22
Suppose -469*q + 100*q - 29151 = 0. Is q != -96?
True
Suppose 0 = -5*g + y + 90, 3*g - 11*y + 10*y = 56. Is g bigger than 37?
False
Let l = -13262 + 92829/7. Which is bigger: -2 or l?
l
Let x = -32 - -51. Let v = 37 - x. Let f be (17 - 20)*8/v. Are -1/3 and f nonequal?
True
Let b(f) = -3*f**3 + 11*f**2 + 9*f - 16. Let n be b(6). Let k be (8/(-6))/((-4)/n). Which is smaller: -72 or k?
-72
Let j(w) = 4*w**2 + 80*w + 7. Let k be j(-20). Suppose 2*h = 2*l + 52, 8*l = k*l + 5*h - 34. Let c = 4.1 + -3.9. Which is bigger: l or c?
c
Let a(s) be the third derivative of -3*s**4/8 - 97*s**3/6 - 48*s**2. Let o be a(-11). Which is smaller: 8/5 or o?
8/5
Let j = 390 + -307. Let r = 73.64 + 1.36. Let a = r - j. Are a and -3 unequal?
True
Suppose 2*i + 23 = 5*j, 2*i + 14 = 2*j - 0*i. Let o be (20/18)/(-5)*j/(-4). Let h = -23 + 23.3. Is o > h?
False
Let l = -1433 - -1427. Let k = 5 - 4. Let m = k + l. Do -5 and m have the same value?
True
Let c = 69 - 34. Suppose c = 2*w + 4*x - 3*x, 4*x - 44 = -2*w. Suppose 4*z = w, -z = -3*f - 0*f - 1. Which is smaller: 5/6 or f?
5/6
Let b = -21697.049 + 21697. Is b >= 0.016?
False
Suppose -207*t + 426 = 12. Suppose -4*n = 2*g - 86, 4*n + g - 60 = 27. Which is bigger: n or t?
n
Let b(o) = -o**3 + 12*o**2 - 54*o - 12. Let t be b(6). Let u(y) = -2*y**3 + 9*y**2 - 3*y + 8. Let g be u(6). Is t > g?
False
Let n be 330/(-708) + (-1)/(-2). Let t(k) = 39*k**2 + 12*k - 11. Let w be t(1). Suppose 0 = w*c - 48*c - 8. Which is smaller: c or n?
c
Let z be ((-1)/1)/(-4) + 5858/(-8). Let i = z - -27086/37. Suppose h = -4*h, j = h. Is i equal to j?
False
Suppose -57*i - 32*i - 178 = 0. Let o = -3 - -5. Are o and i unequal?
True
Let j = -1822740/79 + 23073. Which is greater: j or -1?
j
Let p be 14/(-24) - 2/(-8). Suppose -5*l = -58 + 3. Suppose 33 = -0*d + l*d. Is d less than or equal to p?
False
Suppose 1984 = 238*u - 230*u. Let n = -1738/7 + u. Let z = -11.29 - -0.29. Do z and n have the same value?
False
Let q = -7502 - -7422. Let a = -8 + 12. Let s be (-10)/q*a/(-3). Which is greater: -1 or s?
s
Let s = -12566 + 13098. Is 497 > s?
False
Let x be (-4)/(-5) + (11017/580)/(-23). Let f = 67/6380 - x. Let w be (1/(-3))/(2/(-6)). Which is smaller: f or w?
f
Let f be (-2242470)/5985 - (1 + -1)/(-2). Let v = 2624/7 + f. Which is smaller: v or 1?
v
Let p be ((-4)/5)/(((-126)/35)/9). Suppose o = -c - 0*o + 54, 123 = p*c - o. Which is smaller: 62 or c?
c
Let w = -12958 + 13031. Suppose -4*p = -3*a + 234, 2*p = -5*a + p + 367. Is a greater than or equal to w?
True
Let u = -17 + 83. Let y be ((-2)/(-3))/(4/((-72)/u)). Let a = 0.4 - -1.6. Which is smaller: a or y?
y
Let x(r) = r**2 + 80*r + 568. Let t be x(-9). Let j be 1274/(-18) - (-4)/(-18). Is j greater than or equal to t?
True
Let i = 5848 - 5839. Which is greater: i or -72?
i
Let c be 1 - (4 - 3) - 34/24667. Is -1 equal to c?
False
Let z = 20 + -21. Let o be 1 + 0 - z - 1. Let j be (4 + -4)/(o - 0). Is j at most as big as 3/29?
True
Let i = 2821442/27 - 104484. Is 13 <= i?
True
Suppose 0 = -7*q + 2*q - 120. Let v be ((-13)/(208/q))/(3/(-1)). Which is greater: v or -2?
v
Let g(w) = 2*w**3 + 4*w**2 - 19*w + 4. Let v be g(-5). Let l be 4/(-14) + 1044/(-21). Let s = v - l. Is s > 3/16?
False
Let x = 70.0804 - 0.0804. Are 10 and x equal?
False
Let p = 48.1 + -6.6. Let k = p - 41.4. Let r = 0.81 + -0.29. Is k less than r?
True
Let o be (-16)/3*3 - (2 - -2). Let v be -2 - (-5230)/1492 - (-30)/o. Is v <= 0?
False
Let x = -1000 - -351. Let n = -712 - x. Which is greater: n or -0.3?
-0.3
Let b = 11696/3 + -79133/21. Let f = -131 + b. Does -34 = f?
Fal