than 0?
False
Suppose -44*p + c = -41*p - 4, 5*p + c = -4. Is p smaller than -18/145?
False
Let y = -41 - -44. Let u = -42 - y. Is -45 bigger than u?
False
Suppose 0 = 5*r + 14*z - 15*z + 1, 4*r + z - 1 = 0. Which is bigger: 6/743 or r?
6/743
Let k(b) = -b - 7. Let g be k(-6). Let l be 1 - g*(-1)/2. Let t = 21 - 20. Is t not equal to l?
True
Let w(p) = -4*p - 99. Let f be w(-25). Let v = 17/125 - -3/125. Are v and f equal?
False
Suppose 28 = -54*w - 26. Which is greater: -35/59 or w?
-35/59
Let y be (-20)/15*(-3)/14. Does 2 = y?
False
Suppose -4*q - 2*q = -42. Let d = 27 - 24. Suppose 4*k + p = 11, 2 - q = 2*k - d*p. Is 0 not equal to k?
True
Let r be (6/15)/(3/(-35)). Let h = 9/2 + r. Let g(v) = 2*v + 49. Let x be g(-24). Which is greater: h or x?
x
Let r(o) = 38*o - 11 + o**3 - 46*o - 8*o**2 + 2. Suppose -l = -2*l + 9. Let h be r(l). Which is smaller: 7 or h?
h
Let m be 2 + -15 + -1 + 5. Let q(t) = -t - 8. Let n be q(m). Let w be -3 - ((-52)/14 + n). Is -2/15 smaller than w?
False
Let x = 284 + -292. Does x = -25/3?
False
Let z be (-1)/(3*(-4)/(-36)). Let h be z + -2 - (4 - 8). Let s = 1695 - 188143/111. Is s at most as big as h?
False
Let d(l) = -l**3 + 2*l**3 - 16*l - 3*l**2 - 8*l**2 + 4*l - 5. Let v be d(12). Let a(i) = i**2 + 3*i - 4. Let m be a(v). Which is bigger: 7 or m?
7
Suppose -23*u - 2*v + 124 = -26*u, 86 = -2*u - 2*v. Is -39 equal to u?
False
Let r = -2750484/26755 + 14/5351. Which is greater: -103 or r?
r
Let s = -7 + -22. Let p = 807 - 1673/2. Which is smaller: p or s?
p
Suppose 0 = -w + 81 - 141. Let u = w - -62. Suppose -h - 5*i = -16, 1 + 1 = h - 2*i. Is h less than u?
False
Let a = -4.1 - -4.41. Let f = -0.34 + a. Do f and -3 have the same value?
False
Let v(r) = -r**2 + 5*r - 4. Let s be v(3). Suppose b + 4*b = 4*x - 10, s*x = 0. Let h be 80/(-24) - (b - 1). Which is bigger: h or -1?
h
Suppose -7*h + 5 = -6*h. Let u be 0/(h - 3) + -2. Let f be u*1/(-52)*2. Which is bigger: f or 1?
1
Suppose x + 5*d + 0*d - 31 = 0, x - 4*d = -14. Let s be (x/(-18))/(2/138). Let v = -18 - s. Does v = 7?
False
Let f = -514 - -516. Do f and 16/25 have different values?
True
Let h = 495.9 + -496. Is h less than 7/3?
True
Let r(f) = f**2 - 9*f + 8. Let h be r(7). Let d be (h/8)/(1/(-4)). Suppose -x = -4 + d. Is x less than or equal to 8/5?
True
Let l = -527 + 21577/41. Is l less than -2?
False
Suppose 0 = 2*a + g - 66, 4*a + 33 = 5*a - 5*g. Suppose -2*f - a - 19 = -3*x, 2*x - 3*f = 43. Which is smaller: x or 16?
x
Let y = 57 + 8. Let s = y - 25. Which is smaller: -1 or s?
-1
Let j = -1.2 + 0. Let m = -6.8 + j. Let a = m + 7. Which is smaller: -1/3 or a?
a
Let x(a) = a**2 - 25*a - 131. Let m be x(29). Which is smaller: -5/6 or m?
m
Let a be (52/282)/(62/(-93)). Is a smaller than -1?
False
Suppose 4*x - 6*k = -2*k - 16, 5*k - 2 = 3*x. Suppose 340*s - 320*s + 160 = 0. Which is bigger: x or s?
s
Let l(x) = -x - 7. Let n be l(17). Let b be -1*(99/(-4) + 6/n). Are 0 and b nonequal?
True
Let u = 3 - 17.7. Let y = 103.7 + u. Which is bigger: 1 or y?
y
Let c = 80 + -78. Suppose -c*t - 18 = -2*f, -12 - 11 = -2*f + 3*t. Is 4 at least f?
True
Let w(n) = -n - 42 + 42. Let f be w(0). Which is bigger: 5/2 or f?
5/2
Let p(y) = y**3 - 9*y**2 + 10*y - 15. Let z be p(8). Suppose c + z = 4*c - 4*s, -5*c + 2*s = -25. Suppose 4*k + 7 = 3. Are c and k non-equal?
True
Let w(m) = -m**3 + 2*m**2 + 8. Let d be w(4). Let n(c) = -c**3 - 8*c**2 - 3*c + 3. Let v be n(-7). Is d less than or equal to v?
False
Let l = -9.5 - -7.9. Let i = l + 1.5. Is i at least as big as -8/7?
True
Let r = -177079/17 - -10424. Is 8 less than r?
False
Let t(f) = f**3 + 6*f**2 - 8*f - 9. Let q be t(-7). Let s be 0/(-1) + -3 - q. Is s at least -1/3?
False
Let m = -41 - -45. Suppose 0 = -y - m + 5. Is -1/25 at most as big as y?
True
Let m(b) = -19*b + 9. Let q be m(9). Let w be (10/22)/(q/1602). Let k = w - -38/9. Are k and -1 equal?
False
Let d = 0.0884 + -0.062. Let h = -23.9236 - d. Let a = h + 24. Which is smaller: 0.1 or a?
a
Let y = -749263/165 + 4541. Which is greater: -1 or y?
y
Suppose 7*u - 4*g + 4 = 3*u, 3*g = 4*u + 3. Let x be 6/(-21)*(-7 - u). Which is greater: 0 or x?
x
Let t(g) = -g - 7. Let h be t(-12). Suppose -2*i - 3 = -v, -v = h*i + 27 + 5. Suppose -2*b + 6*b = -32. Is v <= b?
False
Let s(i) = i**3 - 9*i**2 - 3*i - 14. Let l be s(10). Let u = 577 - 521. Is l > u?
False
Let q = 0.932 + 0.008. Let v = q - 1. Do v and -1 have the same value?
False
Suppose -11*y - 705 = 3266. Is y smaller than -361?
False
Let z be 3 - (5 - (195 - 4)). Is z < 189?
False
Suppose -3*t - 521 = 5*r, -12*r + 8*r + 2*t - 408 = 0. Which is smaller: r or -101?
r
Suppose 15 + 9 = 4*u. Let b = 122 - 103. Suppose -b*n - 21 = -22*n. Is n less than or equal to u?
False
Let j = 23 - 7. Suppose -4*d - 25 = -3*n + d, 4*d + j = 2*n. Is n at least as big as 17/2?
True
Let r = -14/15 - -109/120. Which is bigger: -1/2 or r?
r
Let h be 5/29*(-20)/50. Let n(q) = q**3 - 10*q**2 + 8*q + 10. Let y(i) = i**3 - 2*i**2 - i + 3. Let k be y(3). Let p be n(k). Which is smaller: h or p?
h
Let t = 45 + -67. Let b = -62 - t. Is -39 at least b?
True
Let f = -6.1 - -6. Let u = -87 + 87.3. Is f != u?
True
Suppose f = -5*x + 93, 3*x - 3*f - 16 - 47 = 0. Which is smaller: x or 55/3?
55/3
Let q = -19 - -19.07. Let k = 1.979 - 0.049. Let u = q + k. Which is greater: u or -0.3?
u
Let d be (-2)/(-6) + (-6)/(-9). Let w(g) be the first derivative of g**4/4 + 4*g**3/3 + g**2 - 3*g - 4. Let a be w(-3). Which is smaller: d or a?
a
Let u = -1817/104690 - -10/361. Do 0 and u have different values?
True
Let u be (-12138)/(-20) - 45/(-75). Which is bigger: u or 607?
u
Let n be (-9*6/(-12))/(1/2). Let l be 3*(-21)/n*-3. Which is bigger: 0.1 or l?
l
Suppose -2*g = -2*z - 5*g - 7, -z - 4*g = 11. Let f(y) = -y**2 + 7*y + 10. Let w = -28 + 36. Let c be f(w). Which is smaller: c or z?
z
Let r(y) = y**3 - 8*y**2 + 29*y - 54. Let s be r(4). Which is bigger: s or 1/86?
1/86
Let u be 8/20*(-86)/(-6) + -2. Let d = 1583/420 - u. Is 1 != d?
True
Let b = 29179 + 104178. Let i = b + -4667919/35. Let k = -82/7 - i. Which is smaller: -1 or k?
-1
Suppose -3 = -4*o + 93. Let j be (-3 + o)*(-3)/(-9). Is j >= 7?
True
Let a be 58/198*(-1)/1. Let k = -2/11 - a. Let m be (-45)/60*4/(-9)*-6. Are k and m unequal?
True
Let o = -0.48 - 3.62. Let t = o + 0.1. Let i = 5 + t. Are i and -0.3 nonequal?
True
Let v = 294 - 152. Let r be (-12)/(-48) + v/(-504). Which is bigger: -1 or r?
r
Let s(z) = -z + 11. Let o = -52 - -74. Let c = o + -13. Let r be s(c). Is 2/3 < r?
True
Let x = -108 + 109. Which is bigger: x or 18/19?
x
Let b(x) = -x**3 - 12*x**2 - 12*x + 1. Let i be b(-11). Let t be i/(-24) - 1*(-206)/(-4). Which is smaller: t or -51?
t
Let i = -4680 + 4618. Let x be (-8)/6*-1 + -1. Which is greater: x or i?
x
Suppose 15*a - 11*a + 12 = 0, 4*n + 155 = 3*a. Is n at most as big as -56?
False
Suppose 5*r - 3*c = 6*r + 1, r + 2*c = -1. Let n be 8*((3 - r) + -5). Let g = n - -12. Which is smaller: 3 or g?
3
Let a = 3814/219385 - -5/1513. Which is bigger: 0.1 or a?
0.1
Let i = 200.781 - -0.219. Which is bigger: i or -0.1?
i
Suppose -5*c + 3*c = -10. Suppose -f + 4 = 2*a, 2*f - 6 = -3*a - 0*f. Suppose -g = 2*s + 1, c*s = -a*g - 3 + 1. Are g and -1/5 equal?
False
Let t = 0.8 - 1.1. Let z = t - -0.32. Let r be 2/((-40)/13) + (-4)/(-10). Which is bigger: z or r?
z
Let x = -94 - -97. Is x < 8?
True
Let t = 24 - 30. Let h = 7 + -11. Which is greater: t or h?
h
Suppose -l = -1 - 0. Suppose 5*h + 11 = l. Let w be -3 + (2 - h - 1). Which is smaller: -4/13 or w?
-4/13
Let t = -5 - -12.6. Let b = t + -3.8. Let f = -4.7 + b. Are -2/7 and f unequal?
True
Let o = 4 - 18. Let k(i) = -i**2 - 14*i + 6. Let u be k(o). Let w be 3*-5*(-2)/6. Which is greater: u or w?
u
Let m = -0.005 - -55.005. Let c = m - 58. Which is smaller: 3 or c?
c
Let x be (-1 - 1 - 12/(-8))*-98. Let d = -49 + x. Is d > 1/7?
False
Let i = 305.1 + -98.1. Is i at least as big as 1/3?
True
Let t(q) be the first derivative of -3*q**2/2 + 4*q - 9. Let c be t(8). Is -18 at least as big as c?
True
Let o = -0.01 - 0.59. Let c = o - 1.4. Let a = 1.8 + c. Which is bigger: 2/9 or a?
2/9
Let q be (20/(-5) + 6)*1. Let i(t) = -t. Let z be i(q). Is -2 smaller than z?
False
Suppose 0 = -3*v + 19*v + 32. Let z be ((-1)/v)/(49/28*-2). Which is s