*s - 2*k. Do n and s have the same value?
False
Suppose -2*b + 22 = -0*b + 2*n, -3*n = 3. Let f be (-9)/(-6)*b/(-9). Which is greater: 17 or f?
17
Suppose 0 = 5*h + 3*w - 10, 7 = 4*h - w + 16. Let j be (-4)/5 + (-524084)/(-666930). Is j less than or equal to h?
False
Let q = 3567.3 + -3554. Which is smaller: q or 2/9?
2/9
Let a(v) = -747*v + 8487. Let w be a(12). Which is bigger: w or -473?
-473
Let b be (-3)/2*1*(-43 + 45) - -3. Which is greater: b or 19/176?
19/176
Suppose -3*m + 3 + 0 = 0. Let s(i) = -2*i**2 + 59*i**3 + 3*i - 3 + 1 + i - 12*i**3 - i**2. Let t be s(m). Is 45 greater than t?
False
Suppose 3*i - 2693 = 2*v, -1535*i = -1536*i + 3*v + 893. Are 907 and i nonequal?
True
Let u = -0.5 + 0. Let j = 15321/10 + -6583/5. Let c = j + -217. Which is smaller: c or u?
c
Let k(b) = -56*b + 200. Let u be -5 + (-24)/(-4) + 4. Let q be k(u). Suppose 0*a - 5*a - 408 = 3*s, -4*a - 5*s = 329. Which is smaller: q or a?
a
Suppose -2*v + 4 = -4. Suppose 4*b = 4*g - 52, 30 = 2*g + v*b - 2*b. Suppose d = 2 - g. Are d and -12 equal?
True
Let u = -3778 - -2248. Let m be (-2)/(-15) + (4749/u - -3). Suppose -6 = 3*b + 2*l, 2 = b - 3*l - 7. Which is greater: m or b?
m
Let l = -503 + 499. Let m(u) = 2*u**3 - 2*u**2 + 2*u + 3. Let i be m(l). Which is smaller: i or -164?
i
Suppose 2*q + 22 = 72. Suppose 6899*w - 6876*w - 368 = 0. Which is greater: w or q?
q
Suppose -8*j - 195 = -441 - 4266. Which is smaller: 1690/3 or j?
1690/3
Let f(s) = -s**3 - 7*s**2 + s + 6. Let w be f(-7). Let y = 752585/712 + -1057. Let v = -14593/2136 - y. Which is greater: v or w?
w
Suppose 0 = 3787*o - 3755*o. Is o less than or equal to 5/342?
True
Suppose -27668 = -91*z - 31581. Suppose -3*p + 40 = -w, -w - 9 = p + 39. Which is smaller: z or w?
w
Let q be (-186)/248 + (-82)/(-184). Which is smaller: 0 or q?
q
Let a = -1.67 + -0.13. Let x = 2 + a. Let y = -5602 + 5603.7. Which is smaller: x or y?
x
Let a(x) = 3*x**2 + 3*x**2 + 24*x - 59*x + 18. Let f be a(6). Which is smaller: 74/3 or f?
f
Suppose -72 = 15*u - 7*u - 32*u. Let d be (4/(-13))/((-18)/171). Which is bigger: d or u?
u
Let c be 7 - (-31)/(341/(-1221)). Which is bigger: -150 or c?
c
Let o be (-152)/(-136) + 38/(-323). Let c = 266.6 + -7.6. Which is bigger: o or c?
c
Let h = 4725.986 + -4726. Is h less than or equal to 176?
True
Let a(m) = -17*m**2 + 124*m - 341. Let c be a(3). Is c not equal to -1106/9?
True
Let d = 3489 + -914. Do d and 2576 have different values?
True
Let a = 78.973 + 0.027. Let x = a - 78.98. Let s = x + -0.12. Which is greater: -2/15 or s?
s
Let t(j) = -j**3 - 5*j**2 + j + 7. Let n be t(-5). Let y = 17181 + -17180. Are y and n non-equal?
True
Let h = -13351651/1320 + 80919/8. Let s be (-4)/(-14) + 8/(-28). Is s >= h?
True
Let k be ((-13)/(-26))/((-2)/(-10)) - (-47832)/(-16). Is k at least -2988?
True
Let h(v) = 2*v**3 - 13*v**2 + 16*v + 5. Let t be h(3). Suppose -3*y + 0*y = 2*l - 9, 0 = y + 3*l + 4. Which is bigger: t or y?
y
Let l(z) = 29*z - 4. Let w = -18 + 19. Let g be l(w). Suppose -g = m - o, 3*o + 10 = -m - o. Do m and -22 have the same value?
True
Suppose 0 = -237*p + 227*p - 370. Is p greater than or equal to -44?
True
Let r be 5/52*501078/(-1265). Let k = -504/13 - r. Is 0.1 bigger than k?
True
Let p(m) = -m**2 + 32*m + 76. Let i be p(34). Suppose 0 = 3*x - r - 9 - 19, 4*r - i = -3*x. Which is bigger: 64/7 or x?
64/7
Let q(y) = 38*y - 153. Let m be q(4). Is -5/1244 at most as big as m?
False
Let p = -323 + 1324. Let i be (-14)/(-12)*(836/p)/19. Which is bigger: 1 or i?
1
Let o be 5 + (-165)/35 - (-4736)/(-112). Which is greater: o or -44?
o
Let c(n) = n**3 + 6*n**2 - 4*n - 8. Suppose -4*w = -2*q - 22, w - 13 = q + q. Let a be c(q). Is a greater than 41?
False
Let s = 15360 - 12816. Is s less than or equal to 2541?
False
Let b = 324 - 327.2. Let z = 110 - 109.9. Which is greater: b or z?
z
Let h be (10 - 3 - 2) + -3. Suppose 5*m + 58 = -h*v, -m - 7 = -2*v + 7. Let z = 2070 + -2067. Which is smaller: m or z?
m
Let v(c) = -c - 3*c**2 + 15 + 2*c**2 - 4*c. Let h = -1779 - -1771. Let q be v(h). Is q equal to -12?
False
Let l = -5/154 + 7/22. Let h = 8.83 + -9. Let v = h + 2.17. Do v and l have different values?
True
Let k(m) = 2*m**2 - 10*m + 41. Let p be k(5). Suppose 0 = 60*z - 19*z + p. Is z > 3/124?
False
Let o(y) = -y**3 + 12*y**2 - 11*y - 28. Let i be o(11). Let m be (10/i)/((-3)/24) - -4. Let x = m - 269/28. Which is bigger: -2 or x?
-2
Suppose -14171 = y - 0*d + 2*d, 3*y + 42510 = -5*d. Is -14165 at least y?
True
Let r be (-12)/1 + (-6194)/(-978). Let a = -667395/211 - -3163. Let s = 416/633 - a. Do r and s have different values?
True
Let r = -15376 + 1276230/83. Is 0 smaller than r?
True
Let x = 0.0217 - 297.0217. Let a = x - -441. Which is greater: a or 1/3?
a
Suppose -11*c = -5*c - 36. Let t = 45 - 5. Let p be c/(-21)*(-14)/t. Does 1 = p?
False
Suppose 2*r - 2 = 5*o, 42*o = 37*o - 5*r + 5. Is -64/95 <= o?
True
Suppose 17*t = 13*t + 36. Suppose 0 = -t*i + 47 - 164. Which is bigger: i or -100/7?
i
Let x = -16188.984 + 16188. Which is greater: x or 2/29?
2/29
Let d(y) = 2*y**3 - 7*y**2 + 6*y - 1. Let r be d(4). Let j = 206 - 191. Let g be (-18)/(-30) + 3/(j/197). Which is smaller: g or r?
r
Let c(y) = 142*y + 1136. Let v be c(-8). Which is bigger: 11/43 or v?
11/43
Let r(c) = -c**2 - 13*c + 47. Suppose -4*o - 39 - 21 = 0. Let v be r(o). Which is bigger: 18 or v?
18
Let w = 185.5 + -185.9. Let s = -0.91 + -0.09. Which is smaller: w or s?
s
Suppose -72*h + 58*h = -40*h - 30290. Is -1165 >= h?
True
Let m be (-3 + 2*(-72)/(-45))*25. Is m at least 151/38?
True
Let g = 2281 + -285123/125. Do g and 1 have the same value?
False
Let n be (319/2)/(45/(-18)). Let a = -932/15 - n. Which is bigger: 6 or a?
6
Let x = 1.0671 - 1.0671. Which is smaller: 1885 or x?
x
Let a(n) = n**2 - 3*n - 492. Let v be a(44). Which is smaller: 1311 or v?
1311
Let v(h) = 4*h**2 - 11*h + 16. Let f(m) = -3*m**2 + 11*m - 12. Let o(i) = -5*f(i) - 4*v(i). Let t be o(-9). Let j = -0.2 - -0.3. Which is smaller: j or t?
j
Let b be (-3)/(-6) + 826/4 + 2. Suppose 2*w - b = -3. Let y = 722/7 - w. Which is smaller: y or 8?
y
Let v = 0.0126 - -0.6914. Let p = -1.704 + v. Let a be (64/(-62) + 1)*-3. Is p greater than or equal to a?
False
Let q = -62/389 - 592/1167. Which is bigger: 4458 or q?
4458
Let k = -46706 + 46648. Is -0.17 less than or equal to k?
False
Let k = -40 - -52. Let d be k*2*(-147)/(-84). Let m = -47 + d. Which is greater: m or -4?
-4
Suppose 0 = -58*x - 5881 + 2116 - 1919. Which is greater: 3 or x?
3
Let r be ((-2247450)/15912)/5 + 4. Let h = r - 1/663. Which is bigger: -23 or h?
-23
Let d be 2/(-6) + 240/801. Let x = d - -131/1246. Suppose -5*r + 13 + 12 = -5*l, 3*r - 15 = -3*l. Which is smaller: l or x?
l
Let d(y) = -28*y - 782. Let x be d(-28). Is 129/95 equal to x?
False
Let g = -10055 + 11010. Is 2/11 at most g?
True
Let h be (3 + 1)/((-320)/(-96) + (-4)/6). Is -4/13 at most as big as h?
True
Suppose 0 = -b - 0 - 3. Let n(i) be the first derivative of -3*i**2/2 - 4*i - 6. Let z be n(b). Which is greater: z or 4?
z
Let x = 29 - -11. Suppose -4*q = -3*m + 7*m + x, 5*m + 4*q + 52 = 0. Let y be (-13 + 138/9)*-5. Is m less than y?
True
Let l be (-5)/(105/(-2)) - 16021/(-21). Let o = 750 - l. Let c = 1.2 + -0.2. Which is greater: c or o?
c
Let f be (-18)/(42/8*14/49). Let p(c) = -c**2 + 7*c + 2. Let m be p(6). Let y = f + m. Is y at most as big as -2?
True
Let l = -160.64 - -160.68. Which is bigger: l or 83?
83
Let h be 61/(-180) + (-1)/(-4). Let u = h + -2/45. Let a be 28/(-36) + 4/(-18). Which is bigger: u or a?
u
Let v be 1 - (-2 + (-1668)/16). Suppose k - 428 = -3*k. Is v at least as big as k?
True
Let o = 78.95 + -30.89. Which is greater: o or 0.1?
o
Let j be (4*(-14)/(-8))/(5/(-25)). Let h be -37 - -2*(-2 + 3). Let d = h - j. Is d at least as big as -3/26?
True
Suppose 3*v + 0 + 6 = 0. Let o be (-32)/(-6)*3/v. Let x(b) = 66*b + 123. Let i be x(-2). Which is smaller: o or i?
i
Let d = 32480 + -32481. Which is smaller: -15287 or d?
-15287
Let r be 625/10*4/(-14)*(-28 + 35). Let k be (148/(-10))/((-2)/(-10)). Let b = r - k. Does -50 = b?
False
Suppose 9*u = 11*u + 20. Let d(x) = -x**2 - 30*x - 141. Let j be d(-5). Are j and u equal?
False
Let r = 0.0272 + -1.0272. Is r less than -760?
False
Let j = 346 + -342. Su