
-15
Suppose 5*z + 65 = 5*i, -i + 3*z + 13 = -6. Suppose 5*q + 53 - 48 = 0. Let u be (22/(-4))/(q/2). Which is bigger: i or u?
u
Suppose 15*s + 2308 = -3722. Is s greater than -405?
True
Let k = -936912273 - -50745042525719/54162. Let d = 31/354 + k. Which is smaller: 1 or d?
d
Let p = -85 - -109. Let l = p - 41/2. Is -2 not equal to l?
True
Let j = 0 - 1. Let n(g) = 20*g - 15*g - 2 + 37*g. Let i be n(j). Which is greater: i or -45?
i
Let d = 2177 - 2019. Is d <= 155?
False
Let z be 2/(-1) - 12/(-3 - 1). Suppose k + 6 = a, 4*k - z = -a - 45. Let i(l) = -8*l. Let m be i(1). Which is greater: k or m?
m
Suppose 50 + 80 = -13*r. Let x be (-62)/8 - (20/(-5) + 7). Which is greater: x or r?
r
Let r = -12687.836 - -12688. Is -11/3 smaller than r?
True
Let v = -7141/850 + 23/50. Is -1 < v?
False
Suppose 3*p = i + 34, 3*i + 2*p = -115 + 46. Let t be 2 + (0/1)/((-14)/(-7)). Let w be ((-40)/i - t)/((-76)/5). Which is smaller: 0.2 or w?
w
Let i(h) = -11165*h**2 - 11*h - 7. Let o be i(1). Which is bigger: o or -11184?
o
Let d be (5370/255 - 21)/(((-6)/8)/(-3)). Let c be ((-1 - 1) + 1)*-2. Suppose -c*y + 0*y = 0. Which is smaller: d or y?
y
Let x = -6902 - -6901. Let b be (-224)/18*(-24)/28. Is b at most x?
False
Let r(a) = 2*a - 77. Let l be r(43). Let b be (0 + 2)/((-2)/l). Let u = 1.14 - 1.2. Is b at most u?
True
Suppose 3*k = -5*i - k + 35, 19 = 3*i + 2*k. Suppose -3*r - o + 23 = 0, o - 3*o + 28 = i*r. Which is greater: 7 or r?
7
Suppose 1 + 4 = -r, 0 = -d - 2*r - 12. Let p be 96/(-30) - (-3)/15. Let j be (11/(-3) + 2)*(-9)/p. Is j >= d?
False
Let d be 26/(0/2 - -1). Let w be (-160)/(-24)*(-1 - 197). Let s be 6/14 + w/(-56). Which is smaller: d or s?
s
Let q(t) = -2*t**3 - 10*t**2 - 5*t - 4. Let n be q(-8). Suppose 0 = -2*o + 2*s + 190, -5*s = 4*o - s - n. Suppose 30*p - o = 25*p. Which is greater: p or 19?
p
Let j = -9955 + 7263. Are -3/4 and j nonequal?
True
Suppose 43*x = 6*x + 888. Let a(i) = -i - 4. Let b be a(0). Let j be (x/(-9))/b - (-296)/6. Do j and 50 have different values?
False
Let n = 2 - 23. Let z = n - -4. Let k(r) = r**3 - 48*r**2 + 39*r + 2442. Let s be k(46). Which is greater: s or z?
s
Let f be (-15 - -15)/(5/((-15)/(-9))). Are -52/783 and f non-equal?
True
Let h(x) = 803*x + 7079. Let v be h(-37). Is v != -22632?
False
Let g = 6 - -7. Suppose 3*o - 130 = -w, 118 = 3*o + 5*w - 7*w. Let x = -35 + o. Do g and x have different values?
True
Suppose 5*z = -2*d + 41, -2*d + 8*z - 10*z + 32 = 0. Suppose -4*v = 4*p - 16, -7 = -3*p + d*v - 15*v. Which is bigger: -3/173 or p?
-3/173
Suppose 0 = d + 3*i + 95, -5*i + 6 = 16. Let x = d - -88. Is x smaller than -28/19?
False
Suppose -4*y + 74 = 4*c - 2*c, -32 = -2*y - 2*c. Let t = -19 + y. Suppose t = 4*m + 2*q, 0*m - 3*q = 2*m - 3. Which is bigger: m or 26?
26
Let v(l) = 20*l**2 + 2041*l - 171. Let r be v(-102). Is r at most -270?
True
Let v(s) = -624*s - 240. Let k(p) = -96*p - 37. Let y(c) = 32*k(c) - 5*v(c). Let d be y(2). Which is greater: d or 113?
113
Let b = -1061/23595 - -42/715. Which is greater: 1 or b?
1
Let r be ((-15)/(-1644))/((-16 - -9)/35). Is r <= 1?
True
Let a = -1674 + 1110. Let b be a/4 - 2/((-4)/(-6)). Which is smaller: b or -145?
-145
Let b(w) = -w**3 - 17*w**2 + 60*w + 9. Let r be b(-20). Let j be (-35)/(-14)*(r + -1). Is j equal to 2?
False
Let i = -0.56 + 0.53. Let q = 2166 + -2168. Is i < q?
False
Let m(y) = y**3 + 6*y**2 + 3*y + 10. Let n be m(-4). Let c be (n/(-4))/((-17)/34). Suppose -4*q - 10 = -d - 26, -5*q = -c. Is d smaller than -4?
False
Suppose 0 - 3 = z. Let g = -527 - -305. Let i = g + 215. Is z > i?
True
Let j = 864 - 1435. Which is greater: j or -568?
-568
Let o = -1348 + 1342. Let j be (6 - (-84)/(-15)) + (-134)/20. Is o less than or equal to j?
False
Suppose -13*q + 4626 - 2208 = 0. Is q < 188?
True
Let u be -4 + (-9)/3 + 10. Suppose o - 11 = p - 283, 4*o = u*p - 814. Is p at least as big as -0.1?
True
Let i be (-30)/70 - (66/(-7) - -2). Suppose 4*z - 1 = i. Suppose m = -z*m - 15. Is m at most -5?
True
Let q = 17743/388 - 183/4. Suppose -3*p + 28 = -i, -4*p + 9*i - 8*i + 37 = 0. Let w(o) = -2*o**2 + 17*o + 9. Let s be w(p). Is s greater than q?
True
Let s(q) = -q**3 + 27*q**2 + 60*q - 218. Let c be s(27). Is c at least 1395?
True
Let i(m) = -6*m - 1. Let o be i(-1). Suppose 0*r + o*r = 5. Let t be (41 - 36058/880)/((-3)/(-15)). Which is smaller: r or t?
t
Let c = 9249 + -9249.084. Is c > -3/8?
True
Let b = 63.9 - 31.7. Let f = 2482 - 2476.8. Let c = f - b. Is c less than or equal to 0?
True
Let t = -8825916/4805 + -366/961. Is -1836 smaller than t?
False
Suppose 0*q = 4*q + 16. Let d be (30/q)/5*18/(-15). Which is bigger: d or 1?
d
Suppose 61*z - 46*z = 0. Let w(y) = 3*y**3 + 2*y**2 - y. Let l be w(1). Suppose -3*n - l + 19 = 3*b, z = 3*n + 2*b - 11. Which is greater: n or 6/67?
n
Suppose -23 = f + 3*o - 38, -25 = 4*f - 5*o. Which is bigger: 54/205 or f?
54/205
Let k = -2/345883 + -681608/1756739757. Is k <= 0?
True
Let l = 3/50410 - -1711207/45923510. Which is bigger: l or 1?
1
Suppose 3*r - a = -313 - 72, -a = 5*r + 639. Suppose t - d = -105, d = -3*t - 305 + 6. Let l = t - r. Is l at most as big as 27?
True
Let q be (39/(2574/550))/((-14)/318). Which is greater: -190 or q?
q
Suppose 3*i - 23 + 2 = 0. Let d be (-1)/(-11) - (-7238)/242. Suppose -9*r + d = -i*r. Is 14 not equal to r?
True
Let q = 0.7 + -7.7. Let l = 6 + q. Let c = -1/1979 - 15829/5937. Which is smaller: c or l?
c
Suppose 5*m + 4*d - 21 = 0, 6*d - 3*d = 12. Suppose -48*r - 210 = -13*r. Which is smaller: r or m?
r
Suppose -5*a + 3*a - 64 = -3*v, -3*a - 5*v = 134. Let f(c) = -c**3 - c**2 + 5*c + 15. Let h be f(3). Let l be 3/a*(-4)/h. Is l >= 0?
False
Let s = 207 - 202. Let v be (-8)/(-60)*s/33. Which is smaller: v or 0?
0
Let l = -51 + 53. Suppose 0*h = -2*h + c + 7, 0 = -3*h - l*c + 14. Suppose 3*j - 5*r + 1 = 0, 22 + 25 = h*j + 3*r. Does j = 7?
False
Suppose 12868 = -2*h + 32*y - 37*y, -2*y - 16 = 0. Which is bigger: -6415 or h?
h
Let m = 7.06 + -7.26. Is m > 45?
False
Let b = -198 + 330. Let a = 132.2 - b. Is -0.028 greater than a?
False
Let u be 3 - (-3 - -20*7). Suppose 0 = 3*k - 3*o + 399, 16*k + 526 = 12*k - 2*o. Is k > u?
True
Suppose w + 45 = 4*s, 2*s - 18 = 2*w + 12. Let k be -2*2/18 + 174/54. Which is greater: k or s?
s
Let g = 7 + -97. Suppose 0 = 5*n + 16*b - 12*b + 446, 3*n - 4*b + 274 = 0. Are g and n nonequal?
False
Let g be (0/2)/4 - 680/(-4). Let k = g + -168. Let u be (-12)/2 + (-3 - -6). Is k greater than u?
True
Let k(m) = -5*m + 96. Let f be k(20). Let q be (((-610)/75 - f) + 4)*3. Which is bigger: q or 26?
26
Let z(t) = 2*t**3 - 14*t**2 - 19*t + 32. Let l be z(8). Let w(k) = -k**2 - 4*k - 4. Let y be w(-4). Let j be 3/y + (-2)/l. Is 1.7 at most as big as j?
False
Let k = -181.04 - -181. Suppose -4*f + 48 = -2*f. Let z be 1/(-3) + (-12)/27*f. Is z at most as big as k?
True
Let q(u) = u**3 - 3*u**2. Let j be q(3). Let s be 0*(-2)/(1 + 3). Let l = j + s. Is l greater than or equal to -1/4?
True
Suppose -10*h = -53*h - 41*h + 9744. Are 116 and h equal?
True
Let c be -12 + (-3786)/(-266) + 0/2 + -1. Is 1 >= c?
False
Suppose -20 = 3*o + 4. Let k be -50 + -1 - (-7 - o). Let u = k - -53. Is -1/8 smaller than u?
True
Let q = 3.824 - 3.724. Which is smaller: -7370 or q?
-7370
Let n be 188950/780*(-1)/25. Let h = n + 7/78. Which is greater: h or -9?
-9
Let c(l) be the first derivative of -l**3/3 - 2*l**2 - 4*l + 4. Let x be c(-2). Suppose x = 5*k - 0*k. Which is bigger: k or 3/13?
3/13
Let w = 2717 - 1555. Is 1166 > w?
True
Let c be ((-5)/(-2) + 3339/(-630))*10/4. Is c less than or equal to 42?
True
Let n = 3152 - 3487. Do -5 and n have different values?
True
Let d = 134879.1 + -134879. Suppose -5*z - 5*o + 178 - 728 = 0, 4*z - 2*o = -434. Which is bigger: d or z?
d
Let f = -6885.9 + 6886. Is f equal to -924?
False
Let l be (-1 - 24/(-20))*-6. Let j = 3.551 - 3.711. Which is bigger: j or l?
j
Let j be (-26)/(-7) + (-8)/(-28). Suppose -j - 23 = n. Let u be (-4*1 - n/5) + -1. Which is bigger: u or 27?
27
Let b(g) = -g**3 - 4*g**2 - 14*g - 28. Let a be b(-2). Is 2 less than a?
False
Suppose -2*z + 3 = k, -8*k = -4*k - z + 6. Let s be (3/2)/(15995/4004 - 4). Let v be 2/8 + s/(-104). Which is bigger: v or k?
v
Suppose -4*j + 359 = 3*n, 127 = 2*n + 5*j - 103. Let s be 1*124 - (1 - 