+ -13. Let g be 1*29*(6 + -8). Let x = -53 - g. Is f bigger than x?
False
Suppose -2*o + 5*a - 102 = 0, -2*a + 18 + 33 = -o. Let z = -3 - o. Let u be (108/z)/(3/(-16)). Is u >= -12?
True
Let t = 1 + -1. Let r = 673/76 + -35/4. Which is smaller: r or t?
t
Let u = -6 + 9. Suppose -8*c = -u*c - 15. Which is smaller: c or 2?
2
Suppose 2*c - 7*c + 445 = 0. Is 90 at least as big as c?
True
Suppose -2497 = 19*h - 141. Which is greater: h or -129?
h
Let b = -1610 - -53132/33. Which is bigger: b or 2?
2
Suppose 22*r + 8*r = -330. Which is bigger: 27 or r?
27
Let j(k) = -k**3 - 9*k**2 + 10*k + 9. Let i be j(-10). Let n be 20/6*i/6. Suppose -3*w = -n*f + 13, 0*f - 4*f + 4 = 4*w. Do -1 and w have the same value?
True
Let z be (4 + (1 - 19))*(-4)/14. Let l = -5 + 9. Suppose -f + z*r = -19, -2*f + 51 = l*r + r. Which is smaller: -1 or f?
-1
Let j = 17.0588 - 0.0588. Are 0.32 and j nonequal?
True
Let k(u) = u**3 - 8*u**2 - 34*u + 9. Let j be k(11). Which is bigger: -1 or j?
-1
Let z = 2.41 + -0.46. Let q = 2 - z. Let t = 710/3 - 237. Is q greater than t?
True
Let k = -259 + 258. Which is greater: k or -29?
k
Suppose 5*a + 39 = 4*s, a - 4*a - 27 = -3*s. Let t(k) = k**2 - 8*k. Let l be t(s). Let i be (-4)/24 - 26/l. Is 2 bigger than i?
False
Let s be (3/(-3))/((-1)/3). Let a = -1 - -3. Is a at least as big as s?
False
Let o be 3 - (10 + -3 + -2). Let j be 30/(-4)*(-8)/6. Which is greater: j or o?
j
Suppose -3*a + 85 = 5*f + 18, 5*f + 4*a = 66. Do f and 16 have different values?
True
Suppose -2*q = -0*q. Let k(o) = o**2 + 1. Let a be k(q). Let l be ((3 + -3)/(-3))/a. Which is smaller: l or -1/46?
-1/46
Let z(j) = -j**2 + 16*j - 61. Let a be z(10). Is a > -2/19?
False
Let g = -0.2 + -0.8. Let q = 99 - 53. Let x = 45.9 - q. Which is smaller: g or x?
g
Suppose -2836*d + 6 = -2830*d. Let u(k) = -2*k**2 - 2*k - 1. Let r be u(-1). Which is greater: r or d?
d
Let m be 488/80 - (1 - -3) - 2. Let v = -51 + 301/6. Is m greater than or equal to v?
True
Let s be (-1)/(-4)*(-8)/(-12)*-125. Is -22 at least as big as s?
False
Let q = -67/115 + 1739/7130. Which is bigger: 0 or q?
0
Let p(m) = m**2 - 10*m + 9. Let h be p(8). Let j = h + 17. Let a be (-2)/3*12/j. Which is smaller: 0 or a?
a
Let v(b) = -b**3 + b**2 - b - 1. Let c(s) = 3*s**2 - 3*s - 7. Let f(j) = c(j) - 5*v(j). Let g be f(1). Which is greater: 23 or g?
23
Suppose -3*y + 3 = -2*y. Suppose w + w = -y*j + 17, -3*j = -w + 31. Let a(h) = 5*h**2 + 4*h + 3. Let b be a(-2). Is b <= w?
True
Let w = 1.95 - 2. Let y = 13/129 - 349/903. Is w smaller than y?
False
Let a be (-106)/159*(-18)/4. Let f = 3 - -2. Let i = -1 + f. Which is bigger: i or a?
i
Let u = -428 - -464. Which is greater: u or -2?
u
Let j = 0.154 + -0.354. Let k = 30.02 - 30. Is j at least k?
False
Suppose 33 = v + a - 0*a, 0 = 3*v + a - 89. Suppose -2*d = 14 - v. Is d != 7?
False
Suppose -3*u - 48 = -3*s, s + s + 115 = -5*u. Suppose -5*w = -3*y + 107, 6*y - 3*y = 4*w + 85. Is w less than u?
True
Let i be 3 - (-1)/(4/148). Let o be 4/(i/34) + -3. Let h be (2/(-4))/((-7)/14). Which is smaller: o or h?
o
Let f(g) = -9*g**2 + 16*g**3 - 10 - 17*g**3 + 2 - 8*g. Let p be f(-8). Which is smaller: p or -4?
p
Let p be (-38)/95 - (-36)/15. Which is bigger: 38/29 or p?
p
Let u(v) = v**3 + 3*v**2 - 6*v - 6. Let o be u(-4). Let r = -3 - -7. Suppose -k = -r*k - 3. Do k and o have different values?
True
Let u(q) = -12*q + 154. Let b be u(13). Which is smaller: b or -18/35?
b
Let v = -0.4 + 0.6. Let f = 0.38 + -0.23. Let a = -0.05 + f. Is v >= a?
True
Suppose 115*k = 111*k + 5*y + 611, -3*k = 2*y - 487. Does 161 = k?
False
Let g(v) = v - 1. Let r be g(-1). Let q = 0 - r. Suppose -2 = -o + 5*t, 4*t = t. Is o at most as big as q?
True
Let r(j) = j**2 - 18*j. Let g(x) = x**2 - 19*x + 1. Let q(y) = -4*g(y) + 5*r(y). Let p be q(16). Suppose 3*n + 4 - p = 0. Is 9 greater than n?
True
Suppose -5 - 59 = -4*x. Suppose -5*v + x + 4 = 0. Suppose 4*w + 22 = 2*y, -4*w = v*y + 2 + 2. Which is greater: 3 or w?
3
Let j = -2153/6130 + 3/2452. Let c(f) = f - 5. Let l be c(4). Is l equal to j?
False
Let n be (-32 + 31)*(-195)/(-3). Which is greater: n or -66?
n
Suppose -3*n = -2*s - 54, 6*n - 79 = 3*s + 2*n. Suppose 25 = -5*d - 25. Let l be 48/120 + 214/d. Does l = s?
True
Suppose 0 = -2*d + 5*h + 5, -2*h + 13 = 2*d + h. Let w be -6 - -24*(-9)/(-18). Is w less than or equal to d?
False
Let w = 34 - 38. Let s be (0 + w)/4 - 13/(-17). Which is greater: s or 0?
0
Let k = -2294 - -57372/25. Which is smaller: k or 2?
k
Let k = -18 + 14. Let t = -4.6 - k. Let x = t + 0.5. Is -0.06 less than x?
False
Suppose -12*y = -9*y - 4*c - 44, -y - 5*c - 17 = 0. Which is smaller: y or -6?
-6
Suppose 4*r - 8*r + 5 = -z, -4*r - 4*z = 0. Is -0.1 at most r?
True
Let m be ((2/(-6))/((-12)/36))/1. Let o(l) be the second derivative of -5*l**4/6 - l**3/6 + l**2/2 + l. Let t be o(m). Is t bigger than -9?
False
Let v(m) = 19*m + 60. Let g be v(-7). Which is bigger: g or -72?
-72
Let i be ((-10)/(-4) + 1841/98)*-1. Which is greater: i or -22?
i
Let l be 12*1/(3/3). Suppose 0*w + f + 17 = -2*w, 2*f = -2*w - l. Is w >= -8?
False
Let r = -2449059/29330 + 2/14665. Is r > -85?
True
Suppose -2*l - 2 = -6. Let d = -31 + 37. Suppose -r + 4*r + d = 0. Is r > l?
False
Suppose 55 = -2*u + 7*u. Let c = -7577 - -7589. Is c at least as big as u?
True
Let c be (-2 - 8/(-3))*105/(-14). Let s be ((-5)/(-25))/(3/c). Is s less than or equal to 0?
True
Suppose -24*q - 2481 = -921. Do q and -62 have different values?
True
Let j = -28 + 27.62. Let g = j + 0.18. Let z be 3 + ((-27)/2)/3. Which is bigger: z or g?
g
Let h be (-210)/112*4/10. Which is smaller: h or 35?
h
Suppose 0 = -4*i + 52 - 4. Let u = 22/3 - -25/6. Is u less than i?
True
Let y be (23 - 0) + 3 + -2. Which is greater: y or 27?
27
Let l = -0.0893 + 49.1893. Let y = -49 + l. Let j = -1 + 0.99. Is j greater than or equal to y?
False
Suppose -5*q - 2*i = -0*i + 1623, 985 = -3*q - 4*i. Is q <= -324?
False
Suppose 0 = 17*f + 28*f - 135. Let b = -3.2 - -3. Let h = b - 0.8. Which is greater: f or h?
f
Let c be ((-2213)/(-14) - 0)/(-1). Let k = c + 158. Let r = 3/14 + k. Is r > -1?
True
Suppose -3*x - 3*q = 18, -2*x = 4*q - 0*q + 16. Let j be (230/15)/(30/x) + 2. Is -1 less than or equal to j?
True
Let w(h) = h - 7. Let v be w(7). Let r(p) = 2*p**3 + 0*p**3 - 134*p - 24 - 3*p**3 + 21*p**2 + 157*p. Let j be r(22). Which is smaller: j or v?
j
Let j = 4 + 0. Suppose 5*k - 7*k = -14. Let c(t) = t**3 - 8*t**2 + 9*t - 9. Let m be c(k). Which is bigger: j or m?
m
Let s = 13 - 7. Let r = 2 + s. Which is greater: r or -1?
r
Let y = -958/9 + 35455/333. Let s = -3 + 2.9. Which is smaller: s or y?
s
Let k = 192 - 632. Let q be (-199666)/k - 5/(-20). Let c = q + -454. Is c less than or equal to 0?
False
Let o = 74.976 + -75. Let z = 10.024 + o. Which is smaller: z or 1?
1
Suppose -34*a + 52*a = -3960. Is a != -220?
False
Suppose -1 = 2*a + b, -2*b = b - 3. Which is smaller: 1/1086 or a?
a
Let n = -455.49 - -451. Let w = n - -0.49. Which is smaller: 13 or w?
w
Let k be 57/21 - (-2)/7. Let a(x) = x + 2. Let g be a(k). Suppose 3 = g*v + 8. Which is smaller: v or -1/3?
v
Let s = -0.717 - 246.283. Is 3 <= s?
False
Let t = 1661 + -1657. Let g = 1028 - 7167/7. Is g at least as big as t?
True
Let j(v) = -v**2 + 11*v + 6. Suppose 2*y - 43 = -3*y - 3*n, -4*y + 3*n = -56. Let t be j(y). Let g be t*2/(-3) + -3. Which is smaller: g or -6?
g
Suppose 2*x - 7 - 3 = 0. Let g = -354 + 1768/5. Is x > g?
True
Suppose 2*s + 5*r = 4*s - 12, -s = r + 1. Let v be (-2)/(-8) - 33/(-44). Suppose -m = -2*g + 3, 5*g + v = -4*m + 2. Is g > s?
False
Let d be 285/(-50) - (-45)/(-150). Let z(l) = l**3 + 3*l**2 - l - 2. Let c be z(-3). Suppose 21 = -5*j + c. Which is greater: j or d?
j
Let q = 0.054 - -0.076. Let x = q - 0.23. Which is smaller: x or 4/9?
x
Let o = 16.98 + 0.02. Let y be ((-95)/(-10) - 9)/(2/(-4)). Which is smaller: y or o?
y
Let t(q) = q**2 - q - 22. Let j be t(5). Let p be (-10)/5 + 1392/698. Let z = -2798/1047 - p. Which is smaller: z or j?
z
Let u = -2358 + 2359. Let i be (-24)/(-15) - (-4)/10. Let j(a) = a. Let f be j(i). Is u <= f?
True
Let d(i) = i + 0 + 4*i - 9 + 6. Let p be d(3). Let g be 16/(-18) - 6/(-27). Which is smaller: g or p?
g
Let k be 91/52 + (-1)/(-4). Suppose -5 = 3*r - u, u - 5 = r - k*r. Wh