s greater: 2/17 or x?
2/17
Let q = -19532/91 - -1265/7. Which is smaller: -33 or q?
q
Let y = -1509.148 - -22.148. Is 0.12 at least y?
True
Let v = 0.01712 - 0.80712. Is v at most as big as -2.4?
False
Let b be (-2)/(-8) + (-251)/(-4). Let c be -1 + -6 + (-1939)/35. Let n = b + c. Is n less than 2?
True
Suppose -422*a + 1566 = 220*a + 924*a. Suppose 2*o + 4 = 2. Which is bigger: o or a?
a
Let o be (2/(-7) + (-16)/(-56))/(-2). Suppose o*z + 4*z = 3*f + 61, 71 = 4*z - f. Is z <= 22?
True
Let b(n) = -121*n**3 - 33*n**2 - 196*n - 12. Let v be b(-6). Do 26112 and v have the same value?
True
Let t = -1109/1050 - -764/175. Are t and 2 nonequal?
True
Let w = 6871.48 + -6878. Which is greater: w or -7?
w
Let f = -366 - -321. Let h(x) = -5*x - 4. Let d be h(-6). Let j = f + d. Is j not equal to -18?
True
Let d = -56.5 - -6.5. Let b = d - -47.1. Let y = -3.9 - b. Is y bigger than 1/22?
False
Suppose 113*g + 5847 - 1130 + 3419 = 0. Is -73 bigger than g?
False
Suppose -2*o + 10 = 3*o. Suppose -4 = o*q - 5*v + 13, 4*q - 2*v = 6. Suppose -y - y + q = 0. Is y != 0?
True
Let p be (-6)/63 - (-73967)/789222. Is 1 smaller than p?
False
Let l = 1030 + -976. Suppose -3*q + 201 = 36. Does l = q?
False
Let l = -359/112 - 5/112. Let q = -32211 - -32208. Is q less than or equal to l?
False
Suppose 5*y + 5*r = 540 - 365, 5*y - 4*r = 319. Let h(j) = 27*j**3 - j**2 - 2*j - 1. Let c be h(-1). Let a = 23 - c. Which is smaller: a or y?
a
Let c(j) = 66*j + 35. Let z be c(-3). Let f = z + 163. Which is bigger: 1/56 or f?
1/56
Let s(a) = 4*a**3 - 180*a**2 + 8*a - 372. Let i be s(45). Suppose -5*w = -4*t - 28, -24 = 2*t + 2*w + 8. Is i smaller than t?
False
Let o = -115.86 + 1.86. Let t = -128 - o. Which is greater: -3 or t?
-3
Suppose -i + 5*w = -71, -5*i + 5*w + 379 = 4*w. Which is greater: 1456/19 or i?
1456/19
Suppose 4*y - 4 + 0 = 0. Let d(j) = 4*j + 1. Let v be d(y). Suppose -v*w + 282 = 4*m, 0 = 2*w - 5*m - 121 + 28. Is w greater than 54?
False
Let m be -1 + -1 + (-2 - -5). Suppose -3*z = -3*u - 2*z - 205, -u - 4*z - 77 = 0. Let v = 1519/22 + u. Which is greater: m or v?
m
Let v(h) = -h**2 - 2*h + 3. Let p be v(-2). Suppose -t + 2 = -p*q - 8, -42 = -2*t - 5*q. Is t at least -1?
True
Suppose 132 = -5*p - 21968. Let k = -79585/18 - p. Which is smaller: k or 0?
k
Let d = 891 - 888. Suppose -6*r = -2*r - 3*h + 37, -2*h = -r - d. Let j = 2 - 5. Is j smaller than r?
False
Let m be 3*3413722/100080 + (-1)/5. Let g = m - 817/8. Is g bigger than -1?
True
Let n = 503.8 + -11.8. Is n < 1/4?
False
Let r = 170 + -52. Does r = 713/6?
False
Let i = -76 + -474. Let x = i + 548. Which is smaller: 6/11 or x?
x
Let n = -5212 + 1725169/331. Let x(j) = -130*j + 5981. Let t be x(46). Which is bigger: t or n?
t
Let c = -79117.793 + 79320. Let o = c - 203. Let n = -0.007 + o. Which is greater: -4 or n?
n
Let k(d) = -14*d + 27 + 4*d + 17 + 67. Let q be k(11). Let i be 4/10 + 34/90. Which is greater: i or q?
q
Suppose -5*c + 40 = -a, -67 = -4*c + 2*a - 29. Let i be ((-4)/c)/(30/105). Is -1.81 >= i?
True
Suppose -3*y + 0*y - 9 = -4*j, 5*y = -2*j - 15. Suppose j = 4*h - 8*h - 32. Which is smaller: h or -42/5?
-42/5
Let g be 36/(2 + 22/(-8)). Let j = -168617 - -168568. Which is greater: g or j?
g
Let w = -44.22 - -1.22. Let l = w - -43.3. Is 0.008 bigger than l?
False
Let i = 0.0416 + 0.0049. Let d = i - 0.0465. Is d bigger than -636/11?
True
Let y(q) = -218*q**3 + 1. Let k be y(-1). Let j be (-7025634)/(-32058) - (-4)/(-26). Is j > k?
False
Let s(y) = y**2 + 13*y + 14. Let g be s(-8). Let h(z) = -z**2 + 6*z - 27. Let p be h(0). Is g equal to p?
False
Let y be (-50)/10 + 2 + 5. Let f = -13 + 14. Suppose -9*k - q + f = -7*k, 5*q = y*k - 7. Which is smaller: 2/15 or k?
2/15
Let j(a) = -24*a + 1328. Let z be j(23). Which is smaller: 784 or z?
z
Suppose 54 = -5*b + 64, 0 = f - b - 1816. Do f and 3633/2 have the same value?
False
Let c be ((-72)/(20/(-5)))/((-2)/(-12)). Are c and 103 unequal?
True
Let t = -297.9481 + -1.0319. Let j = 299 + t. Which is bigger: j or -2/9?
j
Let z be (5/((-320)/84996))/(1/(-2)). Let i = -2563 + z. Let g = 93 - i. Is 0 smaller than g?
False
Let p be 2 + 2625/(-200) + 17. Let m = 10 - 3. Which is smaller: m or p?
p
Let z = -2 - -2.2. Let r = 0.1 - z. Let c = -1956.7 + 1979.7. Which is bigger: r or c?
c
Let h = -190597/3 + 62369. Which is smaller: h or -1163?
h
Let h(v) = -v - 3. Let s(k) = -k - 2. Let d(b) = 5*h(b) - 6*s(b). Suppose -2*m = 4*a - 22, -5*a + 8 = 3*m - 7*m. Let t be d(m). Which is smaller: 1/63 or t?
t
Let r(j) = -12*j + 448. Let s be r(36). Let c = -47/3 + s. Let m = 52.29 - 52. Does m = c?
False
Let s = 352 + -131. Let m = s + -222. Which is bigger: 235 or m?
235
Let g be (1 - -50)*8/(-24)*-4. Suppose 0 = -4*p - n + g, -p - 2*p = 5*n - 51. Suppose -7*w + p*w = 50. Which is bigger: 4 or w?
w
Suppose -2813*q + 9216 = -2822*q. Let x = q + 1003. Suppose -7*i + 3*i = 84. Does i = x?
True
Suppose -o = -5*o + o. Suppose 0 = 4*x - 8, o*h - 4*x = h - 1. Let r be (6/(-8))/(h/(-84)). Is -7 at most r?
False
Let r be (38*(-10)/(-16))/(1/4). Suppose u + 470 = 6*u. Do r and u have the same value?
False
Let b be (-44)/((-6052)/288 - -21). Are 3164 and b non-equal?
True
Let n be 34/(-2 - -1 - (-3 - 0)). Let j be 69/39 + (-51)/n. Which is bigger: 0 or j?
0
Let a(i) = 398*i - 2997. Let f be a(8). Is -0.1 less than or equal to f?
True
Suppose -3*s + 1446 = -2*q, -3*s + 1449 = 4*q - 5*q. Suppose -886 = -5*h + s. Let p = -194 + h. Do p and 80 have the same value?
True
Let n(x) = x**2 + 3*x - 1. Let b be n(-3). Let k = -113951/39 + 2922. Does k = b?
False
Let b be (-68*45/(-17400))/((-18)/(-15)). Is b > 0?
True
Let v be (-96)/(-64)*233/2. Let a = v + -175. Which is bigger: -2 or a?
a
Let u = -5/378 + -2677/7182. Are u and -1 non-equal?
True
Let p be 5 + (-6 - 0 - 51). Let q be p/182*7/(-20). Which is bigger: q or 0?
q
Suppose -x - 2*a + 29 = 0, -91*x + 161 = -86*x + 2*a. Which is bigger: 36 or x?
36
Suppose n = -5*y - 93, -281 + 505 = -3*n - 4*y. Are n and -61 non-equal?
True
Suppose -34*m = -43*m - 18. Let b be m/(-7) + (-13 - 19164/(-1428)). Is 4 greater than b?
True
Let b = 6/773 + 1480/8503. Let h(l) = 3*l + 6. Let u be h(-3). Let j be (u - -8)*(-2)/55. Is j not equal to b?
True
Suppose 34*o + 7*o = -41. Is o != -16/3263?
True
Let p = 1678 - 182896/109. Is p equal to 1?
False
Let a be 14*((-18357)/16)/(-3) + 470/(-3760). Is 5353 at most as big as a?
True
Let j(k) = 6*k - 32. Let t be j(9). Suppose -3*c + 76 - t = 5*n, -3*n = -5*c - 12. Is n not equal to 11?
True
Let s = -56 + 225/4. Let w(q) = 5*q + 39. Let j be w(-9). Let b be 3 + (j + -4 - -4). Is s != b?
True
Suppose -10*t - 2*t + 156 = 0. Suppose 17 = 3*z - t. Let d = 4 - z. Is -3 greater than d?
True
Let j be 2505/(-150)*-4*(-10)/(-4). Let s(v) = -42*v. Let q be s(-4). Is j greater than q?
False
Suppose 76*b - 38*b = 46*b - 35840. Which is smaller: 4481 or b?
b
Let o = 2/19975 + -627/10506850. Is -1 < o?
True
Let z = 154 + -155. Suppose -4*x - 30 = -9*x. Let g be (80/156)/((-4)/x). Is g smaller than z?
False
Let j = -7 - -25. Suppose -c = 4*r - j + 3, r - 5*c - 30 = 0. Suppose -14 = 4*t - r*t. Which is bigger: 13 or t?
t
Let r = 5 + -25. Let i = -9 - r. Suppose -251*u + 250*u + 12 = 0. Are u and i nonequal?
True
Let p be ((-71)/(-6))/(-34*(-31)/31620). Are p and 356 unequal?
True
Suppose -2*q = -5*t - 6*q + 430, -4*t - q = -344. Is t equal to 86?
True
Suppose j - 4 = -3*j. Let o = 3761 + -161732/43. Which is greater: j or o?
j
Suppose -27 + 22 = -o - s, -3*s + 17 = o. Let i(u) = -10*u + 8. Let h be i(6). Let w be h/315 - 8/(-36). Which is greater: o or w?
w
Let t be 4/6 - (-3768)/(-36). Suppose -4*s - 3*p = 420, -5*p + 262 + 24 = -3*s. Is t less than or equal to s?
True
Let b = 561 + -556. Suppose b*h = -4*a - 12 - 16, 3*a = -3*h - 24. Is -9 smaller than a?
False
Let o = 10.18 - 10. Let a = 0.11 - o. Let r = -5.86 + 5.56. Which is smaller: r or a?
r
Let w(l) = 11*l**3 - 2*l**2 - 4*l + 4. Let o be w(1). Let k(t) = -t**3 + 10*t**2 - 8*t - 28. Let f be k(o). Which is bigger: 1/2 or f?
1/2
Let o(u) = -7*u**2 + 29*u - 55. Let z be o(12). Let n = z + 315. Is n bigger than -401?
True
Suppose -4 = -3*q - 1. Let l(p) = p**3 - 26*p**2 + 14*p + 9. Let c be l(25). Let n = c + 269. Does n = q?
False
Let h(s) = s**3 + 28*s**2 - 59*s 