 - 255 = -253. Which is greater: z or -1/345?
-1/345
Let w be 0*-9*1/(-27). Is w smaller than -1/2533?
False
Let q(f) = 100*f - 4. Let z be q(1). Suppose -2*d - 5*n = -228, -d + 4*n + z = 2*n. Is d smaller than -1?
False
Let t = -204629/1148 - 381/164. Let k be 3/6 + (-718)/(-4). Let a = t + k. Is 0.1 less than a?
False
Suppose 5*r - 324 + 339 = 0. Is r at least as big as -5/8?
False
Let n = -38 - -119. Suppose n = -5*g - 624. Let k = g - -1549/11. Which is smaller: k or 0?
k
Let x = 3/403 + -2529/14911. Let a = 1778 - 1778. Are a and x equal?
False
Suppose -60 = 4*w + 72. Let o be ((-84)/35)/(9/120). Which is smaller: o or w?
w
Let x be 6 + -1 - (-54)/2. Which is greater: -1 or x?
x
Let g be (-24)/72 + 112/(-6). Let x = g - -21. Is x greater than or equal to 2?
True
Let d be (-8565)/(-4176) + (3 - 7). Let w = 31/16 + d. Which is smaller: -1 or w?
-1
Suppose 2*u = -4, u + 1 = -5*h - 1. Suppose h = 8*y - 11*y + 9. Is y != 12/7?
True
Let o be (-1)/2*(12 - 12). Let z = 93593/44 + -2127. Which is bigger: o or z?
z
Suppose h - 236104298 + 14459152 = 0. Let q = 4615316873830/20823 - h. Let u = q - -2/631. Is u greater than or equal to 0?
False
Let h(j) = -j - 20. Let u be h(0). Let t = 22 + u. Suppose -4*x + t + 2 = 0. Which is smaller: x or 2?
x
Let z be -7*8/(-196) - 1107/(-21). Which is greater: 2 or z?
z
Suppose 3*b + u - 15 = 3*u, -3*b - 3 = 4*u. Let z be (-8)/490*(6/3 + b). Which is smaller: z or 1?
z
Let j be 4/(-3) + (-5 - -3). Let p(c) = -c**3 + 33*c**2 - 33*c + 28. Let z be p(32). Which is smaller: j or z?
z
Suppose 0 = -19*k + 15*k + 60. Let g be (1/(-1))/(2/(-16)). Let o = 8 + g. Is o less than or equal to k?
False
Let y be 4892/30 - 71/1065. Which is smaller: y or 165?
y
Let c = -11 + 37. Let r be 897/(-338) + 4/c. Is 4 less than r?
False
Let d(a) be the third derivative of -a**6/120 - a**5/30 - a**4/24 - 10*a**2. Let j be d(-2). Which is greater: 1 or j?
j
Let c = 0.7 - -6.3. Let s = -25.4 - -13.4. Let l = c + s. Is l <= -1/5?
True
Let t be (-5 - -103)*(25/(-5))/(-10). Is 48 greater than t?
False
Let v = 953/187980 - -5/964. Is v <= -1?
False
Let f = 1167 + -1042. Which is greater: f or 127?
127
Suppose 0*z = -4*z - 100. Let f be 34/(-110) - 10/z. Let d be (35/(-10) + 3)*2*-1. Is f >= d?
False
Let m(q) = q**3 - 5*q**2 - q. Let h be m(4). Let j = 3 - h. Let o = -252/11 + j. Do -1 and o have different values?
True
Let q be (3 + 12/(-5))*95. Suppose -4*c + 0*l = l + q, 4*l = -c - 18. Let a be (-1)/(-4) - c/72. Is 1 less than or equal to a?
False
Let t = -463 - -559. Are t and 100 equal?
False
Let p = 1651/3 + -551. Let v = -3 - -2.96. Let r = v + -3.96. Is r at least p?
False
Let l(a) = 105*a - 2854. Let i be l(27). Suppose 4*k - 5 + 20 = 5*g, 2*g - 6 = 3*k. Let f(p) = -2*p**2 + p - 3. Let h be f(g). Which is bigger: i or h?
h
Let r(l) = -l**2 - 36*l - 56. Let w be r(-34). Which is greater: 9 or w?
w
Let g = -1 + 1. Let l be 36/(-4) - (3 - 12). Is g greater than l?
False
Let s be (-5)/((-15)/6) + -5. Let w = 285 + -289. Let y = s + w. Which is greater: -6 or y?
-6
Let w = 0.991 + -13.331. Let n = 12 + w. Which is smaller: 0.1 or n?
n
Let u be (-2)/(-2) - (-9)/((-4131)/639). Which is smaller: -1 or u?
-1
Suppose 2*h - 63 = 21. Let j be h/(-9)*6/(-4). Suppose 4*y - j - 5 = -2*s, 10 = s + 4*y. Which is bigger: s or 3?
3
Let m = -146 + 150. Which is smaller: m or 10?
m
Suppose 4*t - 4 = 4. Let n = -107 + 104. Let s be 5/n - 4/12. Do t and s have the same value?
False
Let s(d) = 7*d - 2. Let q be s(1). Suppose -4*o - q*r + 65 = 0, -o - 2*o = 3*r - 51. Let k be ((-10)/o)/((-1)/(-10)). Which is smaller: k or -0.3?
k
Let l = 19.6 - 2.6. Let g = -15206/3 + 5023. Let u = 46 + g. Is l <= u?
False
Let z be (-4)/(-14) + (-130)/14. Suppose 3*j = -4*p - 33, 4 - 3 = j. Are z and p unequal?
False
Let u = 49 - 52. Is u at most as big as 3?
True
Let z(p) = -p**2 - 8*p - 3. Let x be z(-6). Suppose 5*k = q + 117, -2*k - 4*q + 2 = -58. Let v be 123/18 - (-4)/k. Is x <= v?
False
Suppose -4*x + t - 7 = 4*t, -4*t = 20. Suppose x*h = -3*i + 5*h - 36, -2*h + 33 = -3*i. Let y = -4 - i. Is y not equal to 6?
True
Let t = 1.103 + -1.04. Let u = t + 0.337. Is u at most as big as -2?
False
Let m be -4 + (3 - 3 - 22). Are 0.3 and m nonequal?
True
Let p = 0.37 - -2.23. Let w = 0.05 + -0.05. Is w smaller than p?
True
Let f = -32 - -35. Let l be 0/(-1) + -15*1. Let x be (-5)/l*(-3)/2. Which is smaller: f or x?
x
Let b = 50 + -10. Let w = b + -21. Which is greater: w or -0.1?
w
Let f = 0.225 - 0.217. Is f equal to 0.2?
False
Let i = 0.1389 - 0.0589. Is i at least as big as 11?
False
Let b be (-6)/(6 - 3)*8/(-328). Let m(o) = -o**3 + 10*o**2 + 11*o + 1. Let y be m(11). Which is smaller: b or y?
b
Let g = -71 - -70. Let l = -12.4 + 5. Are g and l equal?
False
Suppose -3*x + 3 = 3*i + 9, -9 = -3*i. Let l be -85 + x/(5/3). Let f be 6/(-33) - (-6)/l. Is f > 0?
False
Let z = -4 + 8. Suppose -j + 0*j = c - 3, z*j - 4*c = 36. Let k(m) = -m**3 + 7*m**2 + 5. Let u be k(7). Which is bigger: u or j?
j
Suppose 0 = 2*z - 0*z - 8. Let l be 2*3*(-2)/z. Let n be 3 - l/(141/(-143)). Which is bigger: -1 or n?
n
Let x = -193 - -193. Which is smaller: -3/29 or x?
-3/29
Let p be -2 + 5/((-5)/(-6)). Suppose 3*b = -y - 10, -5*y + p*b + 50 = -b. Suppose -4 = -4*z - y*s, z = 4*s + 4 - 3. Are 4 and z unequal?
True
Let d(f) = -f**3 - 20*f**2 - 18*f + 20. Let q be d(-19). Let r be q/((-4)/(-2)) - (-2)/4. Which is smaller: -9/5 or r?
-9/5
Let u = 0.94 - -4.46. Is 0.1 greater than or equal to u?
False
Let j be (36/45 - 0)*-15. Is -12 less than or equal to j?
True
Let p = 38628/19 + -858369/475. Let d = -226 + p. Let k = 2 - 1.9. Which is smaller: k or d?
d
Suppose -37 = 3*c - 586. Which is bigger: 184 or c?
184
Let t(o) = -7*o + 22. Let m be t(5). Let d = -26 - m. Which is greater: d or -14?
d
Let v be (0 + 0)*((-40)/(-15) - 3). Which is smaller: v or 1/404?
v
Let z be 13/((-234)/(-9))*0. Is 8/129 at most z?
False
Let z = 0.07 - 1.07. Let t = -1 - z. Let f = t - -2. Do -4 and f have the same value?
False
Let f(l) be the second derivative of 0 - 5/6*l**3 + 3*l**2 + 4*l - 1/12*l**4. Let h be f(-6). Is 3 at least h?
True
Let y(f) = -14*f - 2. Let u(q) = q - 1. Let a(g) = 2*g - 2. Let x(h) = -4*a(h) + 7*u(h). Let s be x(2). Let m be y(s). Which is greater: m or 11?
m
Let g = 22.27 - 22.27. Which is greater: g or 468?
468
Let z = -374.2 + 374. Which is smaller: 47 or z?
z
Let r be ((-6)/10)/((-7)/840). Is 70 > r?
False
Suppose s - 5*b + 10*b = 126, -s = b - 106. Is s > -3?
True
Suppose 3*k + 49 = n, 4*k + 37 = -3*n - 11. Let b = k - -23. Suppose b + 13 = 3*q. Do q and 8 have the same value?
False
Suppose -3*n = -2*n - 3. Suppose -54*j - 1 = -55*j. Suppose h + 3*f + j = 0, -2 = -n*f - 5. Which is greater: h or 3?
3
Let z be (-1)/1563*30*(-12)/(-120). Which is bigger: 1 or z?
1
Let t be (-5)/(-4)*(-4)/30. Let u = -2644 + 2642. Which is bigger: u or t?
t
Let m(x) = 2*x**2 - 2*x + 1. Let h be m(2). Suppose 2*u = -2*u, -25 = -h*o + 4*u. Suppose o = -0*g - 5*g. Is 3 less than or equal to g?
False
Let g(y) = y**2 + y + 4. Let q be g(-3). Let f = -2 - q. Is f at least -12?
True
Let a be (0 + (-1 - 1))/(14/(-59)). Which is bigger: a or 7?
a
Let d = -0.829 - 511.171. Let u = d + 514.91. Let k = u - 3. Are 1 and k nonequal?
True
Let q(j) be the first derivative of -3*j**2/2 + 5*j + 12. Let b be q(2). Is -1/60 less than b?
False
Let t(x) = x**3 - 4*x**2 + 2*x - 8. Let m(d) = d - 7. Let u be m(11). Let r be t(u). Is r < -2/11?
False
Let d = -36 + 16. Let v be (-192)/42 + 3/((-63)/(-12)). Let f be (v/d - -1) + -2. Is f greater than 0?
False
Let q be (-9)/((-24)/320*2). Does 60 = q?
True
Suppose -3*q + 4 = -2, -v = -2*q + 117. Let n = -19374380/170807 + -2/24401. Let f = n - v. Which is smaller: -1 or f?
-1
Let g be (-158)/76*32/598. Let h = -79/6 + 19549/1482. Let f = g + h. Do 0 and f have different values?
True
Let g = 23087 - 36685245/1589. Which is bigger: g or 1?
1
Suppose 4*r - 16 = 5*r. Let d be (-2)/r - (-795)/(-24). Let c be 6/d + (-155)/55. Which is bigger: c or -2?
-2
Suppose 7*t = 2*t + 90. Suppose 0 = -2*z - 5*p - t, 4*p = 2 - 10. Let h be -2 + (-8 - -3 - -2). Is h not equal to z?
True
Let u = -11/80 - 1/16. Let y = -37 + 60. Suppose 1 = -4*n - h, 3*h - y = -3*n + 7*h. Is n greater than or equal to u?
True
