8/11 + 280. Which is smaller: s or b?
s
Let z = -4 + 2. Let p be ((-2)/2 - -53)/(23 - 21). Let r = z + p. Which is smaller: r or -2/3?
-2/3
Let u = 634/3 - 211. Let q = 596 - 423. Which is smaller: q or u?
u
Let t be 4/138*9/195. Let n be ((-104)/8450)/((-92)/34490*1). Let x = t + n. Which is smaller: 5 or x?
x
Let o = 4119/1624 + -72/29. Suppose 0 = -p + t + 2, -4 + 1 = -2*p + t. Is o < p?
True
Let d(k) = k**3 - 22*k**2 - 100*k - 105. Let w be d(26). Which is smaller: w or -118/71?
-118/71
Suppose 4*l - 627 - 53 = 0. Let q = l + -139. Which is bigger: 158/5 or q?
158/5
Let i be 45/25*(-100)/(-30). Suppose -i*j + 47 = 53. Which is greater: j or 3/103?
3/103
Let f(v) = v**2 + v - 5. Let y be f(2). Let u be (3/(-507))/((-2 + y)/(-1)). Is -1 smaller than u?
True
Let x = -1086 + 1086.2. Let v(h) = 2*h**3 + h**2 - 10*h + 10. Let s be v(3). Which is smaller: x or s?
x
Let q(v) = v**2 - 10*v + 2. Let u be q(9). Let m = 97 + -121. Let s be 8/m - 34/6. Is u at least s?
False
Let l be 20 - 4/27*156. Which is smaller: -2.11 or l?
l
Suppose 5*q - 10*q = -25. Suppose -3784 = -q*g + 256. Which is greater: 809 or g?
809
Let z be (1 + (-8701)/8705)/((-162)/135). Let s = z - 31244/245481. Is -1 < s?
True
Let i = 86 - 81. Suppose -2*b + 729 = 3*l, i*l - 544 - 696 = 5*b. Is l < 245?
False
Let l = 1 + -2. Let g = -3/685 + 8277/13015. Let h = g - 578/855. Which is greater: h or l?
h
Let h be -1 + ((-23321)/190 - -2) - 2. Let t = 72/95 - h. Let k = t + -15185/122. Which is bigger: k or 0?
k
Suppose 0 = 39*w - 115*w + 152. Which is smaller: 1 or w?
1
Let n = 18137.17 - 18138. Is -3/116 equal to n?
False
Suppose 1633 + 589 + 1426 = 19*y. Is 189 <= y?
True
Suppose -81*y - 24 = -87*y. Suppose 4*i - 2*x = -0 - y, 5*i - 21 = -4*x. Let n be (-206)/654 + 4/12. Which is greater: i or n?
i
Let k = -1.3601 + 0.3601. Is -1119 not equal to k?
True
Let v = -508 - -483. Let g(l) = -23*l**2 + l - 2. Suppose -7*o = 1 - 8. Let w be g(o). Is v less than w?
True
Suppose -4*v + 367 = 375. Let z be (-2612)/10*-5*(-1)/v. Is 653 equal to z?
True
Suppose -2*m + 3 = -7. Suppose m*l - 4*l - 4 = 0. Suppose -4*r - 17 + l = 5*k, -3*k - 27 = -4*r. Is r <= 5?
True
Let s = 5.04 - 5. Let f = s + -0.39. Let b = 15.35 + f. Is -0.1 at most b?
True
Suppose -5*w = -w - 112. Let u be 10*((-14)/(-28) + -7). Let j = w + u. Is -35 > j?
True
Let l(s) = 7*s + 36. Let w be l(-9). Let g be 2/(-9) + (-60)/w - -1. Suppose -5*f + j + 6 = 0, -5*f + j = g*j - 18. Which is greater: f or 0.13?
f
Let i = -1121/11 + 40872/407. Does i = -2?
False
Let f = 292 + -292.564. Let x = 35.736 - f. Let u = x + -36. Does u = -2/3?
False
Let v(n) be the third derivative of -n**6/60 - 7*n**5/60 - n**4/4 - n**3/2 - n**2 + 4. Let d be v(-2). Which is greater: -26/9 or d?
-26/9
Let r be ((1192/(-5))/(-4))/(2640/50 + -16). Does r = 3?
False
Let w = 1301009/19 - 68523. Let x = w + 48278/969. Let f = x + -487/17. Which is smaller: -28 or f?
-28
Suppose 90 = 195*h - 204*h. Let d be 1/((-75)/h + -5). Suppose -q + 0*q = 0. Is q at most d?
True
Suppose 4*j = 10 - 2. Suppose -2*l - l - 5*c = -27, l + j*c = 10. Let d = 1.09231 - 0.09231. Is l > d?
True
Let f(v) = -38*v**2 - 157*v - 586. Let w(r) = 7*r**2 + 31*r + 117. Let u(y) = 2*f(y) + 11*w(y). Let o be u(-20). Is -27 < o?
True
Suppose -8*z = -4*z - 88. Suppose 21*m - 15*m - 24 = 0. Let d = m - -19. Which is bigger: z or d?
d
Let n be (6/(-8))/((-21)/49). Suppose -128 + 171 = 43*l. Is l greater than n?
False
Let j = -16899/5 - -3398. Is j equal to 17?
False
Suppose -3*b - 353 = -u - 448, -23 = -b - 4*u. Which is smaller: 15 or b?
15
Let n be (-78)/(-10) + (-17)/(-85). Let x = n - 4. Suppose 2*l - 8 = x*i - 2*i, 3*i = -2*l + 8. Which is bigger: l or 2?
l
Let o = -3681 + 3682. Is 2/16413 != o?
True
Let z be (-9197)/61897 - (-10)/55. Which is smaller: -1 or z?
-1
Let l = 1102754/35 - 155152/5. Which is smaller: 478 or l?
l
Let k = 305/2766 + 26/461. Which is greater: 0.2 or k?
0.2
Let m = -90 + -23. Let o be (m - 2)/(3/3). Let c = o - -112. Which is bigger: c or -30/11?
-30/11
Suppose 4 - 6 = 2*q. Let g be (-3 + 157/51)*190/1520. Is q greater than or equal to g?
False
Let d = -3229 + 3029. Which is greater: d or -205?
d
Let v = -859484101 - -5470616281219/6365. Let p = -1/1273 - v. Is 3 >= p?
False
Let d(t) = -69*t**2 + 57*t + 10. Let z be d(-5). Is z at most as big as -2000?
True
Let p = 18539 + -18538.9. Which is smaller: p or -0.4059?
-0.4059
Let s = -2.1 + 2. Let d = -579 + 398. Let p = d + 164. Is p less than s?
True
Let p(b) = 94*b + 8. Let c be p(12). Let q = c + -7906/7. Is q less than 7?
True
Let q be 2/5 - (360/25 - -4). Let j be (18/q)/(93/(-95) + 1). Are 0.2 and j non-equal?
True
Let s be 1 - (13/(-91) + 3897/231). Which is smaller: s or -16?
-16
Let j = -0.731 - -5.171. Let x = -5.44 + j. Is x at most -61?
False
Let q be ((-252)/90)/(2/(-5)) - 5. Suppose q*u - 144 = -14*u. Is u at least 33/4?
True
Let l = -264 - -252. Let b be 189/162*l/189*3. Which is greater: b or 21?
21
Let f be (-348)/(-29) + (-1777059)/148086. Is f less than 1?
True
Let q be (-1 + -10 + 5324/(-22))/(-1). Which is greater: 25 or q?
q
Let m be 14/(-8) - -2 - (22 + (-118916)/112). Which is smaller: m or 1038?
1038
Let l(c) = c**2 + 31*c + 1164. Let m be l(-35). Are m and 1305 equal?
False
Let q(z) = z**3 - z**2 + 18 - 13*z**2 - 14*z**2 + 34*z - 2*z**2. Let m be q(29). Is m >= 162?
True
Let i(c) = -c**3 - 17*c**2 - 28*c - 3. Let g be i(-16). Let m be (g/18)/(-7) - (-19)/2. Suppose 0 = 115*j - 117*j - m. Is j bigger than 7?
False
Let w be (((-3)/12)/(5/990))/((-3657)/92). Which is bigger: w or 1?
w
Let t = -13584 - -40753/3. Let y = -59.23 - 0.77. Which is greater: t or y?
t
Let o = 3147 + -3148. Which is greater: o or 2/3465?
2/3465
Let l = -94 + 93. Let f be 847/33 + (l/(-3) - 1). Which is smaller: 13 or f?
13
Let n = -2460.2 - -2460. Do n and 689 have the same value?
False
Suppose 5*v + 9*c - 13*c + 6304 = 0, -4*v - c - 5039 = 0. Let i be (-210)/v - ((-10)/12 + 0). Let l be (-1)/5 - (-6)/10. Are l and i equal?
False
Let y be (1 + 3)/((-2)/2). Let r(p) = p**2 + 3*p - 2. Let f be r(y). Let m = 24 + -36. Is m less than or equal to f?
True
Let l = -499781097/3167 + 157809. Is l > 1?
False
Let i = -2474 - -490. Let s be i/(-56) - 8/(-14). Let v be 146/4 + 2/(-4). Is s at most as big as v?
True
Let d = 3715 + -3725. Is d less than -31?
False
Suppose -11*n = 3*n - 42. Suppose 11*y - 6*y + 3*m - 34 = 0, 4*m = n*y - 32. Are y and 6 nonequal?
True
Let s be (-1)/2*-74 + (-102 - -108). Which is smaller: 59 or s?
s
Let n = -1701/121 + 226880/16819. Which is smaller: n or -1?
-1
Let x be -3*((-16)/40 - (-152)/30). Let o = 3 - 2. Is x bigger than o?
False
Suppose -4404 = -13*b - 1479. Suppose 0 = 126*y - 121*y + b. Is -44 < y?
False
Let b be 1 - ((-2)/(-1817))/(11/16819). Let t = 1/79 - b. Is t at least as big as 1?
False
Suppose -359*o + 363*o = 16. Suppose -4*l + 33 = -3*y, -o*l - y = 4*y - 9. Are 19 and l nonequal?
True
Suppose 435*u + 7020 = 487*u. Which is smaller: u or 35?
35
Let f = -3 - 8. Let r = -30822 - -30813. Which is smaller: f or r?
f
Let v be ((-18)/20)/(9/(-180)*4). Suppose -5*b + s + 23 = 0, 2 = -5*b - 5*s + 7. Suppose -3*p = -4*l - 24, 0 = b*p - p - l - 15. Is v < p?
False
Suppose 0 = -147*s + 150*s - 3. Let v be ((-35)/(-21))/((-2)/6). Let g be 348/588 + 3/v. Does g = s?
False
Suppose -6*r + 5243 = -775. Which is smaller: r or 0?
0
Let c = -17 - -35. Let x = -215832 + 215848. Is c greater than x?
True
Suppose 1486 = 1367*a - 1368*a - 3*g, 4*a + 3*g + 5899 = 0. Which is smaller: -1466 or a?
a
Suppose 4*l + 4*g + 32 = 0, 24*g - 88 = 6*l + 22*g. Which is smaller: l or -55/4?
-55/4
Let j(x) = 4*x**3 - 40 + 37 - 13*x**3 + 4*x**2 - 4*x**3 - 5*x. Let s be j(-3). Let c = 46681/117 - s. Do -1 and c have the same value?
False
Let z = -47.21 - -45.31. Is z <= 118?
True
Suppose 141*l = -d + 144*l + 45, -3*d + 105 = l. Is 30 < d?
True
Let u(y) = 4*y**3 - 236*y**2 - 2*y + 106. Let t be u(59). Which is smaller: 7 or t?
t
Suppose 0 = -2*h + l + 164, 5*h + 2*l = -0*h + 419. Let m = h - 162. Which is greater: m or -0.2?
-0.2
Let l be 601/7 + (-7)/(-49). Let q = -110 + l. Which is greater: q or -27?
q
Let j = 14 + -13.9. Let u = 0.2 - j. Let f be (-1)/((-30)/24*4). Is f < u?
False
Let y(f) = -6975*f + 20924. Let z be y(3)