 5, -4*q + 2*k = 20. Is 0 equal to q?
False
Let w = -299 + 305. Suppose 651*i = 645*i - w. Is -2/175 less than i?
False
Let u(x) = 2*x**3 - 14*x**2 + 12*x. Let r be u(6). Let c = -70.28 + 99.2. Let g = -29 + c. Which is smaller: r or g?
g
Let y be (-7)/(7/30) - -2. Suppose -5*o + w + 98 = -2*w, 3*o - 78 = -3*w. Let m = y + o. Which is smaller: m or -2?
m
Let y = 622.133 - 625. Let x = -0.133 + y. Is -35 greater than x?
False
Let g be (30/(-180) - 530/(-3144))*10. Is g equal to -1?
False
Suppose -4 = -4*u - 5*j, -3 + 1 = -2*u - j. Let d = -339 + 111. Let h be 0 - (3 + -2) - d/234. Are u and h nonequal?
True
Let d = -2.9 - -3. Let p = -0.197 - -2.777. Let s = p - 3.08. Which is smaller: d or s?
s
Let c be (2 + (-54)/14 + 1)*24/(-72). Is c less than 3/209?
False
Suppose 40*h - 25*h = 20*h. Suppose -4*y = -12, r - 2*r - 4*y + 52 = h. Is 42 bigger than r?
True
Let g = 11/3138 - -680429/147486. Which is greater: 4 or g?
g
Suppose 10*w - 20 - 10 = 0. Suppose -6*g + w*g = 0. Which is smaller: 7/5 or g?
g
Let y = -0.361 + 0.161. Is 13.2 > y?
True
Let g(p) be the first derivative of -27*p**2/2 - 9*p + 17. Let o be g(-6). Let m be o/(-15) - 3/(-30)*2. Is m bigger than -10?
False
Let d = 0 + 0. Let n = -13.8557 + -0.0643. Let w = -0.08 + n. Are w and d non-equal?
True
Let z(x) = -x**3 - 17*x**2 - 23*x - 51. Let m be z(-16). Suppose -14*t + 22*t = -496. Let k = t + m. Is k > 2/27?
False
Let r(w) be the first derivative of 5*w**3/3 - w**2 + 2*w - 11. Let z be r(2). Let x be (75/21)/5*21/z. Is 2 less than or equal to x?
False
Let g = -2997 + 2997.15. Let i = -38.7 + 40. Which is greater: g or i?
i
Let a(y) = 7*y - 621. Let w be a(83). Which is bigger: w or -4?
-4
Let p = -408 + 859. Is 450 > p?
False
Let j = -73374147634/70909003189 + 5993/1644343. Let c = -5/1487 + j. Which is bigger: c or -1?
-1
Suppose -64*q - 24 = -60*q. Let x = 1106/3 - 374. Which is smaller: x or q?
q
Let v = -0.054 - -0.031. Let t = v - 0.077. Let s be (25 - -5)/(-1*1). Is s greater than or equal to t?
False
Let w = -0.06977 - 81.59023. Let c = 9.04 - w. Let t = -15.7 + c. Which is greater: 0 or t?
t
Let p be 3 + -2 + (-2 + 2 - 1). Let o be 6/(-10) + 261/180. Is p less than o?
True
Let k(u) = u**3 - 29*u**2 - 5*u + 194. Let a be k(13). Is a at most -2573?
True
Let q(p) = -6*p**2 + 885*p - 813. Let x be q(150). Which is smaller: -3059 or x?
x
Let s(n) = -2*n**3 - 7*n**2 + 13*n - 8. Let y be s(-5). Suppose -3*g + 73 = 5*t, -3*g + 44 = 3*t - g. Suppose -t = y*f - 6. Which is bigger: 4/7 or f?
4/7
Let m = -208959 + 209243. Suppose -2*j + 5*j - 852 = 0. Are j and m non-equal?
False
Let i = -638466555/4957 + 128801. Which is bigger: 0 or i?
i
Let i = -90 + 89.884. Let l = 89.116 + i. Let s = -94 + l. Is -9 bigger than s?
False
Let q = -41 + 42. Let z = 1.268 - -29.782. Let n = -31 + z. Which is smaller: n or q?
n
Let m be 1*(4 + -5) - -10. Let d be -3*(-1)/(m/(-2)). Let b = -22 - -25. Is b at most d?
False
Let q = -0.3048 + 21.3048. Which is smaller: -21/5 or q?
-21/5
Let s = 17957 - 18247. Which is greater: s or -278?
-278
Suppose 3*i + 3 = 5*z - 2, 0 = 3*z - 5*i - 3. Which is bigger: -17/121 or z?
z
Let l be 119130/(-176) - 1/8. Is l at least as big as -682?
True
Let h = 2491.7721 - 2492. Which is greater: h or 2/3?
2/3
Suppose -5*b = 15, -4*h + 39 + 24 = -b. Let w = -16 + h. Let c = 18 + -17. Which is greater: c or w?
c
Let f = -3199 - -7689. Is 4492 not equal to f?
True
Let j(c) = c**2 - 6*c + 6. Let i be j(4). Let w be 198/(-280) - -8*45/600. Is i not equal to w?
True
Let h be 13 - (0 + 3 - (21 - 19)). Suppose -296 = -h*z - 56. Which is greater: z or 79/4?
z
Suppose 0 = -4*y + 5*j + 5, 3*y + 2*j = -0*j - 2. Suppose 8*g + 8 - 72 = 0. Which is smaller: y or g?
y
Let m = -2105 - -2211. Is 528/5 greater than or equal to m?
False
Let k(v) = 3*v**3 - 8*v**2 - 13*v + 109. Let t be k(3). Which is smaller: 80 or t?
t
Let z be 8073/315*49/8. Let j = 636 + -479. Let d = j - z. Is d equal to -1?
False
Let b = -1013/7 - -1721080/11893. Is b less than -1?
False
Suppose 3*i + 5185 + 575 = 15*i. Do -9 and i have the same value?
False
Let m be (3 - 532/(-4)) + -3. Let t(s) = 7*s**2 + 73*s + 164. Let y be t(-10). Which is smaller: m or y?
m
Suppose -5*h + 288 = -h. Suppose 0 = 2*y + 3*p + h, 32 = -4*y + p - 98. Let w = 34 + y. Which is smaller: w or 7/11?
7/11
Let m = 0.197 + 154.803. Let o = 138 - m. Are o and -2/11 equal?
False
Let b be (3/35)/((-68)/(-10)). Suppose 0 = -2*z + 4*t - 24, -3*z = -4*t - 15 + 39. Is z at least as big as b?
False
Let r be ((-12)/(-38))/(7*9/24486). Which is bigger: 122 or r?
r
Let s be 32/(-13 - (-175)/14). Which is bigger: s or -60?
-60
Suppose -2*o + 0*o + 4 = 0. Let t(d) = 2*d**2 - 61*d - 97. Let b be t(33). Let g = -329/5 + b. Is o smaller than g?
True
Let b = 10 + -6. Suppose -3 = 5*w + 2*j, b*j = -4*w + j - 1. Suppose -18*u = -13*u - f + 7, -5*u - 5*f = -5. Is w at most u?
True
Let h(g) = 203*g + 627. Let f be h(-3). Which is greater: f or 79?
79
Let d(k) = 312*k + 284. Let l be d(2). Which is smaller: 904 or l?
904
Suppose 2*i + 21160 = -0*i - 3*s, 42306 = -4*i + s. Let x = i + 814402/77. Let p = x - -3519/154. Which is greater: p or 22?
p
Suppose -7*i = -18*i + 385. Suppose -i*u = -31*u. Which is smaller: -2/23 or u?
-2/23
Suppose -99 = u - 4*z - 27, 4*u + 363 = z. Suppose 0 = -f - 4 + 3. Let d be ((-25)/(-15) + f)/(u/(-3)). Is -1 at most d?
True
Suppose 3 = -4*q - 4*s + s, -2*q = s + 3. Let t be -6 + -1*2 + (10 - 4). Let c be (-3 - (14 + -15))/(t - -10). Which is bigger: q or c?
c
Let a = 25114.168 + -25114. Which is smaller: a or 0.043?
0.043
Let a = 1816064.99 + -1808144. Let r = a + -7970. Let o = -49 - r. Is -4 < o?
True
Let g = 204.76 + 688.24. Which is smaller: 1/3 or g?
1/3
Suppose 10 = -p - 36. Let o be (-8)/(-24) - (-5379)/9. Suppose 167*y + o = 154*y. Is p less than or equal to y?
True
Let p be (-377)/8 - 1 - 121/242. Are -48 and p unequal?
True
Let h = -29/450 + 2/225. Let s be 4/27*((-21)/(-28))/3. Is s greater than or equal to h?
True
Let m = 27497 + -26547. Which is smaller: 951 or m?
m
Let z be -1*3724/8 + 3. Let f = z - -25903/56. Let g(i) = 6*i**2 + 448*i - 149. Let d be g(-75). Is d equal to f?
False
Let z = -59000003/153 + 385621. Suppose -5*u + 5*r = 10, -3*u - 2*u + 3*r = 4. Is z greater than or equal to u?
False
Suppose 2*y + 5 = -0*g + g, 3*g = 3*y + 3. Let l be (-72)/12 - 24/y. Which is smaller: l or -14/43?
-14/43
Let t be 2/(-20) - (-102124)/440. Suppose 0 = -10*w + 578 + t. Which is greater: 79 or w?
w
Let g be (((-20)/(-15))/4 - (-104)/(-96))*4084. Are -3063 and g non-equal?
False
Let l = 3 - 0. Let i be (-10)/(-45) + (11 - 1043/117). Which is smaller: i or l?
i
Let x be ((-178)/176 + 1)/(62/(-1240)*50). Let f(c) = c. Let a be f(0). Is a smaller than x?
True
Let u = 1682/3 - 62225/111. Suppose 0 = w + 5, 2*z - 4 = 2*w. Let n = 3 + z. Are u and n non-equal?
True
Let f(l) = 3*l**2 - 232*l + 190. Let c be f(78). Which is smaller: c or 350?
c
Suppose 49*v - 46*v = y + 4504, 3*y + 6002 = 4*v. Is 1504 not equal to v?
True
Let n be 3 + 2*(-22)/(-4). Let t = -13 + n. Let g = -585 - -587. Is g at most t?
False
Let q be 146/(-132) - (-721)/618. Let k(p) be the first derivative of -p**4/4 + 5*p**3/3 - p**2/2 + 6*p + 3. Let u be k(5). Which is bigger: q or u?
u
Suppose 0 = -2*m + m - 6. Let b = 2602005/17 - 153059. Which is smaller: b or m?
m
Let d = -3844 + 3844. Which is bigger: 3/1025 or d?
3/1025
Let s(p) = 1 - 51 - 48*p**2 + 7*p + 22*p**2 - p**3 + 22*p**2 + 6*p. Let u be s(7). Is u greater than or equal to -497?
False
Let m be (-4)/(712/(-152038)) - 3/(-1). Let t = -98833802/115255 + m. Let u = -15/37 - t. Are u and 1 non-equal?
True
Let g be (30/(-50))/(29/(-15) - -2). Suppose 35 = -10*y + 5*y - 5*p, 3*p + 12 = 0. Which is bigger: g or y?
y
Let k be (-11)/187 + (-5 - (-33200)/6545). Does k = 0?
False
Let b(l) = l**3 + 4*l**2 - 4*l. Let u be b(-4). Let o = -3350 + 3374. Suppose -19*x + o = -u*x. Are 8 and x unequal?
False
Let u = -21 - -30. Suppose u*o = 7*o. Let p = -150 - -153. Which is bigger: p or o?
p
Suppose 0 = 4*o - o + 87. Let n = o - -21. Let q be (3/(-2))/(4 + -1)*n. Which is greater: 16 or q?
16
Suppose 4*y - 5*t + 148 = 0, -y + 2*t - 76 + 36 = 0. Which is smaller: y or -50?
-50
Suppose 5*l - 2522 = -3*q, 336 = 4*q + 3*l - 303