 p?
p
Let w = -2/79 - -180/869. Which is greater: 17/2 or w?
17/2
Let y be 388*1*8/32. Suppose 0 = -4*v + m - y + 17, 0 = 3*m + 12. Which is greater: 0 or v?
0
Suppose 4*u - 30 - 18 = 0. Suppose -2*b + d = -30, -2*b + b + u = -2*d. Let k = 9 - b. Which is greater: -0.1 or k?
-0.1
Let s = 67.92 + 1.08. Let n = s - 72. Which is smaller: n or -0.4?
n
Let b(n) = 67*n - 23. Let w be b(3). Suppose w*q - 4 = 180*q. Is q at least as big as -1?
False
Suppose -8*o = -3*c - 3*o + 24, -c = 5*o + 12. Suppose -7 = -c*b - 2*m, 3*m = -b + m + 5. Let p(v) = -v + 2. Let j be p(b). Is 4 > j?
True
Suppose 10 = 64*i - 69*i. Let b be (9/i)/9 + 2/4. Which is greater: 2/11 or b?
2/11
Let t = 138803/53 - 2619. Which is smaller: 0 or t?
t
Let h = -22747/472 + 385/8. Is -1 > h?
False
Let t = -0.02 + -1.98. Let j = t + 1.98. Let k = 5/211 + 201/422. Which is greater: j or k?
k
Let h = 0.84 - -0.26. Let z = h - 1. Let d(m) = -m**2 + 12*m - 33. Let y be d(6). Which is bigger: z or y?
y
Let p(n) = -2*n**3 + 11*n**2 - 5*n + 7. Let q be p(5). Suppose 24 = -q*w + w. Let b be -6*1*1/2. Is w equal to b?
False
Suppose -3*u - 8890 = -2*g + 2*u, -2*u = -2*g + 8902. Let k be (-2)/16 + g/(-72). Is k not equal to -61?
True
Let f = 10.41 + -10.41. Which is bigger: -499 or f?
f
Let q(d) = -d**3 + 33*d**2 - 29*d + 68. Let r be q(32). Which is greater: r or 166?
166
Let o = 84 - 309. Let d be o/(-81) - (-5)/(-3). Which is bigger: d or -0.2?
d
Suppose -2*s = 3*s. Suppose 5*n = -s*n - 20. Let o(u) = 2*u**2 + 10*u - 3. Let w be o(-5). Which is bigger: n or w?
w
Let x(o) = o**3 - 8*o**2 + 9*o + 6. Let d = 28 + -21. Let v be x(d). Which is bigger: 19 or v?
v
Suppose -2 = -5*v + 3*p, -1 + 6 = 5*p. Suppose -29 - v = -5*h. Suppose -h*b + 20 = -10*b. Is b at least as big as -5?
True
Let s be (2 - 2)/(-11 + 12). Which is smaller: 0.0512 or s?
s
Suppose 3*m - 4*m = 1. Let s = 51229/109 - 470. Which is greater: m or s?
s
Let o be (-5)/35*(-4)/10. Let t = -7 + 15. Let l = t - 8. Is l equal to o?
False
Suppose -54*w - t - 3 = -55*w, -2*w + 10 = -4*t. Are -1/3130 and w unequal?
True
Let k be 2/4 + (156/8)/(-3). Let b be ((-10)/k)/((-2)/6). Is b less than -7?
False
Suppose 0*p + 50 = 2*p. Suppose 0 = 5*l - 96 - 24. Which is greater: l or p?
p
Let k = 34 + -15. Suppose -23 = i - 3*q + k, -i - 2*q = 52. Is -0.1 smaller than i?
False
Let k = -94 + 95. Suppose 2*q + 4*f + 1 + 1 = 0, -q + 4*f = k. Which is smaller: q or -2/7?
q
Let y be ((-4186)/(-63))/((-16)/(-22)). Let m = 568/9 - y. Let k = m + 28. Which is smaller: -0.4 or k?
-0.4
Let o(m) = -18*m + 76. Let v be o(5). Which is smaller: v or -130/9?
-130/9
Let o = 0.564 - -0.436. Which is greater: o or 6.9?
6.9
Let a(b) = -b + 19. Let c(j) = -j + 9. Let x(h) = 3*a(h) - 5*c(h). Let n be x(-6). Which is bigger: 2/23 or n?
2/23
Suppose -p = -4*g + 40, -3*p - 20 = -2*g - 0. Let x be (3/2)/(5/g). Let d be 12/27*x/(-2). Are d and -4 equal?
False
Let m be (-605)/200 - 3*-1. Suppose -15*h - 5*h = -20. Is h > m?
True
Suppose 0 = -10*v + 5401 + 3249. Is v < 865?
False
Suppose -6513*h - 696 = -6512*h. Which is smaller: h or -694?
h
Let g be 4/(-6) - 2/(-3). Suppose -n + g = -4*p + 5, -3*n = -4*p + 15. Which is smaller: p or 5/8?
p
Let s be (112/1120)/(3/10). Is s equal to 0.138?
False
Let u be ((-4)/(-10) + 0)*(143 - -2). Is 68 != u?
True
Let f be (-32)/(-12)*(1 - 4). Let h(t) = -t**2 - 14*t + 1. Let c be h(-14). Let p be (-3 - -3)/c - (-2 - -12). Are p and f nonequal?
True
Suppose 80 = -21*b + 2453. Is 121 at most as big as b?
False
Let l(q) = -2*q + 2. Let j be l(1). Suppose -2*t - t + 6 = j. Suppose -2*g = 4*i - 8, t*g = -2*i + 6*i + 8. Does 2/61 = i?
False
Let l = 1892.8 - 1895. Is -21 less than or equal to l?
True
Let a = 0.43 - -28.57. Let b = a - 29. Do b and -0.05 have the same value?
False
Let m(h) be the third derivative of h**5/60 - 2*h**3/3 - 2*h**2 + 29*h. Let r be m(3). Let c = 173/14 - 55/7. Is r < c?
False
Let m(k) = -k**2 - 3*k + 2. Let b be m(1). Let t = -3937531/62 - -63507. Let z = t + 2/31. Which is smaller: z or b?
b
Suppose 4*c - 3*r - 9 = -23, 0 = 2*c - r + 6. Is c > 9?
False
Let r = -0.476 - -0.46. Let k = r - -0.016. Which is greater: -4 or k?
k
Suppose 0 = -2*m - 0*m + 4. Suppose -6 = -3*h + m*j, 6*j - 2*j + 12 = -h. Let g be -13 + 15 + 2 + h. Which is smaller: 18/5 or g?
18/5
Let x be (-55)/10 - (-1 + 1). Let d(k) = 13*k + 19. Let z be d(-2). Is z < x?
True
Let q be 778/(-3) - 6/(-18). Let w be q/308 - (-1)/(-4). Suppose -5*h - 8 = -0*h - 2*f, f = -1. Which is bigger: w or h?
w
Suppose -110 = -10*k + 510. Which is greater: 64 or k?
64
Let m = -2149 - -2285. Which is bigger: 549/4 or m?
549/4
Let o be 1/(-30)*(-4 - 0). Suppose -2*b + 6 = -5*t - 11, -t + 2*b + 3 = 0. Let h = t - -5. Are o and h equal?
False
Let c(k) = -9*k**2 + 26*k + 160. Let r be c(-12). Which is smaller: r or 1?
r
Let f(k) = -k**3 + 4*k**2 + 12*k - 19. Let r be f(5). Let h = -7 + 23. Is r bigger than h?
False
Let z be ((-410)/(-85) - 3) + -2. Let r = -9 - -28/3. Which is smaller: r or z?
z
Let b(t) = -t + 9. Let i(d) = -d + 8. Let x(k) = 2*b(k) - 3*i(k). Suppose 10 + 2 = 4*p. Let s be x(p). Is s greater than -4?
True
Let s = -236.78 + 234. Which is greater: s or -1?
-1
Suppose 5*g = 18*g + 936. Let a be (-9)/g + (-19)/8*3. Does a = -8?
False
Let l(v) = 4*v**2 + 1. Let p be l(-1). Are p and -8 non-equal?
True
Let p = 22 - 18. Let q be (-12)/p + 1 + 4. Which is smaller: q or -4?
-4
Let g(l) = 2*l**3 - 3*l**2 - 5*l + 5. Let o be g(2). Which is smaller: o or -4/53?
o
Let v be (-30)/9*(-12)/5. Suppose -a = t + 4*t - 7, -4*t = 2*a - v. Is 1/4 less than t?
True
Let f be 1/48*18/(-24). Let d be (-2)/6 - 14/21. Is d <= f?
True
Suppose 4*y - 2*r - 55 = 177, 2*y = 4*r + 128. Let c = y + -61. Suppose -4*h - 4 = -b, -2*h + 47 = -4*b - 7*h. Are c and b unequal?
True
Let m(u) be the second derivative of 5*u**3/3 - 2*u**2 + 16*u. Let s be m(1). Is 5 less than s?
True
Suppose -24 = -5*p + p. Let c = 12 + p. Is c > 17?
True
Let q = -123 - -133. Which is greater: -2 or q?
q
Let v be 6/4 - (-1 + 24558/9828). Which is greater: v or -1?
v
Let w(t) = -t - 1. Let g be w(-3). Let f be (126/(-135))/(98/(-70)). Which is bigger: f or g?
g
Let q = 6473821/11752 + 31/5876. Let d = q + -550. Is 2 at least d?
True
Let a(o) be the first derivative of -o**2/2 - 17*o + 8. Let m be a(-19). Is -4 >= m?
False
Suppose 30 = 7*m - 2*m. Let u = -6 + m. Is 10/7 at most as big as u?
False
Let r = -732 - -2120/3. Let k = -25 - r. Is k greater than 0?
True
Let p be 6/(-9)*(-1 - -4). Let x be 3*p/75*1. Which is smaller: x or -1?
-1
Suppose 24*b + 8 = 23*b - 2*k, 2*b + 5*k = -20. Let t = -233417/95 - -2457. Which is greater: b or t?
b
Let p be (-255)/(-42)*(-16)/(-20). Let o be 3*2 - (3 + -1). Is o less than p?
True
Let y be 1 - 2/(-3 - -1). Suppose u + 7 = -5*q + 5*u, -y*u + 2 = -2*q. Suppose h + 5 = 1. Which is smaller: h or q?
h
Let c = 207 - 202. Suppose 0 = -4*t + 2*t. Suppose t = 2*d - c*d + 9. Which is bigger: d or 5/3?
d
Let z(n) = n**3 + n**2 + 25. Let a be z(0). Which is smaller: 23 or a?
23
Let z be -1*(-3*5)/1. Let n(k) = -k**3 - 17*k**2 - 17*k. Let p be n(-16). Which is smaller: p or z?
z
Let o = -9 - -14. Suppose -o*x = -6*x - 24. Let s be 6*-3*4/x. Is 3 bigger than s?
False
Suppose 184*b - 207 = 193*b. Let j(u) = 11*u + 1. Let z be j(-2). Which is bigger: b or z?
z
Suppose 0 = -5*m - 9*m - 56. Let o be (-2 + 0 + m)/2 + 3. Let y = -2 - 0. Are y and o equal?
False
Let t = -30 - -79. Let h = t - 43. Which is smaller: h or -0.2?
-0.2
Let k = 17.02 + -18.5. Is k at least 0?
False
Let r = 0.46 - 0.06. Let a = 31.63 - 0.63. Let z = a + -33. Which is smaller: r or z?
z
Let y = -426 - -259. Let c = y + 111. Which is smaller: c or -55?
c
Let b be (4 - 1)*-1 + 12. Which is bigger: b or 6?
b
Let c be ((-84)/24)/(3/(-96)). Is c equal to 109?
False
Suppose 0 = 11*r + 36 + 52. Is -9 at least r?
False
Let t = 11 - 10.5. Let o = -8.5 + t. Let i = o + 8. Which is greater: i or 2?
2
Let i = 2075 + -2074. Is 2/267 less than i?
True
Suppose 2*c + 2*c - 3*w - 498 = 0, 3*w = -c + 132. Let s = c + -125. Which is smaller: s or -3/11?
-3/11
Suppose 105 = 5*l - 3*k, 11*l - 6*l = 5*k + 105. Which is smaller: l or 22?
l
Let c be 12 + 8 - (1 + (-8 - -3)). Which is greater: 21 or c?
c
Suppose 0*a + 2*a = -2*x - 12, 3*x = -2*a - 1