z?
k
Let k = -21846 + 21843. Which is smaller: -1666 or k?
-1666
Let p = -36891 + 33099. Is p bigger than -3790?
False
Suppose -d - 228 = -3*w + 4*d, 5*d = 15. Let r = w + -70. Suppose 2*u = -p + 19, -3*p + 0*u - 4*u = -49. Is p >= r?
True
Let s be (12*57)/(1224/(-11424)). Is -2 equal to s?
False
Suppose 2*b = -3*b - 5*f - 90, -3*b + 3*f - 84 = 0. Let z = -161 - -136. Are b and z equal?
False
Let d be (-2 + 171245/2170)/76 - 1. Let n = d - 3/1064. Is -1 equal to n?
False
Let g be (16/6)/4*12. Let x be g/28 - (-3674)/77. Is 46 >= x?
False
Suppose -l - 5*l - 1920 = 0. Let z = l + 318. Let n = -5 - -2. Is z bigger than n?
True
Suppose 0 = f - 2. Suppose 4*q + f = 3*q. Let v = -11 - q. Which is smaller: v or -5?
v
Let q be -1 - 9 - (-5 - 4). Which is greater: q or -1/8798?
-1/8798
Let s be (26164/2046)/((-3)/(-27)). Is 116 greater than s?
True
Suppose -9*d - 20*d = 203. Let z be (-8 - d) + (3 - (-46)/(-24)). Which is smaller: 1 or z?
z
Let k(h) = -13*h. Let i be k(-2). Let u be (-338)/(-11) + 4352/(-5984). Which is smaller: i or u?
i
Let m be ((-506)/(-69))/((-2)/6). Let w be (-5)/m + 11/(-22). Is w equal to 0.5?
False
Let c be (-2)/12*-2 + (-464)/87 - -7186. Is c bigger than 7182?
False
Let x = 0.20551 + -0.00551. Are 2020 and x nonequal?
True
Let u be -4 + -1 + (-265)/(-45). Which is greater: u or 1?
1
Suppose 5*n + 5*j = 20, 5*n - 2*j = 8*n - 10. Suppose 3*u - 49 = 4*u + 5*m, n*m = -u - 52. Let q = u + 70. Is q < 13?
False
Let m be (9 - -109)/(2*1/3). Let z = m - 185. Which is bigger: -120/13 or z?
z
Let s = 87.155 - 86.42. Which is greater: s or 0.6?
s
Let h(g) = g**2 - 4*g - 79. Let v = 54 - 62. Let t be h(v). Is 14 at most t?
True
Let m = -19969 - -98037/5. Let g = m + 362. Is g at least 45?
False
Let y(c) = -c**3 - 9*c**2 - 7*c + 14. Let n be y(-8). Suppose -n*d = -241 + 1039. Which is smaller: -132 or d?
d
Let q be 848/(-428) - -2 - 0. Let x = -1.7116 + 1.2116. Which is smaller: x or q?
x
Let l be ((-31680)/560)/(3/2) - 2/7. Suppose 5*x - 2*x + 144 = 0. Let p = x - -12. Which is smaller: l or p?
l
Let u = 49.73 - 0.23. Let m = 40.447 - u. Let a = m - -0.053. Is -4 < a?
False
Let h be (-4300)/216 + (-14)/((-308)/55). Which is greater: h or -18?
h
Let m = -2661 - 799. Which is smaller: 1/2 or m?
m
Suppose 6*f + 43 = -17. Let h(v) = -v**3 - 5*v**2 + 9*v + 5. Let c be h(-6). Is f bigger than c?
True
Suppose -11 - 13 = -4*p. Let x be (p/33)/((-8)/(-12)). Which is greater: x or -1/5?
x
Let b be (-2)/(6/9) + 130/2. Let o = b - 60. Let l = 9/82 + 2051/738. Are o and l nonequal?
True
Let p = 3.0597 - 0.3337. Let a = 0.274 + p. Is a at least as big as -10.3?
True
Let a = -4210 - -4371. Is 41 bigger than a?
False
Let r = -49.01 + 1.01. Let t = -28 - r. Let g = -20.08 + t. Which is smaller: -0.2 or g?
-0.2
Suppose o + 8 = 3*j, -5*j = -0*j - 2*o - 12. Suppose 2 = 2*s + 12, 4*n + 2*s - 18 = 0. Suppose 0 = j*m - 3 + n. Is m less than or equal to -2/9?
True
Let q be 81/398*(176/(-12))/(-11). Is 0 > q?
False
Let v = -57.3 - -0.3. Let h = v - -58. Is h >= -0.052?
True
Let l be ((-45)/(-20) + -3)/(4/944). Is -2290/13 at most l?
False
Let p = -49.87 + 49.57. Which is greater: 126 or p?
126
Let o(u) = 28*u**3 - u**2 + 4*u - 4. Let p be o(1). Are p and 281/10 nonequal?
True
Let c = -0.4 - -19.4. Let d = 29790 + -29791. Is c >= d?
True
Suppose 9*f - 32 = 5*f. Suppose -29 = -g + 4*c, -3*g + f*c = 4*c - 63. Are g and 6 equal?
False
Let j = 8/67 + 705/268. Let x(r) = r**2 - 21*r - 3080. Let q be x(67). Is q at most as big as j?
True
Let j = 9431 - 9341. Let d = -28 - -29. Is d at most as big as j?
True
Let r = -34.44 + 33. Let w(a) = -a**2 + 6*a + 4749. Let g be w(72). Which is smaller: r or g?
g
Let g be 16/(-24) + 416/768. Which is smaller: -6/85 or g?
g
Let y be 2/8 - 85/340. Is 25/553 less than or equal to y?
False
Let v(s) = -17*s - 157. Let m be v(-9). Let l be (13/(-1066))/(m + 6/4). Is 1 <= l?
False
Suppose 54*r - 3*r = -6*r - 38*r. Which is bigger: 9/202 or r?
9/202
Suppose 2*i - 216 = -2*i + 5*p, 2*i - 108 = -3*p. Let r = i + -50. Suppose 10*c + r*c - 126 = 0. Which is smaller: 10 or c?
c
Let q(m) = 11*m - 6*m**2 + m**3 + 10 - 17*m + 5*m**3 + 8*m. Let t be q(3). Is t not equal to 124?
False
Let y(o) = 240 - 2*o - 90 - 121. Let s be y(14). Which is bigger: 6/23 or s?
s
Let j be (-10 - -17)/(1/(-24019)). Let h = -499532/3 - j. Let s = -1639 + h. Which is bigger: s or -16?
-16
Let s(o) = 436*o + 2191. Let t be s(-5). Is t at most 292/27?
False
Let d be (-88888)/(-30) - (-11)/3. Is 2966 <= d?
True
Suppose 4*t + 87 = -4*k + 427, -t + 172 = 2*k. Suppose -79*p + 232 = -k*p. Is p at most -27?
True
Let j = 2950 + -2950. Which is bigger: j or -1449?
j
Let x = -403/8 + 503331/9992. Let u = -5822 - -5823. Which is smaller: x or u?
x
Let a be (-1169)/7 + -11 + 5. Let q = a + 174. Which is greater: 1/19 or q?
q
Let u(o) = -o**2 + 9*o - 11. Let w be u(5). Let p be (-3)/w - (-52322)/87. Let i = -601 + p. Does i = -1?
False
Suppose 2*g = -5*l + 2, 3*g = -2*l - 0*l - 8. Let y be (-11 - 1)/(3/l). Suppose -9 = 3*i + 3*a, 3*i + 0*a - 3*a = -39. Does i = y?
True
Let n be 6/63 + 1160/609. Suppose -n*v - 927 - 46 = u, -4*v - 1941 = 3*u. Which is smaller: v or -488?
v
Suppose 0 = 5*x + j - 174, -150 = -4*x - 2*j - 12. Let l = 29 - x. Let s be -6 - (-96)/18 - 208/l. Is 34 > s?
False
Let v = 1 - 1.4. Let h = 0.5 + v. Let s = 90 + -92. Which is smaller: h or s?
s
Let p = 2789.1 + -2639. Let s = 150 - p. Let c = -24.35 - -0.35. Which is smaller: s or c?
c
Let j = -4177 + 4932. Which is bigger: j or 769?
769
Suppose -251979 = -82*u - 9*u. Is u bigger than 2769?
False
Suppose 0 = r + o - 16152, 0 = -r + 33*o - 40*o + 16200. Are r and 16146 equal?
False
Let c be 30/55 - (-7)/(-33). Which is smaller: 5297 or c?
c
Let n(l) = -l**3 + 11*l**2 + 8*l + 44. Let s be n(12). Let g be 23936/(-408) - s/((-1)/(-1)). Is g >= -1?
False
Let o(p) = 29*p + 39. Let d be o(12). Suppose 15*g - d = -27. Is g < 24?
False
Suppose -19*j + 24*j + 5 = 0. Let h be (-56 + 60)/(j/10). Let z be 2 - (0 - -3) - 40. Which is smaller: h or z?
z
Let g(r) = -6*r**2 - 10*r + 180. Let w be g(12). Is -3213/4 != w?
True
Suppose -102*r - 165 = -63. Is r >= 6/5351?
False
Let u = -3000.3853 - 3.6147. Which is smaller: -0.3 or u?
u
Suppose -2*p - 463*s + 458*s = -12621, 2*s = -2*p + 12636. Are 6323 and p nonequal?
False
Let h be 1479/(-495) + 0 + 3. Let b(k) = k**3 - 532*k - 70. Let n be b(-23). Is h >= n?
True
Suppose 5*k - 10*k = -6*k - 5733. Which is smaller: k or -1?
k
Let x = 24.8 - -79.2. Let w = 3471 + -3366.9. Let o = w - x. Is -6 smaller than o?
True
Let z(u) = -u**2 + u + 2. Let p be z(2). Suppose p = -0*s - 5*s - 100. Is s smaller than -1/15?
True
Suppose 106*l - 2 + 2 = 25*l. Which is bigger: -4/413 or l?
l
Let z = -74 - -72. Let s(r) = r**3 + 2*r**2 - r. Let x be s(z). Suppose x = -c + 1. Which is bigger: c or 4?
4
Let k = 14890 - 14872. Which is smaller: -21/17 or k?
-21/17
Let j = 552.1 + -551.9. Let h be 153/(-6)*8/12. Which is smaller: j or h?
h
Let u(g) = -g**2 + 21*g - 34. Suppose 2*k - 57 = -13. Let h be u(k). Which is greater: h or 1?
1
Let w be 22/(-88) - (-1441)/8372. Let z = w - -9/161. Which is smaller: 1 or z?
z
Let j(k) be the first derivative of k**4/4 - 14*k**3/3 + 6*k**2 + 22*k + 33. Let y be j(13). Let f = 1048/105 + -46/35. Which is smaller: y or f?
f
Let m(q) = -85*q + 783. Let p be m(9). Suppose -x + 5 = -15. Is p at least as big as x?
False
Let o = -762 - -1105. Let i(p) = -p**3 + 2*p**2 + 7*p - 10. Let a be i(4). Let c be o/a + (-3)/(-6). Which is smaller: -23 or c?
c
Suppose -27*p - 416 - 556 = 0. Let a be (p + 37)*(32 - 1). Which is smaller: a or 25?
25
Suppose -3*v - 6 = 0, 5*c - v + 187 = 489. Let i be 166/(-14) + ((-180)/70)/18. Let z be c/(-8)*(-1)/i. Is z <= 0?
True
Let w = 5047146/919 + -5492. Let k be 4/6*18/(-12). Is w greater than or equal to k?
True
Let d = 4621/15 - 1475/3. Which is smaller: d or -185?
-185
Suppose 255*m - 244*m = 4609. Let c = m - 756. Is c > -337?
False
Suppose -7*j = 12*j + 2*j + 65562. Is j <= -12489/4?
False
Let q = -126415 - -126415.3. Let v = -13.831 - 0.069. Let a = v - -15. Is a greater than q?
True
Suppose 3*m + 5*k = -2*m + 145, 4*k + 156 = 4*m. Suppose -2*z + m = 28. Suppose 0 = -d - z*d - 4. Are -1/29 and d equal?
False
Let k = 14.52 - 14.22. Is 7