9 + 13. Let q = -19.2 - -18. Let w = q - -2.2. Do d and w have the same value?
False
Let n be (-1 - -3 - 1) + -173. Let l = n - -166. Let b = -2 - 3. Is b equal to l?
False
Let o = -560 + 591.1. Let g = -31 + o. Is 7 bigger than g?
True
Let m = -5 - -3. Let w = -9068/23 - -394. Is m not equal to w?
True
Let y = -9.1 - -9. Let v = -14.8 - -2.8. Which is greater: v or y?
y
Let z be 105/(-15) - ((-4)/(-4) + 20). Which is smaller: -35 or z?
-35
Let d(h) = h**3 + 7*h**2 + 10*h + 2. Let f be d(-4). Suppose 3*j - 22 = -f. Which is smaller: j or 3?
3
Let o = 9.11 + -0.11. Suppose -2*s + 3*k = -5, 4*s + k - 3 = -0*s. Are s and o unequal?
True
Suppose 4*x = -x + 20. Suppose 5*k = -5*f + 4 + 51, 2*k = -x*f + 26. Are k and 5 non-equal?
True
Let q = 18 - 27. Let x = 8 + q. Let c = -1 + -1. Do x and c have the same value?
False
Suppose 2*a - q = 2, 37*a = 42*a - 5*q. Does a = 14/17?
False
Let l(d) = d**2 - 6*d. Let z be l(6). Let a = 12.932 + -12.432. Which is bigger: a or z?
a
Suppose -2*x + 3*z + 2 = -4*x, 4*x = -5*z. Suppose 2*f = x*f + 63. Let o = -12 - f. Is o at most as big as 1?
False
Let n(y) = 6*y**3 - y**2. Let f be n(-1). Suppose -11 = 61*l - 65*l - 3*t, -3*l - 5*t = -11. Is f at least as big as l?
False
Let k be (-50)/15 + 4 - 58/78. Is -2/3 less than k?
True
Let l = -6 + 38. Suppose -5*u = -u - l. Suppose -u = -2*m - 2. Is 1 >= m?
False
Let d = -1.863 + -0.137. Which is smaller: d or -25?
-25
Let u = -18210 + 8394806/461. Is u bigger than -1?
True
Let d(y) = 19*y**3 + y. Let m be d(-1). Let z be (12/(-15))/(3/(165/2)). Let u = z - m. Which is greater: u or -4/3?
-4/3
Suppose 3*f + 3*f = -54. Let s be 2/6 + 291/f. Is -32 bigger than s?
False
Let y be ((-2)/(-8))/(9/8). Suppose -10 = -0*h - 2*h. Suppose 3*m = h*m - 2. Is m less than y?
False
Let l(p) = p**2 - 11*p - 7. Let y be l(10). Let n(u) = -u**3 - 16*u**2 + 16*u - 7. Let z be n(y). Are z and 10 equal?
True
Suppose -12*z + 6 = -10*z. Suppose -w - 19 = w + z*u, 2*w + 14 = -2*u. Is -1 equal to w?
False
Suppose -2*o + 7 = -t, o - 12 = 4*t - 5. Let a = -1338 + 9381/7. Is o > a?
True
Let o = 3/4 + -5/4. Let s(d) = -d**3 + 5*d**2 + d - 7. Suppose 5*u - 17 = 4*q, 4*q = -4*u - 0*q + 28. Let v be s(u). Which is smaller: v or o?
v
Let w = 531.678 - 534. Let x = w - -0.022. Let j = x - -0.3. Is 2/15 <= j?
False
Let n = 53.6 - -172.4. Let i = n + -216.05. Let d = i + -10. Which is smaller: d or 1?
d
Let o = 0.083 + -29.283. Let n = 30 + o. Is -0.5 at most n?
True
Let x be 2/(5/4 - 1). Suppose -x*k = -11*k - 9. Which is greater: k or -15/7?
-15/7
Suppose 3*j + 4 = j. Let l be (7 - 9)*(-9)/j. Let o be (6 - 4)*(-12)/(-9)*-3. Is o > l?
True
Suppose 3*m + 0*m - 9 = 0, 4*g + 5*m = 107. Suppose 0 = 3*a - 5*z - g, a + 2*z = z - 3. Let j = 280530/43 + -6524. Which is smaller: a or j?
j
Let l = -218 + 110. Which is greater: l or -747/7?
-747/7
Let w = 2.1 - 0.6. Let p = w - -7.5. Let r be 2 - (-2 - (-4 - 1)). Which is smaller: p or r?
r
Let a = 3/880 - 5319/11440. Let z(l) = 2*l + 12. Let w be z(-4). Suppose -3*j = 5*x + 2*j + 5, -w*x + 4*j + 4 = 0. Which is smaller: x or a?
a
Suppose 0 = -557*w + 566*w. Which is smaller: w or -3/29?
-3/29
Let v = 2.482 - 0.042. Let w = v + -2.5. Are w and 1/2 non-equal?
True
Let q(z) = -3 + 2 + z + z**3 + 78*z**2 - 79*z**2. Let l be q(0). Let v be (-16)/60 + 2/3. Are l and v non-equal?
True
Suppose -46*d - 3473 = -8901. Is d greater than 828/7?
False
Suppose 0 = -5*g + 5, -3*h + 3*g + 2325 = -7*h. Which is greater: h or -581?
-581
Let m be (-1 - -2) + ((-16)/4 - -7). Suppose -m = -t - p, -5*t - p + 31 = -t. Which is smaller: 4 or t?
4
Let i be (20/(-15))/(88/11022). Which is greater: i or -168?
i
Let w be (-19)/(494/(-16)) + 0. Which is greater: -1/5 or w?
w
Suppose v = 4*d + 2605, -2*d - v = -d + 655. Let i = -3277/5 - d. Which is bigger: -3 or i?
-3
Let h = 1.862 - 0.472. Which is bigger: 1/3 or h?
h
Let d be (1*3)/((-33)/4). Let x be 5/(1/(8/2)). Suppose 0 = 22*w - x*w. Which is smaller: w or d?
d
Let c = -2564 + 4965/2. Which is bigger: -82 or c?
c
Let h(k) = k**2 + 26*k + 30. Let n be h(-28). Are n and 76 unequal?
True
Let h = -2.4 - 11.6. Let g = h - -13.9. Let i = -10.21 + 0.21. Which is smaller: g or i?
i
Let v be 18/30 - (-10)/(-18). Let j(m) = -2*m**3 + 4 - 3 - 3*m**3 + 12*m + 11*m**2 + 4*m**3. Let h be j(12). Which is smaller: h or v?
v
Suppose -2*l - 11 = g + l, -3*g + 3*l + 15 = 0. Let d(x) = -2*x + 164. Let h be d(0). Let m be h/192 - (-4)/(-6). Is m greater than g?
False
Let r = -2281 + 6508/3. Let l = r + 111. Is -9 at least l?
False
Let k(u) = u**3 + 26*u**2 - 33*u - 9. Let r be k(-27). Is r less than 153?
False
Suppose 4*k = -4*d + 12, -5 = -2*d - 3*k + 2. Suppose -2*r - d*w - w = 10, 5*w + 14 = -2*r. Let o be 0 + 0 + 0/(-2). Is r <= o?
True
Let s = 0.15 + -23.15. Let n = 23 + s. Which is bigger: -0.7 or n?
n
Let x be 4028/5360 - (-8)/(32/(-3)). Which is smaller: x or 0?
0
Let t(b) = b - 4. Suppose 0*w + 2*f = -2*w + 10, -f - 22 = -2*w. Let v be t(w). Suppose -u + 18 = v*j, -2*u = -7*u - j - 6. Is 1 bigger than u?
True
Let c(w) = 4*w - 20. Suppose 6*r - 35 = 7. Let p be c(r). Let s be 1/(-3) - (-25)/3. Is p != s?
False
Let y = -4 + 7. Suppose 2*n + 2 = 2*m + 4*n, 0 = -y*n + 6. Let v = 4799/11 + -436. Which is greater: v or m?
v
Let j be (-80160)/190 - 4/38. Which is greater: j or -423?
j
Let w = 987 + -989. Which is bigger: w or -18.3?
w
Let w be ((-3)/2)/(15/12). Let n be -4 + 310/75 + (-6)/180*4. Is w greater than or equal to n?
False
Let z = -57 + 61. Suppose -z*f + 4 = 4*x - 0*f, 2*x - 4*f + 22 = 0. Suppose 3*s + 5 = -5*i + 6*i, 3*i - 3 = 5*s. Are x and i unequal?
True
Let q be (-88)/20 + (-4)/(-10). Let i = q - -13. Let j(t) = -t**2 + 10*t - 9. Let o be j(i). Is o at most as big as -1?
False
Let m(j) = j**3 + 3*j**2 + j + 4. Let c be m(-3). Let f = -2013/5 + 6064/15. Is c smaller than f?
True
Let l(g) = g**2 - 37*g + 32. Let h be l(34). Which is greater: h or -68?
-68
Let l be 16/(-6)*(-21)/14. Suppose -y = -l*y - 3. Let k be 1 + 5*(y - 0). Which is smaller: k or -7/2?
k
Let m(r) = -14*r + 33. Let c be m(-3). Let v = -16590 + 99989/6. Let q = c - v. Which is smaller: 0 or q?
0
Let c = -535 + 505. Is c > -23?
False
Suppose 3*m + 0*m + 182 = -i, 244 = -4*m - i. Is m at least -62?
True
Let y = -21 - -19.4. Let r = y + 1.8. Let n be (-3)/15 + 0 - 0. Which is greater: n or r?
r
Let b = 0.023 + 34.977. Let r = 29 - b. Is r smaller than -2/7?
True
Let p be 5/(-55)*2*25/(-15). Which is smaller: p or 1?
p
Let d(m) = -m**2 + 9*m - 3. Let x be d(8). Suppose 0 = -f - x*c - 4, -4*c - 2 = -4*f + 6*f. Suppose -2*g + 4*a + 11 = -9, g + 5*a = -25. Does g = f?
False
Suppose r + 4*r - 4*j - 10 = 0, -5*r + 5 = -3*j. Is -262 greater than or equal to r?
False
Suppose 491 + 433 = 22*k. Let w be 80/48 + (-40)/k. Which is smaller: 2/11 or w?
2/11
Suppose -3*j - 182 - 28 = 3*y, 5*y = -2*j - 149. Let f = 48 + -116. Is f at least j?
False
Let g(w) = -w**3 + 6*w**2 - 3*w - 5. Let a be g(5). Suppose -d - 24 = -v, -a*v = -v - d - 96. Suppose k + 2*k = -f - 11, 0 = -f + 4*k + v. Is 3 less than f?
True
Suppose -9*n + 4*n + 2*l = -10, -3*l - 15 = n. Let s be n - (-4 + 80/19). Which is bigger: s or 0?
0
Suppose 25*c = 24*c + u - 444, -3*c - u = 1348. Which is greater: c or 1?
1
Let c(i) = -i**3 - 4*i**2 - 3*i + 3. Let v be c(-3). Suppose -8 = -3*s + s - v*q, 0 = 4*s + 3*q - 10. Let r be s - -4*(-2)/4. Is r != 4?
True
Let i(u) = -u**3 - 5*u**2 + 18*u - 13. Let h be i(-8). Which is smaller: h or 0.1?
0.1
Let y(f) = 2*f + 23. Let p be y(-5). Suppose 4 = -p*w + 9*w. Which is smaller: w or -9?
-9
Let g be (-46)/65 + 10/25. Which is greater: g or -1/3?
g
Let c be (-26)/208 - 126/16. Which is smaller: c or 13?
c
Let u = 0.28 - 19.28. Let x = 15 + u. Are 0.4 and x equal?
False
Let c = 74 - 35. Let p = 18359 + -18319. Which is smaller: p or c?
c
Let a be 4 + -2 + 4 + -5. Suppose -4*c + 3 = -a. Let r be 10/16*2*1. Is c at most r?
True
Suppose -21 = -14*x + 35*x. Is x != 2/733?
True
Suppose 3*h = -9 + 27. Suppose 2*l + h = -c, -5*l = 3*c - l + 10. Let f(v) = -v**3 + 10*v**2. Let p be f(10). Which is smaller: p or c?
p
Suppose 0 = -0*s + 3*s + 465. Let f = 1088/7 + s. Let u = 8 - 8. Which is bigger: f or u?
f
Let u = 3126 + -234428/75. Is u less than 0?
False
Let m be -22*(-3)/18 - 4. Which is sma