5*w + 42 - 13 = 0. Are u and -2/9 equal?
False
Let a = 4.95 + -0.95. Which is smaller: a or 5?
a
Let z be 8 - (-6)/4*24/12. Is 11 >= z?
True
Let o be 3*2/(-3)*1. Let d be (-1)/2*1*o. Let b be d*5 + (-9 - -7). Is -1 bigger than b?
False
Let l = 0 - 1. Let t be l + (-8)/((-2)/1). Let d be 0/((1 + 5)/t). Is -2/13 greater than d?
False
Let p = 75 - 128. Is -54 greater than p?
False
Let b be -1*(3 - (-66)/(-20)). Is b not equal to -1?
True
Let k = -13 + -1. Which is greater: k or -1?
-1
Let q be (2/(-4))/((-4)/96). Suppose q = 2*r + 2. Let p be (-2)/r - (-12)/(-20). Which is smaller: p or -1/2?
p
Suppose -o - 7 = 6*o. Which is greater: o or 1/38?
1/38
Let y(f) = 9*f - 23. Let s be y(6). Which is greater: 29 or s?
s
Suppose 0 - 1 = m. Let n(t) = 1. Let w(l) = l - 8. Let h(c) = 6*n(c) + w(c). Let x be h(2). Which is smaller: x or m?
m
Let l = 3.4 - 3. Let d = -18.2 + 14.2. Which is greater: d or l?
l
Let d = 7/54 - -85/594. Is 1 at most as big as d?
False
Let g = 1 + -3. Let t = -1 - g. Which is greater: t or 1/8?
t
Let q = -3 + 4. Let k be -1 + q + -3 + 4. Which is smaller: 2/23 or k?
2/23
Suppose -4*v + 8 + 8 = 0. Let l = 6 - 2. Suppose g = -l*g + 15. Which is greater: g or v?
v
Let t(u) = 7*u**2 + 15*u - 5. Let b(m) = -3*m**2 - 7*m + 3. Let a(x) = 5*b(x) + 2*t(x). Let o = -24 - -18. Let r be a(o). Which is bigger: r or 2/13?
2/13
Let t be ((-3)/(-39))/(15/(-6)). Which is greater: 1 or t?
1
Let m be (-7)/(-14) + 1266/(-10). Let n = 431 - 305. Let b = m + n. Is -1 bigger than b?
False
Let h = -19 + 25. Is 2 < h?
True
Let g = 0 - -1. Is g <= 1?
True
Let b be (24/(-40))/((-2)/10). Is 2 > b?
False
Let c be (-31)/31 - ((-4)/198 - 1). Which is greater: 0 or c?
c
Let l = -236 - -4954/21. Suppose 4*s = a + 9, 2*s - s = -4*a - 2. Suppose 0*z + 2 = -s*z. Is z not equal to l?
True
Let d = -975/7 + 139. Suppose 0 = 4*c - 5*c + 5. Suppose -2*n - c = -7*n. Is n smaller than d?
False
Let h be (-2)/((0 + 1)/(-2)). Let p be 35*(h + -2)*-1. Let d be 4/(-14) + (-48)/p. Are d and 1 unequal?
True
Let p be (2/6)/((-2)/(-42)). Is 6 <= p?
True
Let f = 11 - 17. Let w(t) = -t - 12. Let x(o) = 1. Let l(d) = -w(d) - 5*x(d). Let n be l(f). Which is smaller: 2 or n?
n
Let v = 16 + -49/3. Is v smaller than -1/3?
False
Let d = 1192 - 53642/45. Let n = -49/90 - d. Is -0.02 bigger than n?
True
Let w be 12/(-21) - 61/(-21). Which is bigger: 3 or w?
3
Let x = -20 - -10. Which is smaller: -11 or x?
-11
Let c = 1165 - 110677/95. Which is greater: -1 or c?
c
Let c = -5 + 10. Let h be c/(-3) - (-4)/6. Are h and -2 non-equal?
True
Let q = -264 + 2902/11. Is 1 greater than q?
True
Suppose 2 = -t + 3*t. Let s be (t/(-21))/(2/(-12)). Do s and -1/3 have different values?
True
Suppose x + 8 = a - 3*a, a + 1 = 0. Let o be (-1)/x*1017/(-726). Let f = o - 2/121. Does f = -1?
False
Let u be 8/6*3/1. Suppose -1 = -j + 3. Suppose -u*r = j*n - 4, -2*r - n - 1 = -6. Which is smaller: r or 3?
3
Let x be -27*(2 + 16/(-6)). Suppose -9*f = -118 - 35. Which is bigger: x or f?
x
Suppose 0 = -4*l - 29 + 13. Let u be (-1)/2 + 11/(-2). Which is bigger: u or l?
l
Suppose p - 6*q + q + 4 = 0, 3*q = 2*p + 15. Which is bigger: p or -8?
-8
Let s = 1.1 - 1.3. Is -1 at most s?
True
Let a be (-82)/(-7) + 8/28. Let c be 6*(a/(-9) - -1). Let f be (c/(-5))/((-3)/15). Which is greater: -3 or f?
f
Let b = -2 - -12. Let o = b + -4. Let a = 7 - o. Is a equal to 2/5?
False
Suppose y - 2 = 3*y. Suppose -q - 2*s = 2*s + 32, -9 = 3*s. Let h be (-4)/(-10)*q/12. Is h at least y?
True
Let v = 108 + -145. Which is smaller: -38 or v?
-38
Let h be 6/(-15)*105/(-72). Let l = -4/3 + h. Is l at most as big as -1?
False
Let d(n) = -n**2 - n + 0*n - n. Let o be d(-1). Let a be ((-1)/(-15))/((-15)/(-50)). Which is greater: a or o?
o
Let r = -0.72 - -0.97. Are r and 1/4 nonequal?
False
Let t = -3.4 - 11.6. Which is greater: t or 1?
1
Let t = 2627/1912 - -1/956. Is 2 less than t?
False
Let n = 271 - 381. Which is greater: 0.1 or n?
0.1
Suppose -2*d - 5*t - 65 + 10 = 0, -t = -5*d - 124. Let h = -16 - d. Suppose k - 2*w + h = 0, 2*w + w = 3*k + 12. Which is smaller: -1 or k?
-1
Let p be (-4 - -3)/(2/6). Let g be 3/(-9)*0 - p. Suppose -l = -5*n - 5, -2*n + 5*l = g - 1. Is n >= 1/4?
False
Let j = 2/427 + 16637/3416. Which is smaller: 5 or j?
j
Let p = 26.9 + -25. Let b = 0.1 + p. Let m = -13 + 12.9. Is m equal to b?
False
Let v = 2.88 + 0.12. Let p = 2.7 - v. Is p != -1/2?
True
Suppose 3*q = 4*n + 8, 2*n + 11 = -5*q - 19. Let t be (3 + 0)*(2 + q). Is 0 less than t?
False
Suppose -4*j + 9 = -15. Let c be (1/(-2))/(3/j). Let y be ((-6)/5)/c - 1. Is 0 < y?
True
Let f = 27 + 8. Let y = f - 107/3. Is -1 equal to y?
False
Let g = -0.36 + 0.17. Let o = g + 0.23. Is 1/2 < o?
False
Suppose 0 = -5*j + 5*k + 20, 0*k = -k - 3. Which is smaller: j or -4/15?
-4/15
Let u(t) = -t**2 - 2*t + 1. Let i be u(0). Let q be ((-2)/6)/((-2)/(-106)). Let z = -18 - q. Is z not equal to i?
True
Let l(h) = -h**2 + 6*h + 4. Let k be l(6). Let r be ((-33)/k)/((-2)/(-8)). Let o be (-16)/44 + (-6)/r. Is o > 0.2?
False
Suppose 9 = 3*z - 0. Let b = z - 2. Let m = -33/2 - -101/6. Are b and m non-equal?
True
Let f(l) = l**3 - l**2. Let k be f(0). Which is greater: 1/126 or k?
1/126
Let x be 8/18 + (-2)/(-3). Let k = 188/153 - x. Let r = -13/34 - k. Is 0 less than or equal to r?
False
Let z = 17.93 + -17. Let k = z + 0.07. Let m = -5.6 - -6. Which is greater: m or k?
k
Let q be (0 - 5)*(-4)/4. Let j be (q + -5)*(0 + -1). Is -0.1 at most as big as j?
True
Let d be (-3)/8*(-4)/(-186). Which is greater: d or -1?
d
Suppose y + 24 = 6*y + 4*o, 0 = 2*y + o - 9. Suppose -y*f + 11 + 17 = 0. Let z = f + -13/2. Which is bigger: z or 2?
2
Let v(o) = -o**3 - 7*o**2 - 7*o - 3. Let i be v(-5). Which is bigger: -19 or i?
i
Let g(j) = j**2 + 7*j - 7. Let q be g(-6). Which is smaller: -14 or q?
-14
Let u = -436 + 30082/69. Is u at least as big as 0?
False
Suppose 0 = -28*c + 24*c - 60. Which is bigger: -10 or c?
-10
Let w = 9 + -13. Let x be w*(3/(-12) - 0). Let m be 3 + (x*-6)/2. Which is bigger: 2/27 or m?
2/27
Let k(w) = -3*w - 49. Let o be k(-20). Which is greater: -7/2 or o?
o
Let s(a) = 16*a - 8. Let v be s(5). Let p be -3 - 2*(-100)/v. Which is bigger: -0.1 or p?
-0.1
Let x be 65/20 + 6/8. Let d = 0 + x. Let l be (6/d)/(1/2). Is 3 at least as big as l?
True
Let q = 2 + 2. Let z(k) = 1 + 1 + 2*k**3 - k**3. Let d be z(0). Which is smaller: q or d?
d
Let s = 12 - 2. Let g be 2/(-65) + (-2)/s. Which is smaller: 0 or g?
g
Let m = -42 + 83/2. Suppose 0 = -2*o - 10 + 34. Suppose 6 + o = -3*x. Is m at least as big as x?
True
Let h(s) be the third derivative of s**4/24 - 2*s**3/3 + 2*s**2. Let u be h(4). Let p = 1 + u. Is p greater than 2?
False
Let w = -4 - -6. Which is greater: w or 2/7?
w
Let c(s) = s**2 - 22*s + 58. Let g be c(19). Is -1/180 greater than g?
False
Let z(q) = -q**3 + q**2 + q - 2. Let c be z(-2). Suppose -6 = 2*n - 16. Suppose -3*l = 5*w + 12, -3*l = -2*w - n*l - c. Which is bigger: 0.1 or w?
0.1
Let t = -0.09 + -8.91. Let d = -11 - t. Which is bigger: -1/4 or d?
-1/4
Suppose 0 = -2*x - 5*n - 7, 3*n - 2 = 2*x + 3*x. Let f = 35 - 65. Let l be (4/f)/(-2)*3. Which is greater: x or l?
l
Let k be ((-1)/(-3))/(2/6). Does k = 1/57?
False
Let f be (4496/60)/((-4)/(-6)). Let k = 113 - f. Let o be 2 - (-4)/(-3 - -1). Are o and k equal?
False
Let u be (0 - (-2)/5)*-5. Suppose l - 5*k = -l - 6, -12 = 4*l - 3*k. Let m = u - l. Are 2 and m equal?
False
Let p(v) = 3*v - 3. Let r be p(2). Suppose -2*c = -3*h - 10, -3*h + 2*c = -h + 8. Let m = h + 4. Is m bigger than r?
False
Suppose -4*d = -0*d + 16. Let n(v) = v**3 + 4*v**2. Let m be n(d). Suppose -4*t - j = -m*t + 4, 2*t + 4 = -j. Which is smaller: t or 2/15?
t
Let o = 3 + 14. Which is bigger: 0.1 or o?
o
Suppose 5*g + 9 = 24. Suppose -2*l - 5 = -3*c, 7 = -g*l + 2*c + 2. Suppose -p - 15*p + 32 = 0. Is l less than or equal to p?
True
Let n be 3/(-6)*-4 - 2. Let v = 1 - 0. Is n equal to v?
False
Let x = -1 - -2. Let s be (-4)/2*x/2. Let f be (-4)/(-14) + 93/(-105). Which is greater: s or f?
f
Suppose -5*c + b - 1 = 0, 2*c - 3 = c - 3*b. Let y = -2 - -2. Suppose y = -c*i + 3*i. Is -1 at most i?
True
Let j = 0.15 + -0.85. Let u = 1.7 + j. Which is smaller: u or -0.03?
-0.03
Let m = 538 - 4847/9. Is -1 at least as big as m?
False
Let i = -599/4 - 