ual?
True
Let f(q) = -q**3 - 5*q**2 + 5*q - 3. Let v be f(-6). Suppose z = -z + 4. Suppose -5*i + 4*o - 5 = 0, z*i - 3*o = -i - 6. Is v equal to i?
True
Let w = -1.7 - -1.79. Let n = 0.912 + -0.622. Let d = w - n. Are d and 0.3 unequal?
True
Let f(i) be the first derivative of i**6/360 - i**5/20 - i**4/24 - i**3 - 1. Let j(o) be the third derivative of f(o). Let g be j(6). Which is greater: -4 or g?
g
Suppose 23*h - 18*h = 0. Let j = 55059/136 + -1521/17. Let o = j - 315. Which is smaller: h or o?
h
Let k = 5.23 - 5.13. Let x = -0.07 + 3.07. Is k at most as big as x?
True
Let o = 11 - 16. Let j = -140 - -133. Are j and o non-equal?
True
Let g = 78.22 - 79. Which is smaller: -6 or g?
-6
Let j(f) be the first derivative of f**2/2 - 3*f + 15. Let n be j(4). Suppose -4*q + 3 = -n. Is 2/61 smaller than q?
True
Let x = 0.208 + -1.108. Let h = -2.1 - -1. Let n = h - x. Which is greater: -0.3 or n?
n
Let t be 10610/1335*2/(-28). Let u = -839/271539 - 2/3051. Let g = t + u. Is g equal to -1?
False
Let z(g) = g**3 + 4*g**2. Let r be z(-4). Let l = 37 + -22. Suppose -5*y + 10 - l = 0. Is y equal to r?
False
Let r = -401 - 192. Is r <= -591?
True
Let y = 44 - 39. Suppose -5*v = -0*v + y, 0 = -n + v + 4. Which is smaller: n or 17?
n
Let b = 52 - 50. Suppose b*g + 4 = -0*g + 2*c, 2*g + 10 = 4*c. Suppose 0 = -3*w - 4*p - 4 - 0, -5 = 5*p. Which is greater: g or w?
g
Let o = -660199/49 - -13473. Does o = 1?
False
Let s = 17 - 27. Suppose 0 = -2*i - 2*i + 4*f + 20, -3*f = 0. Suppose 100 - 40 = -i*z + 2*j, j + 15 = -2*z. Is z < s?
False
Let k = 249.89 + -250. Which is greater: k or -2/127?
-2/127
Let q = -47 - -140/3. Let w be 3 - (-3 - (3 + 22)). Let k = 32 - w. Is k < q?
False
Let g = -767 - -446. Let i be g/(-1236) + 3/(-12). Are 0 and i equal?
False
Suppose 0 = 2*h + 3*p - 14, -h = -4*h + 3*p + 6. Let f be h - (-3 + 1 + 1). Suppose 4*r = 2*g - 34, 3*g = 4*r - 5*r - f. Which is smaller: -7 or r?
r
Let a = -605 + 591. Does a = -15?
False
Let g(k) = -k**2 + 15*k + 4. Let t be g(15). Suppose -2*f = -4, -2*c + 59 = c + f. Let x be 2/7 + c/7. Is t at least as big as x?
True
Let m = 97 + -100. Let f be (m - -1)*(-63)/14. Is 6 at least f?
False
Suppose -r + 3*j - 22 = 13, -4*j + 12 = 0. Let u = r + 25. Which is smaller: u or -3/14?
u
Suppose 7*j - 23 = 12. Let r = -10411/77 + 977/7. Is r >= j?
False
Let l be (126/(-13902))/(6/4). Is l bigger than -1?
True
Suppose 0 = 3*c + 11 + 25. Let i(g) = 10*g + 8 - 18 - 24*g - g**2 - 5. Let w be i(c). Is w at most as big as 0.2?
False
Let m be (3*2/24)/(1133/264). Which is smaller: 1 or m?
m
Let t(y) = y**2 + 8*y + 10. Suppose 3 - 7 = -s. Suppose 2*q = 5*d - q + 35, s*q = 2*d + 28. Let b be t(d). Is -6 smaller than b?
False
Let j = -113 + 57. Let h = 58 + j. Is 11/9 not equal to h?
True
Suppose 6*k + 1495 = -d, -8*d - 2*k - 5980 = -4*d. Is -1496 less than or equal to d?
True
Let z(d) = 13*d + 29. Let j be z(-12). Which is smaller: -126 or j?
j
Suppose 0 = -6*z + 2*z + 180. Let d be 2/9 - ((-380)/z - -4). Which is smaller: 4 or d?
4
Let j(z) = z**2 - 8*z + 6. Let r be j(6). Let k be ((-20)/(-6) + -3)*r. Let i be (-150)/(-70)*2/(-5). Is i at least k?
True
Suppose d + 2 + 1 = 0. Suppose 0 = -92*m + 93*m + 8. Which is bigger: m or d?
d
Let l = -46 + 137/3. Let j = 596 - 618. Is j <= l?
True
Let k = -12 - -7. Let c(b) = 0*b - 3 - 4 + b - 2*b. Let u be c(k). Which is smaller: u or -3/4?
u
Let w = -649 + 1287/2. Let j be -1 - -1 - 1 - 5. Which is smaller: j or w?
j
Let s be (-6)/8 + 75/20. Suppose s*p - 3 = 4*p. Let w be (-16)/(-12) + 1/p. Which is greater: -1/3 or w?
w
Let f = 57/7 - 8. Let y = f - -3/28. Suppose -3*n = 4*c - 4, 5*n + 3*c - 4*c + 1 = 0. Which is bigger: y or n?
y
Let f = -104 + 229.04. Let g = f - 125. Suppose 3*z = 3*j - 8*j - 18, 0 = z + 5*j + 16. Which is greater: z or g?
g
Suppose 2*z - 2*b - 14 = 0, -4*z = 3*b - 0*b - 49. Suppose -z = -3*s - 1. Let l = -12.8 - -13. Which is greater: l or s?
s
Let i = 602 - 428. Is 176 at least i?
True
Let g = -162025803/54466181 + 3/457699. Let u be -6 - 11/((-187)/138). Let h = g + u. Which is greater: h or 0?
0
Let s = -0.37 + -0.01. Let a = s - -0.37. Are a and 0 nonequal?
True
Let z be 4 + (4 - 50/5). Let i be (2 + z)/(-4 + 3). Let q be -1*1 - (-3)/30. Is q <= i?
True
Let c(b) = -6*b**2 - 28*b. Let r be c(-4). Let p = 26 - 37. Let u = r + p. Is u less than or equal to 5?
True
Let j = 17 + -13. Let w(g) = -g**2 + 7*g - 10. Let d be w(j). Let r(y) = 12*y**2. Let o be r(1). Which is smaller: d or o?
d
Let t = -179236/151 - -1187. Which is smaller: t or -1?
-1
Suppose 0 = 47*w - 50*w + 24. Let c be 2/(3/(12/w)). Which is greater: c or 6/47?
c
Let f be 4/(-15) - 2/(-6). Suppose 70*p - 9 = 61. Which is greater: p or f?
p
Suppose -13 = h - 4*h - 5*f, 5*h - f = 3. Suppose -2*g - 2*c + h + 33 = 0, 5*g + 2*c = 82. Suppose g = 8*b - 4*b. Is b < 4?
False
Let i = -15 - -20. Suppose 4*d - i*n - 42 = 0, -2*n = -4*d + 2*n + 40. Let v be 32/d - 150/38. Is v <= -1?
False
Let v = 29 + -8. Let k = v - 20.8. Let m(t) = t + 5. Let i be m(4). Which is greater: i or k?
i
Let i(h) = 14*h - 364. Let b be i(23). Which is greater: b or -64?
b
Suppose -16 - 20 = -3*j. Let v be 18/21*j/36. Which is greater: -9.1 or v?
v
Let x(m) = m**2 - 8*m - 4. Let u be x(9). Suppose n + p = 0, 3*n = -n + p - 20. Which is smaller: u or n?
n
Let n(u) = -4*u + 5. Let z be n(-2). Let a be (-14)/(-91) - 2/z. Which is smaller: a or 24?
a
Suppose -2 - 2 = -2*m. Let g be (18/12)/(1/m). Suppose -g = 4*y - 7*y. Which is smaller: y or 2?
y
Suppose -2*f - 9 = -11. Let i = 523 - 3655/7. Which is smaller: i or f?
i
Let o = -12 - 0. Let p = 12 + o. Suppose 51 = 5*n + 2*k, p = -3*k - 7 + 1. Is 31/3 bigger than n?
False
Let y(i) = -i. Let n be y(0). Suppose -2*q + 2 = -2*x + q, -5*x + 5*q = 0. Suppose c = -x*s - 4, -5*s = -4*c + 5*c + 4. Are n and s nonequal?
False
Let h = 0.36 - 6.66. Let j = h - -6.03. Let x = 0.17 + j. Do 0 and x have the same value?
False
Let j = -166 - -166. Which is greater: j or -3.8?
j
Let j be -3*1 + 155298/186. Let d = 832 - j. Let o(n) = -n**3 - 4*n**2 - n - 5. Let m be o(-4). Which is smaller: d or m?
m
Let a(p) = 6*p**3 - 4*p**2 + 4*p + 3. Let q(b) = -b**3 - 1. Let k(u) = a(u) + 5*q(u). Let l be k(3). Let h = 5.4 + 1.6. Is h > l?
True
Suppose -3*n = -3, 3*n = b + 129 + 22. Is b equal to -146?
False
Let v = 4.8942 - -0.1058. Are v and -0.111 unequal?
True
Suppose 2*l + 5*p = 4*l + 8, -p + 4 = 0. Let i(s) = -s**3 + 6*s**2 + 8*s. Suppose 0 = 3*f - 2 - 19. Let r be i(f). Which is bigger: r or l?
r
Let x be 44646/8925 - (-20)/(8/(-2)). Is x bigger than 0?
True
Let t be (-6 + 9)*(-49)/(-3). Which is smaller: 52 or t?
t
Let r = -1 + 1. Let t = -3360.17 - -3360. Is r at least as big as t?
True
Let w = -0.1876 + -0.2174. Which is greater: -0.2 or w?
-0.2
Suppose -4 = y + 4. Let m = -32.964 + 33. Let v = 0.064 + m. Which is bigger: v or y?
v
Let d be (-3)/(6/(-8)) - (-780)/(-26). Is d greater than -232/9?
False
Suppose 2*r + 15 = 7*r. Suppose r*k - 16 = 5*l, -2*l = -0*k + 3*k - 2. Which is greater: -1 or l?
-1
Let h(i) = -i + 7. Let w be h(8). Which is greater: w or -2?
w
Let n = 1530 - 16831/11. Let f = -0.1 + 0.1. Which is greater: n or f?
f
Let c = 44 + -617/14. Let u = -67 - -68. Is c at least u?
False
Let r = -92.31 - -92. Are r and -0.2 unequal?
True
Let f(c) = -18*c - 394. Let x be f(-22). Are x and -21.2 equal?
False
Let c = -885 - -886. Which is bigger: -2/1845 or c?
c
Suppose -15*k + 5*k = -80. Suppose k*w - 2 = -2. Which is smaller: -1/39 or w?
-1/39
Let m = 1.46 + 89.54. Let n = m + -92. Let q = 10.07 + -10. Which is smaller: q or n?
n
Let d(p) = p**3 - 2*p**2 - 14*p - 3. Let y be d(5). Is -20 less than y?
True
Suppose 0 = y - 0*y - 2. Let n = 68/9 + -58/9. Is n at least as big as y?
False
Let c = 0.33 + -0.08. Let d = 0.15 + c. Let i = d + -0.5. Which is greater: i or -0.8?
i
Let w = 72.531 - -0.469. Is w at most 1?
False
Suppose 341*c - 13986 = 368*c. Which is bigger: c or -520?
c
Suppose 4*x - 19 = 3*m, 4*m - 3*m = 2*x - 7. Let n = 6 - x. Let f be 10/n + (-33)/15. Which is smaller: -1/2 or f?
-1/2
Suppose -3*t + 2*q - 34 = 0, 4*t = -2*q + 18 - 68. Let m = t + 14. Let j be 14 - (-1)/(m/(-4)). Do 12 and j have the same value?
True
Let q = 10 + 4. Let x be (q/(-28))/(1/(-10)). Suppose -30 - 15 = x*