is greater: a or p?
p
Let t(v) = -6*v - 6. Let j be t(-2). Let f be j + -4 + 10/2. Suppose -3*x = -3*k - 21, 0 = -x - k + 1 + 4. Which is smaller: x or f?
x
Let v = 708 + -1466. Is -758 smaller than v?
False
Let r(d) = d**2 - 9*d + 6. Let c be r(6). Let t = 20 + c. Let i = 9 - t. Which is smaller: -1/2 or i?
-1/2
Let t(p) = -p**3 - 18*p**2 - 18*p - 14. Let f be t(-17). Suppose -1 - 3 = -g. Are g and f non-equal?
True
Let i = 0.9 - 0.6. Let c = -38 + -8. Let q = 52 + c. Is i less than or equal to q?
True
Let t = 43/9 - 944/207. Is t less than or equal to -1?
False
Let h = 105665/8 - 13208. Let s = -7192/99 + 738/11. Let q = s + 52/9. Are h and q equal?
False
Let f = 19.3 - 4.3. Let y = -15 + f. Is 8 bigger than y?
True
Suppose -7*k - 2*k - 171 = 0. Let g = -16 - k. Which is bigger: g or 4?
4
Suppose -79*t + 48 = -77*t. Let u be 63/(-56) - (-3)/t. Is -24/17 >= u?
False
Suppose 70 = 10*d - 40. Let z be d/(44/(-16)) - -45. Which is smaller: z or 39?
39
Suppose -4*q = 4*x - 32, x = -5*q - 0*q + 24. Which is bigger: 8/3 or x?
x
Suppose 168*f + 4800 = 170*f. Which is greater: 2399 or f?
f
Let d = -188 + 222. Is d less than 131/4?
False
Suppose -19 = -4*s - 3. Let m be 39/s - (-26)/13. Is 12 equal to m?
False
Let a = 9 + -6. Let s be a/((-1 - 0)/3). Let o = s - -9. Is 2/11 at most o?
False
Suppose 0 = 2*o - 5*j, 0*o - o = -4*j. Suppose -4*f + 3*f = -o*f. Which is greater: 3/20 or f?
3/20
Let d be ((-12)/44)/3*25/10. Which is greater: d or -1?
d
Let k(f) = -3*f - 21. Let v be k(-10). Let j be (-3)/v + (-112)/(-21). Does j = 5?
True
Let o(a) = a**3 - 22*a**2 - 16. Let w be o(23). Is w at least 514?
False
Let u(g) = g**3 - 7*g**2 - g + 9. Let v be u(7). Suppose 4*n - 8 = v*n. Do n and 5 have different values?
True
Let l be (-1)/4 + 0 - (-546)/(-24). Let j be (l/7 + 3/1)/5. Are j and -1 nonequal?
True
Let v = -18020 + 18025. Let x be -1 - 2*(-2818)/872. Let g = x + 4/109. Is g less than v?
False
Suppose 3*d = 3*q - 21, 3*d - 16 + 4 = 0. Suppose w = q + 8. Is 17 < w?
True
Let u(v) = v**2 + 15*v + 14. Let a be u(-14). Suppose q - 2*q = a. Let y be 29/(-174)*3/(-5). Are y and q nonequal?
True
Let s be -6 - -2*(-79)/2. Do -87 and s have the same value?
False
Suppose 3*l = -u + 86, 7*l + 62 = u + 2*l. Is u smaller than 78?
True
Let u(w) = -85*w + 13. Let t be u(-9). Suppose 5*p - t = -283. Let s = 2078/21 - p. Which is greater: 1 or s?
1
Suppose 6*z - 10 = 8*z. Let g = 6 + z. Which is bigger: 5 or g?
5
Let v(q) = 3*q**3 - 15*q**2 - q + 5. Let z be v(5). Suppose -26*l + 8*l - 90 = z. Let g be -4 - (0 + 1 - 1). Is l < g?
True
Let p = -690 + 636. Is p at most as big as -2?
True
Let w = 44 - 304/7. Suppose 5*q - 22 = 3*g - 4*g, q - 12 = -4*g. Suppose -3*f + 6*f = g*k - 9, -2*k - 15 = 5*f. Is k bigger than w?
False
Suppose z = q - 2, 3*q + z = 2*z + 6. Suppose -q*i - 25 = -7*i. Suppose i*w = 2 + 8. Is 3 smaller than w?
False
Let n = 57 + -43. Let v(o) = -o**2 + 14*o - 16. Let u be v(n). Is u at most -16?
True
Let z = 44 - 41.5. Let o = -2.8 + z. Is o < 1/6?
True
Let t = 7.46 - 7. Let y = -0.06 - t. Let n = -0.22 - y. Is n > -0.01?
True
Suppose -h + 230*g = 233*g - 53, 0 = -g + 4. Do 0 and h have the same value?
False
Suppose -7 = 2*w + x, -3*x + 6*x = w - 14. Let m be (-2)/7 + 288/(-21). Let v be m/(-45) + 1/(-5). Is v greater than or equal to w?
True
Let z(m) = 2*m + 6. Let d = 10 - 13. Let w be z(d). Which is bigger: -2/59 or w?
w
Let d(c) = -5*c - 17. Let r be d(-4). Let t be (-5)/15 - 4/6. Which is smaller: t or r?
t
Let y be (-3146)/12760 + (-2)/(-8). Is -1 at most y?
True
Let g be (9 - (-1828)/(-28))/(2/(-7)). Which is bigger: 194 or g?
g
Suppose -4*g + 5*f = 7573, g - 4*f = 5*g + 7600. Which is smaller: g or -1896?
g
Let n = 2 - 0. Let a be ((-3)/24)/(1/n). Let m = -16/3 + 5. Are m and a equal?
False
Suppose 0 = 8*i - 22 - 2. Suppose i*w + 2*w + u - 5 = 0, -5*w - 3*u + 15 = 0. Let s be 26/76 + 2/(-4). Which is smaller: w or s?
s
Let a be (10 + 0 + -13)*123/(-9). Is a >= 42?
False
Suppose 13*f = -12*f + f. Is f equal to -0.372?
False
Let u = -125.4 - -125. Suppose 0*g = 5*f + g - 39, -f = -5*g - 13. Which is bigger: u or f?
f
Let z = 9 - 89/10. Let f = -4.7 + 5. Is f greater than z?
True
Let m = -509 - -71261/140. Let w = m + -303/3220. Let z be (-2)/4*(-4)/(-2). Are w and z unequal?
True
Let m = 31/5 + -5. Are m and 0.5 equal?
False
Let h(b) = -3*b + 6. Let w(z) = 16*z - 29. Let g(y) = -11*h(y) - 2*w(y). Let j be g(7). Which is smaller: j or -5/6?
j
Suppose 0 = -4*d - 3*x + 2, -x + 0 + 4 = 3*d. Let h be (-4)/10 - (-429)/385. Which is smaller: h or d?
h
Let k = 85 - 88. Let v be 18/330*((-14)/(-6) + k). Is v greater than 0?
False
Let c = -1335/32 + -25/32. Which is smaller: -42 or c?
c
Let p = -3.3 + 4.6. Is p <= -2/13?
False
Let q = 2321 - 2321. Which is smaller: q or 63.9?
q
Suppose -1176 = 1003*c - 995*c. Which is smaller: -145 or c?
c
Suppose -70*u = -73*u + 12, f = 3*u - 31. Suppose 1 = -3*l - 3*b - 23, -13 = l + 2*b. Is l < f?
False
Let l(m) = 3*m**2 + m - 1. Let u be l(1). Let z be 410/150 + (-1)/u. Is z smaller than 0.1?
False
Suppose 4*j + 15 = j. Suppose 6 = -3*y - 0. Let g = y - 5. Which is bigger: j or g?
j
Let w = -20.2 - -79.2. Which is smaller: 1 or w?
1
Suppose 3*u = 2*u - 2*o + 456, u - 464 = 2*o. Which is greater: 461 or u?
461
Suppose 2*v - 6*v - 62 = -2*f, 2*v = -f + 31. Let j = f + -12. Let h(c) = c**2 - 18*c - 18. Let s be h(j). Which is greater: s or -2/5?
s
Suppose i - 8*i - 329 = 0. Suppose 0 = 4*z - 3*x + 181, z + x = 6*x - 41. Is i equal to z?
False
Let f be (-3)/(-1) + 218*(-1)/82. Which is smaller: -1 or f?
-1
Let d = -424 + 423.89. Which is bigger: 5/3 or d?
5/3
Let k(p) = p**2 - 7*p - 8. Let l be k(9). Suppose -q = -4*q - f - 2, -l = q + 5*f. Is q at most as big as 1/15?
True
Suppose 3*d + 18 = -4*v - 15, v - 6 = 4*d. Let i be v/(-30) - 1/(-5). Which is greater: 1/7 or i?
i
Suppose 3*h = 3*g + 15, 2*h - 4*g + 4 = 4*h. Suppose 16 + 4 = -h*r, -n - 28 = 5*r. Let w(l) = -l**3 + 3*l**2 - 3*l. Let p be w(2). Which is bigger: p or n?
p
Let p = -50 + 50.005. Let l = p - 24.005. Which is smaller: l or 1?
l
Let j = 1126/91 + -172/13. Is 4 <= j?
False
Suppose 5*q = 5*v - 3*v + 14, 0 = v + 4*q - 19. Suppose 2 = -0*p + p. Let h be 0 + (p - -1) + -1. Is h less than v?
True
Let n = -130 + 130. Let z(y) = y**3 + y + 3. Let t be z(n). Are 3 and t equal?
True
Let x(k) = k**3 + 9*k**2 + 4*k - 12. Let l be x(-9). Let i = 81 + l. Let u be (11/i)/((-4)/(-78)). Which is bigger: 7 or u?
7
Let i be -15 + 17 - (1253 - 8/(-2)). Is -1256 greater than i?
False
Let k = -41 + 40.8. Are k and 47 unequal?
True
Let h be (-1)/(-6) + (-15)/(1890/(-2247)). Is 18 >= h?
True
Let b = -1593 - -1590.56. Which is smaller: b or -3/7?
b
Let d = -159 + 159. Let s = -1.2 + 8.9. Is s less than d?
False
Let j(s) = s**3 + 5*s**2 + 3. Let d be j(-5). Suppose 4 = -3*g + 2*z + 12, -12 = 5*g + d*z. Let r be g*(-4)/(8/2). Is -2 > r?
False
Let y = -2550 + 2635. Which is smaller: y or -6?
-6
Let f be ((-3)/(-30))/((-9)/((-108)/(-150))). Suppose 5*v + 11 = -5*g - 4, 0 = 2*v - g - 6. Which is smaller: f or v?
f
Let x = -228 - -27. Is x greater than -0.1?
False
Let d = 141 - 144. Is -0.3 < d?
False
Let h be (-5)/((2100/(-8))/15). Which is smaller: -4/101 or h?
-4/101
Let i(h) = h - 15. Suppose 33 = 4*j - 23. Let x be i(j). Which is smaller: -8/7 or x?
-8/7
Suppose 2*j + s - 9 = -0*s, -2*s + 9 = j. Let i(t) = -4 + 3 + 0*t**2 - 7 + 2*t**2 - t. Let n be i(j). Are 9 and n non-equal?
True
Let y be 41/82*(-4)/6. Which is bigger: -4/13 or y?
-4/13
Let f be (-4 - (-50)/4)*2. Suppose 5*i + 3*a - f = 0, -2*i - 14 = -4*a - 0. Which is smaller: 2/39 or i?
2/39
Suppose -20*c + 8*c - 2208 = 0. Let m = -551/3 - c. Let v = 1 + -1. Which is bigger: m or v?
m
Let o = 264 + -263.476. Let t = -0.024 + o. Do 1/5 and t have the same value?
False
Suppose -2*i + 13 = -x, x - 25 = -5*i + 4. Suppose -4*c = -2*c - i. Is c equal to 3?
True
Let f(t) = -t**2 - 7*t + 22. Let x be f(-9). Let l be (-10)/15*6/x. Let n = -2.3 + 2. Are l and n unequal?
True
Let g(m) = -m**3 - 8*m**2 - m - 15. Let x be g(-8). Which is greater: x or -36/5?
x
Let v(b) = -37*b + 941. Let t be v(11). Which is bigger: 533 or t?
t
Let k(c) = -18*c - 74. Let n be k(-4). Let x be (-4)/(-10) - (-342)/45. Which is greater: n or x?
x
Suppose 0 = 