
True
Suppose -r + 0*r = -2*y + 1, -5*r + 13 = -y. Suppose h - 3*h + 2 = 4*b, -y*b - 2*h = 4. Suppose -5*p = 2*k + k - 24, 2*p = -b*k + 15. Which is smaller: 4 or p?
p
Let d be (2/117)/((-26)/(-78)). Which is bigger: d or 1?
1
Suppose -3*u + i - 5 = 5, 3*u = -3*i - 18. Let q = -13/4 - 5/12. Is q equal to u?
False
Suppose -264 = -21*s + 43*s. Are -14 and s unequal?
True
Let j = 0.4 + -0.7. Let f = -3.8 + 5. Let u = -0.2 + f. Are u and j non-equal?
True
Let c(q) = 4*q + 90 - 5*q**2 - 85 + 6*q**2. Suppose 5*r = -4*u - u - 10, 2 = -3*u - 5*r. Let k be c(u). Are k and 4 non-equal?
True
Let q(m) = 11*m**2 - 18*m + 18. Let d be q(1). Is 5 greater than d?
False
Suppose -2*h - 60 = 4*n, -8*h + 68 = -5*n - 7*h. Let q(c) = 0*c**2 - 5*c**2 + 5*c + 12 + 3*c**2. Let k be q(5). Is k less than n?
False
Let y be (-2)/(-15)*(-3)/4. Suppose -63*b - 49 = -14*b. Which is smaller: b or y?
b
Suppose -4*d + 3*d + 145 = 3*z, -5 = d. Which is bigger: z or 49?
z
Let q be 216/36 + 1 + 9. Is 29 < q?
False
Let k(a) = -3*a + 9. Let u = 30 - 30. Let c be k(u). Let y be (-8)/3*6/(-2). Which is smaller: y or c?
y
Let j(m) = -5*m + 6. Let w be j(-7). Suppose w = 5*v + 126. Suppose -3*d - 23 = 28. Is d != v?
False
Suppose -3*s - 231 = 72. Is s greater than -101?
False
Let v(u) = u**3 - 6*u**2 - u + 6. Let o be v(6). Suppose -4*y + o*y = -y. Which is smaller: y or -2/37?
-2/37
Let f = 154 + -154.5. Let t be (-4)/90*(-4 + -1). Is f > t?
False
Let r = 59 + 1. Let f = 418/7 - r. Which is smaller: -2/5 or f?
-2/5
Let k be 2/(-4)*33/(-2). Is 8 not equal to k?
True
Let f(z) = -6 - 4*z + 3 - 5 + 3*z. Let x be f(4). Let m = x + 13. Is m greater than or equal to 1/11?
True
Suppose -5*d = 2 + 8. Let w = -820 + 1180. Let r be 4/18 - 296/w. Which is bigger: d or r?
r
Let t = -4 - -4.5. Let g(p) = -26*p + 105. Let y be g(4). Is t smaller than y?
True
Suppose -5*y + 1 - 51 = 0. Which is smaller: y or -18?
-18
Let f(r) = -r**3 + 9*r**2 - 6*r + 19. Let q be f(9). Let v = q - -30. Is v < -7?
False
Let x = -23 + 23.27. Let o = 0.07 - x. Is -2.3 smaller than o?
True
Let f = 2510.95 - 2572. Let s = -61 - f. Which is smaller: s or 7?
s
Let y = 863 + -862. Is y equal to -16/119?
False
Suppose 3*d = -d. Let h(t) = -t**3 - t**2 + 10. Let l be h(d). Let b be (-6)/15*l/(-8). Is b > 0?
True
Let z = 1.719 + -1.199. Which is smaller: 0.3 or z?
0.3
Let u be (-2)/((-114)/33) - 6/12. Let w = -8/19 - u. Suppose 3*j + 5*n + 23 = -0*n, 4*j + 4*n + 20 = 0. Which is smaller: j or w?
j
Let i be (18/(-14) - (-3)/1)*-112. Is -192 at least as big as i?
True
Let p(h) = h**3 - 5*h**2 - h + 7. Let a be p(5). Suppose 2*j = -a*w + 3*w + 3, -2*w + 3*j = 4. Let d be (-5)/2*8/(-170). Do d and w have the same value?
False
Suppose s + 11 = 13. Suppose -l - 4*x - s = 0, l + 34 = -3*l - 3*x. Let q(t) = t**2 + 12*t + 20. Let w be q(l). Which is greater: 1 or w?
1
Let o(m) = 29*m + 4. Let n be o(-2). Let p be (-276)/n*15/2. Let i = p - 38. Is i < 0?
False
Let l = -0.7 - 0.3. Suppose 2*x - 19 - 26 = 5*i, -5*i = 15. Is l bigger than x?
False
Suppose 146 = -3*x - i - 0*i, 3*i - 12 = 0. Let w be -3 + (-3)/((-12)/x). Is w < -17?
False
Let s = 2 + -8. Let f be 4/s*9/42. Let x be (4/(-6))/((-4)/(-6)). Do x and f have different values?
True
Suppose -27875 = -8*s - 7451. Is 2554 greater than s?
True
Suppose 3*t + 3*p - 4 - 32 = 0, -t = -5*p + 6. Suppose -t = 3*m - 2*k - 4, -3*k + 16 = 4*m. Let a be (4/10)/(14/(-10)). Which is greater: a or m?
m
Let m be (686/(-140) + 5)/(-1*1). Let f = -1 + 2. Is f at least m?
True
Let h = 0.639 + 11.361. Let j be (-4)/(-6) - (2 - 2). Is j greater than h?
False
Let u = 10 + -6. Suppose 5*x - 135 - 11 = 3*l, 4*x + 216 = -u*l. Let s = 74 + l. Which is greater: 21 or s?
s
Let g = 2 - 3. Let f = 79 + -178. Let l be ((-4)/(-42))/(-3 + f/(-21)). Is g equal to l?
False
Suppose -4*i - 2*r = 3*r, 2*r = 5*i. Suppose i*u + u - 2 = 3*v, -2*v - 7 = 5*u. Let l(k) = -k**2 - k + 4. Let g be l(-3). Which is smaller: v or g?
g
Let k = 54 + -51. Is -0.3 >= k?
False
Let f(q) = 11*q**2 + q. Let w be f(-1). Suppose v - w = -5*g, 0 = 5*v - g - 0*g + 28. Let k = -11 - v. Is -5 less than k?
False
Let x(q) = 10*q**2 + 9*q - 18. Let c be x(-6). Which is greater: c or -1?
c
Let u(i) = i**3 + 6*i**2 + i - 1. Let w be u(-4). Suppose 3*b - 2*c - c = w, -4*b + 35 = -3*c. Let h = -8 + b. Is h != -1/6?
True
Let p(f) = f**3 + 3*f**2 - 6*f + 3. Let t be p(-5). Let k = t + 13. Let g be k/6*-6 - 3. Do g and 1/2 have different values?
True
Let r = 18 + -9. Suppose -3*o = 3 - r. Suppose -3*d = -o*d + 3. Are d and -1 non-equal?
True
Let z = 1143 - 1161. Let n(r) = -r**2 - 7*r - 4. Let d be n(-5). Let q be 2/d - (-52)/(-3). Which is bigger: q or z?
q
Let j = -0.045 - -0.045. Which is smaller: j or 124?
j
Suppose 196 = 4*p + 52. Let f be (-625)/(-209) - (p/(-9) - -7). Is 1 greater than or equal to f?
True
Let g = 0.028 - -0.072. Let r = 112.8 - 124. Let v = -0.8 + r. Is g at most as big as v?
False
Let i be 16/(-2)*15*(-10)/60. Is 13 at most as big as i?
True
Let o = 330 + -514. Is o greater than -184?
False
Suppose -4*b + 3*r = 15, 0 = 3*b - 2*b + 4*r - 20. Which is smaller: b or -71?
-71
Let b be ((-26)/(-4) + 2)/(200/(-960)). Is -40 greater than or equal to b?
True
Let f = 745/12 + -62. Suppose 352*p = 353*p. Let z be (0 + p)/(-5 + 4). Are z and f non-equal?
True
Let h = 247 - 1241/5. Let i = 9 - 7. Suppose i = -4*z - 6. Which is greater: h or z?
h
Let a be 0/2 + -1 + 17. Let g be a/(-6)*3/2. Let q be 6*1/(-2) - g. Which is bigger: q or 0?
q
Suppose 0 = -2*j + 5 + 9. Suppose -66 = j*a - 4*a. Let u be 1*(16/a - -1). Which is smaller: -1 or u?
-1
Let p be ((-2)/15)/((-4)/5). Let n = 8.423 + -0.023. Let c = -8.37 + n. Are c and p non-equal?
True
Let q be 93/(-42) + 4 + -7 + 4. Let w = q - -19/7. Let g be -2*1/1*-1. Is w bigger than g?
False
Suppose -28*y = -27*y - 34. Is y at most 34?
True
Suppose 2*h - 15 = -h. Suppose -5*c = -h, -5*s + 21 + 13 = 4*c. Suppose 5*o + p + 3 = 0, -5*o + 2*p = -8*o - s. Is 1 > o?
True
Suppose 2*d + 16 = 6*d. Suppose 4*o = n + 12, o + 9 = d*o - 2*n. Suppose -4*g + 11 = l - 2*l, 12 = 5*g - o*l. Is g at least 5/2?
True
Suppose 1 = -3*k - 4*f, 7*k - 12*k = -4*f + 55. Let q(b) be the first derivative of -2*b**2 + 3*b - 1. Let p be q(2). Is k <= p?
True
Let y be 1928/(-8) + 12/(-3). Which is smaller: y or -244?
y
Let a = -11/4 - -37/12. Let f(c) be the third derivative of -c**4/12 - 3*c**3 - 30*c**2. Let p be f(-12). Is a less than or equal to p?
True
Suppose 7*d - 9*d - 10 = -2*z, -3*d + 4*z - 17 = 0. Which is smaller: 4/15 or d?
d
Suppose -10 = 2*x - 18. Suppose 4*i + 1 = 5*r, 3 = -4*r + 3*r + x*i. Is r greater than or equal to 9/16?
True
Let d(l) = l**2 - 4*l - 8. Let i be d(6). Let w be i/2 + 104 + 6. Let k = 781/7 - w. Which is smaller: k or 1?
k
Suppose 23 = n - 5*d, -8*d - 31 = 3*n - 3*d. Which is smaller: -17/28 or n?
n
Let p(q) = -q**2 - 10*q - 14. Let l be p(-6). Let d(x) = x**3 - 12*x**2 + 19*x + 17. Let k be d(l). Which is greater: k or 6?
k
Suppose 278 = -974*s + 976*s. Which is smaller: s or 137?
137
Let x = 24.13 + -0.13. Let i = -10 + x. Let p = 10 - i. Which is smaller: p or -1?
p
Let n = -1015 + 982. Do -29 and n have different values?
True
Let d be (-2)/(3 - -1*28/(-8)). Suppose -8*v = -4*v + d. Let y be (14*1)/(-2 + 0). Which is smaller: v or y?
y
Let j be ((-120)/(-14))/((-30)/(-315)). Suppose -k - j = -6*k. Let f be k/192*(-2)/3. Which is smaller: -1 or f?
-1
Let k = -13 + 23. Suppose 3*i = -k - 11. Which is bigger: -4 or i?
-4
Let w = -92 + 133. Suppose 15 = w*b - 44*b. Which is smaller: b or 0?
b
Let x = 203 + -1022/5. Let n be 9/(-3) - -2*2. Let k be (1/2)/(n/(-2)). Which is smaller: k or x?
x
Let g = -835 - -2506/3. Is g at least as big as 76/7?
False
Let x be ((-934874)/(-28))/(4 + 1). Let b = -6678 + x. Let j = b - -2/5. Is j at most as big as 0?
False
Suppose 12 = -3*n - 0*n. Let h be n/2 + 390/169. Is h less than 1/4?
False
Let m = -7 + 12. Let d(x) = 3*x**2 - 2*x. Let t be d(-1). Let r be 2/1*t/6*3. Is r equal to m?
True
Let y = -36.2 - -1.2. Let f = y + 31.3. Let b = f - 1.3. Which is greater: b or 1/2?
1/2
Let y = 7 - -10. Let i be (-1411)/(-85) + 2/5. Are y and i nonequal?
False
Suppose 0 = -r - 4*r. Let m be ((-9)/(-6))/(6/(-16)). Let a be (-5)/(-5 + -5)*2/m. Which is smaller: a or r?
a
S