2)*-51)/c. Is 4 bigger than a?
False
Let h(x) = -213*x - 3033. Let q be h(29). Which is greater: q or -9211?
q
Let i be (4/(-10))/(6/(-30)) - 9/4. Which is bigger: i or 546?
546
Let r = 2.248 + 12.582. Do r and -1 have different values?
True
Let r = 76978/19 - 3493338580/862239. Is r at least 0?
True
Suppose -732*n + 1462*n - 709*n - 327558 = 0. Is 15598 bigger than n?
False
Let h = -4.1 + -0.4. Let q = h + 3.9. Let s = 0.5 + q. Is -9 at least s?
False
Let f = -126799763/144 - -880550. Let i = -38/9 - f. Which is greater: 1 or i?
1
Let t be (12/(-36))/((1/12)/(-1)). Suppose -3*u - 4*y + 28 = -7*u, t*u + y = -3. Let a be (-2)/(16/(-2)) + u/8. Which is smaller: -1/101 or a?
-1/101
Let y(j) = -6*j + 107. Suppose -2*g - 4*h - 52 = -6*g, 4*h + 70 = 5*g. Let k be y(g). Which is smaller: -2/189 or k?
k
Let k be 6/(-6) - (-18 - -1)*1. Suppose -5*y = 4*x - 115, k*y - 11*y - 140 = -5*x. Suppose 3*o + 4*p = -2*o - x, 0 = 4*p + 20. Is o at least -52?
True
Let f = -1.04 - -1. Let u = 353.03 + -352. Let n = 2.97 + u. Is n greater than f?
True
Let v(o) = o**3 + 5*o**2 - 6*o + 8. Let u be v(-6). Let s(i) be the first derivative of -7*i**2/2 - 14*i + 74. Let f be s(u). Which is greater: -69 or f?
-69
Let w = -0.1 + 34.1. Let d = w - 33.83. Which is smaller: 1 or d?
d
Let p(y) = 22*y + 43. Let w be p(9). Suppose -246*c = -w*c. Is c less than or equal to -12/17?
False
Let c be (-16)/(-12)*(-207)/6. Let l be -45 + -1 - (-1)/1*-2. Is l less than or equal to c?
True
Let w(u) = 33*u - 1222. Let a be w(37). Which is bigger: a or -3/61?
-3/61
Let o be 27*(81/(-18))/9. Is o at most 161?
True
Let z(w) = 1237*w + 12425. Let p be z(-10). Which is bigger: p or 757/14?
p
Let m = 37713 + -35477. Which is bigger: m or 2233?
m
Let j = -1/72892 - 136247/695171004. Is 0 greater than or equal to j?
True
Let i = 4069 - 4069.2. Which is bigger: 105 or i?
105
Suppose 5*w - 44 + 3 = -i, -2*i = -4*w + 30. Suppose -7*l = -w*l. Let z be -5 - 1*(l + -2). Are -3 and z equal?
True
Let t be 2/(-8) + ((-2601)/(-36))/17. Suppose -m + 371 = 4*r, -m - t*m + 475 = 5*r. Are r and 92 non-equal?
False
Let d be 142541/105 - (-10)/6. Let z = d - 1366. Is z at most as big as -6?
True
Let z be (126/(-196))/(-3*(-2)/12). Does 0.466 = z?
False
Let z(k) = k**3 - 3*k**2 + k + 5. Let c be z(3). Let u be ((-1152)/(-37))/c + (-5 - -1). Is -1 at most as big as u?
True
Let k = -2.85 - -3.009. Let g = k - 0.18. Let o = g + -0.519. Is -0.1 at most o?
False
Let j(z) = z**2 - 2*z - 1. Let r = -4 - -3. Let x be j(r). Let c = -805.7 - -805.9. Is c greater than or equal to x?
False
Suppose -n + 6 = 2*n. Let p be ((-24)/24)/(n/194). Which is bigger: p or -99?
p
Let j be -8*(-1)/2 - (-25415)/(-91). Let v = -275 - j. Which is smaller: -12 or v?
-12
Let w = -101670/1969 + 130/179. Suppose 16*p - 9*p + 511 = 161. Which is smaller: w or p?
w
Let f = -716.4 + 720.4. Suppose 0 = 4*m + 2*j - 80, -5*m + 0*j = -5*j - 115. Let z be 1/m - (-2)/7. Which is greater: f or z?
f
Suppose -284 = -4*y + 60. Let v = 8847 - 8762. Which is smaller: y or v?
v
Suppose -38 + 2 = -2*h. Let q be (h/63)/(6/56). Let g = 29/12 - q. Is g < 1?
True
Suppose 136 = 14*d - 18. Suppose 17*t + 28 = d. Is 2/1609 at most t?
False
Let o be (444/(-14))/((-168)/(-1568)). Is o < -296?
False
Let a be 5 - 5/((-30)/(-12)). Let g be (-1 + -2 + a)/(15/(-3)). Let u be -1 + 0 + (-4)/(-2). Which is smaller: g or u?
g
Let m = -67/14 + 635/42. Let q be (19 - (-815)/(-40))*-8*1. Which is smaller: q or m?
m
Let n be 6/(-5) + ((-5)/50)/((-6)/72). Which is bigger: n or -45/304?
n
Let w = -9942 - -9948. Which is greater: -80 or w?
w
Let i be (-9)/((3 - 9)/2). Suppose 136 = -i*c + 133. Is 2/587 <= c?
False
Let x be 0/2 + (-6)/94. Suppose 5*d + 4 = -4*n + 5*n, -n + 3*d = 2. Let i(a) = -a**3 - 9*a**2 + 23*a + 11. Let z be i(n). Is z equal to x?
False
Suppose -d = -0*d - 1. Let r(h) = 6*h**2 - 78*h - 1. Let y be r(13). Let i be (-9 - (-275)/30)/(y/(-7)). Is d != i?
True
Let h = -29957/187 + 1570/11. Is -18 less than or equal to h?
True
Suppose -j + 234 - 199 = 0. Suppose 31*p - j*p = d + 13, 4*d = -2*p - 10. Which is smaller: d or -2/197?
d
Suppose 181*y + 926 + 4365 = -2311. Is -370/9 >= y?
True
Let s = 97 + -103. Let t be s/21 - 20/77. Which is bigger: t or 6?
6
Let d = -32899/616 + 1173/22. Suppose t + 9 = 4*p - 7, 0 = 3*t - 4*p + 16. Is d less than or equal to t?
True
Let o = 9913 + -9749. Is 977/6 bigger than o?
False
Suppose -5*c = -c - 20. Let j = -83 - -83. Suppose 5*z - c = j, -5*b = -5*z + z + 4. Is b bigger than 3/16?
False
Suppose 0 = -3*o - o - 3*x - 327, 4*o = x - 307. Let m be (-3)/(6*(70/(-40) - (1 + -3))). Is m smaller than o?
False
Let k(p) be the first derivative of 2*p**2 - 7*p - 277. Suppose 3*s = 8*s - 15. Let f be k(s). Is 6 less than or equal to f?
False
Let l(g) = -3*g**2 + 32*g + 7. Let o be l(11). Let d be o - (-21)/32*6. Which is smaller: -1 or d?
-1
Let i be -21*28*(-3 - 22/(-8)). Suppose -198 = 2*q + 2*t, 2*t - 334 = 5*q + i. Which is greater: 0 or q?
0
Suppose h = 2*h - 34. Suppose -489*o = -b - 490*o + 31, 3*o - 121 = -4*b. Which is smaller: h or b?
b
Let y = 164 + -50. Let u = y + -114.01. Let z = 24 + -28. Which is smaller: u or z?
z
Suppose -122 = 4*q + 3*j, 2*q + 4*j + 47 = -9. Suppose 65*w + 1498 - 742 + 1259 = 0. Which is smaller: w or q?
q
Let g be (7 - (3 + -5)) + (-5 - -1). Suppose r - g*u + 2 = -4*u, 2*r - 4*u + 8 = 0. Which is smaller: -1/120 or r?
-1/120
Let g = 49 + -32. Suppose -3*t - 67 = 4*x, 4*t - g = -4*x - 81. Let c(o) = -o**3 - 17*o**2 + 21*o + 35. Let q be c(-18). Do x and q have different values?
False
Let r = 0.091 - -29.709. Let l = -30 + r. Suppose 2*d - 7*d = 2*j + 59, 4*d - j = -42. Which is smaller: l or d?
d
Let i be ((-356)/18)/(-2*65/26). Is i != 4?
True
Let l(r) = -2*r**2 - r + 14. Let k be (-8)/16*(-2 - -2). Let u be l(k). Suppose 4 + u = 6*q. Which is smaller: 13/7 or q?
13/7
Suppose -380 - 136 = 4*o. Let m be (2 + o/(-1))*(0 - -1). Let d = m + -237. Which is bigger: d or -107?
d
Suppose -52*p + 63*p + 1531 - 8340 = 0. Is p bigger than 3097/5?
False
Let h = -2979 - -2952. Which is greater: h or -2.3?
-2.3
Let x = -0.072 + -55.928. Let v = -63 - x. Let u = 7 + v. Is -4/11 at most u?
True
Let u be ((-16)/(-2) - 1 - 3) + 1. Let s(i) = 5*i + 3. Let b be s(u). Let d be (-62)/(-8) - (-7)/b. Are 6 and d unequal?
True
Let t = -2029018/491733 - 1/327822. Let i = -96/17 + 274/187. Let d = i - t. Which is bigger: 1 or d?
1
Let q be (-341)/(-41) - 58/319*55. Which is smaller: q or -1?
q
Let p(l) = -6*l**3 - 4*l**2 + 25. Let x(k) = -5*k**3 - 5*k**2 - k + 25. Let n(b) = 4*p(b) - 5*x(b). Let w be n(-8). Which is smaller: w or 2/29?
w
Let n = -5504.7 - -5505. Let d = 0.5 - 5.4. Let x = d + -1.1. Which is greater: x or n?
n
Suppose j = -4*r - 4*j + 18, 3*r = 5*j - 4. Suppose -i + f - 27 = -2*i, -5*i - r*f + 141 = 0. Suppose -u + 5*k = -i, 4*k - 3*k = -5*u + 171. Is 37 equal to u?
False
Suppose -7*q - 2*q - 70 - 137 = 0. Are q and 0.27 equal?
False
Suppose 0 = -x + 10 + 16. Let a(f) = -f**3 + 22*f**2 + 75*f + 5. Let i be a(25). Suppose 2*g = -8*v + 10*v + 52, 0 = -i*g - 5*v + 130. Is g not equal to x?
False
Let t = 92.5695 - -0.4305. Is t bigger than 1/2?
True
Let j(a) = -a**3 - 6*a**2 - 4*a - 10. Suppose 4*u + 5*f - 12 = 6*f, 3*f = 0. Suppose 15 = -6*i + u*i. Let s be j(i). Which is bigger: s or -13?
-13
Let y be (2/1)/((-6)/(-9)). Suppose 4*i = -20, 2*t = -8*i + y*i - 37. Let c = 18007 - 18012. Which is greater: c or t?
c
Let d be (-26624)/72 + 13/((-819)/14). Which is bigger: -371 or d?
d
Let f be 6/(-13) - 9/(6201/(-322)). Does -1 = f?
False
Let s(z) = 2*z**3 + 48*z**2 - 31*z + 180. Let c be s(-26). Do -1718 and c have the same value?
True
Suppose 28*h - 1773 - 523 = 0. Which is smaller: h or 93?
h
Let g = -0.7 - 0.3. Let y = 0.36 + -1.76. Let s = y + -15.6. Is s greater than g?
False
Let m be 1470/(-180) + (-12)/15. Which is smaller: m or -9?
-9
Let l = 4 + -3. Suppose -2*s + 11*s - 1692 = 0. Let o = -187 + s. Are l and o non-equal?
False
Let k = 136 - 88. Suppose t + 5*z + 62 = -k, 0 = z - 5. Is t bigger than -271/2?
True
Suppose 3 = f, 3*f - 95 - 1 = 3*v. Let n = v - -44. Let z be 10/n*1/(-2). Which is bigger: z or -3/47?
-3/47
Suppose 8*o = -2126 - 2914. Is -4415/7 > o?
False
Let k = -36 - -36. Suppose k = 2*q + i - 252 +