*g = -0*g + t - 8, -3*t - 3 = 3*g. Let n be g/(-12)*4/(-2). Is 7 less than n?
False
Suppose v - 3*v = 0. Are v and 2/29 nonequal?
True
Let u(p) = p - 9. Let z be u(5). Let j be (6/9)/((-2)/(-3)). Let r(g) = -g**2. Let f be r(j). Do f and z have the same value?
False
Let k be 3/(-5) + (-2)/5. Let f = -6 - k. Let y be f/(3/9*3). Which is smaller: y or -4?
y
Let r(i) = i**3 - 4*i**2 - i + 3. Let c be r(4). Let x = 4 + c. Suppose 8*u + 15 = x*u. Is -3 not equal to u?
False
Let n = -23 + 22. Let k = -24/23 - -218/253. Are k and n equal?
False
Let i(l) = -2*l**3 + 3*l**2 - 2. Let b be i(-1). Which is bigger: b or 18/7?
b
Suppose 15 = 3*u - 6. Let r = -3 + u. Let c be (9/(-6))/(2/r). Which is bigger: -1 or c?
-1
Let n(u) = -u + 14. Let r be n(9). Suppose 2*v + 47 = 5*b, r*b - 5*v + 16 = 66. Which is bigger: b or 10?
10
Let w = 21 + -21. Is w bigger than 7?
False
Let m = 3 - 6. Let i = -191/2 + 92. Is m smaller than i?
False
Let l = 8.1 + -6. Let q = l - -0.9. Are -1/5 and q non-equal?
True
Suppose -4*b + 3*j = -13, 2*j - 11 = -2*b + 5*j. Suppose 5*q + 3*l + 94 = l, q + l = -20. Let k be (q/(-14))/(3/2). Which is smaller: b or k?
k
Let z(c) = c**3 + 7*c**2 + 8*c + 2. Let l be z(-6). Do -10 and l have different values?
False
Suppose 0 = 4*c + 2*l + 1 - 31, 5*c + 3*l - 39 = 0. Suppose 3*i + 1 = 10. Is i at most as big as c?
True
Let z be 1*(-1)/8*2. Let a = 17 + -12. Suppose 4*x - 4*i + 8 = -8, 14 = x + a*i. Are x and z nonequal?
True
Let j be ((-1)/(-1)*10/295)/(-2). Is 0 at least j?
True
Let t(d) = d - 9. Let u be (-14 + 0)*(-4)/14. Let q be t(u). Is -5 <= q?
True
Let g(w) = -w**2 - 7*w + 5. Let x be g(-8). Is x less than or equal to -10/3?
False
Let s = 13 - 13.04. Is -1/4 not equal to s?
True
Let l = -10 + 10.2. Is -1 at most l?
True
Let w = 0 + 0. Let c be 24/9 - (-2)/(-3). Are w and c equal?
False
Let m = 1.7 + -2.1. Do 0 and m have different values?
True
Let z(d) = d**3 - 9*d**2 + 12*d + 4. Let h be z(7). Which is smaller: -12 or h?
-12
Suppose -5*y + 5 = -0*y. Let l be 3*4/9 - y. Is l at most 0?
False
Suppose 4*n + 2*p = 6, -5*n + 11 = -2*p - 10. Let o = -4 + n. Is o at most -1?
True
Let v = -4 - -2. Let s = -13 - -40/3. Which is bigger: s or v?
s
Suppose 0 = -2*d - 4*o + 14, -d - 3*d - o + 7 = 0. Is d greater than or equal to 8?
False
Let d be ((-3)/2)/(14/(-252)). Let b = d - 29. Which is greater: b or -3?
b
Let n(p) = -p**3 - 10*p**2 - 8*p - 11. Let j be n(-9). Let i be ((-90)/j)/((-24)/2). Which is smaller: i or -1?
-1
Let s = 0.11 + -0.01. Which is smaller: 3/5 or s?
s
Suppose -4*g - 5*v - 9 = 31, 3*g + 31 = -4*v. Let r = g + 3. Is r less than -3?
False
Let d(x) = -x + 2. Let j be d(0). Let m be (-11)/33*0/2. Which is smaller: m or j?
m
Let l be (1 - (-39)/(-108)) + (-4)/6. Let p(t) = t**3 - 4*t**2 + 4*t - 4. Let d be p(3). Is d at most as big as l?
True
Let q be (2 + 4)*15/3. Is q at most -2/7?
False
Suppose 5*p - 46 = 3*p. Which is greater: 24 or p?
24
Suppose 0*n = 4*h + 4*n, 3*n + 4 = -h. Let b = 3 + -5. Let o be 0/b + (-3)/(-6). Which is smaller: o or h?
o
Let m = -1.6 + 8.6. Let w = m - 8. Which is greater: w or -0.5?
-0.5
Suppose 2*m - 30 = -3*m. Let q(f) = f**2 + 6*f - 3. Let a be q(-5). Let p = m + a. Is -2 > p?
False
Let o = 0.24 + -0.54. Which is smaller: -0.01 or o?
o
Let y(g) = 5*g - 12. Let b be y(7). Which is greater: b or 24?
24
Let z be (-3 - (-52)/20)*1. Suppose 0 = -4*w - 3 + 31. Suppose 3*t - w*t = 0. Is z less than or equal to t?
True
Let r be 10/136*1/(-5). Is r bigger than 1?
False
Suppose 4*r - 2*r = 68. Is 34 <= r?
True
Let c = 93 + -647/7. Do c and 2/3 have different values?
True
Let g = -33 - -33. Is -0.11 at least g?
False
Let k(h) = h**2 - 6*h + 5. Let f be k(5). Suppose 5*y - 12 = 4*x, -2*y = y - 3*x - 6. Let s(v) = v - 4. Let u be s(y). Is f at most u?
True
Suppose -3*c + 8*c = 85. Let v = 9 - c. Is -9 <= v?
True
Let v = -1 - 5. Let i be 9/18 + 5/v. Which is smaller: -0.05 or i?
i
Let k = -73/6 + 13. Which is smaller: k or 1/4?
1/4
Let o = 1727/5 - 18274/35. Let w = 177 + o. Which is smaller: 4 or w?
w
Suppose 3*h + 10 = -4*p, 6*p + 13 = p - 4*h. Which is greater: -5/4 or p?
p
Let n(r) = -2*r + 5 - 2 + 2 + 3*r. Let d be n(-5). Suppose -2*f = -2 - d. Which is smaller: f or -2/13?
-2/13
Let q(a) = 14*a**3 + 1. Let g be q(1). Suppose -g + 3 = -4*s. Is s at least as big as 2?
True
Suppose -4*t + 140 = 36. Which is smaller: t or 23?
23
Let p = -8/3 + 29/12. Is -1 greater than or equal to p?
False
Suppose 5*h + 6 = 3*p - 4, 0 = 4*h - 4*p + 16. Suppose 3*b - 18 = 27. Let q be (-3)/b + h + -1. Is -0.1 less than q?
False
Let s be (1/20)/((-44)/(-110)). Is 0.1 > s?
False
Suppose -3*b + 29 = 4*a, -3*a + 10*b = 5*b. Let s be 1/(-3) + a/33. Is s > 0?
False
Let m(i) = 2*i + 20. Let q be m(-6). Is q at most as big as 27/4?
False
Let m = -1 - -3. Let g be (3 - (-6)/(-3))/1. Let r be 0/(-2 + (m - g)). Which is smaller: 2/9 or r?
r
Let h = 78 + -72. Which is smaller: h or -1?
-1
Suppose -c + j + 2 = 0, 0*j = -4*c + j + 20. Suppose -4*k = -c*k + 18. Let v be (-3)/(k/6) + 1. Is v at most as big as -1/3?
True
Let p = 323/40 + -46/5. Which is greater: p or 0?
0
Suppose m + 0 = 13. Suppose y = -4*d - 4 - 12, 3*y = -5*d - m. Suppose 2*k - 4 + 6 = s, 5*s + 4*k - 10 = 0. Is y bigger than s?
True
Suppose 5*c + 7 - 2 = 0. Let y be (3/(-2))/((-14)/28). Suppose 6 = y*d + 9. Is d greater than c?
False
Let d = 0.02 - 0.32. Let k = 1 - 0.9. Which is smaller: d or k?
d
Let p be 6*-3*(-1)/6. Let n be (14/19)/2 - p. Let l = n + 888/323. Which is greater: -1 or l?
l
Suppose 4*d - m = -0*m + 6, 0 = 3*d + 3*m + 3. Let r be 1*d/4*1. Let f be 4 - 20*(-3)/(-12). Are r and f non-equal?
True
Let v(j) be the second derivative of 0 - 1/12*j**4 + 1/6*j**3 - j - 2*j**2. Let c be v(0). Which is bigger: c or -3?
-3
Let n be (3/(-2))/(3/(-16)). Let d be n/(-36) - 184/(-18). Let i be ((-1)/d)/((-6)/(-15)). Which is smaller: 0.2 or i?
i
Let q be (-1)/(-2 + (-18)/(-8)). Let n = 10 + -10. Suppose 3*a - 4*a - r - 7 = 0, r + 3 = n. Is a less than or equal to q?
True
Let j(d) = d**3 - 5*d**2 - d + 7. Let k = 1 + 4. Let g be j(k). Which is smaller: 2/3 or g?
2/3
Let a = 8.86 - 4.83. Let w = 0.03 - a. Which is smaller: -2 or w?
w
Let v be 3/(-3) + (-21)/(-22). Let d(t) = -t**3 - 6*t**2 - t - 7. Let y be d(-6). Which is smaller: y or v?
y
Let p be (12/30)/((-4)/6). Are p and 1/4 equal?
False
Let z = -3 - 2. Are z and -5 non-equal?
False
Suppose 0 = 4*d - 0*d - 4. Let z = 7 - d. Which is bigger: 4 or z?
z
Let y(u) = -u**2 + 1. Let w be y(-2). Let q(m) = -m**3 - 2*m**2 + 2*m - 1. Let d be q(w). Let c(g) = -g**2 - 2*g + 6. Let p be c(-3). Which is greater: p or d?
p
Suppose -2*s + 7 = 5*l, l - 19 = -0*l + 4*s. Suppose 0 = 4*m + 4, 0*m = l*b + 4*m + 19. Which is greater: b or -3?
-3
Let g be (-4)/18 + (-2 - (-175)/(-63)). Suppose -p + y = -2*y + 8, -y + 26 = -5*p. Is g <= p?
True
Let y be -26*((-12)/(-8) + -1). Which is smaller: -12 or y?
y
Suppose 2*z + 3*z = -5. Let x = -176/7 - -25. Is z at most x?
True
Let c be (-2)/(-17) + (-8602)/(-578). Suppose -4*t = -5*t + 15. Is c less than t?
False
Let p(l) = l**3 - 9*l**2 - 11*l + 6. Let z be p(10). Let i be 42/136 - (-1)/z. Are 1 and i equal?
False
Let d = -45 + 137/3. Let r(k) = -k**2 - 12*k + 10. Let h be r(-13). Let y be -2 + (-1 - h) + 1. Is y > d?
True
Suppose 69 = 7*u + 27. Is 8 at least u?
True
Let d = 309 + -329.9. Let n = 18 + d. Let t = 3 + n. Is 0.1 less than t?
False
Let w(c) = c + 3. Let o be w(3). Let k be (o/189)/((-3)/7). Is k < -1?
False
Suppose -6 = 2*t - 2. Suppose -5*c + 40 = 10. Let m be (c/(-4))/(-3) - 1. Which is greater: t or m?
m
Let c = -16610 - -16979.07. Let j = 367 - c. Let q = j - -0.07. Which is bigger: q or 0.4?
0.4
Let z = -0.98 + -0.02. Which is greater: 0 or z?
0
Let a = 10 - 9.91. Let m = a + -0.14. Which is bigger: m or -2?
m
Let r = -2 + -10. Let t = 11 + r. Do t and 6/11 have the same value?
False
Let s be 3 - (35/10 + (-1)/(-2)). Which is greater: -8/19 or s?
-8/19
Let w be 200/35 - 2/(-7). Suppose 0 = -4*o + 2*u - 10, u - 14 + w = 3*o. Is o not equal to -2?
True
Let j(o) = o**3 + 14*o**2 + o + 14. Let g be j(-14). Which is bigger: g or 1/2?
1/2
Let x(f) = f + 2. Let a(r) = -r**2 - 4*r - 2. Let n be a(-2). Let y be x(n). Let q = 21 + -18. Which is bigger: y or q?
y
Let p = -997/13237