3)*-1)/((-4)/(-42)). Let k be (-4)/(0 - (-4)/18). Which is smaller: k or q?
q
Let u = 29 - 50. Let s be 32/5 - ((-36)/(-15) + -2). Let k be (-10)/20 - (-5)/s. Which is smaller: u or k?
u
Let c = 40.067 - 39.9. Let q = c - -0.123. Which is smaller: -1/5 or q?
-1/5
Let b = 3 + 1. Let k(x) = x**3 + 8*x**2 + 13*x - 6. Let t be k(-5). Suppose -t*r - 12 = -4*m, 3*r + m + b = -m. Is 0.6 bigger than r?
True
Suppose -39 = -10*q + 21. Suppose 0 = 3*p - q + 3, -3*t = -4*p - 446. Do 151 and t have the same value?
False
Let a(l) = -l**3 - 10*l**2 - 36*l - 132. Let j be a(-7). Let f be 8*(j + (0 - (-2 + 1))). Is -208 less than f?
False
Let o(i) = -i**3 - i**2 - 87*i + 986. Let t be o(0). Is 987 less than t?
False
Let z be 405/5 - (8 + -3). Let h be ((-418)/z)/(2/12). Is h >= -32?
False
Suppose u = -2*a + 153, 498 = 5*u - 3*a - 306. Do u and 157 have different values?
True
Let f = 3 - 40. Let y be f/(-7) + (-4)/14. Let a = 0.30594 + 0.69406. Which is bigger: a or y?
y
Suppose -2*d + 6*d = -3*b - 14, d - 5*b = 31. Let r be 1/2*-3*-4. Let g be (r/(-44))/(9/12*d). Which is greater: g or 1?
1
Suppose 10 - 7 = -3*q. Let s be (5/(-2))/(q/(-2)). Let b be 3 + 238/s - 2/5. Is -45 at most b?
True
Suppose -o + 5 + 13 = 5*x, 5*x - 2*o = 9. Suppose -3*z = 3*r + 27, -36 + 5 = x*z + 5*r. Let a be 122/z - 6/(-14). Is -31/2 greater than or equal to a?
True
Let r(i) = -i**3 + 9*i**2 + 17*i - 23. Let q = -105 - -115. Let k be r(q). Is 47 < k?
False
Let o(m) = -m**3 - 8*m**2 - 7*m - 8. Let r be o(-6). Let s be (1617/308)/((-3)/20). Is r bigger than s?
False
Let o = 348 - 75. Let f = o - 6003/22. Which is smaller: 1 or f?
f
Let q be 0/(-2 + 2 + 1). Suppose q = m - 6 + 5. Let b be m/22*-4 - 24/110. Which is smaller: -36 or b?
-36
Let r = -1.5726 - 0.7674. Which is bigger: -0.1 or r?
-0.1
Let v = -70 + 69.899. Let o = 0.95 - 0.991. Let w = v - o. Which is greater: 3 or w?
3
Let b(m) = m + 4. Let g be b(1). Let l(i) = -i**3 + 3*i**2 + 10*i + 3. Let n be l(g). Suppose 6 = -3*k, -5*k = -a + 7 - n. Which is greater: -2 or a?
-2
Let i = 805/4 + -203. Let q(y) = -y**3 + 3*y**2 + 13*y - 12. Let u be q(5). Is i <= u?
True
Let b = 11652 - 42520. Is -30869 < b?
True
Suppose 8*v + 0*v = 40. Suppose -5*k + 69 = 4*a, -v*a - k + 4*k + 114 = 0. Let t be 69/46*40/a. Are t and 4 nonequal?
True
Let p = 37.33 - 34. Let v = p - 1.23. Is -2 at least as big as v?
False
Let x(h) = -13*h**2 - 119*h - 20. Let q be x(-9). Let m be (0 + -2)*2/4. Which is bigger: q or m?
m
Suppose 7 = u + 1. Suppose -2*f = -u, 2*f = 3*v + 7*f - 21. Let j(g) = 27*g + 32. Let y be j(-1). Do v and y have the same value?
False
Let s(n) = 6*n**3 + 11*n**2 - 26*n + 7. Let b be s(5). Let g = b + -49608/55. Is g <= 0?
False
Let z(a) = a**3 - 22*a**2 - 57*a - 64. Let m be z(24). Let d be (-1)/(-7) + 2056/m. Which is bigger: -6 or d?
-6
Let h(w) = -w**3 + 7*w**2 - w - 12. Let t be h(6). Suppose 3*y - t = 9*y. Suppose -17 = 2*j + u, u = -4*j - 20 - 9. Is j >= y?
False
Let a be -5*12/(-3030)*(-2)/6. Is -3 less than or equal to a?
True
Suppose 0 = -a - 2*a - 18. Suppose 217*s - 401 = 218*s. Let n = s + 1183/3. Which is smaller: n or a?
n
Let k(b) = 57*b - 2111. Let c be k(42). Which is smaller: -2/7 or c?
-2/7
Let y = 1854 + -1864. Suppose -9 - 1 = 5*p. Let d be p - (-715)/(-44)*4/y. Does 4 = d?
False
Let k(w) = w**3 - 5*w**2 - 38*w + 129. Let h be k(6). Is -507/8 smaller than h?
True
Let v = -467/126 - -55/14. Which is smaller: v or 105?
v
Suppose 2170 = 70*d - 80*d. Let m = 447 + d. Is m bigger than 0.1?
True
Suppose -90 + 34 = -8*c. Which is smaller: c or 5?
5
Let n be ((-878)/(-3073) + -3*(-4)/(-6))*-18. Suppose -2*p = t - 61, -2*t + 6*t - 116 = -4*p. Is n smaller than p?
True
Let l(f) = 2*f**2 - 39*f - 18. Suppose 8*x - 253 = -93. Let s be l(x). Suppose s*o = -61 + 51. Which is smaller: o or -13?
-13
Let g(q) = -q**2 + 8. Let i be g(4). Let f be 18/82*i/(-12). Let j = 100/123 - f. Is 0.11 < j?
True
Let x = -3490 + 2668. Is 2 <= x?
False
Let l = -2224 + 2223. Let z be 195/30 - 1/2. Let u be ((-8)/z)/(5/(-5)). Which is bigger: l or u?
u
Suppose 5*b + 6 = 3*o + 24, 4*o + 16 = 4*b. Let a be (5/(-10))/(o/(-74)). Is -37 smaller than a?
False
Suppose -4*q + 2*m = 138, 0 = -5*q + 5*m - 201 + 31. Suppose -3577*n - 2923 = -3498*n. Are n and q equal?
False
Suppose 4*r + 1 = 3*r. Let i be (((-7072)/975)/34)/((-14)/21). Which is smaller: r or i?
r
Let n = 0.1206797 - 69.8063797. Let f = n + 0.0857. Let c = f - -68. Is 3 < c?
False
Let h = -1825.22 - -1824. Which is smaller: h or 3/8?
h
Let c(f) = -2*f**2 + 163*f + 313. Let v be c(50). Is v greater than or equal to 3463?
True
Suppose 0 = -z - 2*q + 1, -2*z + 4*q = -7*z + 17. Suppose z*s + 13 = -3*p - 82, 5*s = 3*p + 145. Which is bigger: p or -7?
-7
Let n(t) = -240*t + 681. Let l be n(3). Is l smaller than -344/9?
True
Let r = -2119/4 + 27515/52. Suppose -6 = -f - 2*u, 2*f - 4*u + 9 = -11. Does f = r?
False
Let h(n) = 171*n**3 + n**2 + 6*n + 6. Let l be h(4). Let q be 2/(-5) - l/(-350). Suppose 0 = t - 0*t - 30. Is q at least as big as t?
True
Let x = -361 - -329. Let u be -2 + x/30*95/(-38). Are u and 471 unequal?
True
Suppose -19*j = -274 - 201. Suppose 0 = 21*s - j*s. Are s and -3/182 non-equal?
True
Let p be (3/(-2))/(5 + 69/(-12)). Suppose -p*b + 0*b + 6 = 0. Let u be 38/(-6) + (-2 - (-4)/b). Is u greater than 6?
False
Let a = -9401.5 + 9402. Let s = 0.2 - 0.2. Are a and s non-equal?
True
Let u = 101 + -101. Suppose g + g + 0*g = u. Suppose -2*h + 2*b - 24 = g, -5*h - 6*b = -b + 10. Is -6 < h?
False
Suppose 0*x - x + 20 = 0. Suppose -3*c = 5*i - 0*c - x, 0 = 4*i - 3*c + 11. Let k = 78122 + -2734268/35. Which is bigger: k or i?
i
Suppose 0*b - 4*b + 12 = 0, -518 = -u - 4*b. Let s be u/(-4)*(-9 + 0 + 10). Is -127 not equal to s?
True
Let y be (5 - 22/4)/((-19502)/(-42)). Is 0 at least as big as y?
True
Let s be (12/(-9))/((-4)/(-12)). Let f(v) = -v**2 - 9 + v**2 + 20*v + 5 - v**2. Let m be f(20). Is s at least m?
True
Suppose -3*u = 50*u - 106. Let a = 6/737 + 16172/5159. Which is bigger: a or u?
a
Suppose 0 = 3*p + 4*s - 197, -13*s = -2*p - 11*s + 108. Which is smaller: p or 83?
p
Let i be 2349/(-36)*4/120*5. Which is smaller: i or -12?
-12
Let b be ((-6054)/(-76))/(17 + -15). Let w = -157/4 + b. Are w and 2 nonequal?
True
Suppose -15*w + 25*w - 20 = 0. Suppose h = w*s - 68, h - 39 = -5*s + 145. Is s smaller than 35?
False
Let v = -21 - -26. Let z(p) = 5*p + 1. Let a be z(v). Let h be (8 - 20)/(1 - (-12)/(-8)). Which is smaller: h or a?
h
Let o = 5748 - 6026. Is o greater than -274?
False
Let h(q) = 2*q**3 + 12*q**2 + 2*q + 2. Let g be h(-5). Suppose n + 4*n - g = 3*x, 2*n = -3*x. Suppose -9 - n = -15*l. Is l != 2/49?
True
Let c = -8.2786 + 8.6786. Let d = -2.3 - 9.7. Let m = d - -17. Is m less than c?
False
Suppose 810 - 144 = 3*k. Suppose -k = 30*y - 36*y. Are y and 39 unequal?
True
Let x = 655/3 - 3272/15. Is x greater than or equal to 27.6?
False
Suppose o - 19 = -49. Let k be (-5)/o + 4/(-8). Let a = -1 - -0.99. Which is smaller: k or a?
k
Let w be (7 - 3 - -1)*(5 - 8). Let y be 2 - 182/80 - w/120. Let a = 0.3 + -0.1. Which is smaller: y or a?
y
Let j = 0.995 - 459.995. Let u = 458.93 + j. Which is greater: -3/2 or u?
u
Let y = 61/11 - 5. Let d = -4 + 15. Suppose 0 = 5*b + 1 - d. Which is bigger: b or y?
b
Let y = -12374047/753 + 16433. Which is smaller: y or 0?
0
Let b = 0.1351 + 4.4989. Is -1/3 not equal to b?
True
Suppose -5*w + 5*z = 0, -2*w + 4*z + 15 = 5*z. Let m be 0 + -1 + w - 47685/7623. Let g = m + -6/77. Which is greater: -1 or g?
-1
Let a = -33982 + 33982.4. Is -1/398 at most a?
True
Let m = -471 + 753. Let k = 335 - m. Do k and 269/5 have different values?
True
Let f = -59 - -74. Suppose 3*n = 3*z - f, -4*n + 5*z = -3*n + 1. Let a be n/(2 - -1) + 1448/722. Which is smaller: a or 0?
0
Let v(u) = 4*u**2 - 37. Let r be v(-3). Is r >= -15/484?
False
Let u be (414/345)/((-1)/1060). Which is smaller: u or -1271?
u
Suppose -946 = -y - j, 5*y - 3412 = -3*j + 1314. Which is smaller: 945 or y?
y
Suppose 3*o = 4*l - 255, 171 = -2*o + 2*l + l. Let f be 45/(-18)*(-2 - 12/(-10)). Let u be 15/f*12/o. Which is smaller: -1 or u?
u
Suppose 0 = -254*y + 237*y + 238. Is 15 at least as big as y?
True
Let c be -5*130/(-25)*-2. Let o be (c/(-26))/(1*(2 + 0)). Which is bigger: o or -29?
o
Let 