 y be t(-4). Suppose y*d + 27 = 2*n - d, 41 = 3*n - 2*d. Is 14 at most as big as n?
False
Let w = -0.3 + 0.1. Let m = -0.11 - 0.19. Let y = w - m. Is 2/9 equal to y?
False
Let j = -52363/510 - -308/3. Let x = j + -253/340. Which is smaller: -2 or x?
-2
Suppose -31 + 7 = -12*g. Which is smaller: g or 12/23?
12/23
Let x(v) = -v**2 + 3*v + 4. Let l be x(4). Which is bigger: l or -2?
l
Let p(o) = -o**2 - 5*o + 5. Let h be p(-5). Suppose 0 = -3*i - h*s - 3 - 1, 3*i = 4*s + 14. Which is greater: i or -1?
i
Suppose -4*q + 3*z = -8, -4*z + 19 + 7 = 2*q. Suppose 3*x = q*x. Is x >= 1?
False
Let m = -73 - -62.9. Let o = -10 - m. Which is smaller: -1 or o?
-1
Let p(d) = 9*d**3 - d**2 + 2*d - 1. Let t be p(1). Let j = t - 9. Suppose 3*n - 18 = -j*n. Is 6 at most n?
True
Suppose 5*o = -0*o - 355. Let d = o + 354/5. Let q = 0 + 0. Is d at most q?
True
Suppose 10 + 10 = 4*r. Let m = -1 - -6. Is m at most r?
True
Let f = 2 - 2. Let u be (1 - f)/(9/(-1834)). Let m = -204 - u. Is m smaller than -1?
False
Suppose 3*a - d + 9 = 4*d, 3 = d. Suppose -3*i + a = -i. Is -2/11 smaller than i?
True
Let x = 5.9 + -0.9. Let q = 7 - x. Which is greater: -1/5 or q?
q
Suppose 5*r - g + 18 = 0, 0 = 3*r - 5*g + 13 + 11. Is -5 > r?
False
Let g = -215 - -125. Let p be (-24)/g*(-6)/4. Let r(a) = a**2 + 3*a + 1. Let s be r(-3). Which is smaller: s or p?
p
Let p be (-1)/6 + 70/(-12). Let z be -1 - (3 - p)/(-3). Suppose 3*d + z*d = -4*o + 7, -5*d - 17 = -4*o. Which is smaller: 0 or o?
0
Let h be 1323/(-77) - 6/(-33). Is -17 greater than h?
False
Let b be 1/(-2)*(3 + -7). Suppose 2*p + b*z = -3*p - 18, -5*z - 20 = 0. Let i = 0 - 0. Do p and i have the same value?
False
Let v = 1/44957 - 41135662/314699. Let k = v - -131. Is -2/5 <= k?
True
Let w be ((-8)/6)/(4/(-6)). Let h be 6*2/8*w. Suppose 0*b + h*b = 0. Is b greater than or equal to 2/29?
False
Let u = 32 - 30. Suppose 5*n + 3*b = 87, -b + 4 = -0. Suppose 4*g - 4*q = -24, 0 = u*g + 4*q - 3 - n. Do g and -0.04 have different values?
True
Let k(j) = 8*j + 53. Let o be k(-14). Is -59 at most as big as o?
True
Let k = 4.7 + -5. Let n = 2 + -1.5. Let a = n + k. Do 0 and a have the same value?
False
Suppose -k = -1 - 2. Let d be ((-4)/16)/(3/(-12)). Which is smaller: k or d?
d
Let a = 80/329 + 2/47. Suppose 4*b = 3*k - 7, 5*k = 2*k - 4*b - 1. Let c = 0 + k. Which is greater: c or a?
c
Let j(g) = -9*g**2 - 6 - 1 + 0 + g**3 + g. Let b be j(9). Which is smaller: 1 or b?
1
Let c = 4 - 13. Let q = c + 10. Let f = q + -9. Is -1 < f?
False
Let v = 16 - 19. Is v bigger than 0.07?
False
Let f be 2/8 - (13041/7740)/7. Which is smaller: 1 or f?
f
Suppose 5 = -3*i - 10, 5*r + 50 = -3*i. Which is smaller: -6 or r?
r
Let s be (4 + -2 + 0)*-6. Let v be (s/(-9))/((-2)/(-3)). Is 2 greater than v?
False
Let f = 8 - -27. Do f and 35 have the same value?
True
Let n(l) = -l**3 - 6*l**2 - l - 1. Let a be n(-6). Suppose 0 = 3*x + 4*q - 1, x - 2 = -3*x - a*q. Let z be -5*(-1)/(2 - -3). Is x > z?
True
Let f = -3/16 - 23/48. Let i(j) = -j**3 - 5*j**2 - j - 1. Let o be i(-5). Suppose 0 = -5*l + o*l. Which is smaller: f or l?
f
Suppose 3*m = -0*m + 12. Suppose -3*x + 5 = m*u, 12 - 1 = 5*x + 4*u. Is 3 greater than x?
False
Let o = -0.1 - -0.2. Let r = 75 + -76. Which is smaller: r or o?
r
Let k(n) be the second derivative of n**3/3 - n**2/2 + n. Let v be k(-3). Let g be 1/((14/4)/v). Are g and -1 non-equal?
True
Let k = -0.19 - -1.79. Let n = -0.6 + k. Is -1 less than n?
True
Let v(g) = 2*g - 4. Let w be v(2). Is w bigger than 4?
False
Let q = -5.7 - -6. Let u = -0.07 + -0.63. Let c = u - q. Is -2 >= c?
False
Let a(o) = -2*o - 4. Let z be a(-3). Suppose d = z*d. Let g = -5/4 - -11/12. Is g equal to d?
False
Let u(i) = -1 - 2*i**2 + 2 - i + i**2. Let y be u(1). Let p = y - -3. Are 2 and p nonequal?
False
Let l = 2 - 3. Which is bigger: 1/21 or l?
1/21
Let s = 9 + -12. Let w be (-8 - -4)/(-6 + 0). Which is smaller: w or s?
s
Let n = -5.07 + 5. Is -1 greater than or equal to n?
False
Let j = 9 + -15. Let i = j - -6. Which is smaller: i or 1?
i
Suppose -b - 13 = -4*p, -2*b - p - 8 = -6*b. Suppose 0 = -0*o + b*o - x - 3, -13 = o - 5*x. Suppose -o*l + 5 = -2*r - 1, -2*r = -3*l + 7. Is l bigger than 2/19?
True
Let n = -1.48 - -1.3. Let p = n + 0.08. Are -2 and p nonequal?
True
Let u = -1.96 - 0.04. Let n = -2.1 - u. Which is bigger: n or -2/9?
n
Suppose -5*o - 7 - 18 = -5*k, 6 = 3*k. Which is smaller: -2 or o?
o
Suppose 2*d - 5*w = -23, -3*d = -2*d + 4*w + 5. Let j = d - -44/5. Which is greater: j or 1?
1
Let c = -32 + 32. Which is smaller: 1/5 or c?
c
Let t = 0.2 - 0.19. Let d = 125 - 124. Is t at most d?
True
Let c(x) = x**3 - 3*x**2 - 3*x. Let q be c(4). Suppose 5*o - 5*v - 11 - 4 = 0, -q*v = -3*o + 7. Which is smaller: o or 3?
3
Let d be (0/(-3))/(-6 + 4). Let q = -25 - -177/7. Which is smaller: d or q?
d
Let j(q) = -q**3 + 5*q**2 + 8*q - 13. Let p be j(6). Let s = 0 + -1. Do s and p have different values?
False
Suppose 3*t + 2*k = t, -4*t - k + 3 = 0. Let d be (t/15)/(1/6). Which is smaller: -1/5 or d?
-1/5
Let k be (-1)/3 + (-935)/(-15). Do 62 and k have the same value?
True
Let i be (12 - -6)*1/(-1). Let z = -13 - i. Which is greater: z or 6?
6
Let o = 1.3 - 2.3. Let i(g) = g**3 - 4*g**2 + 3*g - 1. Let f be i(2). Let l = -4 - f. Is l not equal to o?
False
Let h = -134 - -936/7. Let z(y) = 2*y + 5 + 0 - 3*y + 0. Let q be z(6). Which is smaller: q or h?
q
Let f be -2 + 1 - (1 + -8). Suppose -t - 2*t = f. Let p(r) = -2*r**3 + 2*r**2 + r + 2. Let u be p(2). Which is smaller: u or t?
u
Let s = 14 - 18. Suppose -4*x - 12 = -i, -3*x = -2*x - 5*i + 3. Which is smaller: s or x?
s
Let d = 11/3 + -3. Which is smaller: d or 5?
d
Let d = -13224 + 92206/7. Let t = -78 + 130. Let b = d + t. Which is smaller: 0 or b?
0
Let t be -3 - ((-85)/25 + 0 + 0). Suppose 0*p + 3 = 3*p. Which is bigger: t or p?
p
Let h = 12 + -11. Let m be 1/(-4) + -1 + 1. Is m at most as big as h?
True
Suppose -5*w - 3*q - 59 = 0, 3*w + 39 = -q + 6. Let b(u) = 2*u - 26. Let h be b(7). Is h greater than w?
False
Suppose 3*z - 4*u = 8 + 24, -68 = -3*z - 5*u. Suppose 0 = -4*a - 0 + z. Suppose a*f + 18 = f. Is -5 > f?
True
Let p = -0.58 - -0.58. Is -2 < p?
True
Let r = 16 - 15.9. Let a = 4.07 - 0.07. Which is smaller: r or a?
r
Let t be 1/(-7) + (-3)/(-168). Let q(p) = 7 + 0*p**2 - p**2 - 4*p - p. Let m be q(-6). Which is smaller: t or m?
t
Let d = -0.5 - -0.51. Let c = 3.51 - d. Let n = c + -0.5. Is 0 at most n?
True
Let k = 13 - 14.6. Let f = -1.87 - k. Let x = f - -0.07. Is x at most -0.1?
True
Let r = 32/553 + -34066/263781. Let i = -8/53 + r. Which is greater: 0 or i?
0
Let q = -189 - -185. Which is smaller: q or -1?
q
Suppose -w + 11 = 5*t, -3 = -3*t + w + 2*w. Let q be (-1)/t - (0 - 0). Is q less than 0?
True
Suppose -2*r + u + 6 = -8, 0 = -3*r - u + 11. Which is bigger: -4 or r?
r
Let m = -24 - -24. Let o = 0.03 + 1.97. Let v = -7 + o. Which is smaller: v or m?
v
Let w = -52/21 - -7/3. Is 2/5 <= w?
False
Suppose -2*n - 2*z + 2 = 0, 4 + 1 = -n + 2*z. Let t be -2 - -3*(-2)/(-2). Let d be (n/t)/((-2)/4). Which is bigger: d or 1?
d
Suppose -4*z = z + 5*l - 30, -2*z = -3*l + 13. Let r = -16/275 - -6/25. Which is bigger: z or r?
z
Suppose 56 = -0*g + 4*g. Let k be 4/g + 4/35. Suppose 0*w - 2*w = 2. Is k at least as big as w?
True
Let x be -3 - (-3)/((-585)/(-590)). Are 0 and x non-equal?
True
Let q = -0.1 - -2.2. Let h = q + -0.1. Let m(r) = r + 3. Let y be m(0). Is y at least as big as h?
True
Let h = -0.6 + 0.68. Let d = -480 + 481. Is h < d?
True
Let d = 0.046 + -0.146. Is d greater than or equal to 0.8?
False
Let u = 60 + -44. Is u not equal to 0?
True
Let x = -160 + 160. Which is smaller: x or -1/12?
-1/12
Let m = -1.64 + -0.36. Which is smaller: -0.2 or m?
m
Suppose 2*k - 20 = 7*k. Which is bigger: k or -1/2?
-1/2
Let v(k) = -4*k**3 - 4*k**2 - 3*k. Let b be v(-2). Let y be 65/12*(4 + 0). Let h = y - b. Is h > 0?
False
Let z = -1.9 - -2. Let y = -0.03 - 0.97. Is z greater than y?
True
Let w be ((33 + -3)/(-5))/(3/4). Are -15 and w unequal?
True
Let g = -3/197 - -1203/1379. Is g <= 2?
True
Suppose -3*w - 3 = 2*o - 0, 5*w + 9 = -2*o. Let z(m) = -m - 3. Let p be z(w). Which is greater: p or 2/17?
2/17
Suppose n + 53 = -5*f, -4*n = f + n + 25. Let a be 2 + f + 0 - 0. Let s = a - -8. Which is greater: 3/7