t k = 164 + -651/4. Is k smaller than 0?
False
Let l = 64 + -73. Which is smaller: l or -8?
l
Let m be (19/9)/1 + -2. Suppose 3*w = 1 + 5. Suppose w*c - 7 + 2 = -5*z, -1 = -z - 2*c. Which is smaller: z or m?
m
Suppose -16*n - 3*b = -12*n - 79, -3*b - 9 = 0. Is n < 22?
False
Suppose -4*a + 69 = 3*z, z = -3*a - 0*a + 58. Suppose -2*p + 0*p - 18 = 2*n, 0 = -4*p + n - a. Does -7 = p?
False
Let s = -4 - -14. Let w = s - 6. Is -0.2 equal to w?
False
Let w = -3 - -3.1. Let l = 47 + -32. Let t be 3/(-2) - l/30. Are w and t non-equal?
True
Let x be (-19)/10 + 6/4. Is 0.1 at least x?
True
Let b be (0 - 0)/(2 - 0). Let d be (-6)/(-4)*4/(-51). Is d < b?
True
Let i = 1/534 - -5333/3738. Which is smaller: i or 0?
0
Let p(o) = -o**2 - 7*o + 10. Let v be p(-7). Suppose -3*u = 0, -2*z + v = 3*z - u. Let j be z/6*(-12)/14. Which is smaller: 0.1 or j?
j
Suppose -2*y - 8 = -6*y. Let h be -1 + 0*y/6. Which is smaller: 0 or h?
h
Suppose -2*k + 2 = -4*n + 6, 0 = 3*k - 2*n + 2. Suppose k = 4*t + 8 + 12. Let r = 5 + t. Which is bigger: 2/7 or r?
2/7
Let f be (-5)/(15/(-6)) + 0. Suppose -f*u = 2*u. Suppose 2*q = -u*q + 4. Which is smaller: q or 1/2?
1/2
Let b = -9.9 - -10. Let u = 0.5 - b. Let q = u - 0.5. Is q at least 3?
False
Let x(c) = c**2 - 6*c + 7. Let y be x(5). Let t be 2/y + (-32)/34. Is 1 at least as big as t?
True
Let f be 11/(-3*2/(-6)). Is 12 greater than or equal to f?
True
Let a(i) = -i**3 - 8*i**2 - 8*i - 10. Let c be a(-7). Are -3 and c non-equal?
False
Let o = -340/63 + 46/9. Let x be (-1)/(-2*1 + 3). Let l = 0 + x. Which is bigger: o or l?
o
Let c = 4/9 - -2/9. Suppose 1 - 7 = -3*j. Suppose 0 = j*r - 0*r - 2. Which is smaller: c or r?
c
Let i = 1.9 + -1.81. Let q = i - 0.09. Let g = 5 + q. Which is greater: -0.1 or g?
g
Let g = 0.92 - -20.58. Let m = g + -21. Which is greater: m or 0?
m
Let n(k) = -k**3 - 6*k**2 - 5*k - 3. Suppose 0 = -4*y + 5*y. Let g = -5 + y. Let d be n(g). Is -3 >= d?
True
Suppose -4*p = -13 + 33. Which is greater: p or -4?
-4
Let r(m) = m - 7. Let n be r(6). Let a be 6/9 + (-1)/(-3). Are a and n equal?
False
Let z(r) = -r**3 + 4*r**2 + 5*r. Let t be z(5). Is -9/17 < t?
True
Suppose -13 = 4*w - 37. Is 4 < w?
True
Let z = -114.1 - -109. Let a = -0.9 + z. Let t = a + 6. Is -2/3 at least t?
False
Let p be (-1)/(-5)*20*2/144. Is p > -1/3?
True
Let i be (-8)/8*(1 - 2). Which is smaller: 2/11 or i?
2/11
Suppose 5*u = -5*x - 600, -5*x + 0*u + 5*u - 570 = 0. Let v be ((-4)/(-6))/((-26)/x). Which is bigger: 1 or v?
v
Suppose -3*f = -5*r + 68, -4*r + 3 = -3*f - 52. Is 12 <= r?
True
Suppose 0 = 5*j - j + 3*d + 6, 3*j - 4 = 2*d. Is j smaller than 1/76?
True
Let a(n) = -n**2 + n - 1. Let f be a(3). Let r be ((-16)/28)/((-3)/f). Which is smaller: 2/9 or r?
r
Suppose -4*w - r - 29 = -6*r, -3*w - 21 = -4*r. Is w equal to -8?
False
Let p be (27/42)/(4/(-8)). Is p less than or equal to 0?
True
Let z = -9.3 - -7.41. Let y = z - 0.11. Let i = -2 - -2.2. Is y at most as big as i?
True
Let b = 942/2651 + 2/241. Is 0 >= b?
False
Let n be (-52)/(-14) - 6/(-21). Let q be n/(-10) - 1/(-15). Is q > -0.08?
False
Let i = 45.7 + -52. Let w = i + 6. Is w bigger than -2/11?
False
Let v(d) = -d**3 + 10*d**2 + d + 4. Let u be v(10). Which is smaller: 12 or u?
12
Let i = -24/85 + -2/17. Which is smaller: i or 0.1?
i
Let i be 0 - -2 - (2 + 0). Suppose -2*y - 2*y + 32 = i. Suppose y*k - 3*k - 10 = 4*q, -4*q = 4*k - 8. Is -2/9 not equal to q?
True
Let v = 14 + -13. Let s be (8/(-66)*-3)/(-2). Which is smaller: s or v?
s
Let f = -1 - 12. Let m = 15 + f. Which is smaller: m or -1/3?
-1/3
Let j be 2 + -2 + 0/(-2). Let k = -40/117 - -3/13. Which is greater: j or k?
j
Let h = 21 + -20. Is h smaller than 3/2?
True
Suppose 4*k - 29 + 5 = 0. Let u be (k + 4)*4/10. Do 5 and u have different values?
True
Let q(l) = l**3 - 9*l**2 + 8*l - 1. Let r be (-1)/5 + 4/20. Suppose r = n + n - 16. Let x be q(n). Is -1 smaller than x?
False
Let o = 2432/7 - 348. Is 0 greater than or equal to o?
True
Let q = -1146688 + 585957766/511. Let y = -3/73 - q. Let o(v) = -v + 3. Let d be o(4). Is y < d?
False
Let a = -370 + 210. Let b be 0 + (a/(-3))/1. Let k = b - 54. Is -1 smaller than k?
True
Suppose p + 117990 = 3*z, -7*z + 2*z + 196639 = 2*p. Let o = -826570/21 + z. Let c = o + 97/3. Which is greater: 0 or c?
c
Let a be 27/(-10) - (-3 - 0). Let d = 2/39 + 29/195. Let x = a + d. Which is smaller: x or -0.1?
-0.1
Let y be 0/(-3*(-2)/(-3)). Suppose 0 = -3*k - 25 + 7. Let t be (3/k)/(33/36). Do t and y have the same value?
False
Let v be (-69)/(-9) + (-2)/3. Suppose 4*x = -d + 28, 7*d + 7 = x + 3*d. Is v smaller than x?
False
Let y(a) = -a**3 + 11*a**2 - 11*a + 12. Let j be y(10). Which is greater: j or 0.12?
j
Let v = 44.1 + -44. Which is smaller: v or 9/7?
v
Let i = -13 - -9. Let a(o) = 2 + 4*o + 3 - 3*o. Let r be a(i). Is 1 < r?
False
Let z be 6/(-18) + (-6)/20. Let b = -2/15 - z. Does b = -6?
False
Suppose 0*c = 3*c. Let p(o) = o + 1. Let b be p(1). Let z = b - c. Which is smaller: 4 or z?
z
Let t be -3*4/(-42)*2. Let d(x) = -x**3 - 10*x**2 + 10*x - 1. Let u be d(-11). Let b = -8 + u. Is t at most b?
True
Let s = -120 - -178. Let z = 640/11 - s. Suppose 4*d + 5*h = 20, 5*d + 3*h + 9 = 21. Is d equal to z?
False
Let y be -2*(-1 + (-11)/(-10)). Suppose -5*c = -0*c - x + 6, -c - 4*x = -3. Which is smaller: y or c?
c
Let k = -0.2 - -0.5. Let b be (18/15)/2*5. Suppose 5*q + b*d = -6, 10 = -2*q + 3*q - 5*d. Is q >= k?
False
Let a = -6.7 + 7. Let i = 0.05 - -0.45. Let z = i + -0.4. Which is greater: a or z?
a
Let d be (-31)/(-6)*-3*2. Which is greater: d or -1?
-1
Suppose -9 + 1 = 4*v. Let k be 32/24*(-10)/8. Which is bigger: k or v?
k
Let o = 88 + -87. Which is smaller: o or 1/9?
1/9
Let b be 0/(-2) - 4/(-6). Let j(t) = t**3 - 5*t**2 + 5*t - 12. Let m be j(5). Let y = m + -12. Which is greater: y or b?
y
Let t = 15 + -14. Which is greater: -2/9 or t?
t
Let t be 1 - -2 - (0 - -1). Let a = 157/275 - 12/25. Is t greater than a?
True
Let j be 170/56 - (1 + 2). Let q = j - -3/14. Which is greater: q or 0?
q
Suppose 42 = -4*v + 6. Let x = 10 + v. Is 1/6 less than x?
True
Let r = -1.86 + 1.6. Let l = r - 13.74. Let j = 10 + l. Is -1 greater than j?
True
Let c be (-48)/4*(-4)/(-66). Is -2 >= c?
False
Let h = -212 - -1906/9. Which is bigger: 0.01 or h?
0.01
Let c be ((-33)/7)/(-4 + 3). Let n = 179/35 - c. Which is smaller: 2/9 or n?
2/9
Let h(p) = p**2 - 15*p - 34. Let t be h(17). Is t at least 4/31?
False
Let m(z) = -12*z - 1. Let t be m(0). Let u(a) = a**3 + 5*a**2 + 5*a. Let k be u(-4). Is k less than t?
True
Let j be 4/(-18) + (-2 - -4)/(-72). Is 13 > j?
True
Let i = 65 + -66. Which is smaller: i or 0?
i
Suppose 3*c = -3*j - 69, 4*c + c = j + 5. Which is greater: -19 or j?
-19
Let x = 51 + -44. Which is smaller: x or 6?
6
Let n be (9 + -4)/(-2 - -1). Let u be -1*(1 + 0) + 6. Let b = n + u. Is b bigger than 1?
False
Let b = 0.01 + 0.29. Let w = -3/22 + -13/66. Which is smaller: b or w?
w
Let n = 3.5 - 3. Let p = 0.1 - -0.4. Let i = n + p. Which is greater: i or -2?
i
Suppose -2*u - 2 = -5*w, -5*w + 3*w = -3*u + 8. Suppose r = 6 + 2. Let t = u - r. Is t != -4?
False
Let p = 334/7 - 48. Which is smaller: 32 or p?
p
Let x = 2378 - 573097/241. Which is smaller: 0 or x?
0
Let y = -1682/33 + 148/3. Let n = -105/44 - y. Which is smaller: -0.1 or n?
n
Let k = 329/3 + -6269/57. Which is smaller: -2 or k?
-2
Let d = 6 - 4. Suppose -2*c + d*y + 1 = 3*c, 4*y + 12 = 0. Let x be ((-32)/7)/(-2) - 2. Is x != c?
True
Suppose -1 = -y - 7. Let o(c) = c**3 + 5*c**2 - 5*c + 8. Let q be o(y). Let n = q + -4. Is n bigger than -2?
False
Suppose -r + 6 = 20. Which is bigger: r or -12?
-12
Let b = 303/2 - 151. Is 1 greater than b?
True
Let k = -6 + 11. Let a = 2 - k. Which is greater: -1 or a?
-1
Let y(g) = -g**2 - 7*g - 7. Let f be y(-6). Let l be 2/(-45)*((-5 - -1) + -1). Is l at least f?
True
Suppose -2*z + 3*d - 8 = 3*z, -3*z - 5*d = 32. Which is smaller: -6 or z?
-6
Let d be (-1)/(-3 + (-60)/(-21)). Which is smaller: d or 15/2?
d
Let d be ((-2)/6)/(3/(-45)). Suppose 59 = 16*n - 5. Is n greater than d?
False
Let y = 1 + -1.01. Let t = -0.19 + y. Which is smaller: t or 1?
t
Let u be 12/7 + (-4)/(-14). Let b be (-3 + u)*(-2 + 3). Let p(o) = -o**2 + o - 1. Let n be p(0). Do b and n have the same value?
True
Let a = 0.044 +