5/10. Let g = i - -10. Which is bigger: g or u?
u
Let f be -222*((-60)/(-8))/5. Let t = -328 - f. Which is bigger: t or 17/4?
t
Let k be (-3)/(-12) + (-58)/8. Let q = -2396 + 9561/4. Which is smaller: q or k?
k
Let c = 5 - 10. Suppose 4*s + 15*o = 14*o - 88, 5*s + 3*o + 103 = 0. Is s < c?
True
Suppose 4*r + 2*x - 22 = 0, 15*r - 37 = 11*r - 5*x. Which is greater: r or 139/35?
139/35
Let b = 0.1 - 0.15. Let a(v) = 56 - 41*v**2 - 2 + 2*v**3 - 35*v - 3*v**3 - 3*v + 24. Let o be a(-40). Are b and o unequal?
True
Suppose 3*k - 4*k = -6. Let d be (124/(-30) - -4) + (-56121)/(-45). Let q = d + -6208/5. Is k at most as big as q?
False
Let c be (-68)/(-119) + 66/(-287). Suppose -5 = 10*f + 5. Which is greater: c or f?
c
Let w = -2 - -1. Suppose 19*s - 44 + 7 = -436. Which is greater: s or w?
w
Let b be -1 - (-15)/12 - 3/12. Let l be (3/(-155))/(3 - (-21)/(-14)). Which is greater: l or b?
b
Let v(x) = 41*x - 2993. Let z be v(73). Is z less than -2/3869?
False
Suppose -20 = 134*v - 139*v. Let q be ((-3)/(15/v))/((-26)/780). Which is greater: 3 or q?
q
Let a = -462.31 + 460. Let s = -0.31 - a. Are s and 64 nonequal?
True
Let r = 17606/3 - 36638080/6243. Is 0 > r?
False
Let g be (-48 + -257)/((-12)/2). Which is bigger: g or 50?
g
Suppose -4*q - 2*d = 2, -119*q + 122*q = 2*d - 12. Let n be 105*(-4)/3068 - q/13. Suppose 3*p - 1 = 2. Is p less than n?
False
Let r(p) = 75*p**2 + 97*p + 6. Let q be r(-3). Is 387 at most as big as q?
True
Let w = 37 - 147/4. Let l = -4055 + 166253/41. Is w > l?
True
Suppose 0 = 5*i - 5*f - 2080, -5*f = 3*i - 7*f - 1242. Which is smaller: i or 4524/11?
i
Suppose 2*i + 79 = -u - 0, 0 = -i - 3. Let d = u - -74. Let j be d/(-2)*4/19. Which is smaller: -10 or j?
-10
Let x(l) = l**3 + 5*l**2 - 7*l + 1. Let z be x(-6). Let a = -502 + 283. Let g = -222 - a. Which is smaller: g or z?
g
Let c(a) = 36*a - 73. Let w be c(3). Let u be (-3)/(3/w) + 2/1. Which is smaller: 3/4 or u?
u
Let c = 820.0104 + -820. Is c > -3?
True
Let t be (-2)/(-3) - 128/174. Let n = -1.92107 - 0.07893. Is n greater than or equal to t?
False
Let u(q) be the first derivative of -q**4/4 - 5*q**3/3 - 5*q**2/2 - 4*q + 11. Let c be u(-4). Suppose c = -z - z + 46. Is 24 smaller than z?
False
Let u = 404 + -403. Is 11/404 != u?
True
Let x(r) = r**2 - 56*r + 171. Let p be x(45). Let v be -6 + -15*p/750. Do -1 and v have the same value?
False
Let b = 525 + -526. Which is smaller: -2/3913 or b?
b
Let h = -23 - -6. Let t = -17.39 - h. Let l = t - -0.36. Is l less than or equal to 1?
True
Let w(l) = 30*l - 13. Suppose -24*g = 15 + 9. Let j be w(g). Is -43 > j?
False
Let u be 7*((-5)/(-1) - 1881541/(-1337)). Which is bigger: u or 9887?
9887
Let b = -1921 - -2056. Which is greater: b or 168?
168
Let x(v) be the third derivative of -24*v**2 - 1/120*v**6 - 1/6*v**3 + 0 + 0*v + 11/60*v**5 - 1/3*v**4. Let l be x(10). Which is greater: l or 0?
l
Let m be -20*42/105 + 8/(16/(-10)). Let s = -5/14 - -13/56. Is s greater than m?
True
Let u = 351 - 348. Let n be ((u*-1)/3)/((-30)/7650). Is n greater than 255?
False
Let a be (3 + 38527/(-12843))*12*(-21)/(-588). Is 1 > a?
True
Let v(u) = u**2 - 3*u - 10. Let p be v(6). Let m be 5/(-15)*(-6)/p. Let g = 2/245 + 472/2205. Is m bigger than g?
True
Let u = 513 - 513. Suppose u = 49*i - 53*i - 32. Does i = -25?
False
Let s be 12/2456*(-4)/3. Let h be 0*(-8)/(-32)*(-1)/3*3. Which is bigger: h or s?
h
Let z be (0 + (-26)/45)/(25880/21180). Let s = z - -4/647. Are s and 0 non-equal?
True
Let t be (-1)/((10/20)/1). Let m = -75 + 119. Is m <= t?
False
Let w = 379 + -465.8. Let c = w - -88. Let a be 3/(2 + -1 + 0). Which is bigger: c or a?
a
Let t = -0.414 + 0.193. Let g = -0.024 - t. Which is bigger: g or 1?
1
Let u(c) = -13*c + 6. Let k be u(-28). Let p be 284529/770 + 4/22. Let j = k - p. Which is smaller: j or 0?
0
Let g = 1.3559 + -0.6421. Is g at least -1?
True
Let q be 9784/(-24) - 10/(-15). Let g = q + 393. Let h = 0.5 + -0.6. Which is greater: g or h?
h
Let k(s) = 31*s + 3221. Let t be k(-104). Which is bigger: -0.0282 or t?
-0.0282
Let q be 12/42 + 29/(-28) - 456211/(-608300). Which is smaller: q or -1?
-1
Let b be (-48671)/5408 - (-7 + -2). Which is greater: 0 or b?
b
Suppose -17*a = -27*a - 1030. Let j = -102 - a. Is 4/11 <= j?
True
Let c = -6.591 - -6.3192. Is -0.1 at most as big as c?
False
Suppose -27*w + 20168 = -68311. Is w at least as big as 3278?
False
Let t = 990 + -1034. Is -4 >= t?
True
Let s = 87061827/2597 - 33524. Which is bigger: 0 or s?
0
Let x = 26493 + -26814. Is 22 at least as big as x?
True
Let q = 238 - 1214/5. Suppose 908*d - 191 = 1000*d + 269. Which is smaller: q or d?
d
Suppose 132*w = 54*w - 116*w - 688506. Is -3549 < w?
False
Suppose -226115 = -111*j + 307*j + 441069. Are j and -3403 unequal?
True
Let q be (-8)/8*(-942)/(-22) + (-28)/154. Suppose -2*v - 76 = 3*s, -3*v - 4*s - s = 113. Is v greater than or equal to q?
True
Let n be 42/(6 - (-75)/(-12)). Let m be (-32)/(-202)*(-10 + n/(-16)). Which is smaller: m or 0?
0
Let q(a) = a**3 + 8*a**2 - 32*a - 7. Let l be q(-11). Let d(b) = b**2 + 10*b - 135. Let t be d(l). Are t and 10 equal?
False
Suppose 3488 = 12*l + 7412. Which is greater: l or -314?
-314
Suppose 19*f + 24 = 21*f. Suppose 4*o - 64 = -f*o. Suppose d - 4 = o. Is d at most as big as -1/7?
False
Let p = 0.4 + -0.3. Let k = -0.159 + 176.159. Let y = k + -171. Which is smaller: y or p?
p
Let s be (-808)/(-96) + 19/57. Is s at least as big as 8?
True
Let t be ((-24)/18)/(8/(-18)). Suppose -132 = -t*u - 3*c, -47 = -u + 5*c + 3. Which is smaller: -2/3 or u?
-2/3
Let t = -0.4372 - -199.3372. Let f = t - 199. Do f and -5/8 have the same value?
False
Let d = 0.09 + -0.19. Let t be ((-140)/60)/((-2)/(-24)). Are d and t equal?
False
Let d = 20 - 17. Suppose -d + 13 = 5*p. Suppose p*w - 2 = -0. Which is greater: w or 2/7?
w
Let y be 76/190*(-15)/6. Is y less than or equal to -22/2733?
True
Let d be (-35 + 34)*(-1 - 790). Let r = d - 1569. Is r <= -777?
True
Let f = 90.53 - 91. Let n = 19121/3 - 6374. Are f and n unequal?
True
Let l = -134747/3 + 44313. Is -604 at most l?
True
Let l = 0.649 + -0.549. Which is greater: -16379 or l?
l
Let b = 134 - 144. Let q(m) = -m**3 + 10*m**2 - 9*m + 5. Let u be q(9). Suppose -u*j - 5*a - 75 = 0, 0 = 5*j + a + a + 63. Do j and b have different values?
True
Suppose -713*d + 716*d - 5*j - 2 = 0, -4*j - 8 = -4*d. Let r(t) = -t**3 + 4*t**2 - t + 1. Let s be 40/15 - 2/(-6). Let z be r(s). Which is smaller: d or z?
d
Let y be (-142)/(-72)*2 + -4. Let c = 1/1412 - 9181/4236. Let l = c - -5/3. Which is smaller: y or l?
l
Suppose -150110 = 257*y - 223*y. Are y and -8827/2 unequal?
True
Let p(d) = -4*d**2 + 58*d - 571. Let j be p(9). Is j at most -360?
True
Let f = 6865 + -6865.021. Which is bigger: -9 or f?
f
Suppose l = -4*v - 879, -18 = -5*l + 7. Is -216 at least v?
True
Let t(a) = -a**3 + 5*a**2 + 7*a + 2. Let z be t(6). Let u be 3/(905/(-454) + -14 + 16). Let v = -445 + u. Which is smaller: v or z?
z
Let f = 2746 + -2654. Is 1728/19 greater than or equal to f?
False
Let i(n) = n**2 - n - 24. Let f be i(7). Let s(v) = f*v - 8*v - v - 4*v**2 - 1 - 6*v. Let l be s(2). Which is smaller: l or -12?
-12
Suppose -388 + 63 = -105*t + 95. Which is bigger: -542/3 or t?
t
Let n be 11 - ((-16290)/(-78))/(-5). Which is smaller: 53 or n?
n
Let b = 118 + -208. Let o(r) = -3*r**2 + 46*r + 267. Let v be o(21). Is v at least b?
True
Let r be (32179565823/(-2970) - (-4)/10)/(-350). Let z = -278612/9 + r. Let x = -1/308 + z. Which is smaller: -1 or x?
-1
Let v = -17446/17 - -1028. Is v != 3?
True
Suppose -7*t - 234 - 60 = 0. Suppose 0 = 5*v - 10, 2*r + 101 = 5*r - 2*v. Let x = t + r. Is -11 > x?
False
Let m = 220 + -217.6. Let z = m - -13.6. Which is smaller: 4 or z?
4
Let r be 4/(-12) + 692/6. Let t = r - 102. Suppose 6*h - 3*h = -y + 20, 10 = y - 2*h. Does t = y?
False
Let c = -44994 + 181699/4. Is 431 != c?
True
Let v = 150.43 - -3.57. Let o = -152 + v. Is -7/25 at most o?
True
Let m(x) = -28*x**3 - 2*x**2 + 1. Let r be (3/6)/(2/4). Let a be m(r). Let c = -105.23 + 105.13. Which is smaller: c or a?
a
Let m = -36 - -65. Let z(j) = -601*j**3 - 8*j**2 + 5 + 16*j + 304*j**3 + 298*j**3. Let h be z(6). Are m and h equal?
True
Let q = -1523.96 + 1524. Is q less than 0.034?
False
Let a(n) be the second deriva