 3*d + 104. Let v be 18/4*(-288)/108. Let o be a(v). Which is smaller: -35/8 or o?
-35/8
Suppose -j + 427 = 4*i - 216, -2*i + 3125 = 5*j. Which is smaller: j or 626?
j
Let z = -45 + 201/4. Let y be ((-38)/95)/(3 + 46/(-15)). Which is smaller: y or z?
z
Let y = 5964.2 - 5963. Is -10 less than y?
True
Let k = 249808 - 73693431/295. Which is smaller: k or 0?
k
Let y = -49 + 53. Let p be y/(-3)*39/26. Is p at most as big as -15/16?
True
Let t be 232/(-14)*(-1)/(-2). Suppose 2142 = 3*z + 3*j, 0 = 11*z - 8*z + 5*j - 2144. Suppose 737 = -3*a + z. Is a greater than or equal to t?
True
Let l = 42.695 - 0.095. Let y = 43 - l. Let r = y + -0.58. Is -2/9 <= r?
True
Let b = 0.057 - -107.943. Let g = b + -75. Let u = g + -32.5. Are u and 4/7 equal?
False
Let f = -164 - -77. Let p = 69 + f. Is p less than -0.2?
True
Let w be -1 - (-8)/(-12)*-6. Let t be 1*(2 - w) - 22/(-20). Which is smaller: 20 or t?
t
Let c(p) = 9*p - 114. Let r be c(15). Suppose r*f - 11 = -32. Is f >= 8/55?
False
Suppose 0 = -2*z + 2*w + 6144, -9*w + 8*w = 5*z - 15384. Which is greater: z or 3075?
z
Let a(i) = -i**3 + 6*i**2 - 3*i - 1. Let m be a(5). Let j be m/16*-7*(-44)/(-66). Suppose -4*c + 5*b = -4, -2*c = -5*b - 1 - 11. Is j less than c?
False
Let p be ((13 + -13)/(-1))/9. Is p smaller than -1/3555?
False
Let s be -1 - 1477/525*-5. Is 12 greater than s?
False
Let j = 4635 + -4660. Which is smaller: -62 or j?
-62
Let x = -358 + 359. Which is greater: x or 771?
771
Let w = -250 - -217. Let o = -57 - w. Is 1 < o?
False
Let c be (24/14)/(-3) - 2385425/(-3847872). Let w = c + -2/1227. Which is smaller: 1 or w?
w
Suppose t - 485560 = 200*t. Which is smaller: t or -2439?
t
Let c be (-5)/(-10)*-4 + 282/(-10). Let i = c - -27643/915. Which is bigger: 1 or i?
1
Suppose 8*c - 4*c = 20. Suppose -w + 4*h - 25 = -h, 0 = -2*w + c*h - 25. Let l = 584 + -63654/109. Is l smaller than w?
False
Let c = 289 + -303. Which is smaller: -288/19 or c?
-288/19
Let q = -24810 - -24809.397. Are q and 0.09 unequal?
True
Suppose -5*j + 2*b + 2 = -159, 2*j - 3*b = 60. Let p = j + -40. Is -6 at least p?
True
Let z = 19213 + -48973938/2549. Which is greater: -1 or z?
z
Let q = 4211 + -4211. Which is smaller: q or 2/575?
q
Let k(n) = -n**3 + 144*n**2 + 579*n + 1921. Let s be k(148). Let t = 25.6 + -28. Let u = 2 + t. Does s = u?
False
Let z = -24/709 - -10813/298489. Let f = -3791/842 + z. Let m = 61 + -65. Which is greater: m or f?
m
Suppose 1374 = -8*a - 210. Let p = a + 104. Which is smaller: -92 or p?
p
Suppose 7*u - 5*u + 202 = 0. Suppose 5*x + 5*s + 505 = 10*s, 319 = -3*x - 5*s. Which is bigger: x or u?
u
Suppose -2*f + 3 = 5*t + 61, 4*f + 140 = -4*t. Suppose -263 = 5*p + 2. Let o = p - f. Is -14 not equal to o?
False
Let t = 2493 + -2494. Is t equal to -6/1723?
False
Let l be 1 - 4 - (1 - 13). Suppose 4*r - l*r + 695 = 0. Which is greater: 140 or r?
140
Let v = 11 - 7. Let a be 9 - v - (-15)/(-5). Let w be a/(0/(-5) + 8). Which is greater: w or -0.9?
w
Suppose -32 - 94 = -7*l. Let i be -2*3/l + (-7)/(-3). Suppose i*w = -2 - 10. Which is greater: w or -3?
-3
Let o = -0.1415 + 0.0415. Is -0.4644 bigger than o?
False
Let u = -7.94 + 0.24. Let j = 3.3 - u. Let f = -53/6 - -595/66. Is f bigger than j?
False
Let j be ((-6)/(-13) - (-5755816)/(-680537)) + (-8)/(-1). Which is bigger: 1 or j?
1
Suppose y - 2*b - 8 = 6*y, -2*y - 5*b = 20. Suppose y = 7*m - 80 - 53. Suppose 0 = -w + s - 4, -m = -3*w + 7*w - s. Is w at least as big as 3?
False
Let n = -25135/91 + 3795/13. Is n <= -1.5?
False
Let s = -21885 - -87055/4. Let o = s + 3123/28. Which is smaller: -11 or o?
-11
Let w = -123 + 125. Suppose 0 = -14*s + 19*s - w*a - 11, 2*s - 5 = a. Which is bigger: 195 or s?
195
Let q = 535565/109701 - -2/6453. Which is bigger: q or 4?
q
Let p be (-15 + -15 + 815180/27172)*6/(-5). Is p >= 1?
False
Let i be (-2576)/(-552) + (-22892)/12. Which is greater: i or -1906?
i
Let l(n) = n**3 - 16*n**2 - 2*n + 27. Let a be l(16). Let j be (-34)/12 + ((-10)/(-12))/a. Is -5 less than j?
True
Let q = -0.4486 - -0.2999. Let p = -1.8513 + q. Let o be (-3)/(9/(-13))*6. Is p less than o?
True
Let u = -24 - 168. Let d = u + 186. Suppose o + 3*o - 4*n = -12, -4 = 2*n. Is d less than o?
True
Let k = 205.256 + -0.256. Let m = -205.06 + k. Are m and 9 unequal?
True
Let t = 29 - 23. Suppose 5*u - t = -16. Let a = -12 - u. Which is bigger: 2/3 or a?
2/3
Let k be ((150/(-65))/(-15))/2 + (-131730)/13. Which is greater: -10134 or k?
k
Let i be -3 + (-4)/(4/(-7)). Suppose -3*j = -5*o - 20, -2*j = i*o - o + 12. Let n = -140 - -140. Is j less than n?
False
Let h = 435.97 + -436.094. Is -0.054 less than h?
False
Let v = 314.9 - 325.6. Let f = -3.6 - -14. Let l = v + f. Which is smaller: -12/11 or l?
-12/11
Let t(r) = -r**3 - 23*r**2 - 45*r - 506. Let w be t(-22). Which is smaller: w or 5/13?
w
Let o = -107751 + 107738. Let x = -0.1 + 1.1. Which is bigger: x or o?
x
Let p be (-308)/184 - (-6)/4. Let b be 193 + 1*4/(-2). Let m = -191 + b. Which is smaller: p or m?
p
Let d = 663 - 524. Does 2366/17 = d?
False
Suppose -79 = -k - 5*r, 4*r = 7*k - 3*k - 340. Suppose -14*n = -7*n - k. Do 21/2 and n have the same value?
False
Let x = 6669/7 - 953. Is x greater than -0.704?
True
Suppose -m + 3925 = 5*o, -45*o = -47*o + 2*m + 1582. Which is bigger: 784 or o?
o
Let o(k) be the second derivative of -k**3/3 - 39*k**2/2 + k. Let v be o(-17). Let d be (-156)/(-36) + 1 + v. Which is bigger: d or 2/19?
d
Let p = 9796 + -391819/40. Is p not equal to 1?
True
Let l(o) = 8*o**3 + 9*o**3 - 16*o**3 + 7*o**2 + 2*o - 25. Let k be l(-6). Let t be (-29)/66 + k/(-2). Which is smaller: t or -1?
-1
Let m(p) = -p - 128. Let o be m(0). Let v be (-220)/198*9 + 59*-2. Is v at least as big as o?
True
Suppose -2*c - 3*c = 0. Let k = 5/3069 + -779551/15345. Let l = 4288/85 + k. Is c less than or equal to l?
False
Let a(j) = -6*j + 13. Let m = -5 + -2. Let r be a(m). Let k(b) = b**3 - 21*b**2 + 39*b + 35. Let t be k(19). Is r <= t?
False
Suppose -24*p + 858 = -13*p. Suppose -5*j = 2*n + p, -2*j - 243 + 87 = 4*n. Do n and -39 have the same value?
True
Let m = -8 + 13. Suppose -m*h = -3*i - 3*h + 17, -2*i = 2*h + 2. Suppose 2*d + 17 = -i*u, 3*u + 4*d + 9 = 2*u. Is 3 greater than u?
True
Suppose 22*c + 797 - 181 = 0. Which is smaller: c or -244/9?
c
Suppose 3582 = -33*r + 282. Which is greater: r or -102?
r
Let l = -0.23 - -0.4. Let g = l - 0.27. Let k = 12 + -16. Is g greater than k?
True
Let w = 0 + 1. Let j be 1*((-33)/w - -2). Let k be 1 - 8/6 - 92/3. Is k > j?
False
Suppose 4 = 3*t - 26. Let n be (15/t)/((-3)/(-2)). Let f be (-474)/(-612) - 20/(-340). Which is bigger: f or n?
n
Let t be -178*(16 + (-17)/(408/396)). Let c(n) = n**2 + n + 88. Let m be c(0). Which is smaller: m or t?
m
Let r be (1 - 412/352)*4/3. Let q be (14 - 24) + -5 + 2. Let x be (-6)/(-15) + q/(-5) + -4. Which is smaller: x or r?
x
Let i be (-3 - (0 + 2))*(-309)/(-5). Let f = i + 352. Which is smaller: f or 219/5?
f
Let q = 0 + 0. Suppose 4*y - 2*c = 108 + 30, -4*y - c + 123 = q. Do y and 29 have the same value?
False
Let o be 12/(-42) - (-10)/(-112). Let u(i) = i**3 + 8*i**2 + 7*i. Let h be u(-6). Let j be (-9)/h*(-25)/6. Does o = j?
False
Let d be 0*1/(4/(-16)*-4). Suppose d = 5*o + 3*b - 7 + 35, 2*o + 5*b = -15. Let t(s) = s**2 + 6*s + 2. Let i be t(o). Is i greater than or equal to -3?
True
Suppose 415 = 5*z + 5*i, i = -178 + 177. Which is greater: 87 or z?
87
Let q be 1/(-146)*(-2)/4. Let h(w) = 4*w**2 - 1004*w + 3951. Let t be h(247). Is q less than or equal to t?
False
Let s(h) = h - 1. Suppose -u - 2*q + 2 = -4, -3 = 2*u - q. Let r be s(u). Is r <= -12/7?
False
Suppose 175861 = -18*p + 177967. Is p > 153?
False
Let u = 1/59 + -308/767. Let l be (13 - 0) + -263 + 251. Is l > u?
True
Let s be ((-2010)/(-24)*-2)/((1/2)/1). Which is smaller: -1669/5 or s?
s
Let w(x) be the first derivative of x**4/4 - 4*x**3/3 + 3*x**2/2 - x + 2. Let j be w(3). Let o be (5/1)/((-2615)/18828). Which is smaller: o or j?
o
Let r = 5041.9 + -5041. Is -1/3 less than r?
True
Suppose -3 + 19 = 3*s + 4. Let j = 136 + -96. Let c be j/s - 2 - 1. Are c and 8 unequal?
True
Suppose 2*y - 182 + 58 = 0. Suppose -3*j = j - 412. Let o = y - j. Is o bigger than -40?
False
Suppose 23*s = -617 - 947. Let h(o) = o**3 + 15*o**2 + 4*o - 6. Let p be h(-15). W