)/(-48). Is p at most m?
False
Let p = 79.8 + -24.6. Let n = p - 55.3. Is 0.05 less than n?
False
Let a = -0.30423 + 88.99723. Let p = a + 0.307. Which is smaller: p or -2/5?
-2/5
Let i = -4390 - -83430/19. Let u = i + -252/95. Which is bigger: -0.3 or u?
-0.3
Let f = -18 - -16. Let u be -2 - (265/29)/(-5). Let t = u - -112/145. Which is smaller: t or f?
f
Let o(w) = -w**2 - 3*w - 3. Let m(b) = b**3 - 5*b**2 - 7*b + 4. Let u be m(6). Let h be o(u). Let x = -13829/19030 + -1/1730. Which is smaller: h or x?
h
Let s be (90/(-25425))/((-5)/(-150)). Suppose -c + 4*w + 8 = 4*c, 5*c + 4*w = -8. Which is bigger: c or s?
c
Let w(m) = 2*m**2 + 94*m - 202. Let g be w(-52). Which is bigger: g or 18?
g
Let k = -0.27832 + -118.55168. Is 0.1 less than or equal to k?
False
Suppose -4*s = -27 + 7. Let g be s*(1 - (-87)/15). Let k be (4 - g/8)/(1/(-4)). Which is smaller: -0.07 or k?
-0.07
Suppose 5*c = -4*f - 3, -c - f - 4 = -3*c. Is c at least as big as 56/365?
True
Let d be (1/(-3 - -2))/(6/(-1104)). Suppose -d - 258 = -13*j. Is j less than 33?
False
Let h be (-12)/7*(-490)/100. Let j be (-90)/(-15) - (-4 + 1). Which is smaller: j or h?
h
Let b = 3646 - 2125. Which is smaller: 4/5 or b?
4/5
Let m(g) = 2*g**3 + 14*g**2 - 189*g + 77. Let b be m(-14). Which is smaller: -618/29 or b?
-618/29
Let n(a) = a**3 + 4*a**2 + 4*a - 4. Let w be n(-4). Suppose -2*i = 11*i - 39*i - 598. Is i at most as big as w?
True
Let a(u) = 88*u**2 + 13*u - 3. Let i be a(-5). Let o = i + -14876/7. Which is greater: o or 7?
7
Suppose 0 = -41*b + 38*b + 219. Suppose -b = 10*f - 63. Which is smaller: f or -41?
-41
Let b = 33 - 30. Suppose -o - b*s = -253, 10*o + 539 = 12*o - 5*s. Which is bigger: o or 261?
o
Let v = -44941 + 44940. Is -4/14321 greater than v?
True
Let s = -17320 + 19306. Which is bigger: 1989 or s?
1989
Suppose -3*u + 159 = -27. Let y be 6/u*(-3)/9. Let p = 28/5 - 6. Is p less than y?
True
Let v(o) = 2*o + 6. Suppose b - 5*b = 16. Let a be v(b). Suppose 113 = 20*y - 109 + 162. Is a at most y?
True
Suppose 20797 + 3391 = 23*p + 429. Do -4 and p have the same value?
False
Let z = 5532593/13 - 425582. Suppose 1 = 5*m - 4. Which is bigger: z or m?
z
Suppose 3698*a = 3668*a - 10 - 50. Let p be (-2)/(-5) + (-396)/340. Is a not equal to p?
True
Let d = 102.34 + -4.34. Which is greater: 2.7 or d?
d
Suppose -210*o + 272 = -142*o. Is 26/9 bigger than o?
False
Suppose -5*f - 4*n = 12, -13*f = -18*f + 4*n - 28. Let g be -2 + (f/2 - 3612/(-900)). Which is smaller: g or 1?
g
Let j be ((-20)/550)/((-5592)/30)*-12. Which is smaller: j or -1?
-1
Let o be ((-9)/1 - -22)*-3. Suppose 37 = 2*m - 3*m. Is m not equal to o?
True
Suppose 12*g - 664 = 1004. Suppose -55 = i - 194. Is g at least i?
True
Let m = 113 + -113.31. Let z = 117.69 - m. Let y = 107 - z. Which is smaller: y or -1?
y
Let l be ((-744)/21)/(-31) + 0. Which is greater: l or 547?
547
Suppose 0 = -74*t - 268 + 46. Let c = -294/9389 + -4/229. Which is bigger: c or t?
c
Let k(w) be the second derivative of w**5/20 - 7*w**4/12 - 3*w**3/2 + 5*w**2 - 19*w. Let z be k(8). Suppose z*v + 5 = 13. Which is smaller: v or 3?
3
Let n = 19081 + -14260. Is 4821 greater than n?
False
Suppose -32*z + 3237 = 229. Let v be 6/15 + 488/5. Let y = z - v. Which is smaller: y or -3?
y
Suppose 119 = n - 2*q - 1125, 0 = 4*n - 2*q - 4976. Let p = -197798/159 + n. Let v(u) = -u**3 - 5*u**2 - 5*u - 3. Let h be v(-4). Which is greater: p or h?
h
Suppose 0 = 28*b - 23*b - 1590. Is 319 > b?
True
Let g be (2/4)/(10 + 186802/(-18683)). Let h = g + -336. Which is greater: -1 or h?
-1
Let v be (-120)/(-600) - 19/45. Is v >= 296?
False
Let r be 2206208/(-576) + (-2)/(-9). Which is bigger: r or -3831?
r
Let s = 2903.3 - 2905. Do -32 and s have different values?
True
Let k be 1209/26 + -5 + -9. Which is greater: k or -10?
k
Let m = -30 + 30.264. Let v = m + -0.564. Is -4/27 > v?
True
Let k = 536.0498 - 536. Let l = k - -0.0432. Which is smaller: 0 or l?
0
Let p = 0.0051 + 8.9949. Let q = 2.069 + -0.069. Is p <= q?
False
Suppose -12 = 4*n, -3*n - 436 = s + 3232. Is s != -3661?
True
Let o be -19 + 104/5 + 2/10 + 0. Suppose 0 = 5*n + 5. Let c be 1*2 - (1 - n). Is c >= o?
False
Let h(z) = z**3 - 5*z**2 + z - 2. Let q be h(5). Let s = q - 4. Let y(t) = -t**3 - 115*t**2 + 1111*t - 637. Let p be y(-124). Is s > p?
True
Let w be 300/(-44) + 3*2/(-33). Let o be 0*(w - (-39)/6). Is -20.2 equal to o?
False
Let m be (352/(-55) + 6)/(1*(-1)/1160). Is 460 not equal to m?
True
Suppose -10742 = -b + 5*g, 0 = 11*g - 13*g + 16. Are 10782 and b unequal?
False
Let l = -0.051646 + -61.046354. Let d = 61.2 + l. Which is smaller: d or -2?
-2
Let t = 34 + -31. Suppose -8 = -t*j - 2. Suppose 0 = -11*h + 13*h + j. Is h greater than 2/27?
False
Let c = 86651/7 + -12407. Let l = c - -172/7. Is -0.1 at least as big as l?
True
Suppose 40*r - 380520 = -128*r. Are r and 2265 equal?
True
Let o = -506 + 565. Let h = 80.5 - o. Which is smaller: 1 or h?
1
Suppose 104*r = 106*r - 8, -5*v - 4*r - 214 = 0. Let c = -67 - -22. Which is bigger: v or c?
c
Let m = -194 + 193. Let h be (m - -1)/(-7 + 6). Is -2/129 at least as big as h?
False
Let w = -236.59 + 235.99. Which is bigger: w or -1022?
w
Let o be -1*1072/(-76)*75/(-726). Let w = o + 174/121. Is w > 1?
False
Let i = -180 + 193. Suppose 12*c - 4 = i*c. Is -5 greater than or equal to c?
False
Let i be -32*((-4 - 3)/(-7) + (-2)/(-4)). Which is bigger: i or 24?
24
Suppose -3*q + 5*u - 15 = -0*u, 0 = 4*q + 3*u - 9. Let l = 39 + -1419. Let t be ((-45)/l)/(1/24). Are t and q equal?
False
Let q = 646 + -746. Let b = q + -114. Are -427/2 and b equal?
False
Let o(m) = -m**3 + 7*m**2 - 6*m + 7. Let u be o(5). Let h = -114792 + 114813. Which is greater: u or h?
u
Let x = 1165 + -3470. Are -2307 and x unequal?
True
Let t = -5.92077 - 0.07923. Which is smaller: t or -148?
-148
Let q be (5/2)/((-130)/52). Is q > -5/921?
False
Suppose 38 + 77 = -5*t. Let q(n) = -2*n**3 - 45*n**2 + 24*n - 18. Let i be q(t). Do i and -39 have the same value?
False
Let f(s) = s**3 - 72*s**2 + 493*s + 1195. Let l be f(64). Suppose -u + 0*u = 0. Suppose -4*d = 5*q + 79, u - 55 = 4*d - 3*q. Do d and l have different values?
True
Suppose 0 = -5*k - 3*t + 6, -4*k - 2*t + 0*t + 4 = 0. Suppose -3*c = -2*i + 19, -5*i + k*c = 2*c. Let o be 82/i + 2 + -3. Are 40 and o equal?
True
Let d = -41 - 16. Which is greater: 0.1 or d?
0.1
Let v = -0.45 + -3.85. Let y = 1.3 + v. Which is smaller: 4 or y?
y
Let c = -3216 + 3215. Is c <= 6/67?
True
Let o be (119/(-1015) + 6/(-15))*(-150)/(-18). Is o < -5?
False
Let t(w) = w**3 - 13*w**2 + 13*w - 7. Let l = 44 + -32. Let u be t(l). Let f be 105/33 + (-2)/11. Which is bigger: u or f?
u
Let s = -583/20 + 10997/380. Is -1.25 equal to s?
False
Let z = -82/711 - 12444442/7821. Let s = z - -1588. Let w(b) = b - 7. Let j be w(5). Which is smaller: s or j?
s
Let x(i) = 10 + 50*i**2 + 48*i**2 - 6*i - 97*i**2. Let g be x(4). Suppose -5*s + 2*s + g = q, s - 5*q + 26 = 0. Does s = 1/68?
False
Suppose 4 = 5*q - c, 2*c + 4 = -4. Suppose -3*f = -9 - q. Let i be (-10)/13 + -5 + f + 3. Are 1 and i non-equal?
True
Suppose -2*g = 4*n - 10, -4*n + 2*g = -12 + 14. Let o be ((-48)/(-972))/(2/(-6)). Which is greater: n or o?
n
Let p = -332 + 333.05. Let z = p - 2.75. Which is smaller: z or -6?
-6
Let m = -172786/154628557 - -6/36913. Is m at least as big as 1?
False
Let i be (-3)/(6/(-308)) - 2. Let v be 4 + -6 + (-416)/(5 + -9). Let x = i - v. Do 49 and x have different values?
True
Let g be 442/(-130) + (36/(-15))/4. Suppose -f = 3*p + 26, -p - 4*p - 44 = f. Let u = g - p. Is 7 at most u?
False
Let v be 1*((-8)/(-76) - (-34)/38). Let n(g) = 65*g**3 + 3*g**2 - 7*g + 6. Let w be n(v). Which is bigger: 62 or w?
w
Let b(s) = -5*s**3 + 8*s**2 - 25*s + 4. Let r be b(2). Is -2 less than r?
False
Let y be (0 - (-8)/(-3))*391274/2424. Is -431 at least as big as y?
False
Suppose 0 = 5*u + 5*y - 75, 24*u = 22*u - 4*y + 36. Let s be (-9)/u*-3*(3 + -11). Which is bigger: s or -19?
s
Suppose -17 = 4*j + 31. Let r be 10/(-1925)*(-20)/j. Is 1 smaller than r?
False
Let r = 64.684 - -5.416. Is r != -5?
True
Suppose -g - 396 = 46*i - 45*i, 0 = -5*i - 3*g - 1982. Is i at least -399?
True
Let z = -6611 - -6034. Is -576 less than or equal to z?
False
Let y(m) = -m**2 + 19*m + 25. Let x be y(10). Let d