08. Let y = 204 - p. Let q be (3/y)/1*-1. Are q and 0 equal?
False
Suppose -196*o + 2346 = -242*o. Let u be (-8)/3 - (-6)/9. Which is bigger: u or o?
u
Suppose -171 = -2*o - 189. Let y = -25 - -17. Let k = -18 - y. Which is smaller: k or o?
k
Let m be 2/(-3) + 13/(-3). Let x be 1238/(-14) + (-24)/42. Let n = x + 83. Which is greater: m or n?
m
Let n(b) = b**2 - 4*b + 6. Let a be n(4). Let d be 21/6*(-1 + 3). Which is greater: d or a?
d
Let t be -4 + (-2 - 92/(-13)). Is 1 <= t?
True
Let v = -31 + 30.01. Let a = 1 + v. Let j = -745/3 + 248. Which is smaller: a or j?
j
Let y = -2 + 15. Let z = 13 - y. Let p be -3 - (z - 3/(-6)). Which is smaller: p or -5?
-5
Let t = 13.35 - 15.8. Is -2 > t?
True
Suppose -5*d + 5*k - 95 = 0, 0 = 2*d + d + 5*k + 17. Suppose -457 + 637 = -12*w. Is d != w?
True
Let r = 0.037 - 35.037. Let p = -33 - r. Which is bigger: p or 12?
12
Let s = 12.213 + -0.013. Let o = s + -12.3. Which is smaller: o or -4.9?
-4.9
Let n = 0.982 + -0.982. Which is smaller: -639 or n?
-639
Let o be (0/((-2)/1))/(-2). Suppose -10 = 4*n - 22. Suppose 9 = 6*d - n*d. Which is greater: o or d?
d
Let a(w) = 8*w + 8. Let x be a(-5). Let z(s) = s**2 + 32*s + 30. Let f be z(x). Which is bigger: f or 31?
31
Let j(v) = -4*v - 4. Let g be j(3). Let y = -2 - -87. Suppose -5*a = -0*a + y. Is g <= a?
False
Let l = 22665 - 136769/6. Let t = 55291/426 + l. Let u = -559/213 + t. Is u less than -2?
True
Let i = 538 - 437. Is i <= 101?
True
Suppose -2*t = z + 4*z + 99, 0 = -3*z + 5*t - 78. Is z less than -0.1?
True
Let o be 71642/1935 - (-12)/54. Let i = o + -186/5. Which is greater: 1 or i?
1
Suppose 4*h - f - 20 = 55, f = 3*h - 55. Let p be 8/6*(-27)/(-2). Is h greater than p?
True
Let z be (44/(-6))/(-2) - (-1)/3. Let c be (z - 212/52)*1. Is 0 less than c?
False
Suppose -3*v = 3, -2*h = 3*v + 1 - 6. Let a be 3*((-21)/(-14))/1. Which is bigger: h or a?
a
Let a be (-110)/(-18)*24/14. Let y = a - 50/7. Is y < 1/3?
False
Let p be ((-3)/(-24))/(12/32). Which is greater: 0.52 or p?
0.52
Suppose -7*g - 44 + 16 = 0. Let k be 3/10*((-16)/g + -5). Let o = -3 - -4. Are o and k non-equal?
True
Let i = 2664 - 2663. Is 28/15 greater than or equal to i?
True
Suppose 16 = 3*k + 5*k. Let d be k/3 - ((-296)/24 + 5). Is 6 less than or equal to d?
True
Let x be -159*(1/(9/33) - 3). Let w be 5 - (1 + x/(-27)). Are 0 and w equal?
False
Let k be (-2)/6*5*3. Let d = 20 - k. Let o = d - 49/2. Is o less than 2/5?
False
Suppose -5*q = -698 + 158. Let p be 4/(-18) - (-24)/q. Let b be 1 - (-3)/((-42)/8). Is b greater than p?
True
Let a = 1597 - 1526. Which is greater: a or 361/5?
361/5
Let n = 103 - 514/5. Which is smaller: n or -1?
-1
Suppose -14*c = 15*c + 29. Which is smaller: -1/300 or c?
c
Let t be (-465)/(-90) - (-2)/(-12). Suppose -2*y = 3*y - 10. Let i = y - -2. Is i at most t?
True
Let i(b) = -5*b - 164. Let n be i(-33). Is n greater than 0.51?
True
Let r(f) be the second derivative of f**3/2 - 3*f**2 - 7*f. Let x(y) = 7*y - 11. Let t(c) = 5*r(c) - 2*x(c). Let l be t(-4). Is l smaller than -10?
True
Let q(d) = -d + 6. Let n be q(7). Let y be (1 + -2)/n - 592/144. Is y greater than -4?
True
Let t = -1229 - -1052. Do t and -180 have different values?
True
Suppose 19*z = 18*z + 3*c - 2, 2*z + 5*c = -4. Which is smaller: 1 or z?
z
Let l = 5 - 5. Let k = 24 - 94. Let i = k - -635/9. Is l at least i?
False
Let k = 4666282 - 177306365/38. Let q(f) = 36*f + 1. Let j be q(9). Let p = j - k. Which is smaller: 1 or p?
p
Let o = 14 - 14. Let v be (0*(1 - o))/(-2). Suppose -4*f - 6 + 2 = v. Which is smaller: 2/9 or f?
f
Let k = -25 + 55. Let v = k + -31. Let l = -71 - -353/5. Which is bigger: l or v?
l
Let w(g) = -13 - 79*g**2 + 155*g**2 - 86*g**2 + g**3 + 8*g. Let m be w(9). Which is greater: m or -21?
-21
Let v be (6 + (-135)/20)/((-30)/308). Let q = v - 36/5. Is q != 2?
True
Let d = 190.58 - 173.6. Let t = d + 8.07. Let u = 25 - t. Is 2/5 greater than or equal to u?
True
Let h = 4 - 4.5. Let s(j) = 2*j**2 + 5*j - 4. Suppose -4*f + 7*f = -9. Let i be s(f). Which is bigger: h or i?
h
Suppose 14*p - 12*p - 402 = -3*x, 2*p + 390 = 3*x. Is x at least as big as 137?
False
Let o be -106*((-8)/(-32))/((-2)/(-4)). Which is smaller: o or -55?
-55
Let y be 3/(-4*(183/48 + -4)). Let b be (16/12 + y)*2/(-24). Which is smaller: b or -1?
-1
Let z = -49 - -345/7. Let w = 22.9 - 22.6. Which is smaller: w or z?
z
Suppose -19*t + 6 = -17*t. Suppose 0 = -t*j - 23 - 52. Let w be j/95*6/15. Is 0 greater than w?
True
Let x(n) = n**2 - 4*n - 4. Let t be x(5). Suppose -12 = -4*l - 0. Let d be l/(-42)*12/(-3). Which is bigger: d or t?
t
Let n(j) = j**2 - 12*j - 1. Let a be n(13). Let u = a + -11. Is u bigger than 0.1?
True
Let q be (-4)/16 + (-883)/(-3276). Let s = -26627/20475 - q. Let b = s - 19/175. Which is greater: b or 0?
0
Suppose -4*q - 136 + 44 = 0. Let j be (2 + 2)/((-8)/(144/3)). Which is bigger: q or j?
q
Suppose 15*k = 10*k + 120. Suppose -27*i + k*i = -45. Which is bigger: i or 14?
i
Let u = -6 + 11. Suppose -2*z + 0*z - u*o = -12, -20 = -2*z - 3*o. Suppose -s - s = z. Is -0.1 at most as big as s?
False
Let k = -44 - -44. Suppose -9*x + 10*x - 4 = k. Is 9/2 greater than or equal to x?
True
Let y = 2533934/523 + -4845. Which is smaller: y or 1?
y
Let l = 20 - 16. Suppose -16 = -2*q - 4*o + 18, -53 = -3*q - l*o. Let f = 20 - q. Is 1/3 less than or equal to f?
True
Let x(t) = 3*t + 16. Let m be x(-5). Suppose -m = f, -4*o = -5*f - 1 - 0. Let w = 3 - 2.99. Is w < o?
False
Let k(i) = i**3 - 9*i**2 - 10*i - 1. Let d be k(10). Let l = d - -1. Let p be (-8)/84*42/72. Which is smaller: l or p?
p
Suppose u - 15 + 3 = -4*r, -5*u + 2*r = 50. Let q be 4*(-4 - (-156)/16 - 5). Let b be q - 4/u*-14. Is -5 at least as big as b?
False
Suppose 2*l - 2*d + 43 = -1, -5*d = -10. Let p be (-258)/8*l/15. Which is smaller: 2 or p?
2
Let f(q) = 4*q - 33. Let d(i) = -17*i + 133. Let o(b) = 2*d(b) + 9*f(b). Let r be o(16). Which is bigger: r or 2/5?
r
Let q(h) = -9*h - 40. Let x be q(-7). Suppose 26 = -22*t + x*t. Is 27 at most as big as t?
False
Suppose 0 = -9*u - 131 - 274. Is -50 >= u?
False
Suppose -128*r + 131*r + 23 = -5*v, 0 = -4*v - 16. Suppose -t + 2 = -0. Is t greater than r?
True
Suppose 3*w - 2*d = 1370, -6*d + 920 = 2*w - 4*d. Which is bigger: 1 or w?
w
Let g = -696.7 - -696. Let i be ((2 - -1) + -4)/1. Does i = g?
False
Let o(j) = 5*j**2 + 165*j + 22. Let w be o(-33). Let r be (-22)/((1/(-1))/1). Is r at least as big as w?
True
Let g = -58 - -39. Let h = g - -18.4. Which is bigger: -1/6 or h?
-1/6
Let d be (-2)/(-4 + 5)*1/9. Which is greater: d or 74?
74
Let c be (-34766)/10*10/84. Let v = -827/2 - c. Are v and -1 non-equal?
True
Let i be (-98)/12 - (3 - 38/12). Let k be 1649/(-7140) + (-10)/i + -1. Is k greater than or equal to -1?
True
Let z = -0.09 + -8.81. Let g = z + 10. Let n = 1.2 - g. Is n at least as big as 0.2?
False
Let o be 5*(-110)/15*(-9)/15. Suppose 3*s - 150 = 4*q, -s + 72 = 4*q + o. Are 51 and s non-equal?
True
Let o = 0.02 + 0.08. Let c = -30/53 + -433/265. Is o >= c?
True
Let o(s) be the third derivative of -s**4/24 - s**3 + s**2. Let m be o(0). Let h be (-21)/12 + 306/(-72). Is h < m?
False
Let z be 4*1*2/(-22). Let f = -58.71 + 59. Let q = f + -0.49. Is q equal to z?
False
Let v be 27/(-36)*(-20)/15. Is -5/106 greater than or equal to v?
False
Let z = 0.411 + -0.311. Let o(k) = k**3 + 6*k**2 + 3*k + 2. Let t be o(-6). Is t greater than z?
False
Let f be 71/4 + (-6)/(-24). Suppose c - 8*c = -2625. Let n be c/20 - 2/(-8). Which is greater: n or f?
n
Let j = 238379/165 + 492/55. Let t = 1469 - j. Let b = t + -880/57. Are b and 1 equal?
False
Let d be 40/(-96)*(15/(-25) - 0). Let m be 1/(-3) + (-41)/(-15). Which is bigger: m or d?
m
Suppose h - 2*w = -3 - 17, -5*h - 72 = 4*w. Let k be h/3*(7 - 4). Is k <= -16?
True
Suppose -5*y = -t - 1, -3*t + 5*y + 2 = -5*t. Let i be 253/92 - 1*3. Which is smaller: i or t?
t
Let i = 9 + -10. Let z be ((-19)/513)/(i/2). Is 1 equal to z?
False
Let b = -120/17 + 634/85. Do b and 62 have the same value?
False
Let a = 23 - 16. Suppose -13*j - a = -12*j. Is -8 > j?
False
Let g = 37 - 33. Let z = 10 + -16. Which is smaller: z or g?
z
Let x(t) = 2*t**2 - 3*t + 1. Let a be x(-3). Suppose -2*k + a = 2*k. Which is bigger: 5 or k?
k
Suppose p - 5*p = -4*b + 24, -5*p - 1