10. Let f be d/3*3/(-5). Is f greater than z?
True
Suppose 2*a - 22 = -2*d, -3*a = -a - 5*d + 13. Suppose 5*q + a = -2*u, -u = -5*u + 3*q - 12. Let h be (-2)/6 + 2/u. Do -0.4 and h have the same value?
False
Let n(t) = 2*t + 1 - 3 - 4 + 2. Let a be n(3). Suppose 13 = -5*j - r, 3*j = -5*r - 1 + a. Is -3 < j?
False
Let f = 415.149 - 2.149. Is f smaller than 2?
False
Let q be 3 - (2 + -431)*(-1)/(-3). Is q bigger than 147?
False
Suppose 3*p + 4*d - 301 = 0, 4*d = -0 + 4. Is 99 bigger than p?
False
Let y be 52/10*2350/(-94). Which is smaller: y or -127?
y
Let x = -0.1 - 0.9. Let w(t) = -t - 1. Let l(i) = 7*i + 10. Let n(s) = l(s) + 6*w(s). Let u be n(-3). Which is smaller: u or x?
x
Let s = -68 + 174. Let q = s + -105. Are -5 and q nonequal?
True
Let o(v) = 2 - v + 6*v**2 - 5*v**2 + 1 - 2 + 10*v**3. Let a be o(1). Let d = 6 - a. Are d and -4 equal?
False
Let b = -13671/11 - -1242. Which is smaller: 0.3 or b?
b
Let z be (-169)/50 + (-5 - -8). Let s = -12/25 - z. Which is bigger: 1 or s?
1
Let r(h) be the third derivative of -h**4/8 + 3*h**3 + 11*h**2. Let m be r(8). Are m and -7 equal?
False
Let x = -19 - -12. Let h(a) = -a - 17. Let b be h(x). Let z be b/4*12/15. Which is bigger: z or -5/9?
-5/9
Let q(v) = -v**3 + 9*v**2 - 10*v - 3. Let m be q(8). Let o be 5/((-5)/1)*m/(-1). Which is smaller: o or -18?
o
Let d = -2.52 + 2.6. Let u = 0.02 + d. Are 0.01 and u unequal?
True
Suppose -3*o + 26 = t - 0, t + 30 = 4*o. Suppose -p - o = 3. Is -9 greater than p?
True
Let t = -24 - -37. Let y = -11.73 - 0.27. Let x = y + t. Which is smaller: x or 0?
0
Let t = -1694.95 + 1695. Is t at least -0.02?
True
Let i = 100 - 205/2. Let r = -729 + 727. Which is smaller: i or r?
i
Let b be (-23)/3 + 2/(-6). Let a(q) = q**3 + 7*q**2 - 9*q - 2. Let s be a(b). Let f be 4/s + 32/6. Do 7 and f have different values?
True
Suppose 4*r - 3*k + 4*k = -25, -2*r - k = 11. Let p(z) = z**3 + 7*z**2. Let x be p(r). Let w be (4/(-3))/((-75)/9). Is w bigger than x?
True
Let t be ((-4)/30)/((-74)/(-2627)). Which is greater: t or -6?
t
Let v = 176 + -174. Which is smaller: 70 or v?
v
Suppose -2*u + b = 16, u - 19*b = -14*b + 10. Is 76 greater than u?
True
Let l be (-24)/(-20)*3537/8. Let n = -531 + l. Let i = n - -7/10. Which is smaller: i or 0?
0
Suppose 0 = 12*j - 236 - 220. Which is smaller: j or 39?
j
Let b(d) = 2*d - 291. Let v be b(62). Is -167 less than v?
False
Suppose -y = -4*y - 6. Let g be (-4 - y)*(9/(-8) + 1). Let r = -0.1 - -0.3. Is r < g?
True
Let u be (-1)/3 + 5/15. Let t be -51*((-10)/55 - (-274)/(-66)). Let s = t - 3756/17. Which is bigger: u or s?
s
Suppose 0 = -3*n + 4*n - 9. Suppose 6*v - 2*v - 4*z = 0, 3*v = 5*z - 4. Is n <= v?
False
Let j be (1/3)/(2/30). Let g be (-4)/(-10) - 67/j. Let w be (364/(-42))/((-6)/(-9)). Is w greater than g?
False
Let j be 3*((-8)/3 + -1). Let g = -59 + 66. Suppose -11*z = -g*z + 44. Is z less than or equal to j?
True
Let n = 155/4 + -39. Let g be 3/5 + 30/75. Which is bigger: g or n?
g
Let t = 1.7 + -0.2. Let l = -2.5 - t. Let s = l + -5. Does s = -1?
False
Let d = 715 - 715.134. Which is smaller: -1 or d?
-1
Let f = -1 - 8. Let z be ((-10)/(-3))/((-1)/f). Suppose -3 - 4 = 4*v + u, 3*u = 5*v + z. Is v less than -4?
False
Suppose -4*t = -0 - 16. Let w be (15*20/(-15))/((-2)/t). Which is smaller: 39 or w?
39
Let j be -10*-3*11/6. Suppose 58*n = j*n + 156. Is 52 greater than or equal to n?
True
Suppose 17*w - 20*w = 12. Let g be ((-520)/(-15))/((12/9)/w). Is -105 < g?
True
Let y be -138 - (2 + (5 - 4)). Is y at least as big as -143?
True
Let q = -0.136 - -0.166. Is -5 less than q?
True
Suppose -3*d + 10 = 2*f + 2*d, 2 = -4*f + d. Suppose f + 1 = a. Which is smaller: a or -1/5?
-1/5
Let y = 21 - -4. Suppose -3*l + 12 = 5*s - 11, 5*s + y = 0. Let j be 2/51*(-12)/l. Which is smaller: -1 or j?
-1
Let c = -30/17 - -430/51. Which is smaller: c or 4?
4
Let v(t) = t + 12. Let a be v(-11). Let c be a/5*1 + 154/(-20). Is c != -9?
True
Let u = -3.5 - -6.7. Let k = -2 + u. Let g = k + 1.8. Is -2/7 < g?
True
Let r be (-507)/3*12/(-30). Let u = 68 - r. Which is greater: u or 14?
14
Suppose 16*b = 10*b - 24. Which is bigger: -32/7 or b?
b
Let h be -2 + 1 + (-55)/(-45). Let n be 4/(-6)*30/70. Is n > h?
False
Let d(w) be the third derivative of w**5/30 + 23*w**4/24 + 2*w**3 + 2*w**2 + 5. Let u be d(-11). Which is bigger: -7 or u?
u
Let x be 590/(-22) + (-8)/44. Let l = x + 190/7. Is l greater than 2/3?
False
Let m = -857/6615 - -31/441. Which is greater: m or 1?
1
Suppose -4*j + j = 4*w + 150, 3*w = -j - 115. Let s = -40 - w. Are s and 2/73 nonequal?
True
Suppose -z - 3*k - 109 = -39, -3*z - 197 = -4*k. Let l = -72 - z. Is l < -6?
False
Let n = -15942 + 15963.014. Let o = n + -0.014. Let r = 20 - o. Do r and -1/6 have the same value?
False
Let r be (6/12)/((-1)/2). Let f(u) = -9*u**2 - 2*u - 1. Let q be f(r). Let m = -159 + 151. Is m smaller than q?
False
Let m be -1*3 + 9 + (-51)/9. Let x = 0.5 + -4.5. Which is smaller: m or x?
x
Let a = -130 + 131.072. Let y = a - 0.072. Which is smaller: 0.064 or y?
0.064
Let g = 0 + 0. Let p = -5346 + 48356/9. Let u = p - 9904/369. Do g and u have the same value?
False
Suppose 0*p + 54 = 2*p. Let i be p/15 + (-3 - -1). Let d be ((-2)/5)/(-4 - (18 + -24)). Is d at most as big as i?
True
Let h be (23/230)/(2/20). Which is smaller: h or 2/353?
2/353
Suppose -z + 4*d - 148 = 0, 2*d - 3 = -d. Let q = z + 1010/7. Let j = -0.06 + 2.06. Which is greater: q or j?
j
Let s be -24*(6/15)/((-42)/35). Let l be 0/(0 - -1) - -5. Is l smaller than s?
True
Suppose 5*k - 4*s = -66, 0 = -2*k + 2*s - s - 27. Suppose -6*a - 6*a = 60. Is k less than a?
True
Let d(u) = 7*u - 29. Let n be d(15). Let o = n - 91. Is o >= -57/4?
False
Let x = -9.07 + -0.12. Let d = x + 0.19. Let m = 41.9 + -42.9. Is m at least as big as d?
True
Let s be 5/20*(15 - 15). Is s smaller than -362?
False
Let t = 0.75 + 11.55. Let o = t + 2.7. Let l = o - 14.8. Is 0.3 greater than or equal to l?
True
Let m = -12927 - -90718/7. Let l = m - 33. Are -20 and l nonequal?
True
Let w = -6 - -4. Let z = -10.785 + -0.215. Which is bigger: w or z?
w
Let i be ((-355666)/(-22))/((-1)/4). Let s = -64764 - i. Let g = 98 + s. Which is smaller: g or 0?
0
Let a(j) = 22*j - 7. Let p be a(12). Let v = -469 + p. Let h = 5302/25 + v. Is 0 bigger than h?
False
Let g be -1 - (-4684)/2814 - 132/198. Is 0 bigger than g?
True
Let a = 687 - 689. Is -18/23 > a?
True
Let d = 6 + -4. Let s = -2.04 + d. Let g = 2861 + -2861. Does g = s?
False
Suppose -2*p + 2*d - 2 = -8, p - 5*d + 17 = 0. Let g be (3/1)/((-3)/(-9)). Let t = g - p. Which is smaller: -4/15 or t?
-4/15
Let o = 80956 + -565490/7. Let h = o - 4918/35. Let l = h + -149/5. Is 0 at most as big as l?
True
Let p = -0.1 + 3.7. Let o = -3.52 + p. Which is smaller: o or 0.1?
o
Suppose -4*p - 3 = -3*p. Let u be (-15)/(-2)*p/(-12). Let y = 2896 + -2893. Are y and u unequal?
True
Let c be (1064/(-132))/(-7) + (-2)/(-11). Let h = 1/6 + c. Is h equal to 1?
False
Let v = -55 + 166/3. Which is smaller: 9 or v?
v
Suppose -8 = 8*z - 12*z. Suppose r - 4*u = 36, -2*u = -0*r - z*r + 42. Suppose 2*y + r = 4. Is -5 bigger than y?
True
Let n = -0.317 + 0.027. Let o = 3.51 - n. Let u = o - 2.8. Is u greater than 1?
False
Let g(q) = 2*q**2 - 15*q + 3. Let m(d) = -d**2 + 7*d - 2. Let f(w) = 3*g(w) + 7*m(w). Let k be f(0). Which is greater: k or -1?
-1
Suppose 15*s - 11*s - 4 = g, 2*s - 2 = 4*g. Which is greater: g or -1/956?
g
Let u = -229 - -228. Is -1/194 equal to u?
False
Let d = -30 - -29. Suppose b - 5*i + 26 = 9, 5*i - 20 = 0. Suppose 2 = -b*g + g. Is d greater than g?
False
Suppose 0 = 16*z - 7280 + 7424. Let g(y) = y - 4. Let n be g(-5). Is z greater than n?
False
Suppose 2*y = -2*t + y - 3, 0 = -2*t - 5*y - 7. Let a be 2/2 + (5 - 6). Suppose 4*u + 5*j = 3*j - 6, 5*u + 3*j + 8 = a. Is t less than or equal to u?
True
Suppose 8*x + 8 = 12*x. Suppose -33 = j + k, j + 8 = x*k - 13. Which is greater: j or 0.2?
0.2
Let p = 476 + -477. Let i = 1451/65 - 112/5. Which is smaller: p or i?
p
Let p = -46/105 - -4948/10815. Let w = 383 - 384. Is p < w?
False
Suppose -4*u = -2*n - 10, 0 = -4*u + 5*u + 3*n - 6. Suppose 45 = u*t - 8*t. Which is smaller: -8 or t?
t
Let r = 10.8902 + -0.0402. Let p = -0.15 - r. Let n = 18 + p. Which is smaller: n or 1/3?
1/3
Suppose 5