t d = m + -1. Which is smaller: 1 or d?
d
Let d be 504/(-88) - -1*(6 + -2). Which is smaller: d or -3?
-3
Let u = -18 - -26. Let r = -6 + u. Let f be r/1 - (4 + -1). Is f greater than 1?
False
Let a be (-6)/(-4) + (-24)/16. Which is bigger: a or -1/8?
a
Let t be -1*(-1)/8*-2. Let u = 4.37 - 5.37. Is u greater than or equal to t?
False
Let p = -308 + 1533/5. Let w be -3 + 1/1 + 0. Is p smaller than w?
False
Suppose 4*q + 4 - 19 = 3*i, 0 = q - 4*i - 7. Let h(k) = -k**3 + 7*k**2 + 8*k - 9. Let p be h(8). Let r = p + 13. Is r greater than q?
True
Let h(c) = c**2 + c + 1. Let i be h(-1). Let g be (-30)/(-3) - 16/(-4). Let j be (-34)/g + 1 - -2. Which is bigger: i or j?
i
Let z be (2/(-8))/(8/(-16)). Which is bigger: 5 or z?
5
Let f = 524/1785 + -2/255. Let n = 2 + -1.4. Is f at most as big as n?
True
Let l be (-2)/3 + (-5)/(-3). Let q be (2/(-4)*0)/l. Let g be (-1425)/(-275) + -5*1. Are g and q nonequal?
True
Let d = -4/3 - -5/3. Suppose 0 = 3*n - 3. Are d and n nonequal?
True
Let k(g) = -g**3 - 4*g**2 - 4*g - 2. Let n be k(-3). Let o = -19 - -17. Let w be (0 + -2)/(0 + o). Do n and w have different values?
False
Let h be -4*3/3 + 2. Let l be (2 + 0)*1/h. Which is bigger: l or 1?
1
Let s = 643/5 + -128. Is s less than or equal to -5?
False
Let d(p) = -p**2 + 6*p - 5. Suppose -k - 20 = 3*k. Let x = k + 9. Let g be d(x). Which is smaller: 1 or g?
1
Let m be 3/6 + 9/(-10). Suppose 2*d + 5 = 1, 2 = 2*c + 2*d. Suppose -4 = -h, 6*r - c*r - 4*h + 13 = 0. Which is smaller: r or m?
m
Let b = 1800 + -261002/145. Let a = -227193583/347992170 - 3/799982. Let w = b + a. Which is smaller: 0 or w?
w
Suppose 2*r + 0*r - 4 = 0. Suppose x + 3*t - 10 = 0, x = -r*x + 2*t - 3. Which is smaller: x or 10/9?
x
Let t(o) = 6*o**3 + o**2 - o. Let k be t(1). Suppose f = -2*f + k. Let x be f*-1*(0 - -1). Is -2 <= x?
True
Let t = 864/13 - 66. Are -1 and t nonequal?
True
Let v = 5 - 8. Let d be v - 19/(-4) - 3. Which is smaller: d or -1?
d
Suppose 4*z - 3*j = -5*j, -13 = 5*z - 4*j. Let u = -238/5 + 47. Are z and u nonequal?
True
Let u be 330/112 - (-160)/(-280). Which is greater: u or 3?
3
Let d(t) = t**3 + 12*t**2 + 21*t + 5. Let g be d(-10). Let k(o) = -7*o**2 + 1. Let z be k(1). Which is smaller: z or g?
z
Let q = 4 - 8. Let z = q - -3. Let w = -0.3 - -0.5. Which is smaller: w or z?
z
Let b be (-2)/8 + 1/4. Suppose 2*g + 4*f + b = -12, f + 3 = 0. Let h = -89/9 - -10. Is g less than h?
True
Let f(o) = -o**2 + 6*o - 2. Let j be f(6). Suppose x = -4*x - 4*n - 25, 2*x - 5*n = 23. Let v = 0 + x. Is j at least v?
False
Let o = 2 + -6. Let t(d) = 2*d**3 - d**2 - d - 2. Let u be t(-2). Let l = -25 - u. Is o at least l?
True
Let q be (5 + -9)*(-1)/(-7). Suppose -2*k = 2*k - 2*t - 4, 2*k = 5*t + 10. Which is smaller: q or k?
q
Let d = -28 - -16. Let c be (-2)/(-6) - (-16)/d. Let m be (-3)/25*(-5)/15*-2. Is c greater than m?
False
Let b be (-3)/(21/(-9) - -2). Suppose b*i = 6*i. Suppose f + 1 = -i*f. Are f and 0 equal?
False
Suppose -2*w + 7 = 3. Let b = -11.9 - -12. Let g = b - -0.1. Which is bigger: w or g?
w
Let b = -7 + 6. Suppose 0 = -2*k - 2*k - 2*a + 2, -5 = -4*k + a. Which is smaller: b or k?
b
Let x = -1/501242 + -122302413/318288670. Let t = 6/23 + -716/2921. Let i = t - x. Is 0 != i?
True
Let m(s) = s**3 + 9*s**2 - 10*s + 1. Let q be m(-10). Which is bigger: -2/17 or q?
q
Let m = -6 + 0. Let n be m/(-18) + (-2)/(-3). Let t be (n + -3)/(-1)*3. Is -0.1 greater than t?
False
Let q(c) = -c**3 + 4*c**2 + 5*c + 1. Let y be q(5). Suppose -5*h - 3*f = 4, 0*f = -3*h - 5*f - 12. Suppose h = 2*t - 1. Is y greater than or equal to t?
True
Suppose -6 = -b - 4. Let m be 16/(-140) - b/7. Which is smaller: 1 or m?
m
Let a(p) = -2*p**2 - 3*p - 6. Let v(q) = -q**2 - 3*q - 5. Let w(m) = 2*a(m) - 3*v(m). Let f be w(4). Does f = 1/5?
False
Let d = 3 - -1. Let l = 5 - d. Is l equal to -1/8?
False
Let f = -1 + 1. Suppose -2*c = 5*s + 16 + 344, -3*s + 3*c - 216 = f. Let a be s/(-33) + -1 + -1. Is 1 less than or equal to a?
False
Suppose 1 = g - 0*g, 5*n = -3*g - 7. Which is bigger: 0 or n?
0
Let t(s) = s**2 + 7*s + 9. Suppose 0*h + 23 = h - 3*r, 5*r + 53 = 3*h. Let j be t(h). Let z be j/132 - (-4)/22. Is z at most as big as 1?
False
Let l = -2.08 - -2. Let r = 0.02 - l. Which is smaller: r or 4?
r
Let c be 9/(-3) + 5*3. Suppose -4*z = 5*j + 19, 1 = -3*j - 2*z - c. Do j and -7 have the same value?
True
Let q(x) = -2*x - 3. Let a be q(-2). Let k(m) = m**3 + 5*m**2 - 5*m + 8. Let g be k(-6). Let r = g - a. Are 1 and r non-equal?
False
Let f = 2 - -5. Suppose f*r = 2*r + 10. Suppose 4*y - 5*v = -20, -5*v = -3*y + r*y - 20. Are 0 and y non-equal?
False
Let c = 13 - 12.5. Let u = c + -0.5. Which is smaller: u or 2?
u
Let b = 52 + -50. Is 8 < b?
False
Suppose 2*o = 3*o + 8. Let q be o/20 - (-132)/305. Which is bigger: 1 or q?
1
Let z = 0 - -4. Let g be 0 + 0 - (4 - z). Which is greater: 2/15 or g?
2/15
Let d be (3/60)/(2/(-4)). Which is smaller: 1/4 or d?
d
Suppose 2*r - r + 3 = 0. Is -10/3 <= r?
True
Suppose 2*y + k + 0*k - 10 = 0, 0 = -5*k - 20. Suppose -4*j + y + 1 = 0. Let m be 5/15 + 8/30. Which is greater: j or m?
j
Let r(f) = 1. Let d(k) = -k**2 + k - 6. Let z(o) = -d(o) - 4*r(o). Let t(b) = b + 6. Let n be t(-6). Let a be z(n). Which is bigger: 0 or a?
a
Let u(a) = -3*a**2 + 4. Let n be u(2). Which is smaller: n or 1?
n
Suppose 2*f + 662 = 666. Let a = -1 - -1. Is a at most f?
True
Suppose -3*j + 5 - 17 = 0. Let k(o) = o**3 + 5*o**2 + 2*o + 2. Let x be k(j). Suppose 5*f + x = 5*l, -f + 3*l - 10 = -0*l. Which is bigger: 1 or f?
f
Let v = -12 + 13.7. Which is smaller: 1 or v?
1
Let l = 9 - 7. Suppose j + 0*j - 2*c = 6, 0 = 3*j - 3*c - 12. Suppose p + l = j*p. Which is smaller: 3 or p?
p
Let w(z) = -z**2 - 16*z + 17. Let b be w(-17). Is b less than 1?
True
Let q = 56 - 58. Let l(m) = m + 7. Let h be l(-3). Let v(b) = b**2 - 5*b + 2. Let i be v(h). Is q at most i?
True
Let g = -47 - -46. Which is greater: -0.43 or g?
-0.43
Suppose -3*d = 3 - 9. Let s = -53 - -52. Is s <= d?
True
Let p(r) = -3*r**2 + 2*r - 1. Suppose -d = -3*h + 4, 4*h + 2 = h - 5*d. Let q be p(h). Do q and 0.1 have different values?
True
Suppose k = -k - 8. Let i = k - -4. Which is smaller: -2/9 or i?
-2/9
Let w be ((-36)/(-5))/(2/(-10)). Let f be ((-6)/20)/(w/(-210)). Which is greater: f or -3?
f
Let q(s) = -3*s + 6. Let n(v) = v - 3. Let t(z) = -5*n(z) - 2*q(z). Let d be t(3). Which is bigger: 5 or d?
d
Suppose 0 = 2*z - 2*a + 1 + 7, 0 = -a + 4. Suppose 6*h - 4*h = -5*r + 23, -r + 5*h + 10 = 0. Suppose z = y - r*y. Are 2/5 and y non-equal?
True
Let o = -2 - -1.7. Let h = 0.5 + o. Is 1/4 > h?
True
Let s = 5 - 9. Let a = 3 + s. Which is smaller: a or -2/5?
a
Let a = 1.9 - 1.9. Let b = 0 - 0.4. Let y = b - -0.6. Which is bigger: y or a?
y
Let d(j) = -2*j - 3. Let n be d(3). Let z = -10 - n. Let a be 1/(10/(-16)) + 1. Is a < z?
False
Let l(q) = q - 17. Let f be l(18). Let h be (3/(-18))/(2/(-4)). Is f less than h?
False
Suppose 4*j + 3*p + 24 = 0, 2*j = -p - 0*p - 10. Let h be 0 + (-2)/(-3 - -4). Is h not equal to j?
True
Suppose -5 + 0 = -5*z. Let l = 81/98 - -46929/490. Let a = l + -97. Is z != a?
True
Suppose 9 = 2*c - 1. Suppose -3*j + c*j = 2. Let w be (0/2)/(j - -1). Which is greater: w or -7?
w
Let h = -5 - -6. Let o = 3 + h. Suppose o*x + 11 + 29 = 4*q, -2*q = 2*x. Is 4 != q?
True
Let p be (-216)/22 - (-4)/(-22). Let j = -20 - p. Is -11 > j?
False
Let d be (((-10)/(-3))/2)/((-6)/(-18)). Do 7 and d have the same value?
False
Let n(q) = q**2 - q. Suppose -2*f = 10, 4*l + l - 5*f = 35. Let d be 4/(-2)*l/(-4). Let y be n(d). Is y not equal to -1/5?
True
Let n(c) = c**2 - c - 4. Let k be n(3). Let l = 7 - k. Which is bigger: 4 or l?
l
Let h = -1120/423 + 20/47. Is h at least -1?
False
Suppose 336 = -6*q + 120. Which is smaller: 0 or q?
q
Let s = -72 - -144. Which is smaller: s or 71?
71
Let c be 59/(-5)*(-20)/8. Let p = c + -29. Which is smaller: 3 or p?
p
Suppose -z + 4*z = 54. Is 18 less than z?
False
Suppose -3*m - 2*h + 144 = 0, -2*h - h = -5*m + 221. Is m greater than 46?
False
Let n = 0.2 - -1.9. Let x = 1 - 3. Let w = n + x. Which is greater: w or 0.2?
0.2
Let l(f) = -3 + 2*f**2 + f + 2*f + 0*f**2. Let c be l(-3). Suppose -4*k = -k - c. Is 4 at most as big as k?
False
Let m = -1537/12 + 128. Which is smaller: m or -1?
-1
S