5 + -0.0565. Let g = z + 386. Which is smaller: g or 0?
g
Let l(h) = -4*h + 9. Let s be l(4). Let f(x) = -6*x**2 - 13*x - 14. Let i be f(-1). Is s greater than or equal to i?
True
Let n be -70*8/(-32)*10/35. Which is greater: n or -63?
n
Let x = -188 + 187.899. Let j(c) = -c**3 - 11*c**2 - 19*c - 6. Let s be j(-9). Suppose -2*q = i - 2, 4*q - s*q - 1 = 0. Which is smaller: i or x?
x
Suppose 0 = 3*h + h - 4. Let q be (-1)/2*(408/(-128) + 3). Let c = 347/288 - q. Which is smaller: c or h?
h
Suppose g - 6*g = 20. Let t be 4/g*(-5)/(10/(-6)). Which is greater: t or -1?
-1
Let y = 6390 + -6166. Is -3 less than or equal to y?
True
Let c = 9/596 - 1/596. Does c = 16?
False
Let j = 661 - 671. Let h be j/(-15)*(84/(-8))/7. Let i be (-244)/(-585) - (-4)/(-10). Which is bigger: i or h?
i
Let v be 13/(-220) + 12/16. Is v > 0?
True
Let f = -1.606 - -1.44. Let o = -64698 + 64697.9. Which is bigger: f or o?
o
Let r = -0.15 - 0.2. Let l = -0.206 - -0.058. Let d = l - -0.248. Which is bigger: r or d?
d
Let l be (-2)/(0 - (-2)/(-3)). Suppose -l*u - 9 = -6*u, -u + 3 = 2*d. Let r = 69 - 551/8. Which is greater: r or d?
r
Let r(d) = -17*d**2 + 70*d - 19. Let f be r(4). Let g = -12 - -4. Which is greater: g or f?
g
Suppose -8*i = -5*i + 9, 0 = 4*x - 3*i + 19. Let q be 3 + x + 0 + (-7 - -2). Which is greater: 17 or q?
17
Let f = 59 - 0. Let k = 169194 - 169136. Which is bigger: f or k?
f
Let m be (4/(-30) - 7956/1080)*8/(-3). Suppose -w + 10 = 4*k, -4*w + 0*k = -5*k + 23. Which is bigger: m or w?
m
Let p(v) = 64*v - 16102. Let i be p(251). Suppose 4*z + 19 + 42 = -g, -4*g - 2*z - 174 = 0. Is g less than i?
True
Let f(l) be the first derivative of -3 - 9*l**3 + 25*l + 1/2*l**2 - 1/4*l**4. Let g be f(-27). Is -4 greater than or equal to g?
False
Let w = 11023 + -11020. Let x = 72/13 + -69/13. Are x and w equal?
False
Suppose -8*m + 288 = 352. Let q(r) = -5*r - 41. Let u(b) = -10*b - 81. Let c(i) = -7*q(i) + 4*u(i). Let v be c(m). Is 2 not equal to v?
True
Let s = 12297 + -16032. Is -0.2 not equal to s?
True
Let i(o) = 9*o + 40. Let c(p) = -5*p**2 - 10*p - 14. Let b be c(-2). Let d be i(b). Let s = d + 85. Which is bigger: 6/19 or s?
6/19
Let v = 21/50482 + 515319479/1867834. Let m = v - 276. Is m at most as big as -1?
False
Let z = -25.33 + 39.32. Let o = 3.01 + z. Is -10 less than o?
True
Let d be (-35)/(-4) + (-2)/4. Let s = -131885.9 - -131886. Are s and d unequal?
True
Suppose 172 = 2*v - 56. Suppose y + v = -y. Let p be y/95 - (-232)/(-5). Which is greater: 1/4 or p?
1/4
Suppose -4*o = -m + 84, 4*m - 375 = 2*o + o. Let y = -383/4 + m. Is y at least 6?
False
Let v = -3 - -5. Suppose v*x = 2*l - x - 14, 2*l - 5*x - 22 = 0. Let p = 0.002 + -0.092. Which is smaller: p or l?
p
Suppose 76 + 20 = -12*x. Let n be 9 - (x - -22) - 74/(-1). Let z(f) = 11*f - 9. Let v be z(7). Is n less than v?
False
Let l = 38494/45 + -6464/9. Is l smaller than 137?
False
Let b = 329 - 344. Let j be 1152/2565 + 2/b. Is 1 < j?
False
Let v = -76/217 - -3867/19096. Which is bigger: -1 or v?
v
Let d = 79 - 70. Suppose d*b = 88 + 11. Let s be (-5)/(-5) + b/(-10). Is s at most 0?
True
Let j(y) = -y**2 - 5*y + 4. Let r = 29 - 18. Let x be ((-6)/(-5))/(r/(-55)). Let v be j(x). Which is greater: -9/5 or v?
-9/5
Let l(g) = 3*g - g**2 + 14 - 19 + 7. Let h be l(3). Suppose -h*j + j + 24 = 0. Is -1/4 bigger than j?
False
Let r = 72013/350 - 2997/14. Which is greater: r or -9?
r
Let z = 6/443 - -1317/886. Which is smaller: 215 or z?
z
Suppose -2333 - 4115 = 26*d. Is -245 smaller than d?
False
Let t = -146 + 289/2. Let l = -41/22 - t. Which is smaller: 15 or l?
l
Let v = -4 - -1. Suppose -2*k + 2*g - 25 = k, 7*g + 7 = -3*k. Which is smaller: v or k?
k
Let k(g) = 35*g - 2941. Let x be k(83). Which is bigger: x or 14?
14
Suppose -38*a = 51*a - 1834 - 302. Is 1.66 > a?
False
Let x = 11 - 31. Let r = -22 - x. Do -132 and r have different values?
True
Let s = 0.08 - -0.92. Let z(d) = 3*d**2 + 12*d + 3. Let m be z(-4). Suppose 2*c + 4*l = 142, 2*l - m*l = -c + 59. Is s at least as big as c?
False
Let q = 99 + -115. Let d be 4/9*(-72)/q. Suppose 2*g - z - 6 = g, d*g - 4*z = 4. Which is smaller: g or 7?
7
Suppose -4*p + 58 + 64 = -2*d, p - 32 = 2*d. Let t = -35 + 64. Let o = t - p. Is o at least as big as -3?
True
Let b be ((-95)/(-722855))/((-8)/(-112)). Suppose 4*h = 2 + 2. Which is smaller: h or b?
b
Let h = -113 + 485. Let g = h - 372.1. Which is smaller: g or -73?
-73
Let r be 180/35 + -3 + 3. Suppose -y = -5*g + 9, 2*y - 3*g + g = 6. Is y greater than or equal to r?
True
Let r(j) = -j**3 + 11*j**2 - 6*j - 1. Let c be r(7). Let t be (c/(-54) - -3)/(2/(-116)). Suppose 0 = -i + 3*i, -4*o - 40 = 3*i. Is o <= t?
True
Let t = -27 - -13. Suppose -46*g + 26*g = 320. Which is smaller: g or t?
g
Let a = -193/5 + 38. Let t = -241857 + 241834. Is t < a?
True
Let m(u) = u**3 + 2*u**2 - 2*u + 3. Suppose -9 = d - 6. Let x be m(d). Let l = -3/103 - 297/412. Are x and l equal?
False
Let q = -403/3 + 24574/183. Let k be (-2)/2*(-21)/(-21). Which is smaller: q or k?
k
Let n be 2 + ((-3)/(-12))/(-1)*0. Suppose -2*r - n*x = 10 - 0, 5*r + 21 = -3*x. Which is smaller: r or -5?
-5
Let d be 3981201/(-59796) + (0 - 5/30). Let q = -6/1661 + d. Do -67 and q have the same value?
False
Let q(r) = 3*r - 14. Let k be q(-5). Suppose -392 = 10*d + 4*d. Which is smaller: d or k?
k
Let y be ((-10514)/(-30) - 3/(-15))/(36/54). Does 529 = y?
False
Let p = -2213/30 - -368/5. Which is greater: p or -83?
p
Let l(i) = i**2 - 7*i - 1. Let t be l(7). Suppose 4*z + 25 - 21 = 0. Let y be (t - 3)/(0 + z/1). Which is smaller: y or 21/5?
y
Let m = 148 + -70. Let l = m - 146. Let n = l + 66. Are -5/2 and n equal?
False
Let b = 19161 - 19352. Is -29 equal to b?
False
Let n be -8 + 13 + -10 + 3/(39/(-614)). Which is greater: n or -51?
-51
Suppose 3*j + 7*x - 2170 = 9*x, x - 1 = 0. Let d = j + -719. Let o be (-1 + -34)/(-5 - 1). Which is bigger: o or d?
o
Let l = 0.7 - -0.3. Let p = 3.139 + -3.1. Let m = p - 8.039. Which is smaller: l or m?
m
Let a = -485.8 - -485.9. Which is bigger: -321/2 or a?
a
Let i = -0.0085 + 12.0285. Let h = 26 - 14. Let g = h - i. Which is greater: g or -4?
g
Let z = -12861 - -12860. Which is smaller: z or 1/17233?
z
Let z be (5/(-5))/(8/72*509). Do 1 and z have the same value?
False
Let r be (-2 - (-4797)/4) + 6/(-24). Let l = 8301/7 - r. Do l and -11 have different values?
True
Let b = 67 - 69. Let u(r) = -6*r**3 - 4*r**2 - r + 2. Let t be u(b). Let l = t - 107/3. Is 0.7 < l?
False
Let w = -8 + 6. Let g = w + 2. Let n = 599/1246 - 111/178. Is n >= g?
False
Let v = -0.906 - -392.906. Let q = -398 + v. Let g = 4.02 - 0.02. Is g > q?
True
Let i be 94/423 + (-2497)/585 - -4. Let n = -0.37 + -0.63. Which is bigger: i or n?
i
Let p be (14244/9)/((-50)/525). Let d = p - -15105764/909. Is -1 greater than d?
False
Let q = 181.69 - 179. Let b = -2.6 + q. Is -3/4 smaller than b?
True
Let s = 439.3 - 438.8. Which is bigger: -1072 or s?
s
Let p be (3762/(-15))/22*75. Is p >= -853?
False
Let a = -126 - -125.918. Is 2/3 < a?
False
Let z = -8.68 - -8.7. Is 0.167 equal to z?
False
Let y be 34/621*((-648)/18)/(-12). Which is smaller: -2/3 or y?
-2/3
Let c(s) = 49*s + 1. Let h = 39 + -37. Let v be c(h). Suppose -2*x + v - 10 = 5*b, b = -3*x + 23. Is 17 < b?
False
Suppose -2*d + 4*k = 8108, 4030 = 17*d - 18*d - 2*k. Which is greater: d or -4041?
-4041
Let u = 25236 - 29474. Is -4241 at most u?
True
Let s = -7316905/250389 - 2/27821. Let b = -76/580959 + 897456581/30790827. Let q = b + s. Which is bigger: q or 0?
0
Let y be ((-1558)/(-41))/(0/1 + 2). Let c be ((-4)/3)/(2/(-24)). Is y at most as big as c?
False
Let i = 22915 - 22930. Do i and -564 have the same value?
False
Let b = -76 - -99. Suppose 5*c + 188 = b. Let h be c/34 + (-2 - -3). Which is bigger: 0 or h?
h
Suppose 0 = 5*p + 18 - 98. Let z(c) = 2*c - 32. Let v be z(p). Suppose -s = -v*s - 4. Are 4 and s equal?
True
Let n = -174718 - -174730. Suppose 12 = -2*l + 3*l. Is l bigger than n?
False
Let k be 431/(-4) + ((-1)/(-22))/((-58)/319). Which is smaller: -84 or k?
k
Suppose -3*t + 222 = 66. Suppose -3*v = 5*o - 0*o - 29, -4*v - 4*o = -t. Let z = 23 - v. Is 0 >= z?
False
Let g = -26733 - -26732. Is -9/3169 at most as big as g?
False
Let b be (-2)/6 + 17/(357/49) - -26. Is -212 >= b?
False