 -b. Let r(q) = -p(q) + 2*x(q). Let a be r(3). Is a less than or equal to f?
True
Suppose 39*m - 1236 + 2991 = 0. Is -46 greater than or equal to m?
False
Let t = -1952/5 + 388. Which is smaller: -3 or t?
-3
Let z be (1/(-6))/(-1)*6. Let b be 4/(-20)*2*2/4. Is z equal to b?
False
Suppose 2*p - 604 = -3*o - 203, 3*o = 5*p + 415. Which is smaller: o or 134?
134
Let v(a) = -a**2 + 13*a - 7. Let r be v(5). Suppose -3*k - 4*h = 6 - 0, k - h = 5. Suppose k*y - r = 5*y. Do y and -10 have the same value?
False
Suppose -30 = -5*s - 80. Suppose -5*z = 4*n + 33, 4*n + 24 = -8*z + 4*z. Do z and s have the same value?
False
Let w = 0.34 + 18.66. Let l = 30 - 9. Let a = l - w. Is 2 greater than a?
False
Let d be 11 + (-1 - (-4 - -1)). Let n = 16 - d. Suppose -5*z + 8 = -4*z + a, 5*a - 22 = -n*z. Which is smaller: z or 10?
z
Let z = -13 + 18. Let p(o) = -o**2 - 12*o - 23. Let m be p(-9). Suppose -z*q - m = -q. Which is greater: -2 or q?
q
Suppose -6*c + 11*c - 20 = 0. Suppose 3*u + 8 = -2*s, -c*u - 8 = 4*s - 2*s. Let i = s + 3. Which is smaller: 1 or i?
i
Let g(r) = 4*r**2 + 2*r - 1. Let s be g(1). Suppose 0 = q + 4*x - s*x + 10, x = 4*q + 25. Let p = q - 6. Which is bigger: p or -10?
-10
Suppose 2 - 16 = -7*x. Suppose 0 = -v - 3*v + 16. Suppose -5*p = 5*j - 5, -v*j + 2 = -x*j - p. Which is greater: -0.1 or j?
j
Let w(s) = 2*s - 5. Let x be w(2). Which is smaller: -2/813 or x?
x
Let i be (-99)/382437*(-1 + -1)*1. Is i at most 0?
False
Let z = 43 + -47. Let y be (7 + -10)/(z - -1). Suppose -k = 3*k. Do k and y have the same value?
False
Let y(w) = -w**3 - 8*w**2 + 9*w - 4. Let s be y(-9). Let n = s - -4. Suppose -2*v = v + v. Is v at most n?
True
Suppose 3*b - b + a = -197, a - 379 = 4*b. Is b equal to -94?
False
Suppose -5*o = 25, 0 = h + 4*h + o - 70. Suppose -3*l = -0*l - h. Suppose l*c + 2 = 2*c + 2*a, 2*c + 23 = -3*a. Which is bigger: c or -3?
-3
Suppose 6 = -3*c, -4*y + 8*y = -3*c + 6. Let t be (-49)/(-72) - y/24. Which is greater: 1 or t?
1
Suppose 2*y + 11 + 21 = -5*x, 5*y - 5*x + 150 = 0. Let i = y - -28. Suppose -f - 6 - i = 0. Which is smaller: -10 or f?
-10
Let b be (17/4)/(7/168). Let g = -99 + b. Let q be (-2 - (-2)/2) + 3. Which is greater: q or g?
g
Let v(a) = -a**3 + 4*a**2 - a - 3. Let g be v(3). Suppose -14 = -g*h + 2*h. Suppose -n + 7 = -2*m, m - 14 + 76 = 5*n. Is n at most h?
True
Let a(g) = -g**2 - 6*g - 5. Let y be a(-8). Suppose 3*w = 49*w + 920. Is y less than w?
True
Let j(p) = 35*p + 300. Let r be j(-4). Do r and 161 have the same value?
False
Suppose 3*v = -4*j - 20, 18 = -6*j + j - 2*v. Let f be (-2 - j)/(0 - -2). Suppose 0 = -2*k - f - 4. Do k and -2 have different values?
False
Let m = -363/14 - -22691/875. Let j = m - -1493/1750. Which is smaller: j or 2?
j
Let g = -54.3 - -3.3. Let o = g - -52. Is o <= -0.35?
False
Let y(r) = -r**3 - 40*r**2 + 50*r - 27. Let q be y(-41). Which is smaller: -397 or q?
-397
Let w(g) = -g + 24. Let p be w(25). Is p > -3/10?
False
Suppose -p + 3 = -j, 0 = -j - 3*p - 0*p + 13. Let n = 47.991 - 49. Let u = n - -0.009. Which is smaller: u or j?
u
Suppose -5*q = -25, 25 - 120 = -5*r + 3*q. Suppose -p = p - r. Let c(u) = u + 6. Let b be c(5). Is p at most as big as b?
True
Let k = 38.71 - -0.29. Let v = -38.96 + k. Which is smaller: -2/5 or v?
-2/5
Let b be -7*3/(-42)*10. Let n be -1 + -4*b/5. Is n bigger than -2?
False
Let v be -2*(-4 + -3*5/(-6)). Suppose k - b + 3 = 0, -3*b + 8 - v = -5*k. Is 3/7 greater than k?
False
Let a = 29 - 16. Suppose a*d - 45 = 10*d. Let f = -16 + d. Which is smaller: f or -4/17?
f
Let i(z) = -z**3 - z**2 - z - 1. Let d(k) = k + 1. Let l(t) = -t**2 + 2*t + 7. Let n(c) = 4*d(c) - l(c). Let a be n(-3). Let g be i(a). Is -0.2 less than g?
False
Let w = -1/521 - -5237/14067. Is w at least 0?
True
Let j(r) = -r + 8. Let v be j(9). Let q = -286006 - -11724522/41. Let f = q - -42. Is v at most as big as f?
True
Suppose 5*p + y = 54, 0*p - 3*y + 22 = p. Let h = p - 10. Which is bigger: h or -6/5?
h
Let n be 39/91 + (-1622)/3850. Let o = n + 2194/825. Which is smaller: -0.06 or o?
-0.06
Suppose 20*g = -18*g + 4484. Does g = 114?
False
Let b be 0 + 10/8 - (-15420)/(-13200). Is 0.3 > b?
True
Let h be ((-2)/3)/((-7)/18). Let b be 16/8 + (-1 - -2). Are h and b unequal?
True
Let g = -161 + 157. Do 2.2 and g have the same value?
False
Let b = -25 + 22. Let y(h) = -h**3 - 2*h**2 + h - 4. Let n be y(b). Suppose 3*i - 2 - 1 = 0. Which is smaller: i or n?
i
Let t = -949 + 19934/21. Which is bigger: t or 0?
t
Suppose -11*g + 10 = -16*g, 3*o + 208 = -2*g. Which is greater: -67 or o?
-67
Suppose 2*r + r - 6 = 0. Let w = -0.0214 + 0.2114. Is w less than or equal to r?
True
Let b = 467.8 + -463. Do 3 and b have different values?
True
Let a = -0.011 + -37.989. Let j = a - -35. Is j > -0.7?
False
Let x = 288 + -288.1. Which is smaller: 0.103 or x?
x
Let x = -7.28 - -59.28. Which is bigger: 9 or x?
x
Let p = -101940 + 1936384/19. Let m = -25 - p. Which is smaller: -1 or m?
-1
Let g be 4/(-22) + 12 + (-2304)/198. Let k(u) = u**2 - u + 1. Let l be k(0). Is g < l?
True
Let w = -1679/3 + 559. Which is smaller: w or -394?
-394
Suppose 0*j - 2*j + 4*p + 10 = 0, 2*j + 2 = p. Let w be (1/j)/((-4)/(-12)). Is w at most as big as -2/21?
True
Let a = -0.03 - -2.03. Let z be (-4)/4*(-8)/36. Is z greater than a?
False
Suppose -4*b = -3*o + 22, -b + 2 = -o - 2*b. Suppose -4*m + 4*r = -r - 42, -m - o = 5*r. Which is greater: 1 or m?
m
Let h(k) = k - 36. Let d be h(0). Let m be (-8)/d*6/5. Which is greater: 1 or m?
1
Let t = 4 + -10. Let b = -4 - t. Let l be (-928)/704 + -6*2/(-8). Does b = l?
False
Suppose -5*j = -5*t + 165, -2*j - 38 = 3*t + 3. Is j at least -25?
False
Let g = 23 - 4. Suppose u - 63 = -g. Suppose d - 5*d = -u. Which is greater: d or 12?
12
Let i = -15 - -21. Suppose 2*o + 8 = 0, 0*y = 3*y - 3*o + i. Let b be (2/(-12))/(y/18). Which is bigger: -3 or b?
b
Let s = -84.7 - -86. Let w = -1.3 + s. Is -5.2 > w?
False
Let m(l) = l**3 + 8*l**2 - 3*l - 7. Let v be m(-8). Let n be -1 + 4 + v + -17. Suppose n*o = o. Is o at least -2/125?
True
Suppose -3*r + 5*k = 308, 12*r - 5*k = 7*r - 530. Is 2/7 smaller than r?
False
Let z(b) = b**2 - 8*b + 2. Let o(x) = 2*x**2 - 17*x + 5. Let c(d) = 4*o(d) - 9*z(d). Let i be c(2). Let r be (2 - 1) + (-22)/(-4). Is r less than i?
False
Suppose 5*m = -4*w + 21, 10*m + w - 2 = 12*m. Is m smaller than -4/15?
False
Let b(a) = -3*a + 4. Let w be b(-4). Let u be ((-6)/w)/((-4)/(64/36)). Which is smaller: u or 4?
u
Suppose 3*g - 44 = 193. Is g < 80?
True
Let o be -4 - (-5 - 0)/(2 - 1). Let j be ((-2)/(-16))/((-13)/(-12)). Which is smaller: o or j?
j
Let n = 7.6 - 1.6. Let u = -9 + n. Let i = u - -2. Do i and -4 have the same value?
False
Let u(z) = -z**2 + 4*z + 1. Let b be u(5). Suppose 0 = -2*x - w - 2*w - 3, -5*x - 2*w = -9. Suppose -o - 3 = x. Which is smaller: o or b?
o
Let b = -62 + 57. Is b less than -74/13?
False
Suppose -53*g + 440 = -61*g. Which is greater: 1 or g?
1
Let f = -1 + 2. Let h be 740/259 - (3 - 1 - 0). Which is greater: h or f?
f
Let m = -54663/65 + 841. Suppose 4*k - 2*u - 120 + 40 = 0, 0 = -4*k + 4*u + 88. Let l be 1 + 1 - 54/k. Is l < m?
True
Let k be 12 - ((-33)/27 - (-14)/63). Is k equal to 17?
False
Let o be (-3)/105*(-4)/2. Let a(f) = -f**3 - 2*f**2 - 2*f + 1. Let b be a(0). Which is bigger: o or b?
b
Let t = 98 + -104. Let a be 42/(-4)*3/((-45)/t). Are -4 and a equal?
False
Let f = 900 - 962. Is f at most as big as 2/3?
True
Let d = -22 + 11. Let t = d - -23. Let m be (t/3 + -4)/2. Which is smaller: -1/10 or m?
-1/10
Suppose 2*o - o = -4*m + 14, -4*m + 20 = -2*o. Let l = -253/5 + 4757/95. Is l != o?
True
Let v = 777 - 724. Is 59 < v?
False
Let m be (5 + 117/9)/2. Suppose 2*r = -h + 16, 2*r - h = -4*h + 16. Are m and r nonequal?
True
Let z = -0.69 + 0.34. Let m = z + 0.35. Which is smaller: m or -55?
-55
Suppose -40 = -8*f + 4*f. Let w = -8 + f. Let t = 4 - 1. Is t >= w?
True
Let l be 52812/(-14586) - 6/(-33). Let n = l + 47/13. Is n at most 0.1?
False
Let v be (-3 - 56/(-30)) + 1. Let p(i) = i**2 - 4*i - 1. Let o be (0 - -1)*8/2. Let y be p(o). Is y smaller than v?
True
Let h = -148 + 152. Let t = 3.98 + 0.02. Is t < h?
False
Let d(y) = y**3 - 3*y**2 - 5*y + 10. Let n be d(4). Suppose n*x - 53 = 283. Is x != 56?
False
Let y = -16911127/268842 + -1