pose p = 4*a + 1, 2*p - 3 = -4*a - 1. Is h > p?
True
Let n be (2 + (-368)/138)*6/8. Do 10767 and n have different values?
True
Suppose 51 = 3*r - 3*b, -8*r = -3*r + 5*b - 25. Is r equal to 95?
False
Let b be 3 + 65 - (-12)/8*(9 - 5). Which is bigger: b or 86?
86
Let s = 14305/103 - -298811/3605. Let g = s + -1824/7. Which is smaller: -38 or g?
g
Let h be 172/(-8) - 1/(-2). Suppose 37*v + 59 = 34*v - 5*c, c - 2 = 0. Do h and v have different values?
True
Let u(s) = s**2 - 5*s + 4. Let h = 25 - 23. Let z be u(h). Which is bigger: z or -188?
z
Let p(f) = -21*f**2 - 24*f + 29. Let g(t) = 25*t**2 + 24*t - 27. Let j(s) = -5*g(s) - 6*p(s). Let d(l) = 26*l. Let c be d(-1). Let o be j(c). Is o equal to 2?
False
Let y be 1*(-5 + 7)*(-36165)/(-10). Let p = y - 3638200/503. Which is smaller: p or -1?
-1
Suppose -3 + 1 = 2*h. Let u = 43714888/1305 - 33498. Let w = u - -787/2610. Is w at most h?
False
Suppose 0 = 4*m - 5*x + 9, 23*m + 5*x = 26*m + 8. Which is smaller: 14/45 or m?
m
Let z = -0.002 - 0.408. Let j be 245/294 - (-46)/(-12). Do j and z have different values?
True
Suppose -d = 2*f - 5 - 4, -1 = -3*f + d. Let q be (f/3)/((-7)/(-1890)*-3). Let c be 6*(-3)/(-24)*-80. Are c and q nonequal?
False
Let q = -16/219 - 8285/3504. Is -1 greater than q?
True
Let i = 506.3 - -921.7. Which is smaller: -1 or i?
-1
Let i(f) = f**2 + 6*f + 2. Let h be i(-6). Suppose 0 = 2*j + h*l - 3*l + 4, -l + 16 = -5*j. Let d be -4 - 2 - j - -3. Which is smaller: d or 7?
d
Let y be 0 + 12/26 + (-12857274)/2509. Is -5122 > y?
True
Let j be (200/(-30))/(2/6). Let i be (-1 - -5) + j/(-153)*-30. Which is greater: i or 1?
1
Let q = -63 - 97. Let u = 9599/60 + q. Is 1 < u?
False
Let c = 3026/3 - 2017/2. Which is smaller: c or 489?
c
Let x be ((-110)/66)/(568/(-564) + 1). Does x = 238?
False
Let x be -5*(-8)/(-360) + -3*40/135. Which is greater: -1/12661 or x?
-1/12661
Suppose y + 10*y = 363. Let k = y - 46. Which is smaller: 0.2 or k?
k
Let u = 130.7 - -26.3. Let q = 157 - u. Is 0.1 at most q?
False
Suppose 0 = -2*u - 8*u + 30. Let b be ((-816)/(-935))/((-6)/(-20)). Which is bigger: b or u?
u
Let a = 51.95 - 46.95. Which is smaller: -146 or a?
-146
Let t(u) = 24 + 13*u + 12*u**2 - 13*u**2 - 4*u. Let w(p) = -2*p**2 + 18*p + 48. Let l(a) = -5*t(a) + 3*w(a). Let d be l(11). Which is greater: 7/5 or d?
d
Let d(v) = -15*v + 1. Let t be d(-2). Let w(n) = 2*n**2 + 15*n + 22. Let o be w(-8). Let u be (28 - o)/((-1)/15). Is t < u?
False
Let n(l) = -l**2 + 12*l + 38. Let i be n(14). Suppose -4*g + i = -62. Which is smaller: 19 or g?
g
Let k(j) be the third derivative of -j**4/3 - 5*j**3/2 - 15*j**2. Let g be k(-3). Is 12 <= g?
False
Let s(x) = 3*x - 51. Let t be s(17). Suppose -m - 3*m = -1636. Let f = 42125/103 - m. Which is greater: t or f?
t
Let l(u) be the third derivative of -u**5/60 - u**4/3 + 5*u**3/2 + 4*u**2. Let g be l(-13). Let h = 76 - 126. Do h and g have different values?
False
Let v(t) = -t + 1. Let o(d) = -d**2 + 4*d. Let j(h) = h**3 + 6*h**2 + 6*h - 4. Let c be j(-4). Let u be o(c). Let p be v(u). Which is smaller: p or -4/25?
-4/25
Let r = 594 - 1187/2. Let h be (-1)/(-4) + (-2)/8. Is h bigger than r?
False
Suppose 2*y - 656 = -5*r, -13*y - 2*r = -12*y - 329. Let z = y + -988/3. Does 4 = z?
False
Let c = -3672 + 18362/5. Are -50/11 and c non-equal?
True
Suppose 3*u + 12 = 3*k, -k + 5*k - 21 = 5*u. Suppose 5880 = -3*b - 7*h + 4*h, 7840 = -4*b - h. Let v be (-12)/(-14)*(b/(-272))/35. Which is smaller: k or v?
k
Suppose -3*f + 6*f = -2*b - 13, 0 = 5*b + 3*f + 28. Which is greater: 1/194 or b?
1/194
Suppose -12 + 4 = -2*z. Let b be (-14)/(-9) + ((-3)/(-15) - 34/(-30)). Which is bigger: z or b?
z
Suppose 0 = 15*o + 6*o - 14364. Let u = 688 - o. Which is greater: u or 8?
8
Let s = -33653 + 32910. Is -15 at least as big as s?
True
Let n = 971083/713822 - -3/11702. Is 0 at least as big as n?
False
Let i be 3 + 228/(-108) + 0. Is 1 less than i?
False
Suppose 5*b - 36 = 114. Suppose 0 = 6*u + b - 144. Suppose x + 3*l = u, x + 3*x - l - 11 = 0. Is 3 bigger than x?
False
Suppose 0 = 2*n - 5*n + 9. Suppose -5*a = 3*f + 17, -2*a + n*a = -5*f - 21. Let v = -10/71 + -398/1207. Are a and v nonequal?
True
Let s be (342/54)/(12/8568). Which is greater: 4520 or s?
s
Let g = 36589.12 + -36589. Is -1016 equal to g?
False
Let k(g) = 15*g + 6*g**2 - 7*g**2 + g**3 - 9*g**2 - 40 - 8*g**2. Let s be k(17). Let o = s + 135. Which is smaller: 62 or o?
o
Let s be ((-4)/(-3))/(8/12). Let x = -4 + s. Let p be ((-3)/(-7) + (-7)/(-98))*(-88)/22. Is p bigger than x?
False
Let a(x) = -2*x**3 - 13*x**2 - 10*x - 11. Let n be a(-6). Let k = n - -1. Let m be (4 + 1)*(-14)/(-5). Is m at most as big as k?
True
Let w(h) = 8*h**3 + 5*h**2 + 34*h + 3. Let v be w(5). Are 1299 and v equal?
False
Let p = 3063.8 - 3064. Which is bigger: 52 or p?
52
Let p = -1.5299 + -32.4701. Which is smaller: p or 394?
p
Suppose 3*c = 5*y, -3*y = 5*c - 5*y. Suppose -10*v + 12*v - 184 = c. Which is smaller: v or 93?
v
Let g = -79 - -31. Let h = g - -21. Suppose -4*o + 64 = -3*y - 9*o, -4*y - 100 = 3*o. Is y not equal to h?
True
Let p(x) = -x**2 + 47*x - 95. Let n be p(43). Which is greater: n or 59?
n
Let h = 95 - 90.27. Let j = h + -2.73. Is j bigger than -1/13?
True
Let p be -4 + 23562/4332 + (-33)/22. Is p smaller than 0?
True
Let k be (27/9)/((-6)/8). Let d be 3*(-22)/1815*-5. Are d and k equal?
False
Let b = -599/24 - -295/12. Which is bigger: -19 or b?
b
Let p = 2/1477 + 3354/16247. Is p bigger than -1?
True
Let v = -11905 - -11857. Which is bigger: -43 or v?
-43
Let f be 9 + (18/45 - 55719/(-315)). Do 186 and f have different values?
True
Suppose 0 = 225*v - 224*v - 5. Suppose -360 = -v*f + 3*q + 660, 0 = f - q - 204. Which is smaller: f or 203?
203
Let k = 8 - 15. Let o = -7.2249 + 0.0249. Let g = o - k. Is g greater than 0.01?
False
Let y = -0.15 + 6.15. Let n = 685 + -684.53. Let g = 2.47 - n. Is y bigger than g?
True
Let r be (-3)/(-9)*0 + 45/4941. Which is greater: 0 or r?
r
Let n be (-84)/(-98)*84/9. Suppose -9*u = n*u - 34. Let s be (-1 + 0)*0/(-1). Which is greater: u or s?
u
Suppose -45 = -7*s + 2*s. Suppose 70 = 255*z - 241*z. Suppose 4*a = -z*a + s. Which is smaller: 6 or a?
a
Let n = -39.39 + 40. Let r = n + -1.31. Suppose 0 = -5*t + 10*t. Is r at least t?
False
Let c be 17/(-4)*1 + 13 + -21 + 5. Which is smaller: c or 55?
c
Suppose 2*u = 76*k - 73*k + 1077, -2*k - 740 = -5*u. Which is bigger: k or -362?
k
Suppose -i + 4 = 0, -10*g - 505 = -7*g - i. Let h = 169 + g. Which is smaller: h or 5?
h
Let h be (-9)/(-12)*126/27 + (-9)/2. Is 4/563 at most h?
False
Let q be ((-55)/(-11) - 9)*(-2 - 116/(-56)). Is q greater than or equal to -1767/7?
True
Let a(p) = p**3 + 3*p**2 + 4*p + 3. Let h be a(-2). Let v = h + 48. Suppose w + v = -3*k, -k + 5*w = 3*k + 88. Is k at most as big as -19?
False
Let w(s) = 1934*s + 1933. Let z be w(-1). Let b be -1 + 2 - 41/40. Which is greater: b or z?
b
Let b = 89 + -92. Let m be (-44)/(-6) + 1/b. Let w = m - 18. Is -11 at most w?
True
Let f be -49*92/156 - 25/(-15). Let q = -2449/78 - f. Which is greater: q or 1?
1
Let s = 1107 + -1521. Is -418 > s?
False
Let q = -8/625 + 258/625. Is q at least -118?
True
Let f = 126637496 - 40143991528/317. Let n = f - -14483152/29481. Let r = n - 790. Is r > -1?
True
Suppose -9*k + 7*k = f - 1, f + 7 = 6*k. Is k >= -3/1538?
True
Suppose 55 = 4*r + 3*u - 17, 3*u + 72 = 4*r. Suppose -l = -2*p - 9, l = 5*l - 2*p - r. Suppose l*z + 3*c + 30 = 0, 5*c + 28 + 13 = -4*z. Is 1 less than z?
False
Let u = -7.3 + -0.4. Let r = 5615.1 + -5615. Which is smaller: r or u?
u
Let o = 22147 + -22136. Which is bigger: 218/19 or o?
218/19
Let z(y) = 14*y**2 - 2*y - 1. Let g be z(-1). Suppose 24269 + 1611 = 40*d. Let f = d - 628. Is g bigger than f?
False
Suppose -18 = 6*u - 0. Let r be 6 + (-398)/(-11)*u/18. Suppose 4 = -6*f + 2*f. Which is smaller: f or r?
f
Let h = 3599 - 3880. Is h >= 0?
False
Let g(l) be the third derivative of -l**5/60 + 7*l**4/24 - 23*l**3/3 - 68*l**2 - 2. Let p be g(0). Is p less than or equal to -1?
True
Let h(n) = n**3 - 10*n**2 + 4*n - 11. Let o be h(12). Let t = o - 4227/13. Let d = -1837 - -1836. Which is smaller: d or t?
d
Suppose 2*x + 806 = -z - 543, -x - 672 = -2*z. Let k = x + 415. Is k at most as big as -259?
True
Let g = -30933 + 30946.987. 