 l(14). Which is smaller: y or 831/58?
831/58
Suppose -p = 4*j - 4924, 2*p = 2*j + 12543 - 2625. Is p >= 4952?
True
Suppose 3*u + u = 4*n + 68, 0 = -u - 2*n + 20. Suppose 0 = -3*p - 9*p + 12. Let j = u + p. Which is bigger: j or 4?
j
Let s = 7975 - 7983. Let b = 10 - 5. Are s and b non-equal?
True
Let a(s) = -s - 44. Let k be a(-35). Let o be (k/(-288))/((-39)/12). Are 1 and o equal?
False
Let d(u) be the second derivative of u**4/12 + u**3/2 - 5*u**2/2 + u. Let v be d(-4). Let h = 9.4 - 8.56. Which is smaller: v or h?
v
Let l = -93 + 94. Let q be (-5 - -4) + 9/(l + 0). Let f(n) = -n**2 + 11*n - 24. Let u be f(q). Which is smaller: -3/14 or u?
-3/14
Let m be 1/4 - (-45)/(-84). Let o(f) = -6*f + 37. Let l be o(6). Let h be 3/l - ((-198)/(-51) + -1). Is h smaller than m?
False
Suppose 7*n + 16 = 2. Let q be (-1)/n*(-219)/(-2). Let s = q - 3731/68. Is s < -1?
False
Let b = -838 + 1230. Let q be (0 + 0)/(-19 - -17). Is q <= b?
True
Let j be (1145/(-20))/(((-3)/12)/(-1)). Are -228 and j equal?
False
Suppose 0*h + 8259 = -3*z + h, 5*z + h = -13781. Is z at least -19290/7?
True
Suppose -2*n + 0*f + 24 = 2*f, n = 2*f + 12. Let s be n/(-11)*(-7)/(-2). Suppose 0 = 185*o + 445 + 295. Which is smaller: s or o?
o
Let b(m) = 17*m**2 + 19*m. Let t be b(-3). Let v = 95 - t. Does -16/11 = v?
False
Suppose 5*b = 4*h - 199, 2*h + 0*b - 3*b = 99. Let w = 89780 - 89728. Do h and w have the same value?
False
Let m = 0.206 - 0.1574. Let o = m + 0.1064. Which is bigger: o or -1/6?
o
Suppose -64*w + 70*w - 336 = 0. Let o = w - 9. Is o smaller than 47?
False
Suppose 416 + 119 = 5*g + x, 3*g - 309 = -3*x. Let i = g - 47. Is i at most as big as 61?
True
Let g be 6/(-2) + -12 + 96. Let q = -333 + g. Is -252 less than q?
False
Let n be 15*(-1 - (-52)/(-6)). Let c = -1065701/10 + 106425. Let z = n - c. Which is bigger: z or -2/15?
z
Suppose 91*t = -6*t - 194. Is t > 948?
False
Let f = -4.98 + 1.18. Let c = f + 3.89. Let l = 0.02 + 0.18. Is l greater than or equal to c?
True
Let k = 76480/7 - 851500/77. Are k and -134 unequal?
True
Let m = -10.607 + 10.351. Which is smaller: 1.4 or m?
m
Suppose 3*v + z + 7 = 0, 2*z + 0*z = -2. Let b be (-1736)/(-93) + v/(-4). Which is bigger: 18 or b?
b
Let n = -5.424 - -8.424. Which is greater: 49.7 or n?
49.7
Let j(w) = 2*w**2 - 8*w - 13. Suppose 4*r - 3*a - 8 = 5*r, -4*r = 4*a. Suppose r*q = -2*q + 36. Let k be j(q). Is k at most 21/2?
False
Let s = -3.150457 + 0.051157. Let h = 0.0993 + s. Let v = 3 - 1.6. Is h less than or equal to v?
True
Let g = -5490.01 - -5490. Which is bigger: 411 or g?
411
Suppose -5*s + 3*l = 23, -s + 0*s = -4*l + 8. Let j be 0 + 12/(-4) - 15/s. Which is bigger: 4/9 or j?
j
Let q(r) = 11 - 6*r**2 - 3*r + r**2 + 4*r**2 - 5*r. Let s be q(-9). Let u = s - -16. Is 19 >= u?
True
Let l = -3932 + 6941. Are 1 and l nonequal?
True
Let v be (-106)/212*(-154)/(-57). Which is smaller: v or -1?
v
Let l = -470 + 272. Let u = -202 - l. Let d = -0.1 + 0.1. Is d at least u?
True
Let v(c) = -c**2 + 38*c - 64. Let f be v(36). Suppose -10 - f = -9*k. Is -0.093 at most k?
True
Suppose -7 = 5*j + 2*m - 1, -12 = -j + 4*m. Suppose j*c - 12 = -6*c. Let v be ((-50)/15 + c)*-3. Do v and 18/5 have the same value?
False
Let j be ((-8)/(-30))/(2/(-9)). Let v = 15656/5 - 436893/140. Let b = v - 72/7. Which is bigger: j or b?
b
Suppose 0 = w - 4 + 2. Suppose 5*q = -15, 3*v + q = 16 + w. Let f be 18/8 - (-1672)/(-608). Which is greater: v or f?
v
Let n be (-9)/(-24) + 18256/128. Suppose 0 = 4*s + y + n, 5*y - 2*y = s + 26. Is s greater than -69/2?
False
Suppose -g - 2*v = 19, 3*g + 82 - 45 = -2*v. Which is greater: g or -245/29?
-245/29
Let v(p) = -p**3 - 92*p**2 - 673*p - 85. Let j be v(-84). Is -2/17615 greater than or equal to j?
True
Let b = -466 + 521. Suppose -8*q - b = 1. Let y = -6 - 3. Which is bigger: q or y?
q
Let d = -263.44 + 256. Let a = 9.6 - d. Let u = -17 + a. Are 0.4 and u equal?
False
Suppose -2*p + 64 + 38 = 4*v, -4*p = -4. Suppose q + 4*q = -v. Let d(o) = -o**3 - 6*o**2 - 6*o + 2. Let b be d(q). Is 8 at least as big as b?
True
Let k(t) = 21*t**2 - 43*t + 52. Let s be k(6). Which is greater: s or 548?
s
Let d = -8898 + 62098/7. Let o = d - -26. Let g = 461 + -458. Which is bigger: g or o?
g
Let v = -18 - -8. Let z be (-2)/(-5) - 46/v. Suppose 0*i - i = -z*r - 21, -2*i = -3*r - 14. Is -3 bigger than r?
True
Suppose 3*i - 8*l + 18 + 31 = 0, -3*i - l = 4. Which is smaller: i or -57/23?
i
Let p(j) be the second derivative of j**5/10 - j**4/6 + j**3/2 - 3*j**2/2 + 13*j. Let f be p(-4). Let h be 5/f*-5*3. Is h bigger than -1?
True
Let k be (0 - -1)*44/14. Suppose -2*i + 38 = 5*r, 5*r - 4*i + 8*i = 46. Suppose -6 = 4*m - r*m - 3*x, 4*m - x - 12 = 0. Is k bigger than m?
True
Suppose -8421 = -40*h + 19*h. Let c = h - 384. Let u be -1*(-2*6 - 2). Are c and u non-equal?
True
Let x be 424/(-53) + 70 + 0. Suppose 222*q = 220*q - x. Is q bigger than -31?
False
Let a = 211 - -10. Let c(b) = -6*b + 6. Let t be c(-5). Suppose a*g - t = 225*g. Is g not equal to -66/7?
True
Let k = 0 - -15. Suppose 0 = -3*s - 3*x - 2*x - 15, 3*s + 3*x = -k. Let h be 5 + -5 - 2/s. Which is smaller: h or -1?
-1
Suppose 0 = -24*s + 5*s - 95. Let d be (2 + 94)/4 + s. Which is bigger: d or -6?
d
Let a(r) = 2*r**2 + 13*r - 7. Let i be a(-7). Let s = -1.837 + 3.437. Do s and i have different values?
True
Let a = 71.1 + -82.4. Let u = 0.08 - 0.08. Which is bigger: a or u?
u
Suppose -z - 5*t = -477, -3*z + 1381 = -0*z + 5*t. Let s = -400 + z. Which is smaller: 48 or s?
48
Let t be (2/2 - 4) + (-6210)/(-26). Let g = t - -30898/65. Let h = g - 714. Is 1 greater than h?
True
Let w(b) = -9*b + 2842. Let h be w(53). Is 4729/2 greater than or equal to h?
False
Suppose -2*d + 9*d + 280 = 0. Let i = d + 42. Suppose -i*c - 14 = -5*x, -2*c = x + 2*x - 2. Is 21/10 smaller than x?
False
Let c be (-12)/1384*28/63. Is -1 less than c?
True
Suppose 0 = -0*x - 2*x. Let k be 38955/(-56) - -6*1/(-16). Let p be ((-58)/k)/(37/8). Which is smaller: x or p?
x
Let m be 2 - (5 + (5 - 4) - 7). Suppose -8*w = -4*w - 4. Do m and w have different values?
True
Suppose 30 = -5*q, -209*v - 2570 = -213*v - 5*q. Which is smaller: 660 or v?
v
Suppose 50 + 40 = 9*w. Let z be w/(-12) + 1150/(-60). Which is bigger: z or -21?
z
Let v be (-3)/(-6) + 3/(-6). Let r be (v - -16)/((-16)/24). Let u be (-204)/r*(1 + -3). Is u bigger than -18?
True
Suppose 0*q + 5*q + 42132 = -r, -3 = -r. Let y = q + 58893/7. Is -13 greater than y?
True
Let g be (30/4)/(3 - (-30)/(-12)). Let n = g + -14. Let a be (2/n)/(10*5/(-10)). Which is greater: a or -1/18?
-1/18
Let g(t) = t**2 + 2*t - 25. Suppose -172*n - 15 = -175*n. Let z be g(n). Suppose p - 4*h - 10 = -6*h, 3*h - 11 = -p. Which is smaller: z or p?
p
Let i be (636/36)/(4/(-6) + 26/36). Which is bigger: i or 0?
i
Let i = -3361 + 16801/5. Which is greater: -2 or i?
i
Suppose 0 = 90*c + 87*c - 150*c. Is -1043 bigger than c?
False
Let c be 118*((-169)/(-286) - 3/33). Which is smaller: c or 56?
56
Let f(h) = h**3 - 17*h**2 + 14*h - 32. Let r be f(16). Let g be 1/(-32)*(r/17 + 4). Which is smaller: 0 or g?
g
Let r be 58/8 - (-2)/8. Let c(p) = p**3 - 18*p**2 - 44*p + 88. Let y be c(20). Which is smaller: r or y?
r
Let z = 2597 - 2596. Which is smaller: 141 or z?
z
Let p = -101 + 561. Let w be 4/(-6) - p/30. Let t be (-1122 + 1119)*1/(1/5). Which is smaller: w or t?
w
Let i(l) = 5*l - 22. Let m be i(6). Let t be (-3*m)/(3/(-2)). Suppose -2*k - 32 = k + 5*y, -4*y = t. Which is smaller: -2 or k?
k
Let h = 55.79 + -102.7. Let r = -47 - h. Let t = -0.31 - -1.31. Which is bigger: t or r?
t
Let y(b) = 11 - 3*b - 5*b + 5*b. Let x = 31 + -22. Let d be y(x). Which is greater: d or -14?
-14
Let g be (-2)/((-2)/15 - ((-464)/(-120) - 2)). Which is smaller: 587 or g?
g
Let u be 3547/(-5) - (2 + -7). Let l = 698 + u. Do -7 and l have the same value?
False
Suppose -2*k + 39 = -3*k. Let c = k - -24. Let m be 5/(-3 - 8/(-3)). Is c smaller than m?
False
Let a = 2019 + -6184/3. Is a bigger than -41?
False
Suppose 6*y - 18*y = 8640. Let d be ((-11)/(-10))/(-8*5/y). Which is smaller: d or 21?
d
Let q = -703 - -705. Let r be -2 - (2 - (-2 - -10)). Suppose m + 105 = -r*m - 5*x, 0 = x - q. Is -22 <= m?
False
Let r = -2130 - -726332/341. Suppose -3*g - 4 = 2*c, -4 = 6*g - 0*g + 2*c. Is r <= g?
False
