 = -2*r, 0 = -5*o - 0*o - 25. Suppose 4*s + 100 = r. Suppose -4*k + 26 = -s. Which is bigger: 20 or k?
k
Let p(t) be the third derivative of t**4/24 + 3*t**3/2 - 7*t**2. Let w be p(0). Let n be w/18 - 50/(-12). Which is smaller: n or 4?
4
Let i be ((-1184)/20)/((-36)/15 - -2). Suppose 0 = 4*v + 3*q - 295, -5*q - i + 33 = -2*v. Which is bigger: 72 or v?
72
Suppose -4*i - 872 = 4*f, -11*i + 7*i + 4*f = 912. Let w = 224 + i. Is 8/97 != w?
True
Let h = 3428018588/13063 - 262422. Which is smaller: h or 1?
h
Suppose 3*t = -4*q - 16, 2*t + 3*q + 12 = 7*t. Let p be (t + 0)/(-3) - 4 - 2. Let h be (-7 - p)*((-2)/(-2) - -5). Is -8 > h?
False
Let o be -185 - (-33*1/(-3) - 3). Which is smaller: o or -2502/13?
o
Let g be (7/(-21))/(1/(-54)). Let x = 8 + -22. Let j be 3/(-2) + (-259)/x. Which is bigger: g or j?
g
Let d(v) be the third derivative of -13*v**4/12 + 83*v**3/6 + 3*v**2 - 7. Let o be d(5). Which is greater: o or -1?
-1
Suppose -5*h + 58 - 38 = 0. Let s be 2/h*0/((-2)/1). Let q = 31121/57 + -546. Is q greater than s?
False
Suppose 640*a = 549*a + 153153. Is 1683 < a?
False
Let l(s) be the first derivative of s**4/4 + 11*s**3/3 + 17*s**2/2 + 3*s + 17. Let p be l(-9). Let r be (p + -14)*1/(-5). Which is greater: r or -20?
r
Let d = -18064 + 21472. Is 3406 at most d?
True
Let z be (-8)/44 - 522218/(-748). Let j = 698 - z. Which is smaller: j or -1?
-1
Let c = -821 + 3285/4. Which is smaller: 18/83 or c?
18/83
Let m = 7 - 0. Let p = 6.1081 + 0.4919. Let x = m - p. Which is smaller: x or -1/7?
-1/7
Let o = 901.6 - -72.4. Is o less than -2?
False
Let m be 15/25*4 + 154/(-110). Which is bigger: m or -2/27299?
m
Let i = -2289 - -29785/13. Suppose -52*f + 42*f + 5 = 5*a, 0 = 3*f - 5*a - 8. Which is greater: f or i?
i
Let u(t) = -t**2 + 11*t + 62. Let p be u(-5). Let r be 9*-1*(p - -15). Does r = 0.6?
False
Suppose -8*k - 4*c = -6*k + 52, 0 = 3*k + 7*c + 80. Which is smaller: -27 or k?
-27
Let f(l) = 3*l**2 + 72*l - 74. Let i be f(-25). Which is smaller: -1/303 or i?
-1/303
Let s(h) = 14*h + 7. Let l be s(-3). Let g = 40 + l. Suppose 0 = 3*j - 2*b - 2, 0*j + g*b + 5 = 2*j. Which is greater: j or 3/4?
3/4
Suppose 421*w = 416*w + 165. Let g = -111 - -140. Which is smaller: w or g?
g
Suppose -21*h + 160 = -11*h. Suppose -4 - h = -4*m. Do -33 and m have the same value?
False
Let i = -35527 - -39424. Which is bigger: 11689/3 or i?
i
Suppose -4*h + 7 = -v - 32, h + 4 = 3*v. Let s be 3 + (12/(-48) - h/4). Is 3 equal to s?
False
Suppose 53 = 62*c - 195. Is -150 >= c?
False
Let w = 23.9 - 26.5. Let r = 76.1 - 76. Which is smaller: w or r?
w
Let r be (-4)/1 - (-2)/6. Let x(c) = -97*c**2 - c**3 - 3 - 14 - 38*c + 226*c**2 - 113*c**2 + 0*c**3. Let n be x(13). Which is smaller: n or r?
n
Let h be 12/(-3) + ((-34850)/70 - 3). Is h at most as big as -505?
False
Let j = 157 - 459. Let k = -3019/10 - j. Which is bigger: 1 or k?
1
Let s = -3.95 - -37.55. Let v = 34 - s. Let g = 0.6 - v. Which is greater: g or -0.06?
g
Let j be (4/(-38))/(4/(-60)). Let k = 1320 + -1319. Is j less than or equal to k?
False
Let i be -5 + (10 - (-213)/(-15)). Let j(o) = -1 - 9*o + 6 + 4 + o**2 + 0*o. Let g be j(6). Is i equal to g?
False
Let z = -1.52685 - 0.07315. Let d be (2/3)/(16/6). Which is bigger: z or d?
d
Let f = 6731 + -6732. Let t = 4.4 - 5. Is f > t?
False
Let m be ((60/(-9))/1)/(12/(-990)*-979). Is m at most -2?
False
Let h be ((-6)/(-252)*8)/(-1). Which is smaller: h or 23?
h
Let q be (-356656)/(-2138784) - (-7)/(-42). Do q and 1 have different values?
True
Let m(q) = q**3 - 5*q**2 + 2*q - 2. Let x be m(2). Let g = x - -8. Let o be (-11)/(-4)*(4 - (3 - g)). Which is smaller: o or 0.2?
o
Let y be (-40)/(-10) + (-56)/(-4). Let m(i) = 3 + 0 + 2*i + 22*i**2 - 5*i**2 - 2. Let b be m(-1). Is b < y?
True
Let r be 0 + 1 - (-1 - 0). Suppose 6*p + r*y = 3*p + 12, y - 3 = 0. Suppose 5*j + 15 = k, 6*j - 2*j + p*k = 2. Which is smaller: 1.2 or j?
j
Suppose -o + 2*q = 930, 0 = -2*q + 82 - 96. Is o greater than -946?
True
Let t be (-1743)/553*28/(-21)*-1 + 3. Which is smaller: -1 or t?
t
Suppose c - 5*n = -n + 189, -c + 194 = -5*n. Suppose 130*s - 382 = 9794 + 11534. Is s smaller than c?
True
Let b be (-1260)/19110*(-2)/(-56). Is b > -1?
True
Suppose -4*d + 623 = -3*u - 19630, 5*d - 5*u - 25315 = 0. Is d at most 5064?
True
Suppose t + 312 + 267 = -3*g, -3*t + 5*g = 1667. Let z = -574 - t. Does z = -5?
False
Let r be ((-3)/28)/((-42)/4). Let g be 2/(-10) + ((-63)/140)/((-6)/16). Which is smaller: r or g?
r
Let t(k) = -494*k + 3961. Let l be t(9). Which is smaller: -479 or l?
l
Let h be 338/91 + (-2)/(-7). Suppose -2*c - 18 = -h*j, -5*c - 5*j - 15 = 45. Let l be 14/4*(c + 13). Does 6 = l?
False
Let j = 3038 - 3037. Which is smaller: j or 1/60?
1/60
Let r(s) = -4*s. Suppose f = 2*f - 3, 0 = 3*o - 3*f - 6. Suppose -4*p + 15 = -o*z, 10*p - 21 = 4*z + 5*p. Let v be r(z). Is v greater than or equal to 0?
False
Let q be (15/(-6))/((-57)/38). Suppose 5*i - 5*v = 15, 4*v = -3*i - v + 33. Let y = i - 3. Is y at most as big as q?
False
Let m be 956/(-6)*(-264)/(-16). Let r = m - -34147/13. Let l(u) = -u**2 + 70*u - 139. Let j be l(2). Is j not equal to r?
True
Let k be (79/(-237))/((-12)/9). Is -47.45 at most as big as k?
True
Let k = 1284.8486 - 1285. Let g = k - -0.0514. Which is greater: g or -56?
g
Suppose 5*o + c + 22 = 0, -5*c + c + 4 = -3*o. Let k be 10 + o - 378/3. Do k and -120 have different values?
False
Let o be -5*1 + (-228)/(-44). Let a(q) = q**3 + 17*q**2 - 20*q - 26. Let l be a(-18). Suppose 26 = 2*t + l. Do o and t have the same value?
False
Let k be -14 + 28424/391 - (-1 - -2). Is k != 57?
True
Let y(g) = -23*g**2 + 167*g - 53. Let n be y(9). Are -1.2 and n unequal?
True
Let l = 104 - 368. Let d = l - -265. Let u = -2 - -7/4. Which is bigger: d or u?
d
Let t = 0.48544 + -12.48544. Let o = -4.3 - -4. Which is smaller: o or t?
t
Suppose a - 3*u = -53, -5*u + 33 = -2*a - 73. Let x = 19825 - 19876. Which is bigger: x or a?
x
Suppose 4*b + 431 = -p, -4*b - 26 = -2*p + 396. Which is bigger: b or -1386/13?
-1386/13
Let v be (-20)/8*(-4 + 2). Suppose 0 = -2*a + v*a + 2*s + 10, -a - 25 = 5*s. Let b be (-4)/39*(3 - -3). Is a != b?
True
Let b be ((-78)/4 + 3)*-2. Suppose a + b = 10. Let l be 2*1 + 20 + a. Which is greater: -3/56 or l?
-3/56
Let i(w) = w**3 - 22*w**2 - 47*w + 693. Let l be i(22). Is -338 greater than or equal to l?
True
Let u = -6.82 - -7.162. Is u equal to 3?
False
Suppose 49*l - 5264 = -3059. Let a(i) = 10*i**2 - i + 2. Let p be a(-2). Is p >= l?
False
Let n(a) = a - 1. Let b = 16 + -16. Let d be n(b). Let x = -130 + 649/5. Which is smaller: d or x?
d
Let z be (4/(-6))/(12/1968). Let o = z - -109. Let j(s) = 2*s + 8. Let u be j(-6). Are o and u equal?
False
Let c(r) = 104*r. Let w be c(-1). Let o be (1 - 10/6)*156. Is w < o?
False
Let f = 60 + -94. Suppose 2018 = -141*q - 1930. Is f less than or equal to q?
True
Let v(c) = c**3 + 25*c**2 - 41*c + 317. Let u be v(-27). Which is smaller: -271/8 or u?
u
Let m = -220 - -217. Let y be 1 - (-9 + 9)/(12/m). Are y and 2/41 non-equal?
True
Let i be (-4)/612*318*-3. Which is smaller: i or 7?
i
Suppose -31*p = -35*p - 3*i - 3791, 2*p = 4*i - 1912. Is p < -948?
True
Let l be (1536/640)/(54/40). Let j = -2 + 6. Suppose 2*t + j*z - 2 = -4, 0 = 5*t + 5*z. Which is smaller: l or t?
t
Let j = 1.7772 + -1.7772. Is 196/51 not equal to j?
True
Let z be (-46480)/(-861249) - (-66)/(-1221). Which is smaller: -1 or z?
-1
Let i be (-45)/(-75)*73785/(-9). Which is smaller: i or -4920?
-4920
Let p = -10221 + 10221. Which is bigger: p or -0.559?
p
Let x = 1385676 + -73438524/53. Which is smaller: x or 44?
x
Let l = -9230 - -14609. Is l at most as big as 5380?
True
Let q = -18.82 - -19.12. Let z = 31.1 - 0.1. Is z at most q?
False
Let j(b) = b**2 + 8*b - 15. Let i be j(-10). Suppose l - 3 = i*r, -3*r = 7*l - 10*l - 3. Is r >= -34/15?
True
Suppose 0 = 3*s + 4*h - 8, -3*h + 6 - 1 = 2*s. Suppose s*p + 47 = -4*m + 171, 5*m + 2*p = 155. Which is smaller: 32 or m?
m
Let j(o) = -21*o**2 + 3*o - 8. Let b be 6 + (-10 - (-18)/3). Let v be j(b). Is -86 greater than or equal to v?
True
Suppose -7*c + 365 = -8700. Which is bigger: 1296 or c?
1296
Let h be (8/12 - 11/12) + (-7011)/4180. Which is bigger: -3 or h?
h
Suppose -3*g = 4*p - 0*g - 28, 3*p + 4*g = 28. Suppose -3*f