i or k?
k
Let z be 28/36 - 4 - -3. Do -4/3 and z have the same value?
False
Let d be 0/(8/(-4) + 3). Is d equal to 1/4?
False
Suppose -31 + 139 = -p. Let g be 4/(-10) - p/(-30). Which is smaller: g or -3?
g
Let q be (-8)/(-5) + 20/50. Suppose 0 = 5*w - 3*n + 15, q*w = 6*w - 2*n + 10. Let g be ((-2)/24)/((-1)/(-2)). Which is bigger: g or w?
w
Let b be (-52)/(-1547)*(-7)/(-2). Which is smaller: b or -1?
-1
Let k = -0.156 - 2.844. Which is greater: k or -23?
k
Suppose 9 = 4*i - 2*r + 55, i - 5*r + 25 = 0. Let g(f) = f**3 + 10*f**2 - f - 7. Let v be g(i). Let m = 0.2 - 0.2. Which is smaller: m or v?
m
Suppose 3*x + 2*x = 0. Suppose -2*h + x = 4. Which is greater: 2/3 or h?
2/3
Let q be ((-11)/2)/(18/36). Which is greater: -12 or q?
q
Suppose -4 = -2*v + 8. Is 13/2 at most v?
False
Let q(b) = -b**2 - 6*b - 5. Let m be q(-5). Is m < 2/7?
True
Let x = 7/2 + -3. Let g = x - 0. Let b = -1.1 + 1. Which is greater: g or b?
g
Let d(k) = -k**3 - 15*k**2 + 16*k + 2. Let v be d(-16). Is -11 >= v?
False
Suppose u = o - 2, 5 = o - 0*o. Suppose 0 = -q - 5*r - 17, -2*q - 2*r - 5 = -q. Let z = u - q. Is z less than 0?
False
Suppose 0*g + 30 = -5*g. Let d(o) be the third derivative of o**6/120 + o**5/12 - 7*o**4/24 - o**3/6 + 4*o**2. Let z be d(g). Is z <= 6?
True
Let d(l) = -2*l - 3. Let p be d(-5). Suppose -5 = -s, 4*c + p = 2*s - 3. Are -2/3 and c non-equal?
True
Suppose 2*h = -2*w - 32, -5*w + 8 = 18. Which is smaller: -10 or h?
h
Let j = -7.28 - -7.3. Are -0.2 and j equal?
False
Let v be (-8)/(-2)*(-2)/(-1 - -189). Which is smaller: v or 0?
v
Let l = -0.07 + -0.93. Which is smaller: l or 0?
l
Let p = 110 + -134. Is -23 bigger than p?
True
Let j be 138/14*6/60. Let d = 7/10 - j. Which is smaller: 1 or d?
d
Suppose -4*v = -0*v. Let w be (-1)/3 - (-78)/72. Which is smaller: w or v?
v
Let w(k) = 2*k - 4. Let r be w(3). Let s be (1 + 3)*(0 - 1). Let y be (s/(-10))/(9/15). Is y <= r?
True
Let r be -2 + 5/((-20)/(-8)). Let k = 1 - -2. Let o = 3.2 - k. Is o at most as big as r?
False
Let h(s) = s**2 + 22*s - 43. Let u be h(-24). Is -3 < u?
True
Let h = -1.78 + 1.63. Is 1 greater than or equal to h?
True
Let l be 33/(-6) - 2/4. Let j be (2/l)/((-5)/(-6)). Is 1 greater than j?
True
Let b = 4 - 3.9. Let h = 0.04 + 4.96. Are h and b non-equal?
True
Let x(n) = -n - 1. Let y(h) = 4*h - 7. Let r(t) = 3*x(t) + y(t). Let d be r(11). Let f = -20/11 + 122/55. Is d != f?
True
Let m be 0*(2 - 6/4). Suppose 0 = 8*r + 8 - 0. Which is smaller: m or r?
r
Let y be 1 - 7*(1/1 + -2). Is 14 less than y?
False
Let t be ((-1)/60)/(20/(-27790)). Let q = 116/5 - t. Is q greater than 0?
True
Let n = 7 + -7.04. Let k = 0.81 - -0.19. Which is smaller: k or n?
n
Suppose 4*n + 5*o + 3 = -21, 4*n - 4*o + 24 = 0. Are -7 and n non-equal?
True
Suppose 0 = 2*z - 3 - 3. Which is greater: z or 4?
4
Let b = 2.02 - 0.02. Let t = -3.5 + -0.5. Let o = t + b. Is o greater than -2?
False
Let g be (22/(-4))/(2/4). Suppose p + 30*p = -310. Which is bigger: p or g?
p
Suppose -58*o = -56*o. Do 1/6 and o have the same value?
False
Let c = 2 + -8. Which is smaller: c or -5?
c
Suppose i - 5*i = -12. Let o be i + -4 + 2/2. Which is smaller: o or -2/21?
-2/21
Suppose -2*q + 6 = -4. Let b = -6 + q. Suppose -2 = w - 3*w. Which is greater: b or w?
w
Suppose 0 = 3*u + 2*m - 6, -u + 5*m + 8 = 3*u. Is u at most 1?
False
Suppose -4*j + 3 = -j. Let f = -91.95 + 95. Let a = f + -3. Which is smaller: j or a?
a
Suppose -1 = -3*y - 0*d - d, 4 = -y + 4*d. Is -6/19 greater than y?
False
Let k = 9525/8 - 1188. Is k at most 4?
True
Let u = 46 - 47. Is -16/9 > u?
False
Let j(x) = -x**3 + 5*x**2 - 1. Let v be j(5). Let f be v/2*(2 - 3). Which is smaller: 0 or f?
0
Let j = 172/405 + -2/81. Which is smaller: -34 or j?
-34
Let l = 14106/35 - 403. Which is smaller: l or 0?
0
Suppose 0 = f - 4*q - 13, 0*q = 2*f + q - 17. Let c be (-4)/(-5)*f/(-12). Is c less than -1?
False
Let a be (0 + 4/12)*-9. Let w be (a/(-10))/((-9)/(-12)). Which is smaller: -1 or w?
-1
Let u = 227/3 + -75. Let t = 52 + -94. Let o be (-1)/2 + t/(-36). Is o <= u?
True
Let a = -5 - -6. Suppose -3*m = -0*m + 24. Let g be ((-1)/(-12))/((-6)/m). Which is smaller: a or g?
g
Let j be (-1 + 2)/1 - 1. Let t be (j - (-1)/(-3))*-3. Let i = 2 + t. Which is smaller: 0 or i?
0
Suppose 0 = -h + 2. Which is bigger: 14/5 or h?
14/5
Suppose 0 = 3*w - 1 - 5. Suppose -5*o = -p + w + 2, 8 = 2*p + o. Let k(j) = -j. Let v be k(-2). Which is smaller: v or p?
v
Let z = 519.9 + -520. Let h = -2 + 1. Which is bigger: z or h?
z
Let x(g) = -g**2 - 14*g + 5. Let h be x(-14). Is h greater than or equal to 38/9?
True
Let j(r) be the third derivative of -r**5/60 - 7*r**4/24 - 7*r**3/6 - 52*r**2. Let a = -19 - -12. Let c be j(a). Are -7 and c equal?
True
Suppose 3*s = v - 1, -4*s - s - 5*v + 25 = 0. Let n = 55 - 62. Which is greater: s or n?
s
Let l be 1/(-2)*(-50)/(-275). Let t = -2 + 2. Is l equal to t?
False
Let t = 25 + -14. Is 0 > t?
False
Let y(i) be the first derivative of i**2/2 - i - 2. Let r be y(3). Is r at most as big as -1?
False
Suppose 5*z = 2*j + 2*z, -4 = 2*j - 2*z. Let d = j + 12. Which is smaller: 5 or d?
5
Suppose 0*q = 3*q - 6. Let o(m) = m**q - 4 - 4*m + 4. Let v be o(2). Is -3 at most v?
False
Let p be -2 + 5 - 1/1. Suppose -b + 4*b + 3*z = -9, -2 = -p*z. Let y be (4 - 10)*(-1)/b. Which is bigger: y or -2?
y
Let y = 6 - 2. Let a = y - 3. Is a at least -5?
True
Let w be 6*164/(-496) + 2. Let s = w - -117/434. Do -2/5 and s have different values?
True
Let r = -28/45 + 629/1035. Which is smaller: r or 1?
r
Suppose -3*k - 3 - 3 = 0. Is k >= -2?
True
Let b be (0 - 0) + 4 + -5. Which is greater: -1/6 or b?
-1/6
Let a = 21 + -23. Is a != -5/3?
True
Let u be (1 - (-1635)/36) + 1. Let s be 2/(-7) + (-988)/21. Let t = s + u. Is 1 at most t?
False
Let u = 9.9 - 7. Let m = u + -3. Which is smaller: m or -1?
-1
Let n = -0.18 - -0.08. Is -1/2 at least n?
False
Let p = -1 + 1.9. Let l = p + -0.8. Suppose -4*d = 5*t + 7, 0 = -6*d + d - 5*t - 10. Which is smaller: d or l?
d
Let i be 17065/(-42) - (-7)/42. Let t = -407 - i. Which is bigger: t or 0?
0
Suppose -3*j = -2*j - 2. Suppose 7*a = j*a - 90. Is a smaller than -17?
True
Let u(o) = -o + 14. Let x be u(7). Which is smaller: -0.07 or x?
-0.07
Suppose 0*o + 2*o - 38 = 0. Which is greater: 21 or o?
21
Let j(r) = r. Let z(d) = -2*d - 2. Let p(y) = 3*j(y) + z(y). Let k be p(-2). Which is smaller: -1/2 or k?
k
Let g be 4/10 - (-16)/(-90). Let p be (2 + 0)/(2/4). Suppose 0 = -0*u + p*u - 4. Which is bigger: u or g?
u
Let p = 98 - 689/7. Is p greater than or equal to -6?
True
Let p = 1277/17 + -75. Let b = p + -48/119. Is b greater than 1?
False
Suppose 5 = -9*q + 8*q. Let s be (-5)/q - (1 - -1). Suppose 2*j + 4 = -0*j. Is s <= j?
False
Let b = 105 - 58. Which is smaller: -0.1 or b?
-0.1
Let b = 9 + -10. Let g be 0*(-2 - -2 - b). Which is smaller: 3/4 or g?
g
Let s = 2.7 - 0.7. Let o = 18.4 - 17. Let b = o + -0.4. Which is greater: b or s?
s
Suppose 0 = -4*m - m + 5. Let t(k) be the second derivative of k**5/20 - k**4/12 + k**3/6 - k**2/2 - 4*k. Let s be t(m). Are s and 3/5 unequal?
True
Suppose 0 = -h - f + 3, 0*h + 3*h - 12 = -2*f. Suppose 2*l - h = l. Is l at least 6?
True
Let w(p) = 2*p + 4. Let c be w(-2). Is c at least as big as -4?
True
Let w be (0 - 0)/(-2 - -1). Suppose 2*f = -3*d - 16, -f - 3*d - 16 + 2 = w. Let n be 1 + f + (2 - 3). Which is smaller: -1 or n?
n
Suppose 0*j = -4*j - 12, 0 = 3*v + 2*j + 6. Suppose -3*h + 3 + 0 = 0. Is h at least v?
True
Suppose 0 = 2*o + 344 + 342. Let t = o + 2063/6. Is 1 greater than or equal to t?
True
Let o be 0/((-3 - -2) + 0). Suppose o = -4*s + 3 + 1. Let j = s + -2. Are j and -1/3 non-equal?
True
Let n = -737 - -444. Let z = n - -3807/13. Which is smaller: z or -1?
-1
Suppose 0 = -5*u - 26 - 29. Suppose 2*c = -5*c - 77. Do u and c have the same value?
True
Suppose -s + 10*s + 621 = 0. Which is bigger: -70 or s?
s
Let n = 2 + -3. Is 1/15 equal to n?
False
Let m be (-3)/4*60/(-13). Let n = m - 443/143. Is n != 1?
True
Let i be -6 + -2 - -5 - 214/(-74). Is -1 at most i?
True
Suppose -58 - 182 = -5*r. Let l be ((-4)/2)/((-4)/6). Let c be l + (-3)/(27/r). Are c and -2 unequal?
True
Let t = 17 - 8. Let n = t - 9. Are -4 and n unequal?
True
Let l(s) = 2*s - 10. Let g be l(6). Let j be (2/g)/(3/(-30)). I