0.13?
i
Let t be (-5)/((-15)/9)*1. Suppose t*o - 13 = 47. Let p = -13 + o. Which is smaller: p or 6?
6
Suppose 4*b - 8 = 2*q, 6*q + 2*b - 4 = 3*q. Suppose 3*y = 2*t + 2*t - 1, -4*y = -5*t + 1. Which is smaller: q or t?
q
Let d = 30 - 13. Which is smaller: d or 16?
16
Let h(g) = -g**2 + 3*g. Let r be h(4). Let l be ((-6)/r)/(1/2). Let d = l + -1. Which is smaller: 1 or d?
1
Let x(y) = 2*y**3 + y**2 - 3*y + 3. Let o be x(-3). Let t be 2/o*9/3. Let j = 51 - 50. Is j less than t?
False
Let y = 1 - -4. Let q = y - 8. Let j(o) = -o**2 - 6*o - 3. Let l be j(-6). Is l at most q?
True
Let r = -325/2183 + 4/59. Is r at least 0?
False
Let s = -11/28 - -1/7. Which is greater: 1 or s?
1
Let a = -15/14 - -519/406. Are 1 and a nonequal?
True
Let g(c) = c**3 + c**2 - 1. Let a be g(-1). Is 2/3 less than a?
False
Let x be (-54)/(-72)*(1 + -9). Is x greater than or equal to -22/3?
True
Suppose 3*z - 11 + 38 = 0. Do z and 1 have the same value?
False
Let h = 0.8 - -11.2. Which is smaller: -1 or h?
-1
Suppose i + 4*i = -5*n - 10, -n + 8 = -i. Let v(j) = j - 1. Let p be v(n). Suppose -4*l = -6*l - f - p, 0 = -3*l - 3*f - 3. Which is bigger: l or -2/7?
-2/7
Let n be (-6)/(-64)*(-4)/6. Is n less than -1?
False
Suppose 2*h = 4 - 6. Is h smaller than -2?
False
Let s(n) be the third derivative of n**5/60 - 5*n**4/24 + n**3/6 - 4*n**2. Let j be s(7). Let h be 6/j*2/(-8). Are h and 0 nonequal?
True
Suppose 4*o - 25 - 3 = -2*m, -m + 20 = -o. Which is bigger: m or 20?
20
Let n = -34 + 114. Let q = -317/4 + n. Which is greater: 0 or q?
q
Let h = 5 + -5. Which is smaller: h or -1?
-1
Let g = -0.04 - -3.04. Is g > -1?
True
Let d(g) = g**2 - 6*g + 12. Suppose -c = 3*a - 22, 0*a + 3*c + 46 = 5*a. Let m be d(a). Let u be ((-3)/(-2))/((-21)/m). Does -2 = u?
True
Suppose 5*q + 3*m = -17, -5*q - 11 - 4 = 5*m. Are q and -3 equal?
False
Let t be 52/6*24/(-16). Which is smaller: -14 or t?
-14
Let h be 2 + (-110)/(-35) + -4. Do 0 and h have different values?
True
Let d = -21/83 - -2329/8549. Which is bigger: 1 or d?
1
Let i = 3 + -5. Let z(b) = -2*b - 2. Let j be z(-6). Suppose 2*y + j = -3*y. Is i at least as big as y?
True
Let m be -1 + (-21)/(-12) + 0. Suppose -2*h = 4*k - 12, -5*h - 6 + 23 = -3*k. Which is greater: k or m?
k
Let p = 0 - -0.1. Let b = -28 - -26. Which is bigger: b or p?
p
Let r be (-112)/(-32)*2/14. Which is smaller: 10 or r?
r
Let q = 31 + -32. Let v be 2 - (0 + 25) - -2. Let l be (-4)/v*(-3)/(-2). Which is greater: l or q?
l
Let h(t) = -2*t**2 + 3*t - 2. Let u be h(2). Is u less than -5?
False
Suppose 0*v + 32 = -4*v. Let k = -25 + 17. Is k < v?
False
Let p(l) = 2*l + 3. Let m be p(-4). Which is smaller: m or -3?
m
Suppose -4*q - 28 = 4. Is q greater than 0?
False
Suppose -q = u - 7, q + 3*u + 0*u - 13 = 0. Let f be (-3)/9 - q/6. Which is smaller: 1/3 or f?
f
Let y = 2548/5 - 508. Is y less than or equal to 0.1?
False
Let v(j) = 3*j - 17. Let s be v(5). Which is smaller: -4 or s?
-4
Suppose 0*i - 10 = -2*i. Let y = -10 + i. Let z be ((-8)/(-70))/(2/y). Is z greater than 0?
False
Suppose 0*c - 3*k = 4*c - 1, 4*c = -4*k. Is 2/191 != c?
True
Let h be ((-66)/(-9))/((-4)/6). Let j = h + 7. Is j at most as big as -5?
False
Let h be 4/(-14) + 12/21. Let f = 3 + -3.4. Let g = 0.5 + f. Is h at most g?
False
Let t = 0.56 + 0.14. Let n = -0.4 + t. Which is smaller: 2/7 or n?
2/7
Let p = 11.83 - 12. Which is smaller: 0.1 or p?
p
Let p be 7/(-14)*1/2. Suppose 0*o - 2*o = 4. Let m be o/((-2)/1) + 0. Which is bigger: m or p?
m
Let p = 5075/4 - 1279. Which is bigger: p or 0.1?
0.1
Let g = -1 - -1. Let p be 335/672*-2 - -1. Let i = p + -97/336. Which is bigger: g or i?
g
Suppose -2*w + 5*w = 0. Let m = -280 - -2243/8. Is m equal to w?
False
Let k = -0.4 - 0. Let v = -0.2 - 0.3. Let a = k - v. Which is bigger: a or 5?
5
Let l(q) = -3*q**2 - 3*q + 10. Let w be l(4). Is -50 greater than or equal to w?
True
Let p = -12.1 + 12. Let m = 0.1 - 0. Let o = m + -0.2. Is o > p?
False
Let m be 200/(-15) - 3/(-9). Let d = m - -63/5. Which is smaller: 0.8 or d?
d
Suppose 4*q = -0*q + 48. Suppose 3*c - 5 = r, 4*c + 0 - q = 4*r. Which is bigger: r or -3?
r
Let p be (-6 + 8)*(-10)/4. Which is bigger: p or -6?
p
Let v(j) = j**2 + j - 6. Let i be v(0). Let d be 10/(i/(-2 - 1)). Suppose 5*l = -d*r - 50, 0 = r - 3*l - 4 - 6. Which is bigger: r or -4?
-4
Let o = -32 - -34. Is -2 >= o?
False
Let m(z) be the second derivative of z**5/20 + 3*z**4/4 + 3*z**3/2 + 9*z**2/2 - z. Let a = 20 - 28. Let b be m(a). Is 2/3 bigger than b?
False
Let m = -48 + 242/5. Which is bigger: -17 or m?
m
Let f(h) = -4*h + 12. Let a be f(7). Is a at most -16?
True
Suppose -s - 35 = v, -3*v = -4*s - s - 135. Which is greater: s or -31?
s
Let s(x) = -x**2 + 7*x + 4. Let v be s(8). Let i = -7 - v. Is -1 less than or equal to i?
False
Suppose 22 = 5*k - 2*l, 0 = -9*k + 4*k + 4*l + 24. Let i(v) = v - 4. Let b be i(k). Let d be (b*(-1)/(-2))/2. Which is smaller: d or 2/13?
d
Let t be 60/(-195)*-5*1/1. Which is smaller: 1 or t?
1
Let k = 46 + -36. Which is bigger: k or 6?
k
Let u be (-18)/(-15)*9/27. Suppose 6*x - x + s - 16 = 0, 5*x - 4*s = 36. Let c be -2*2/x*-1. Which is smaller: u or c?
u
Suppose 4*s - 2*y = 52, -5*s + 80 = 2*y + 3*y. Let x be (-4)/(-3)*(-63)/s. Which is smaller: x or -5?
x
Let v(o) = -3 - 3*o**2 + 4 + 2*o**2 - 3*o. Let z be v(-3). Suppose -s = 4*l + 5 - 4, 0 = 4*s - 3*l - 15. Which is smaller: z or s?
z
Let o be (-10)/(-26)*12/15. Let z = o + -5/143. Is z not equal to 1?
True
Let d be 1 + (1 - 2) + -9. Let h be ((-3)/d)/(1/3). Let z = -2001/8 - -250. Which is smaller: z or h?
z
Let n(q) = q + 6. Let o be n(5). Which is smaller: 31/3 or o?
31/3
Let k be (-3)/22*(-8)/3. Suppose 4*z = 8*z - 4*q + 24, -4*z + 2*q - 30 = 0. Let m be z/15 + 10/(-25). Is k >= m?
True
Let h(s) = s - 1. Let b = -2 + 2. Suppose b = 3*x - 5*x. Let u be h(x). Which is smaller: u or -2?
-2
Suppose -4*c + k + 0*k + 3 = 0, 2*c - 4*k + 2 = 0. Which is greater: -4/15 or c?
c
Let g be (-18)/(-24) - (-38)/(-136). Is g greater than or equal to -1?
True
Let h be (8/(-5))/(2/(-25)). Let o(x) = -x**2 - 4*x + 31. Let m be o(-6). Are m and h nonequal?
True
Let r be 455/10 + 3/(-6). Let m be 1 - -1 - 81/r. Is m less than or equal to 0?
False
Let q(m) = -m**3 - m**2 - m - 2. Let r be q(-2). Suppose c + 5*p + 48 = 0, 4*c + 75 = 3*c + r*p. Let t = c - -313/5. Is t > -1?
True
Let i = -12 - -16. Suppose 0 = 2*t + f - 8, -5*f + 13 = i*t - 15. Which is greater: t or -3?
t
Let q = 2.5 - 0.5. Let b = -1 + q. Is b < 0.1?
False
Suppose -3*l + 5*l = -24. Let m = 16 + l. Let y = -10 - -15. Is m at most y?
True
Suppose 0 = 5*t + 17 + 23. Let v = -6 - t. Suppose 7*g - 4*g = -v*l - 11, 5*g - 2*l + 13 = 0. Which is greater: g or -4?
g
Let u be (6/(-9) + 0)*-6. Is u equal to 6?
False
Let f = -1418/11 - -129. Let t = f + -38/55. Is t equal to 0?
False
Let c be (-4 - -2)/(-3 - -1). Suppose 0*l = -0*l - 4*l. Is l >= c?
False
Suppose -3*d - 5 = -11. Which is smaller: 3 or d?
d
Let a be (12/(-15))/4*-1. Suppose 4*x - 4 = f, 5*x + 3*f = 3 + 2. Is a at least x?
False
Let b = 13 + -13.44. Let q = b - -0.4. Let n = q + -1.96. Which is bigger: -1/2 or n?
-1/2
Let z = -14 - -14. Which is smaller: -5 or z?
-5
Let r = -0.01 - 0.19. Let l = -7 - -16. Let v = l + -9.1. Is v at least r?
True
Suppose -4*n + 11 + 5 = 0. Suppose -4*l - n = -8. Let o be (-40)/(-78) + (-8)/12. Is o at least as big as l?
False
Let p = -17518541 - -455544243/26. Let r = 2392 - p. Let y = r - 231/130. Which is greater: y or -2?
y
Let d be (3 + -2 - 1)/1. Let t = d + 3. Do t and 1 have different values?
True
Let k = 5 + 0. Suppose -r = -k*r. Which is bigger: r or 1/36?
1/36
Let c(u) = -3 + 6*u**2 - 5*u**2 + 0 + 5*u. Let h be c(-6). Let j = -2 + h. Which is smaller: j or 2?
j
Let p = 17 + -20. Is -3 bigger than p?
False
Suppose 2*y - 10 = 4*b, -5*y + 22 - 2 = -5*b. Suppose -3*g + 18 = -3*n, 0*n = -4*g - 4*n + 8. Which is smaller: y or g?
y
Suppose 0 = 2*i - 2*d + 18, 2*d + 6 = -3*i - 6. Are -11/2 and i non-equal?
True
Suppose 0*g + 2*g - 5*d = -13, 0 = -d + 3. Let n be (0 + (g - 2))/1. Let k be (8/(-30))/2 + 0. Is k bigger than n?
True
Suppose -65 = 4*t - 49. Let c(h) = h**2 + 4*h + 1. Suppose 0 = -4*q + q - 9. Let a be c(q). Which is smaller: t or a?
t
Suppose -h = -2*b + 3 - 2, -4*b - 3*h = -17. Let u = b + -3