176 = 3*p, -4*p + 5*b + 173 = -103. Is p equal to 64?
True
Suppose -4*l = -x - 1, -2*x + 6*l + 8 = 3*l. Suppose 0 = x*i - 2*i - 2*i. Which is bigger: 4/31 or i?
4/31
Let q = -1 - -4. Suppose f - 12 = -q*f. Suppose -3*a + f = -0*a. Which is greater: -2/51 or a?
a
Let j(s) = -60*s**2 + 2. Let x be j(1). Is x != -58?
False
Suppose 1492 = -45*a - 3008. Which is greater: a or -96?
-96
Suppose -6 + 3 = -3*w. Let d(v) = -6*v - 36. Let k be d(-4). Let b be k/(-176)*28 - 1. Is b < w?
True
Let b = -17 + -2. Let q = b + 28. Let n = 9.1 - q. Which is smaller: n or -7?
-7
Let h = -20.9 + 24. Let a = h - 3. Let f = a - -2.9. Is f at least as big as -1?
True
Let s = -0.034 + 22.034. Let i = 24.0457 - 0.0457. Let o = s - i. Which is smaller: o or 11?
o
Let y = 28 - 27.53. Let p = -0.45 + y. Do -1/2 and p have the same value?
False
Suppose 3*u - 3*y = 20 - 2, 3*u = -4*y + 11. Suppose 0 = -3*n - 2*n - u*p + 15, -9 = -2*n + p. Suppose 25*h = 27*h - n. Is 6 equal to h?
False
Suppose 3*j - 69 = -7*m + 3*m, m - 2*j = 20. Let b = m - 0. Let q = 25 - b. Is q < 7?
False
Let r be (-16)/56 - 37/(-7). Suppose -b + r*n + 1 = -0, -89 = -5*b + 4*n. Let v be (-354)/b - (-2)/(-14). Which is greater: -16 or v?
-16
Let d = -0.5 + -3.5. Let g = d - -7. Let o = -1.1654 + 0.1654. Which is smaller: o or g?
o
Let s = 108 + -150. Is -2 < s?
False
Let k = -27679/18705975 - -1/13127. Which is smaller: k or -1?
-1
Let v(h) = -h + 6. Let s(q) = 1. Let a(w) = -5*s(w) + v(w). Let p be a(0). Let y = -1619/91 - -124/7. Is p equal to y?
False
Let w = 0 + 3. Let n = 92 + -99. Let j be 0/(-5) - (w - n). Is j at most as big as -10?
True
Suppose -4*g - 4*v + 8 = -0, -18 = -3*g + 3*v. Suppose -9 = 5*y - g*u + u, -3 = y - u. Suppose y = -2*b - 2, -b - 9 + 26 = -3*q. Which is greater: -4 or q?
-4
Suppose 10*m + 53 = 8*m + 5*d, 4*d - 4 = 0. Are -13 and m unequal?
True
Let o = -0.1 + 0.3. Let t = 6.47 + -6.5. Let s = t + 0.63. Which is smaller: o or s?
o
Let h(s) = -s**2 + 18*s - 9. Let n be h(17). Suppose -5*z - n = -88. Which is bigger: z or 17?
17
Let m = -1.809 - -2.059. Let y = -0.7 + 0.55. Let s = y + m. Is s less than -0.1?
False
Suppose 3*w + 69 = 2*w. Let y = w - -484/7. Let l = 22 + -21. Which is bigger: y or l?
l
Let a be (-22 - 2)/(-12)*436. Is 873 != a?
True
Let u be ((-3)/(-9))/((-4)/(-12)). Suppose -a = -4 + u. Let x = 32 + -26. Which is bigger: a or x?
x
Let i = -250 - -206. Which is smaller: -3 or i?
i
Let f(d) = 63*d + 546. Let k be f(-9). Which is greater: k or -25?
k
Suppose -l + 10 + 16 = 0. Let m = 121 + -93. Let t = l - m. Which is bigger: -3 or t?
t
Let b = -38 - 61. Which is greater: 0 or b?
0
Let c = 106 + -105. Suppose u = -4*i + 61, -i - 3*u = 4 - 11. Let w be (2/i)/(c/(-6)). Is w at least 0?
False
Let g be 0 - (20/(-4) - -1*20). Do g and -15 have different values?
False
Let b be 5*-3*4/(-12). Let q be 0*(b/(-15) - 0). Which is smaller: -6 or q?
-6
Suppose -6*p - 8 = -5*p. Let h = 50 + p. Is 41 < h?
True
Let q = 6919 + -1729753/250. Are q and 1 non-equal?
True
Let f be (-13)/((-1482)/(-19596)) + 26/(-247). Is -167 bigger than f?
True
Let m = -40 + 19. Let r = 1.58 + -5.58. Which is bigger: r or m?
r
Let i be 4/15*60/5. Let y = i - 79/20. Let v be 4/6 - (-6)/(-9). Which is smaller: v or y?
y
Let k = 133 - 663/5. Let h = -444 - -451. Do h and k have the same value?
False
Let c = 20.8 - -0.2. Let o = 22 - c. Let d be 2/6*6/17. Which is greater: d or o?
o
Suppose -d - 4*p = 4*d + 1866, -4*p - 386 = d. Is -371 > d?
False
Let c = -267 + 267. Do -30/19 and c have different values?
True
Let a(h) = -5*h**2 + 17. Let i(o) = 6*o**2 - o - 18. Let g(s) = -5*a(s) - 4*i(s). Let q be g(-6). Which is greater: q or 1?
1
Let d(u) = 3*u**2 - 19*u - 80. Let z be d(21). Is z smaller than 845?
True
Let b = -0.25 + 0.75. Which is greater: b or 5?
5
Let y be 9/3 + (4 - 3). Suppose 62 = y*k + 18. Is 13 at most k?
False
Let m(l) = -l**2 - 7*l - 6. Let k be m(-6). Let y(g) = g**3 - 2*g**2 + g + 3. Let j be y(-3). Let t be ((-8)/(-55))/((-18)/j). Which is bigger: k or t?
t
Let p(q) = -3*q. Let b be p(1). Let z be -7*-4*b/6. Let m be ((0 - 1) + 53)*104/(-416). Is z less than m?
True
Let f = -2.9 - -2.6. Let t = 0.0572 + -6.8472. Let w = 0.21 - t. Is w > f?
True
Let m(w) = -w**2 - 2*w + 7. Let n be m(-5). Let i be (4/n)/(-1)*-14. Is -7 at most i?
True
Let k be (-33)/138 - 2/(-4). Let y = -0.07865 + -0.02135. Which is greater: y or k?
k
Let o = 36 + -39. Which is smaller: 6 or o?
o
Let g = 11 - 24. Suppose -7 - 13 = 2*h. Let l be (-12)/(2/7 + h/(-14)). Is g smaller than l?
True
Let k = -7.2 - 48.8. Let s = k - -56.26. Which is greater: s or -2/3?
s
Let z = -334 - -404. Which is smaller: z or 283/4?
z
Let f(r) = r**2 + 2. Let u be f(-3). Suppose -4 = -m + w, 0 = 4*m - w - 29 - 2. Which is smaller: m or u?
m
Suppose -5*c - 17 = -3*n, -n = -4*n - 2*c - 11. Let x = -2/9 - 1/36. Does n = x?
False
Let h = -14 + 12.39. Let v = -0.19 + h. Let r = 0.8 + v. Is r <= -16?
False
Suppose -5*y + 3 = -4*y. Suppose -5 = 2*w + y. Suppose -5*j = 3*n - 25, -3*j = -21*n + 24*n - 15. Is w at least as big as n?
False
Let p(c) = -c**3 - 13*c**2 - 17*c - 14. Let n be p(-12). Is n > 46?
False
Suppose 18 = 4*r - 5*n, -3*n = r - 7*n - 10. Suppose -4*b = 5*k - 12, r*b + 5*k - 8 + 2 = 0. Suppose b*d + d = 0. Which is greater: -1/36 or d?
d
Let m be 2/(-39) + (-1 - -1). Let f = -7 - -6. Is f > m?
False
Let a = -133 - -146. Which is smaller: a or 9?
9
Let f be 2/(-3) - 132/(-36). Let p be f/1 - (-4 + 0). Let z be p/((-140)/16) + 0. Which is bigger: z or -1?
z
Suppose -4*a + 5*r + 37 - 7 = 0, -5*a - 4*r + 58 = 0. Suppose 3*l - 72 = -4*f - l, 5*l + 20 = 0. Let t = f - 13. Which is bigger: t or a?
a
Let h(y) = y**2 + 3*y - 5. Let x be h(-5). Let s = 9 - x. Suppose s*c = 25 - 5, 25 = -4*b + c. Do b and -6 have different values?
True
Suppose -4*d + 479 = -d + x, -4*x - 787 = -5*d. Let n be 1 - (459/d)/3. Let y = 5/4 + -11/12. Which is smaller: n or y?
n
Suppose 0 = -3*l - 42 + 39. Let p be l + ((-3)/9 - (-172)/30). Which is smaller: p or 3?
3
Let r = -12.1 + 12. Let p = -36.7 - 0.3. Let s = 33 + p. Which is smaller: s or r?
s
Suppose -3*c - 3 = -12. Suppose -c*h + 3269 = -i, -5*i - 2737 + 549 = -2*h. Let q = 49003/45 - h. Which is smaller: q or 0?
q
Suppose 0 = -3*v + 5*m + 45, v = 4*v - 4*m - 48. Let x = v - 19. Which is smaller: 1/6 or x?
1/6
Let c = -217/3 + 4349/60. Let a be 1/((3 + -5)/(-12)). Let r = a + -5. Which is smaller: c or r?
c
Suppose g + n = -20, -17*g + 4*n + 5 = -16*g. Which is smaller: -78/5 or g?
-78/5
Suppose 4*t + 4*c - 17 + 5 = 0, -2*t = 4*c - 2. Suppose 4*h + 3 = -t. Suppose -641*j - 142 = -712*j. Is h <= j?
True
Let s = -196 + 70. Which is smaller: s or -128?
-128
Let p = 323 + -322. Is p greater than 89?
False
Let j = 586 + -565. Which is smaller: 101/5 or j?
101/5
Let c be 44/(-315) + 1/9. Which is greater: c or 1?
1
Let q = -0.11058 + 0.26058. Let p = 3 + -2. Is q > p?
False
Suppose -5*h - 49 = 3*g, -4*g - 3*h = 50 + 30. Let m = g - -27. Let o(b) = 4*b - 3. Let u be o(2). Which is smaller: u or m?
m
Let y be (1 - 2) + ((-16)/10 - -3). Let l be (4 + -3 - 0)/(-1). Let r be l*1*0/(-3). Which is greater: y or r?
y
Let m = 58 + -57. Let f = -5525/3053 - -76/43. Is m bigger than f?
True
Suppose -h + 19 = -20*h. Do 4/249 and h have the same value?
False
Let d(f) be the third derivative of -f**6/120 + f**5/5 + 13*f**4/24 - 2*f**3/3 - 8*f**2. Let t be d(13). Let o = 48.7 - 49. Is o at least t?
True
Suppose -4 = -948*y + 949*y. Let w(f) = f**2 - 5*f + 2. Let p be w(3). Is p bigger than y?
False
Let y = -14 - -18. Suppose y*r = -3*x - 15, 0 = -r - 2*x - 2*x - 20. Suppose n + 23 = 5*d, -d - 4*n + 1 - 9 = r. Which is smaller: d or 3?
3
Suppose 17 = -2*b - 135. Let d be b/40 - (-12)/8. Which is bigger: d or 1?
1
Let u = 961 - 914. Is 48 less than u?
False
Let v be (-117)/(-6) - 8/(80/15). Which is smaller: v or 4?
4
Let p = 2.14 + -2.04. Which is bigger: p or 4/21?
4/21
Suppose -5*y + 442 = -2*c - 7*y, c + 233 = -5*y. Is c not equal to -211?
True
Let f = -15607/25 - -624. Which is smaller: -1 or f?
-1
Let d = -888 + 887.73. Is -0.1 at least as big as d?
True
Let c be 1/(-3 - 1*304/(-106)). Which is greater: c or 1?
1
Suppose -5*q = -0*j - 4*j + 127, -4*q - 102 = -3*j. Let b(r) = 6*r + 10. Let h be b(-6). Is h at most as bi