- u/(-4). Is z > k?
False
Let p = -2049 + 2611. Are 2 and p nonequal?
True
Let u = -1571 + 1747. Is u at least 0.02?
True
Let k be 2 + -2 + (10 - 7). Let o be k + 28/(-8) + (-72)/(-147). Which is smaller: 0 or o?
o
Suppose 4*g = 3*s + 3, -40*s - 2 = 2*g - 42*s. Is g at most 63?
True
Let o be 1/4 - -2*113/(-8). Let x be -5 + (-11)/(11/o). Suppose 0 = -7*f + 3*f + 92. Is f < x?
False
Let n be (5 - 0/(-3))/4. Let i = 24 + -30. Let q be i/(-9) + (-2)/3. Which is smaller: q or n?
q
Let o(g) = -g**2 + 2*g + 43. Let r(h) = -2*h + 34. Let a be r(17). Let w be o(a). Suppose 4*s + w = 207. Does s = 1?
False
Suppose -z + 4 = -1. Suppose 0 = 6*u - 14 + 8. Suppose -3*q + z*y - 8 = -u, -4*y - 16 = 3*q. Which is bigger: q or -2?
-2
Let k = 200 - 196. Let f be (4/(-6))/(20/30). Which is greater: k or f?
k
Suppose 46*j = 41*j - 435. Let y be -1 - (405/j)/5. Is y bigger than -0.4?
True
Suppose 35*w + 162 - 207 + 500 = 0. Is w at most as big as -97?
False
Let j = -82 + 128. Let m = j + -17. Let c = 196 + -196.1. Do m and c have the same value?
False
Let i = 13419 + -13438. Is i greater than -182/9?
True
Let s be 3/2 - (-70)/((-2940)/(-17829)). Is s greater than or equal to 0?
True
Let q = -1779 - -1788. Let b = 0.1 + 7.9. Which is smaller: b or q?
b
Let t be 63 - 55 - (15 - 0). Let z(u) = -u**3 - 10*u**2 + 13*u + 61. Let k be z(t). Is k less than -179?
False
Suppose 12 = 4*u - 28. Suppose -5*w = -10*w + u, 0 = -5*z + 3*w - 51. Which is smaller: z or -39/5?
z
Suppose -v = 7*v + 676 + 876. Is 0.05 <= v?
False
Let d = -21347 - -3906511/183. Let c = 47/488 - d. Which is smaller: c or -1/2?
-1/2
Let f = 0.44 + 0.56. Let m(w) = -125*w**2 + 6 + 61*w**2 + 6*w + 68*w**2 + w**3. Let i be m(-4). Which is greater: f or i?
f
Let n = 3478 + -775. Which is smaller: 2702 or n?
2702
Let n = 26183/1989730 + -1/8651. Is 0 greater than n?
False
Suppose -20 = 24*f + 100. Let l be 2/f*(-693)/(-42). Is -7 > l?
False
Let k be ((-540)/102 - -5)*8496/(-90). Are k and 27 unequal?
True
Let f = -1808 - -2691. Is f at least -0.1?
True
Let n(o) = -16*o**2 + 6*o + 16. Let c(m) = -16*m**2 + 5*m + 15. Let w(b) = -5*c(b) + 4*n(b). Let z be w(-3). Which is smaller: 137 or z?
z
Let b = -3732 + 1046. Let g be b/425 - (0 + -6). Which is bigger: g or 1?
1
Let p(f) = -f - 35. Suppose -4*g + 3*u + 23 = 122, 0 = 5*g - 5*u + 125. Let r be p(g). Is r not equal to -9?
True
Suppose 5*m - 5*u - 40 = -u, -3*m + 3*u = -27. Let y = -4434 - -4434. Suppose y = -m*w + 2*w - 2. Are 1 and w equal?
False
Suppose -u - 13 + 15 = 0. Suppose -4*v = r + 14, 0 = 4*r - 0*v - u*v - 16. Let l be (r/2)/(6 + (-34)/6). Which is smaller: 4 or l?
l
Let c = 21715 + -14533. Are c and 7181 unequal?
True
Suppose 9235 = 6*d - d + 9625. Is d != -1304/17?
True
Let m(o) = -o**3 + 4*o**2 - o - 3. Let l be m(2). Let u(r) = -2*r**3 + 3*r**2 - 2*r + 2. Let i be u(l). Is i not equal to -28?
True
Let q(g) = 9*g - 74. Let r be q(9). Suppose 21 = r*a + 28. Is 5/23 at least as big as a?
True
Suppose 0 = -3*r - 3*u - 10 + 28, -5*r + 22 = u. Suppose -r*m = -8*m + 16. Let n = -8774/7 - -1256. Which is smaller: n or m?
n
Suppose 20*t = 11*t + 198. Suppose -t*k + 39*k = -1037. Which is smaller: k or -63?
-63
Let f = 14 + -14. Let v = 5 + f. Suppose -2*d - 5*l = -v*d - 18, 13 = -4*d + 3*l. Is d greater than 2/37?
False
Let y be (-30)/(-9)*((-87)/15 + 1). Suppose 0*c = -2*c - 2*g + 68, 5*c - 5*g - 120 = 0. Let t = 10 - c. Which is smaller: y or t?
t
Let l(g) = 11*g - 593. Let a be l(48). Which is smaller: a or -66?
-66
Let q = -1451 - -1484. Is q at most as big as 361/11?
False
Let h = -0.07 - -0.02. Suppose -56*q = -102 - 432 + 86. Which is greater: h or q?
q
Let j = -9855533/25714 + 8813/23. Let x = j - 1/26. Do -1 and x have different values?
True
Let y be (-180 - 1)*(-4)/(-1 + 5). Suppose -225 = -5*p - 4*l, 0 = p - 5*p - 3*l + y. Let t = p + -59. Which is greater: t or -13?
t
Let o(h) = h**3 - h**2 - h + 11. Let w be o(0). Suppose 0 = 420*n - 428*n. Suppose 34*p - 33 - 1 = n. Is p < w?
True
Let j = -7090 - -7203. Let i(y) = y**3 + y**2 - 6*y - 7. Let f be i(5). Does f = j?
True
Let d = -14538 + 14824. Which is smaller: d or 281?
281
Let d = 1/73 + -85/876. Let l(f) = 2*f**2 - 10*f - 57. Let r be l(8). Let b(s) = s**2 + 13*s + 36. Let p be b(r). Is d > p?
False
Let q be 5*((1 - -1) + -9). Let w(d) = -86*d - 255. Let o be w(-3). Suppose 0*r - 5*r - 5*v = 205, 67 = -2*r + o*v. Which is smaller: q or r?
r
Let t = -15499 - -15379. Which is smaller: t or -2056/17?
-2056/17
Let y(s) = -s**3 - 5*s**2 + 5*s + 6. Let x be y(-5). Let u(p) = 43*p - 193. Suppose -52*w = -51*w - 4. Let i be u(w). Is i > x?
False
Let n = 1.72 + -1.7. Let h = -230679382/40089995 - -6/214385. Let k = -62/11 - h. Which is bigger: k or n?
k
Suppose -3*q = -2*q - 2*i - 141, 0 = -4*q + 5*i + 576. Let u = 93904 - 93756. Is q less than or equal to u?
False
Let f = 0.89 - -79.21. Let c = f - 80. Is c greater than -147?
True
Let j be (-3)/(-6*(-2)/1428). Let l be (-479)/j + 60/(-45). Which is smaller: l or -1?
-1
Let r = 111476/105315 + 2/6195. Suppose -2*u + 4*m = 6, -3*m + 6 = -0. Which is smaller: u or r?
u
Let v = -13628 + 122605/9. Do -2/7 and v have the same value?
False
Let d(a) = -a**3 - 11*a**2 + 5*a + 17. Let o be d(-11). Let p = 40 + o. Suppose -11*x + 10*x = -p. Which is bigger: 4 or x?
4
Let c = -0.0932 + 429.0932. Let j = 424 - c. Which is smaller: -0.3 or j?
j
Suppose 7*o - 24 = 53. Let h = 15/56 - -573/56. Is h less than o?
True
Let g = 2 - -82. Let u be ((-12)/(-14))/(12/g). Are u and 5 nonequal?
True
Let a = -460 + 449. Suppose 64 = 5*t - 1. Let z = t - 21. Is a bigger than z?
False
Let t be -29 - (-1 + 4 - 4). Let n be (7/(-154))/(2/t). Suppose f + 11 = -3*z, -3*f = 3*z - 4*z - 7. Which is smaller: f or n?
n
Suppose -101*j = -23*j + 49140. Is -633 bigger than j?
False
Let r be 370/6*(-4)/10. Let w(t) = -4*t**2 + 9*t - 16. Let f be w(3). Which is bigger: r or f?
r
Let s be 252/(-504)*(0 - 0). Is s bigger than 13/439?
False
Let j = -84 + 133. Let s be (7/j)/((-12)/(-14)). Suppose 3*z + f = 3*f - 14, 16 = -2*z + 3*f. Which is smaller: z or s?
z
Let d be 0/(-2 + 9)*(-19)/(-133). Is 1/3461 < d?
False
Suppose 4*i - 5*y = -56 + 51, 0 = i + 5*y - 5. Suppose -g + 2*g - 5*d + 4 = i, 2 = 2*d. Which is smaller: g or -8/59?
-8/59
Let y be 5 + -10 + (-6)/(-3). Let m(u) = -2*u**3 - 7*u**2 - 2*u + 2. Let r be m(y). Let d be 6/44*4/33. Which is smaller: r or d?
r
Let l = 896 + -895.8639. Does l = 3?
False
Let m = 199 + 88. Let p be -4 - 54/(-14) - 1/m. Which is greater: p or 1?
1
Let t be (1 - 1)/1 - (14 + -17). Suppose t*j - 5 = 4*y + 19, 3*y = 5*j - 40. Suppose -6 = j*m - 22. Does 26/9 = m?
False
Let r = -212 + 218.16. Let a = r + -0.16. Let h = -10173/35630 - 1/5090. Does a = h?
False
Let u = 201 + -328.2. Let h = u + 126. Which is greater: 9 or h?
9
Suppose -12 = -u - 16, 5*g - 4*u - 2161 = 0. Suppose 45 = 12*j + g. Is j at most -32?
True
Let p be 4 + (-448)/105 - 2/(-10). Let h = p + 559/60. Is h less than 8?
False
Let s = -0.175 + 0.495. Let i = s + -0.26. Which is greater: 1/2 or i?
1/2
Let x = 4338 + -13004/3. Which is bigger: x or 50/9?
50/9
Let v be (-103644)/(3 + 1) - 4. Let y be (-5)/((-26135)/v + -1). Let s = y + 589. Is 1 < s?
False
Let p be (10/8)/((-28)/35). Let i = 4941 + -4943. Is i equal to p?
False
Let w be (-12199)/55 + (-36)/(-45). Are w and -230 nonequal?
True
Suppose -8*z + 136 = -152. Let q be (-6)/(-196)*(-48)/z. Let i(b) = b**3 + 8*b**2 + b + 7. Let h be i(-8). Which is bigger: h or q?
q
Let v = 10106 + -10106.05. Is 0.86 greater than v?
True
Let d(t) = -14 + 15*t - t**2 - 4 + 0*t**2 + 11 - 43. Let c be d(15). Is c less than -52?
False
Let d(f) = f - 8. Let z be d(6). Let y = 25 + -3. Let q be ((-2)/(-4*6))/((-1)/y). Is z at most q?
True
Let p = -5826.9 + 5825. Which is bigger: p or -0.85?
-0.85
Let q = 733.2 + -734. Are 94 and q non-equal?
True
Let n(x) = 3*x**3 + x - 7 - 5*x**3 - 7*x**2 - 10*x + 2*x. Let q be n(-5). Suppose -277 = 10*d + q. Is d not equal to -37?
True
Let z = -361 + 324. Let m be (0 + 2)/((-18)/333). Let u = z - m. Which is smaller: 2 or u?
u
Let c be (-18)/((-280)/(-490) - (-220)/(-434)). Is c at least as big as -279?
True
Suppose -2*c = 3*s + 2 - 13, 0 = s + c - 3. Suppose -s*r - r = 1080. Which is bigger: -179 or r?
-179
Let l(x) = -x**2