-4)/(-30) - (-2534)/21. Let m = q - 120. Let t(a) = -a - 5. Let i be t(-7). Which is smaller: i or m?
m
Let u = -35 + 104/3. Let z be -2 - (-4)/(-15)*-7. Which is greater: u or z?
z
Let j = 6 - 3. Suppose j = 3*d, -2 = -a + 3*d - 5. Is -2/25 less than a?
True
Let s(q) = q**3 - 12*q**2 - 13*q + 16. Let w be s(13). Suppose -14 = 2*y - w. Is 0 bigger than y?
False
Let l be (-6)/(-21) - 132/21. Do l and -34/7 have different values?
True
Suppose 2*p - 2*f + 12 = 0, -2*p + 0*p + 4*f - 16 = 0. Let d = -6 - -12. Let s = d + -8. Which is smaller: p or s?
p
Let w be (-4)/(-5) - ((-388)/(-10) - -2). Which is bigger: -41 or w?
w
Let l = 3.1 + -3. Let c = 1.43 + 0.07. Let s = -1.4 + c. Are l and s equal?
True
Let q be (-2)/(4/(-2)) + 1. Let u be 0 + (-5)/(15/q). Let k(j) = -j**3 - j**2 - 2*j - 9. Let d be k(-2). Which is bigger: u or d?
u
Let u = 0.3 - 0.9. Let r = -0.4 + u. Which is greater: r or -0.5?
-0.5
Let w(l) = 3*l + 5. Let p(m) = 7*m + 11. Let q(i) = 4*p(i) - 9*w(i). Let k = 7 - 3. Let j be q(k). Is 3 equal to j?
True
Let s = -25 + 35. Suppose -s = -f - 4*f. Suppose 0 = f*i + i - 3. Is i at most -2/17?
False
Suppose 3*h = 113 - 5. Let k be 10/12 - (-6)/h. Let b be 28/33 + 6/(-9). Is k < b?
False
Let q = 5.1 + -5. Which is smaller: q or -2/7?
-2/7
Let k = 1 - 0. Let t = 1 + -2. Let u be (t - (0 - 2))*k. Which is bigger: -2 or u?
u
Suppose o - 4*f + 38 = 3, -5 = 5*f. Is o bigger than -39?
False
Let y be 4/(-10) + (-508)/(-45). Let i = y - 1256/117. Let u be ((4 - 7) + 3)/(-2). Which is greater: u or i?
i
Let h = 98.9 - 107. Let k = 8 + h. Let b = -143/3 - -48. Is k greater than b?
False
Let c = 0.54 + 1.46. Is c <= 1.5?
False
Suppose 4*t - 4*m - 24 = 0, -2*m = -2*t + 4*t + 8. Let j be -2 + 2 - 4/t. Which is bigger: -5 or j?
j
Let d = 22 + -23. Which is bigger: -2/15 or d?
-2/15
Let k be -1 + (-1 - (-9)/6). Let g = 2/3 + k. Let s = 2 + -2.1. Is s greater than g?
False
Let o be ((-4)/(-6))/(-1 - 1). Suppose -10*h - 10 = -0*h. Which is smaller: o or h?
h
Let v be 128/112*(-1)/6. Are 1 and v nonequal?
True
Let b be (5/90)/(1/4). Let y = -7 + 6. Is b at most as big as y?
False
Let j = -1.82 - -0.96. Are j and -2/3 unequal?
True
Suppose w + 4*q + 67 = 0, -5*q - 73 = 3*w + 100. Is -51 smaller than w?
False
Let f be (4/32)/(2/(-4)). Which is greater: -0.2 or f?
-0.2
Let r = 31546/27 - 1168. Which is smaller: 1 or r?
r
Let w = 6 + -5. Suppose 3*v - 3 = 3. Which is smaller: v or w?
w
Let b = -20 - -12. Let u = b + 9. Let x = -1 + 4. Is x less than or equal to u?
False
Let d = 6 - 5. Let s be (d/3 + 0)/1. Are s and -1/3 nonequal?
True
Suppose 3*w - 2*f + 5 = 2*w, 8 = -2*w + 3*f. Let x = -17 + 33/2. Is x less than or equal to w?
False
Let r = -2 - 0. Suppose 0 = -3*w + 16 - 46. Let d be (1/(-6))/(w/(-45)). Is r less than d?
True
Let x = 84 - 257/3. Is 1/4 not equal to x?
True
Let q be (-8 + 10)*2/(-4). Is -3 not equal to q?
True
Let v = 0.15 - 0.25. Is v smaller than 1?
True
Let u(c) = -c + 1. Let o be u(1). Suppose 3*a = -o*a. Let x be (3/(-10))/(9/(-4)). Are a and x unequal?
True
Let f = 0.17 - 10.17. Let q = f - -3. Which is smaller: 1 or q?
q
Let o = -0.6 - -0.9. Let s = 6 - 6.4. Let j = s + o. Which is smaller: j or -2/7?
-2/7
Let o = -2 + -3. Let h(p) = -p**3 + 12*p**2 - p + 6. Let i be h(12). Which is smaller: i or o?
i
Suppose -6 = -4*b + 2. Which is smaller: 5/6 or b?
5/6
Let z be -4*1/(-2) + 6. Let h = z + -4. Suppose -h*a = -12, -3*m - 4*a = a - 27. Is m bigger than 2?
True
Let l = -41 - -39.65. Let b = l + 0.25. Do 0 and b have different values?
True
Suppose 9 = u + 2*u. Let y(z) = -z**2 + 13*z - 26. Let n be y(10). Is u at least n?
False
Let c be (2/(-3))/((-4)/(-6)). Suppose 1 + 5 = 6*t. Let h be (3 - t) + 3/c. Is h > -2?
True
Let h(x) = -9*x - 1. Let n be h(-1). Let f be n/12 + (-86)/(-6). Suppose -f = t + 4*t. Which is greater: t or -2?
-2
Suppose 7*v - 4 = 3*v. Is v < 7/3?
True
Let g = 13 + -12.8. Is g bigger than 0.3?
False
Let v(w) = -w**3 + 16*w**2 - 13*w - 21. Let a be v(15). Suppose -y + 0*y - 9 = 3*x, a = -3*y - 3*x. Is -2/15 at least y?
False
Let x = -148 - -1334/9. Which is smaller: -8 or x?
-8
Let o(c) = -c**2 - c + 4. Let h be o(-3). Which is smaller: -5 or h?
-5
Suppose 23 = 3*m - 4*o, -5*o = -2*m + 5 + 22. Let n(l) = -l**3 - 2*l**2 - 5*l - 2. Let y be n(-3). Let i be (-2)/5*10/y. Which is bigger: m or i?
m
Let o = -6 + 3. Let m be (3/(-6))/(o - -2). Suppose 0 = 5*z + 3*s + 3, -5*z + 5 = -5*s - 0. Which is bigger: z or m?
m
Suppose -5*b - 3*d = -d - 10, -5*d = 0. Let y(l) = l - 5. Let s(v) = -3*v + 14. Let t(u) = -3*s(u) - 8*y(u). Let x be t(b). Is x at least 2/3?
False
Suppose c + 2*g = -1, -26 + 5 = -5*c + 3*g. Let x = 7 - 3. Is x at most c?
False
Let x(a) = -4*a - 11. Let f be x(-4). Does 4 = f?
False
Let v(p) = p + 2. Let i be v(-1). Let m = i + 18. Let j be m/(-28) + (-2)/(-8). Does -1 = j?
False
Let a = -1/1172 - 9959/3516. Let c = -23/8 + 3/8. Let h = a - c. Which is greater: 0 or h?
0
Suppose 0 = -0*l + 2*l + 12. Let b(n) = -n**2 - 6*n + 4. Let x be b(-7). Let m(r) = 3*r + 3. Let o be m(x). Is o < l?
False
Suppose 4*d = 4*s - 64, 9 = 2*s + 1. Which is smaller: d or -14?
-14
Let g = 101 + -907/9. Which is smaller: 11 or g?
g
Suppose 380 = 5*u + 5*u. Which is smaller: 37 or u?
37
Let k be (-2)/(-6) - 2/(-12). Suppose -2*t + u + 16 = 2*t, t - 2*u = 11. Suppose 2*z + t - 7 = 0. Is k less than or equal to z?
True
Let a = 15 + -7. Suppose 0 = -i + 4 - a. Is -3 >= i?
True
Let t = 2.4 + -1.4. Let w = -69/20 - -13/4. Which is bigger: w or t?
t
Let m be (-5)/15*(-2 + 11). Is -5/2 at most m?
False
Let m = 38 - 37. Is m greater than or equal to 0.05?
True
Suppose 0 = 2*k - x - 3 - 0, 3*x = -k - 9. Suppose 4*p + 5*h + 12 = -3, k = -3*p + 4*h - 19. Let s be (-2)/p - 180/325. Which is bigger: s or 0.1?
0.1
Let q = -28 - -29. Is q at least as big as 2?
False
Let b = 66 + -68.7. Let i = b - -2. Let k = -0.3 + i. Which is bigger: k or 2/3?
2/3
Let p(j) = -j**2 - 10*j - 8. Let u be p(-6). Suppose -4*f = -k + 1, u = -f - 2*k - 3*k. Do f and -1 have different values?
False
Let m = 22 + -25. Do m and -3/2 have the same value?
False
Suppose -4*f - 4*i = 4, i + 2*i + 31 = 4*f. Let g = 0.1 + -0.2. Which is bigger: g or f?
f
Let q = 93 - 635/7. Is 2 != q?
True
Let n(k) = 2*k + 1. Let s be n(-1). Let q = 9 - -71. Let t = q + -163/2. Is s greater than or equal to t?
True
Let x be (-12)/1 + 1 + 0. Suppose 0 = 12*z + 99 + 21. Is x at least z?
False
Let k(r) = r - 2. Let p be k(6). Suppose 3*i = -2*i + 50. Let n = i - 5. Is p at most n?
True
Let t be (-9)/4*4/6. Which is greater: t or -2?
t
Let f = 29 - 63. Which is greater: f or -35?
f
Let u(z) be the second derivative of z**3/6 - 3*z**2 + 32*z. Suppose -2*s + 10 = -0*s. Let j be u(s). Is j equal to -1?
True
Let m = 36 + -24. Which is smaller: m or 11?
11
Let a be ((-3)/9 - -1)/2. Do -5 and a have different values?
True
Suppose -4*u + 24 = 72. Let i = -12 - u. Do i and -1 have different values?
True
Suppose -2*z + 0 = -8. Suppose -y - 3*y = -z. Is y less than 0?
False
Let g = 105 - 736/7. Let i = -0.1 - -0.1. Which is smaller: g or i?
g
Let u = -116396983253/3720 + 31289512. Let w = 1/465 + u. Are w and -1/3 unequal?
True
Suppose 2*i - 3 = -i. Suppose 4*b - i = 4*n - 9, 2*b - 5*n + 13 = 0. Suppose v - b = 2*p, 4*v + v - 5 = -p. Is v > -2/5?
True
Let b(r) = -r**3 - r**2 + r. Let h be b(1). Let o = -85 - -85. Which is bigger: o or h?
o
Suppose 5*g = 7*g + 6. Let q be 5/g + 0 - -2. Is q less than -4?
False
Suppose 0 + 3 = 3*h. Suppose -9 = -2*r - h. Which is smaller: 5/2 or r?
5/2
Suppose -5*l + 4 = 4*u - 2, 2*l = 3*u + 7. Suppose -l*j - 2*j = 4. Which is smaller: j or 0?
j
Let d = -29 - -31. Do d and 0.2 have the same value?
False
Let k(t) = t**2 - 4*t + 3. Let f be k(3). Let a be f/(2 + (-3)/1). Let y be (-1 + a)*(0 - 1). Are y and 2 equal?
False
Suppose 8 = 2*v - 2*q, -3*q + 0*q = -2*v + 10. Is 0.2 <= v?
True
Let o be 2 + 6/26 - 2. Let c = -8/91 + o. Let j = -29 + 28. Which is smaller: c or j?
j
Let k = -28 + 21. Let q = k - -7.6. Which is smaller: q or 1/2?
1/2
Let a be (2 + 4/(-20))*5. Suppose c - 2 - 7 = 0. Is c greater than or equal to a?
True
Let v = 6/19 - 80/133. Let n be (-1 - -1) + 1 + 0. Is v at most as big as n?
True
Suppose -3*n - 2 = -5*n. Let a(k) = k**2 - 14*k + 13. Let u be a(13). Whi