/(-21) - -1). Which is smaller: -2 or c?
-2
Suppose 4*i - h + 4 = 0, 0 = 3*h - 12 + 24. Let j be 27/(28/(-4)*2). Is j at most i?
False
Let z be 2 - -1*(-1 + 3). Let l = -12050 - -12050. Let w be l/(2 - 0) - z/(-14). Which is smaller: w or -1.7?
-1.7
Let a = -0.66 - 3.36. Let t = 0.09 + -0.07. Let j = a + t. Which is greater: j or 2?
2
Suppose -435521 = 10*u - 435511. Let s = 0.004 + 0.354. Which is greater: s or u?
s
Let f be 0 - -11*9/21. Let g be 0 - -2 - (6 - 10). Which is smaller: f or g?
f
Let f = 48 - 55. Let h be 21/(-49) + (-2355)/f. Suppose -6*y - h = -14*y. Is y != 41?
True
Let h(k) = 4*k**3 - 6*k**2 + 9*k - 4. Let v be (4 + -1 + -48)*(-2)/3. Suppose -5*y - 5*z + v = 0, -2*y - 12 = -2*z - 2*z. Let s be h(y). Is 62/3 > s?
False
Let s = -648.86969 + -0.13031. Which is greater: s or 0.06?
0.06
Let c be (-1)/(-10)*2/(-3). Let h be ((-5)/(-12))/((-1288)/3864). Is h equal to c?
False
Let z = 33 + -29. Suppose 4*a - z = 4. Suppose 0 = a*j + 4*d - 2, 4*d - 12 = 4*j - 4. Is 2/91 >= j?
True
Suppose 3*c - 23 = -3*m + 7, 4*m - 3*c = 19. Let w = m + -5. Suppose -j + 0 - 3 = 0. Which is smaller: w or j?
j
Let n = -358.66 - -360. Let f = 3.34 - n. Let t be 0 + (1 - (-6)/(-8)). Is t at most as big as f?
True
Let f be -1*4*2779373/2279. Let j = 4878 + f. Which is bigger: 1 or j?
1
Suppose 0 = 69*n - 97*n - 166*n + 1180296. Is 6085 at most as big as n?
False
Suppose 4 = 7*j + 46. Let k be (-12)/j - (-1 + 3). Suppose k = 4*d - 12, 6 + 2 = a + 3*d. Which is bigger: 3/55 or a?
3/55
Let j = 290 + -62932/217. Suppose -1075 + 1045 = 3*u. Let h be (3 - 1)*((-75)/u)/(-15). Is h < j?
True
Let j = 56108 - 17225133/307. Is 0 > j?
False
Suppose -33*o - 56 - 5 = 137. Which is bigger: -166/23 or o?
o
Let x = 3288 - 3151. Is x not equal to 0.01?
True
Let i = -470408 - -290905. Let b = i + 2516397/14. Let d = 239 - b. Are d and -2 equal?
False
Let h = -937 - -8449/9. Let k = -30 + 30.18. Let i = k + -0.28. Which is greater: h or i?
h
Let t(o) = 3*o**3 - o**2 + o - 1. Let z be t(1). Suppose z*a - 166 = -d + 349, 4*a = -d + 1029. Is 257 at least a?
True
Let r(q) = q**2 + 19*q - 151. Let n be r(-25). Is 1/3802 at least as big as n?
True
Let o = 89 - 86. Let a be o/(-3) + 180/28. Let n = 9/28 + a. Which is bigger: 5 or n?
n
Let f be (-6)/4*(-12)/(-9). Let i be (-15)/(-5)*f + 2. Which is smaller: i or -51/10?
-51/10
Let w = 419 + -440. Let d = 44 - 44.1. Which is bigger: d or w?
d
Let w(y) = -y**3 + 11*y**2 - 12*y + 18. Let z be w(10). Let g be 31/z*(7 - 3). Is -63 != g?
True
Let s = 13883 - 70578/5. Let c = 461701/1985 + s. Let j = 3587/2779 + c. Which is bigger: j or 2?
2
Let x(i) = -i**3 + i**2. Let d(y) = 4*y**3 - 5*y**2 + 148. Let q(o) = d(o) + 5*x(o). Let h be q(0). Which is smaller: h or 147?
147
Let z = 8.6 + -8.56. Let f be (-3)/(-9) - (-32)/480. Which is smaller: z or f?
z
Let t = -24123823/943 - -25582. Are t and -1 equal?
False
Let b = -3882 + 3883. Which is smaller: 1/285 or b?
1/285
Suppose 5*d + 4*t = 474, -3*t - 14 + 2 = 0. Let r be d/8 - ((-66)/24)/(-11). Which is bigger: 9 or r?
r
Let a(i) = -23*i - 133. Let w be a(-6). Suppose 0 = -j - 4*l + 737 - 291, -2*j - 3*l + 887 = 0. Let o = j - 1753/4. Which is smaller: o or w?
o
Suppose 78*w + 20*w + 31458 = 0. Is w at most -4192/13?
False
Let m = 1/14458 + -18257/2667501. Is m <= 1?
True
Suppose -t + 4*t = -39. Let f = 38000/9 - 4234. Is f <= t?
False
Let a be 29814/10*(-5 - (-36)/7). Let b = -1921/5 + a. Which is bigger: 42 or b?
42
Let k = 53.89 - 1.29. Let j = k + -28.5. Let c = -24 + j. Which is smaller: -9 or c?
-9
Suppose 5*t - 3*q = 470, -2*t = -3*t + 5*q + 72. Let a = 47 + t. Suppose a + 16 = -4*d. Is -40 at least as big as d?
True
Let h = 21.6 - 24. Let d = h + 3.4. Let p = -109 - -547/5. Which is bigger: d or p?
d
Suppose 3001 = -34*q + 38*q + 5*d, 1553 = 2*q - 5*d. Is q < 761?
True
Let h(m) = -2*m**2 - 20*m - 4. Let r be h(-17). Let l = -162 - r. Suppose 7*g + l = 2*g. Are g and -16 equal?
True
Let c = -4767 - -4771. Is 104/23 < c?
False
Suppose 3*w = -23 - 31. Let j = 13590 - 13606. Are j and w unequal?
True
Let x be (5997 + 5)/((-119)/(-68) - 1/(-4)). Which is greater: 3002 or x?
3002
Suppose -5*y + 5*w + 40 = 0, 11 = 2*y + 2*y + 3*w. Let f = -35 - -37. Suppose 2*o + 2*o + f*z = -2, -z = y*o + 7. Is -2 less than or equal to o?
True
Let m = 235 + -233. Let s be 484/(-176)*m*34. Which is bigger: -186 or s?
-186
Let q be 96/(-24) - 105190/(-26305). Is q > -1?
True
Let w(y) = -y**2 - 2*y + 37. Let b be w(-7). Suppose 4*z - d = z + 76, -4*z - 5*d = -76. Let r be -3 + b/(-6)*(-225)/z. Which is bigger: r or -5?
r
Let g = 505.7 + -504.7. Is g >= -0.192?
True
Let z = -0.1 - -1.1. Let y = -22.441 - -22.498. Which is smaller: z or y?
y
Let z = -51 - -58.8. Let t = -6.7 + z. Let d = 1.01 - t. Is 0 not equal to d?
True
Let i be (-5)/2*1232/(-70). Suppose 12 = 2*u + 2*q, -2*q - i + 16 = -2*u. Suppose 176 - 260 = -7*t. Is t less than u?
False
Let t = 331825 + -332547. Let z(s) = 11*s**3 - 2*s**2 - 4*s - 2. Let k be z(-4). Is k smaller than t?
False
Suppose 6*s - 10*s = 36. Let h(r) = -6*r - 18. Let u be h(s). Let l = u - 37. Which is greater: l or 0?
0
Let d(l) = -22*l - 267. Let a be d(-16). Let v = 123 - a. Which is smaller: -9 or v?
-9
Suppose -3*p + 8*p = 20. Let l = p - 7. Suppose 15 = -4*j + 5*v, 4 = -3*j + v + 1. Is l smaller than j?
True
Let l = -697858 - -697933.0057. Let p = -0.0057 + l. Which is smaller: p or 2/15?
2/15
Let a = -12644 - -12645. Let w be 28/49*(-7)/(-159). Is a less than w?
False
Let j(b) be the second derivative of b**5/20 + 2*b**4/3 + 13*b**3/6 + 3*b**2 - 64*b. Let a be j(-6). Which is smaller: 2/9 or a?
a
Let l(a) = 23*a + 205. Let u be l(-9). Let d be u*(-845)/10 - 0. Which is smaller: d or 168?
168
Suppose -5*l - 15 = -2*i, -17*l + 12*l = -i + 10. Is -3/2822 greater than or equal to l?
True
Suppose -220*j - 4012 = -216*j + 5*i, -2*j = -4*i + 1954. Are j and -6956/7 equal?
False
Let w be 398968/(-4730) + (-14)/35. Let c = -9438388/17501 + w. Let n = c - -624. Is -1 bigger than n?
False
Let p(q) = 13*q. Let t(w) = -26*w + 1. Let x(c) = -5*p(c) - 2*t(c). Let l be x(2). Is l bigger than -28?
False
Let b be ((-130)/312)/(1/(-364)). Let t = -152 + b. Is 0.44 at most t?
False
Let c = -201 - -207. Suppose c*k = 16*k. Does 1/91 = k?
False
Suppose 4*i + 15 = 9*i. Suppose 5*p - 2*k - 362 + 51 = 0, -i*p = -2*k - 185. Which is bigger: 61 or p?
p
Let m = -0.87 + 88.87. Let v = m + -90. Which is smaller: v or -0.34?
v
Suppose 1170 = -5*h + 315. Let y(z) = -4*z**2 + 63*z - 405. Let j be y(6). Is j less than or equal to h?
True
Let m be -13 + (-88)/8 + 4875. Do 4850 and m have different values?
True
Suppose -173*y + 4390 = -281. Let i(v) be the third derivative of -v**4/12 + 5*v**3/3 - 3*v**2. Let b be i(-9). Which is smaller: b or y?
y
Let m(a) = 11*a - 4. Let w be m(9). Let j = -84 + w. Which is bigger: 31/3 or j?
j
Suppose 9*m - 7*m = 6. Let q be ((-2)/9)/(15/(-162)). Which is smaller: q or m?
q
Let s = -19 + 28. Suppose -24 = -s*a + 3. Suppose -a*h + 78 + 21 = 0. Is h greater than 35?
False
Suppose -3*f = -8*f - 15. Suppose n = 4*n - j - 17, -5*n - 4*j = 0. Suppose -8 = 2*r - 0*s + 3*s, -n*r - 2 = -s. Is r equal to f?
False
Let b be 3/6 + 13/(-2). Let z be (3318/b)/((1 - 2)*2). Let n = z - 259. Is 18 smaller than n?
False
Let i = -645 - -650.36. Let s = i - 5.76. Is s > 4/35?
False
Let k = 2.57 + -2.29. Let h = k - -0.72. Which is bigger: 10/17 or h?
h
Let o be (11 + 1)*(22740/1750 + -13). Let s = o + 3831/2275. Let x be ((-3)/(-9))/(2/6). Is s <= x?
False
Let d be (9/6)/(12/944). Let x = -1395 + 1292. Let y = x + d. Which is smaller: -0.1 or y?
-0.1
Let t = 229.72 + -232. Let i = -0.72 + t. Let n = -3 + 1. Is i > n?
False
Suppose -66 = -13*w + 2*w. Let p be (-1791)/(-252) - (-8)/28*-3. Is w greater than p?
False
Let c be ((-9842)/(-28120))/(7/(-8)). Which is greater: -10298 or c?
c
Let s be (-10)/15*426/(-4). Let y be (-396)/(-10)*175/105 - -6. Let a = s - y. Is 1/30 < a?
False
Let x be 125/75 + (36/(-2))/2. Suppose 5*t = 3*b - 32, 4*t + b - 3 = -32. Is t less than x?
False
Let b(j) = -j**3 - 14*j**2 - 34*j - 120. Let u be b(-12). Are -12/1109 and u equal?
False
Let z(i) = -2*i**3 - 4*i**2 + i - 12. Let l be z(-6). Let o be 94/l*3 + 4/10. Suppose 3*a + f = 10, 2*a + 2*f - 5*f = -8. Is o 