k = -1.2 - -0.4. Suppose -3 = 62*c - 65*c. Which is smaller: c or k?
k
Let o = -3827/1664 - -30/13. Which is smaller: 1 or o?
o
Let h be 30/7 + (-8)/28. Suppose 0*u = 3*u + 2*i - 32, h*u - 37 = 3*i. Let v be 5/25 + (-2)/u. Which is greater: v or -1?
v
Suppose k = -5*l + 20, 0 = -2*l - 0*k + 5*k - 19. Suppose 2*t = -l*t. Which is smaller: t or 2/17?
t
Let m = 353 + -5297/15. Which is smaller: m or 1?
m
Let a be (-7409)/356 + (-3)/(-6). Let b = a + 11/178. Let y = 20 + b. Is 1/4 >= y?
True
Suppose -4*k = -0*k - 4*j, -3*k - j = 0. Is k greater than or equal to -1/16?
True
Let f be (0 - 2/(-16))/1. Let c(d) = 2*d - 7. Let h be c(5). Let p be h/1 - (-4)/(-1). Which is smaller: p or f?
p
Let v = 478/5 + -96. Suppose 0 = 3*n - c - 3*c + 17, 2*n = -4*c + 22. Which is greater: v or n?
n
Suppose -3*i + 0 = -2*w + 15, 0 = -5*w - 3*i - 15. Which is greater: -1/96 or w?
w
Let p be (1 + 0 + 0)/(-1). Let b(k) be the third derivative of -k**6/120 - k**5/60 + k**4/24 + k**3/6 + 4*k**2. Let z be b(p). Which is smaller: z or -1?
-1
Suppose 10 - 12 = 2*n. Is 1 at least as big as n?
True
Let m(q) = 5*q - 5. Let f be m(1). Which is bigger: 7.1 or f?
7.1
Let k = 17 + -17.09. Let x = 0.11 - k. Does x = -0.6?
False
Let a be 15/(-5) + (1 - -7). Let l be -5*(-1)/2*2. Suppose 1 - l = -2*y, a*k + 3*y + 4 = 0. Which is smaller: 1 or k?
k
Let p be ((-340)/8)/(3/2). Let z = -28 - p. Which is greater: -5 or z?
z
Suppose 4*k - 4*c - 84 = 0, -c = -4*k - 2*c + 79. Let q be (-4)/k + 6/10. Which is greater: q or -2/5?
q
Suppose 4*d - 12 = -4*n, 0*d = 2*d - 4*n - 24. Suppose 0 = -4*k + 2 + 22. Are d and k unequal?
False
Let b = -0.31 - -1.31. Let z = 27 + -53/2. Do b and z have the same value?
False
Let w be 4 - ((-102)/(-14) - 3). Is -1/16 equal to w?
False
Let u be (1 + -1)*(-1 + (-9)/(-6)). Is 1/4 greater than u?
True
Suppose -2*a - l - 21 = 0, 0 = -0*a - a - 5*l - 6. Is -11 greater than a?
False
Suppose -2 + 1 = -u. Let m be 6/4*36/243. Does u = m?
False
Let o = 0.7 + -0.6. Let x = 23.1 - 22. Let z = x - o. Is -2/7 < z?
True
Suppose 0 = -n - 0*n + 2*i + 5, 0 = 5*n - 4*i - 19. Suppose 5*k - 3 = 2*k - a, 4*k = a - n. Suppose k = 3*t + t + 4. Is 3 > t?
True
Let o = -19 - -18. Is -4/35 less than o?
False
Let y = 39 - 34. Is 6 smaller than y?
False
Let m be 0 - 0 - (-10)/15. Is m greater than or equal to 1?
False
Suppose 10 - 4 = 3*i - 3*a, 4*a + 16 = -4*i. Are 2/19 and i non-equal?
True
Let f be ((-42)/28)/(2*3/(-8)). Which is greater: f or 10/3?
10/3
Let b(s) = -2*s - 3. Let d be b(-2). Let w be 1/2 + d/2. Suppose 2*g + 0 - 4 = 0. Does g = w?
False
Let d be 222/(-11) - 2/(-11). Let o be 3/12 + d/(-48). Do 0 and o have different values?
True
Suppose -4*s + 0*s = -16. Let w = -5 + s. Which is bigger: w or -2?
w
Let h be 37/(-22) + 10/55. Is h less than -2?
False
Suppose -r - r = 0. Suppose -2*t = -r*t - 4. Is t at most as big as 2?
True
Let n(z) be the first derivative of z**4/4 - z**3/3 - 7*z**2/2 + 3*z + 10. Let g be n(3). Do g and 6/5 have the same value?
False
Let g = 107 + -106.9. Is g smaller than -18/11?
False
Let u(f) = -f**3 + 3*f**2 - 1. Let k be u(2). Let b = 28 - 24. Is k less than b?
True
Let a = -1/6 - 7/30. Which is smaller: a or -0.11?
a
Suppose 33 = 4*k + 5. Suppose 25 = 4*f + a, -f + 17 = 4*a + k. Is f less than 5?
False
Let d = 1.943 + -0.003. Let w = d - -0.06. Which is smaller: 0 or w?
0
Let c = 10714/17 + -630. Which is smaller: 1 or c?
c
Let n = -115.5 + 115. Is -2/9 at most as big as n?
False
Let y = 3.43 + 0.49. Let j = 0.08 + y. Let f = 0 - j. Which is smaller: f or -0.1?
f
Let w(v) = -7*v**3 + 3*v**2. Let y(k) = k**3 - k**2. Let z(n) = -w(n) - 6*y(n). Let b be z(-3). Which is bigger: b or 2/23?
2/23
Suppose -2 = -2*n + 4. Let u be n/(-1)*5/(-30). Let q = -0.25 - -4.25. Is u > q?
False
Suppose -4*w - w + 11 = -3*z, 4*z = -3*w - 34. Let k = z + 8. Which is bigger: k or 2?
2
Suppose -3*t + 9 = -6*t. Let f be -2 + -54 - (-4)/(-2). Let l be f/(-20) - (-9)/t. Which is greater: -1 or l?
l
Suppose 6*i - 3*i = 21. Is 8 less than or equal to i?
False
Let b be 3/(2*4/8). Which is smaller: b or 5?
b
Suppose 88 = k - 5*k. Let o = -30 + 8. Is k at most o?
True
Let q = -18 + 17. Which is smaller: q or -8/5?
-8/5
Let w be (0 - 0) + 0/3. Suppose 5*o - 2*s = 21 - 5, -26 = -4*o - 5*s. Suppose 0 = -3*h + o*u - 4, 4*u + u = -2*h + 5. Is h at most as big as w?
True
Let t be 0/(0/(-2) - 1). Is t not equal to -42?
True
Suppose -3*r = -0 - 18. Let w be (-3)/(-6) - (-45)/r. Is w greater than or equal to 9?
False
Let u be (31 + -1)/2 + 4/2. Is u < 33/2?
False
Suppose 0 = 2*u + u - 6. Let j be 1/u + (-71)/2. Let c be -1*1 - 50/j. Which is bigger: -0.1 or c?
c
Let t = -50810 + 5335123/105. Let c = 2/21 - t. Let p = 92 + -94. Which is smaller: c or p?
p
Let l be (6 + 2 - 6)*(-1)/(-2). Which is bigger: l or -0.07?
l
Suppose -2*g - 1 = 1. Let p be 2 - ((-9)/6)/g. Which is smaller: 8 or p?
p
Let z = -8 + 8. Suppose -4*a = -y - 69, 5*a + z*y = 5*y + 75. Is a smaller than 18?
False
Let n(k) = -k**3 + 9*k**2 + 2*k - 13. Let b be n(9). Suppose -4 + 2 = -t. Suppose b*h - t*h - 6 = 0. Is 0 <= h?
True
Let c = -14247/37 - -385. Let y be (7 - 7) + 94/(-370). Let g = c - y. Is 1 not equal to g?
True
Let j be (-7)/4 - 10/40. Which is greater: 1 or j?
1
Suppose -2*v - v - 63 = 0. Let h be ((-14)/v)/((-10)/6). Which is greater: h or -2?
h
Let j = -0.08 - -1.48. Which is greater: j or -1/3?
j
Let o = 0 - 0. Let k(i) = -3*i**2 - 17*i - 8. Let y be k(-5). Which is smaller: o or y?
o
Let f = -17 + -7. Which is smaller: -1 or f?
f
Suppose 2*s = -4*r + 276, 2*r - 151 = -3*s - 21. Is 70 > r?
False
Let v = 1 + -2. Does v = -7?
False
Let n(m) be the third derivative of 0 + 7/24*m**4 + 0*m + 1/10*m**5 + 4*m**2 + 1/3*m**3 - 1/120*m**6. Let y be n(7). Which is smaller: y or 3?
y
Let m be 1*-3 - (-5 + 2). Suppose m*v + 12 = -2*v. Is v bigger than -6?
False
Let j = -7/2 - -4. Let o = 22/5 - 93/20. Which is bigger: o or j?
j
Suppose 4*z - 20 + 12 = 0. Let o be 30*-1*(-2)/5. Suppose 3*k = -z*k + 4*m + o, -2*m - 6 = 0. Which is smaller: k or 3?
k
Let y = 1.9 - -0.2. Let p = -2 + y. Which is greater: -3 or p?
p
Let h = 592898/579 + -1024. Which is bigger: h or -1?
h
Let l = -50 + 35. Let h = -14.9 - l. Which is bigger: h or -0.1?
h
Let k be (1/(-25))/(11/((-165)/48)). Which is smaller: k or 1?
k
Suppose -11*m - 47 + 212 = 0. Is m >= 15?
True
Let a = 0.07 - -2.93. Let z = -0.11 - -0.61. Let g = -1.5 + z. Is a > g?
True
Let r(j) = -6*j - 16. Let c(f) = 5*f + 15. Let x(p) = 5*c(p) + 4*r(p). Let q be x(-12). Are -3 and q unequal?
True
Let c = -31/14 - -12/7. Which is smaller: c or -1?
-1
Let u be 14/28*(-1 + 1). Which is smaller: 3/11 or u?
u
Suppose 0 = 5*s - 10, 11 = 3*g - 5*s. Is g at least as big as 1?
True
Let a(o) = o**2 + 2*o + 1. Let j be a(-3). Suppose -s - 3*r - 13 = 0, 0 = 2*s - 16*r + 14*r - 14. Which is greater: s or j?
j
Let t = 3.9 + 0.1. Let c = 4.04 - t. Is c less than or equal to 1/2?
True
Let z = 0 + 4. Suppose -2*o - 2 = -2*i - 2*i, 3*i + z*o + 4 = 0. Let w = -4 - -8. Is i != w?
True
Let y = 1081 + -2099/2. Is 33 > y?
True
Suppose 2*x - 2 = -0*x. Suppose 0 = m - 2*m - x. Let f be (-2)/5*(0 - m). Which is smaller: f or 0?
f
Let s be (-1)/(-1)*(2 - 4). Suppose -c + 4 = -5*c. Let v = c + -1. Are v and s non-equal?
False
Let b be ((-1)/1)/(3/(-144)). Let y be -2*(b/21 + -2). Is -1 greater than y?
False
Let x be (-12)/18*(-6)/(-4). Which is bigger: -2/3 or x?
-2/3
Let h be (-48)/(-22) - 2 - 0. Let a be (6 - -3)/3 + -4. Which is smaller: a or h?
a
Let r be (0 + -2)/((-3)/(-9)). Let y be ((-8)/r)/(3/(-9)). Let f = -64 + 61. Which is bigger: f or y?
f
Let p = -3 - -3.2. Which is bigger: -8 or p?
p
Suppose -4*r + 3 = -5*r. Let a be (r - 39)/3 - -3. Is a at most as big as -11?
True
Let a(q) = q - 8. Let x be a(8). Let o = 11131/8897 - 39/31. Let s = -1443/1148 - o. Which is smaller: x or s?
s
Let f(n) = -n**3 - 2*n**2 + 4*n - 3. Let v be f(-3). Is v at least -41/7?
False
Let a(s) = s**3 - 4*s**2 - s + 8. Let c be a(4). Let g be (2 + c)*(-1)/(-26). Which is smaller: g or 1?
g
Let f = 16 - 24. Let i = f - -7.9. Is 1/9 at most i?
False
Let a(w) = -w**3 + 5*w**2 - 2*w + 7. Let b be a(5). Let x be ((-25)/15)/((-1)/(-3)). Let f = 3 + x. Which is smaller: f or b?
b
Let i(n) = -n - 5. Let s = -5 - 3. Let q be i(s). 