 n = -352 + 355. Suppose 2*m + 0*m + 3*b - 25 = 0, -n*b = -15. Are -9 and m equal?
False
Let b be (-457533)/(-58)*4/18. Is 0 greater than or equal to b?
False
Let s = 1299.2 + -1299. Is s at most as big as 111?
True
Let g(t) = -t**3 + 2*t - 1. Let m be g(-2). Let j = -10 - -8. Let s be m*15/(-12)*j/(-5). Which is greater: s or -2?
s
Let m = 53 - 48. Let z be (8 + -5 - m)/((-4)/2). Let d = 34 - 95/3. Which is smaller: d or z?
z
Suppose 4*k + 16 = -5*v, 3*v = 14*k - 13*k + 4. Suppose 13*u + 319 - 631 = v. Which is smaller: u or 13?
13
Let r = -590 - -1060. Suppose 513 = -473*w + r*w. Is w >= -172?
True
Suppose -59800 = 64*l + 61800. Do l and -1900 have different values?
False
Let f be (-12)/((-29732)/(-176) + 3 - 2/11). Does f = -1?
False
Let q be (11 - 8)*((-14)/6 + 4/1). Which is greater: q or -985?
q
Suppose -4*c - 29310 = 10*s - 15*s, -3*s + 17586 = 2*c. Are -3/4 and s nonequal?
True
Let s be 171*1 - (4 + -12). Let n be s + 4 + (-3 - 4). Which is greater: 174 or n?
n
Suppose -3*x + 9600 = 9*x. Suppose 0 = -3*n - 5*n + x. Do 98 and n have different values?
True
Let s = 32.136 + -13106.136. Which is smaller: 0.2 or s?
s
Let o(n) = -n**3 - 5*n**2 - 8*n - 5. Let d be o(-3). Let s be (d + 2 - 0) + 3. Which is greater: s or 10?
10
Let y = 27 + -70. Let o be (-28)/294 - (-8298)/(-189). Which is bigger: y or o?
y
Let f be (-1)/3 - (-6955)/39 - -2. Let n be 63/f + (-6)/8. Which is smaller: n or 3/14?
n
Let k be 1719*-4*(-20)/(-630)*21. Is k greater than or equal to -4585?
True
Let s be 12/66 - (-4)/(-22). Let o be (2 + -1)/(2702/(-2722) + 1). Let z = 136 - o. Which is smaller: z or s?
z
Suppose 22525 = -41*s - 3158 - 22205. Which is smaller: s or -1169?
-1169
Let a be (10 - 0)/((-33)/(-11)). Suppose -12 = -0*j + 4*j. Let w = j + 6. Which is bigger: w or a?
a
Let c = 45222 - 45221.845. Is c less than 27?
True
Let l(j) = -j**3 + 13*j**2 - 20*j - 23. Suppose 4*y - 5*g - 111 = -42, 5*g + 58 = 3*y. Let t be l(y). Which is smaller: -8 or t?
-8
Let k be 2102/8376 - (-1 - 30/(-24)). Let o = k + -20969/30363. Are -2 and o unequal?
True
Let g(n) = -10*n + 3. Let x be g(3). Suppose 5*b = -2*a + 3*a + 4, -b + 140 = -5*a. Which is smaller: a or x?
a
Let v be -12 - 17/(-4284)*3606. Are v and 1 nonequal?
True
Let t = 693.3 + -953.42. Let d = t - -260. Is 2/3 != d?
True
Let j = -0.0626 - -61.2626. Let a = -33.2 + j. Which is bigger: a or -0.2?
a
Let r be (-1)/2*(3 - 3)/4. Suppose r = 2*n - 5*n - 36. Let t(l) = -l**2 - 9*l + 36. Let a be t(n). Which is smaller: a or 1/52?
a
Let c be (-126)/(-38) - 16/72*9. Let v = -7/19 + c. Which is greater: 2 or v?
2
Let c = -34.037 - -0.037. Let u = 0.642 + 33.258. Let j = c + u. Which is smaller: 1 or j?
j
Let f = 3614 - 3616. Which is bigger: -30/19 or f?
-30/19
Suppose 7*p = -2*h + 6*p + 1332, -h - 5*p = -675. Let c be 188/342 - 7*10/h. Do c and -1 have the same value?
False
Let z be 215/4*22176/2520. Is 466 less than z?
True
Let g be 8*5/(-10)*187/(-4). Which is smaller: 190 or g?
g
Let u = 806 + -5711/7. Which is smaller: -0.2 or u?
u
Let g = 2623 - 868215/331. Which is greater: -42 or g?
g
Let x be (4*3/13014)/(5 + (-12)/(-18)). Which is smaller: x or 0?
0
Suppose -82*r + 1974274 = -533122. Is 30579 greater than or equal to r?
True
Let j = -40.29 + 0.29. Let g = j + 75. Let y = 37 - g. Is y > 0.11?
True
Let l be (-1*4 - -2)/((-10)/(-160)). Let g be 3/12 + (-8)/(l/31). Is g at most 33/4?
True
Let n be (-8976)/952 - (-11 + 1). Is n less than 2046?
True
Let l = 6621 - 6614. Do l and 4 have the same value?
False
Suppose 3*w - 11 = -2, -4 = 4*d - 4*w. Let y be (-333)/119*1/(-4). Let m = 1/68 + y. Which is greater: d or m?
d
Let j(h) = -9*h - 18. Let v be j(-4). Let y be ((-2)/(-4))/((-1)/36). Let b = v + y. Which is bigger: 3/61 or b?
3/61
Let v = 37788/17 + -123949/85. Which is bigger: 765 or v?
765
Let p = -3268850/1813269 + -2/25539. Which is bigger: -3 or p?
p
Let q = 1.32 - 6.97. Let z = q + 5.7. Let w = z - 1.05. Is 10 less than w?
False
Let q(v) = -v - 1. Let b be q(-2). Let p be 262880/8934324 + 50/(-1825). Which is greater: p or b?
b
Let k = -17851/3379284 + 1/8732. Let m be 4/(-3) + (-4)/(-3). Is k at most as big as m?
True
Let y be (3/(135/(-10)))/(((-1344)/(-30564))/(-28)). Let j = 84 + 59. Which is smaller: y or j?
y
Let r = 0.2 - -1.8. Let d = r + -3. Let o = -0.59 - -0.59. Is d greater than o?
False
Let m = -73.88 - -102.88. Which is smaller: -0.311 or m?
-0.311
Let b = -0.756 + -1.244. Is b less than or equal to -2/2011?
True
Let r = 731 + -452. Suppose -189*c = -180*c + r. Is -31 not equal to c?
False
Let v = -15 - -10. Let s = -2280 - -2266. Which is smaller: s or v?
s
Let x = -316 - -316.286. Let m = -33.686 + x. Let d = 33 + m. Is d equal to -1/4?
False
Let q(b) be the second derivative of b**5/20 + b**4/4 - 5*b**2/2 + 12*b. Let t = 6 + -10. Let y be q(t). Is -20 at least as big as y?
True
Suppose 29 = -49*s - 19 - 1. Is 2/3045 greater than s?
True
Let o(u) = -u**2 + 44*u - 534. Let y be o(27). Is -95 at most y?
True
Let d = 1076623 + -26912089/25. Which is smaller: 140 or d?
d
Let w(m) = -11*m**3 + 3*m**2 + 2*m. Let o be w(3). Let k = 263 + o. Let i = -2656/15 - -177. Is i greater than k?
True
Let z(c) = 11676*c - 3. Let n be z(2). Let v = n + -1751219/75. Let w = v - 2/25. Is w less than or equal to -1?
False
Let u = -0.1525 - -0.131. Let v = u - -0.0515. Do -1.8 and v have the same value?
False
Suppose -q - 2*a + 8 = 0, 16 = 2*q - 47*a + 43*a. Suppose -5*r = 5*k + 41 + 309, -q = -2*k. Which is bigger: -76 or r?
r
Suppose -4*o + 11 = -5. Let u be ((-2)/o)/((-4431)/15206). Let i = u - 1/633. Is i less than 1?
False
Suppose -5*c = -4*g - 1367, 0*c - 691 = 2*g - c. Let l = g + 389. Which is bigger: 122/3 or l?
l
Let g = 248 - 506. Let t = 773/3 + g. Let i = 9 + -6.8. Which is smaller: t or i?
t
Let a = 0.4 + -5.4. Let l = 12 + a. Let x = 2.08973 + -0.08973. Is x <= l?
True
Let m = -215863/8 + 27171. Which is smaller: 187 or m?
187
Let l = 28 - 37. Let p be ((-22)/6 - -1)/((-1)/l). Let d = -25 - p. Which is smaller: d or -2/249?
d
Suppose -1312 = 3*l + 5*w, -4*w = -4*l + w - 1726. Let t = 1318/3 + l. Which is bigger: 6 or t?
6
Let g be ((-18)/(-32))/((-24)/32) - (-142725)/190652. Is g at least 1?
False
Let t be (-213)/(-15) - ((-21)/(-35))/3. Suppose 16 = -6*d + t*d. Does d = 11/15?
False
Let z be -246 + (6 - 11) + 10. Let h = 240 + z. Which is bigger: h or -2/109?
-2/109
Let q(x) = -3*x**2 + 3*x - 45. Let u be q(12). Let c = 443 + u. Is c less than or equal to 17/6?
True
Let t be 3930/(-9)*(-196)/56*(-6)/14. Which is smaller: t or 0.07?
t
Let r be -3 - (-10)/4 - (-1825)/10. Which is smaller: 181 or r?
181
Suppose -2*a + 8*n = 5*n + 12, -12 = -2*a - 3*n. Let q be (-2758)/(-18) - 6/27. Are a and q equal?
False
Let c be 14/20*(-9)/42. Let p(r) = 2*r + 69. Let w be p(-22). Suppose 26 = q + w. Which is smaller: c or q?
c
Let b = -24 - -20. Let z be 126/(-28) + (-2)/b. Let s be 399/(-140) - -5 - (-3)/z. Which is greater: 0 or s?
s
Let v(n) = 3*n**3 + 17*n**2 + 3*n + 13. Let i be v(-9). Let x = i - -248026/301. Are x and -2 equal?
False
Let t(q) = -79*q + 789. Let n be t(10). Which is bigger: n or -8/2079?
-8/2079
Suppose -86*h - 1369 - 4909 = 0. Let g = 5 + -5.4. Is g at most h?
False
Let t be (-7102)/(-469) - (-2)/28*-2. Let z be t*15/324*(-12)/30. Which is bigger: z or -1?
z
Let d(w) = 672*w + 1944. Let k be d(-3). Are -56 and k non-equal?
True
Suppose 3*c - 11*g = -12*g + 9, 18 = 3*g. Which is bigger: -1/2341 or c?
c
Let f be (0 - 2)/((-4)/6). Let x = 42 - 222. Let d = -178 - x. Is d at least as big as f?
False
Let d = -5304 - -6312. Is 1012 at least as big as d?
True
Let u = -6132 + 5968. Which is smaller: u or -165?
-165
Let z be 44/(-28) - 116/(-203). Is z at most as big as -1/13874?
True
Let h = 0.73 - 1.73. Let q be -4*((-13)/(-4) - -5). Let o be 29/18 + q/22. Which is greater: o or h?
o
Let g(o) = -269*o + 133*o - 46 + 133*o. Let z be g(-7). Which is greater: z or -33?
z
Let q be -1 + 98 + 5 - -5. Is 752/7 > q?
True
Suppose -4*d - 2*a + 752 = -d, -a = 4*d - 1001. Let o = -250 + d. Is o greater than or equal to -1/36?
True
Let k(n) = -n**3 - 24*n**2 - 82*n - 42. Let x be k(-20). Let a be (-4)/x - (23 - 19). Is -1/2 not equal to a?
True
Suppose 0*g = -10*g - 3*g - 3*g. Is 2/10063 > g?
True
Let t be 367/(-