*(-6)/(-4). Let w = 11 + c. Is w equal to -0.2?
False
Suppose 63*m = 66*m + 117. Which is smaller: m or 3?
m
Suppose 0*j - j + 31 = -3*l, -5*j = l + 37. Let c be (-29)/(-30) + l/12. Is c at most as big as -1?
False
Let q(g) = -2*g + 3. Let d be q(2). Is -3/8 != d?
True
Let o = 102 - 101. Let m be 2 - (-2 + (-65)/(-16)). Is m greater than o?
False
Suppose 13*y = -3326 - 1419. Is -364 at least y?
True
Let r = -408.3 + 408. Is -1/13 smaller than r?
False
Let y be (-2 + -5 - 438) + -2. Is y less than or equal to -448?
False
Let u be -33 - -37 - 924/230. Is u > 16?
False
Suppose 5*l - 10 = -0*l. Suppose 5*c = -2*i - 5 - l, i = 2*c + 1. Let f = 1 + 0. Which is greater: i or f?
f
Let q = 752 - 3009/4. Which is smaller: q or 5?
q
Suppose -5*t - 15 = 0, -15*q = -10*q + 4*t + 697. Is q >= -136?
False
Let f = -1180 - -57809/49. Are 0 and f equal?
False
Let r be ((-1)/4)/(45/480*72). Let d(z) = z - 1. Let m be d(0). Which is greater: r or m?
r
Suppose 0 = -3*n - 9, 5*d = 4*n + n - 5. Let f be -7 + d/(-6)*3. Let v be (9/30)/(6/f). Is v at least -0.1?
False
Let z = -315 + -289. Is 0.1 bigger than z?
True
Let h = 63 - 43. Let f be (10/h)/(353/4). Let j = 2483/2118 - f. Does j = 1?
False
Let q = -2421 - -2715. Which is greater: 295 or q?
295
Suppose 5*y + 14 = -i - 1, -y = -3*i + 19. Suppose -3*x - 4 - 1 = 2*j, -i*x = -3*j - 17. Let h(v) = -v - 6. Let l be h(-5). Is j > l?
False
Suppose 4*z + z - 193 = j, -160 = -4*z - 2*j. Is -0.03 smaller than z?
True
Suppose 8 = 2*b - f, -b - f + 10 = -0*f. Let w(p) = -5*p - 1. Let j(v) = -14*v - 4. Let r(a) = 6*j(a) - 17*w(a). Let q be r(b). Is 2 greater than q?
True
Suppose -4*s + 2*i - 114 = 0, -6*i + 2*i = 4. Suppose 0 = -5*v + v - 112. Which is smaller: v or s?
s
Let l be (-1)/5 - (-12 - (-1045291)/88595). Is l at most as big as 1?
True
Let u be -3*(4 + -6) - 10. Let n = 39 - 87/2. Which is smaller: u or n?
n
Suppose -7*z = -0*z. Suppose -3*m + 0*a - 3*a - 21 = z, m = 5*a - 25. Is -68/7 less than m?
False
Suppose -32*n - 8*n = 23*n. Do 3/605 and n have the same value?
False
Suppose u + 97 = 112. Suppose -s - 938 = -u*s. Do s and 67 have the same value?
True
Suppose -4 - 6 = 10*t. Which is greater: t or -2/647?
-2/647
Let u = 373.1 + -413.64. Let t = 41 + u. Let h = t - 0.06. Are h and -2 nonequal?
True
Let t(o) = o**3 - 4*o**2 - 7*o + 8. Let p be t(4). Let v be (-1)/2 + 130/p. Which is bigger: v or -13?
v
Let c be 9/(-81) + (-74)/(-18). Let g(i) = -i**2 + 8*i - 7. Let q be g(5). Does c = q?
False
Let h = 13/139 - 1950/1529. Which is bigger: -1 or h?
-1
Suppose -2*s - 30 - 5 = 5*g, 4*g - s + 41 = 0. Let t = -1.799 - -1.699. Is t at most as big as g?
False
Let y be (1/(-12))/(98/16 - 7). Is -9 bigger than y?
False
Let j = -134 + 134. Suppose -7*p + j*p - 490 = 0. Is p at least -71?
True
Suppose 4*h = 2*h. Suppose -5*g + 56 + 96 = -2*d, 3*g + d = 100. Which is smaller: g or h?
h
Suppose 2*a = -5*f + 144, f + 102 = 4*f - 4*a. Let t = f - 30. Is -1/8 less than or equal to t?
True
Let k(j) = j**3 + 7*j**2 + 6*j + 1. Let s be k(-5). Suppose 4*z + 3*o + 25 - 122 = 0, 2*z - 47 = -o. Which is bigger: z or s?
z
Suppose -14 = 4*p + 2*y, 2*p + 26 = p - 5*y. Which is bigger: p or -1/43?
-1/43
Let d be (16/10)/((-20)/1850). Which is bigger: -149 or d?
d
Let x = 0 - 0. Suppose x = -v - v + 6. Suppose -3*a - 103 = 4*j, 5*a - 99 = v*j - 0*j. Is j at most -29?
False
Suppose -3*o - o - 4 = 0. Let z be o/(-8) + 118/(-1200). Is z > 0?
True
Let b = -17 + 16. Let t be 3/(-2*b/4). Suppose c - 3*c = t. Is c at most as big as -2?
True
Let b = -8260 - -287936/35. Let u = b + 44959/210. Let q = 180 - u. Which is bigger: q or 0?
0
Suppose -15*o + 82 = 37. Suppose 6 = -6*u + u + 4*w, 2*u - 2*w + 4 = 0. Is u smaller than o?
True
Let r = 651 + -607. Is r at most 45?
True
Let l(t) = 9*t + 31. Let u be l(-7). Is -33 >= u?
False
Let d = 3.4 - 0.4. Is d less than or equal to -60?
False
Let u(v) = -v**2 + 9*v + 23. Let b be u(11). Let m be (-9)/2817*-1*2. Let j = -263/7825 - m. Which is smaller: j or b?
j
Let y = -237795 + 28297217/119. Let z = 22/7 + y. Which is bigger: 0 or z?
0
Suppose j - 20*a = -23*a - 13, 2*a = -8. Is 3/23 >= j?
True
Let f(y) = -y**3 - 10*y**2 + 8*y - 25. Let n be f(-11). Suppose 44 = -n*r + 6*r. Let i = -58 - -35. Which is smaller: i or r?
i
Let g = -41.967 + 42. Let v = g + -0.433. Let h = 2 - 2.2. Is h equal to v?
False
Suppose -3*u - p + 2*p = -8, 0 = -u - p. Suppose -4*x - 4*q = -4, 4*x - q = x + 7. Suppose 3*a - 28 = a - 4*t, x*a - t - 3 = 0. Which is smaller: a or u?
u
Let w be 21/(-5) + 3/3. Let d = 42 + -40. Suppose 0 = 5*n + 2*s + 8, -3*n = -d*s + 8 - 0. Which is greater: n or w?
n
Let c = -3.25 + 2.15. Let p = 1.2 + 0. Let u = c + p. Do 0.11 and u have different values?
True
Let b = -161 + 141. Let u be (-7)/b*(-85)/51. Do -1 and u have different values?
True
Let t(n) = 3*n. Let l be t(1). Let v = -2 - -10. Let w be (6/v)/(l/(-12)). Does w = 0.1?
False
Let q = -80 + 98. Which is bigger: 31 or q?
31
Let g = -11 - -14. Let m = -3 + 5. Which is smaller: m or g?
m
Let d = -18 + 29. Let x = d - 11. Is x at least as big as -9/8?
True
Let p = -708066 + 18401241/26. Let i = p + 326. Suppose 12 = 2*t - 4*y, 5*t = t + 2*y + 6. Are i and t equal?
False
Let z be 23/(134343/11664) - 2. Which is bigger: -1 or z?
z
Let u be (-3 + 0 + 2)*-31. Suppose 5*l = y + 23, 5*l = y - 3*y - u. Suppose -4*b = -5*j - 25 + 121, 0 = 3*j - 12. Which is smaller: b or y?
b
Let s = 224 - 176. Are 48 and s nonequal?
False
Suppose -87 = -5*j - 197. Let r be 20*(-138)/14454 + (-4)/j. Which is bigger: r or -1?
r
Suppose t = 4*a - 30 - 22, t = -5*a - 52. Is t <= -1/2?
True
Let o be (518/63 - 5) + -3. Is 11 equal to o?
False
Let x be 7/5 - (-12)/(-30). Let m be (0 + x + -1)*-1. Is -2/107 >= m?
False
Let f(g) = 17*g + 132. Let b be f(-6). Are b and 29 equal?
False
Let s = 0.03 - -1.97. Let d = -2631 + 2626. Is d greater than or equal to s?
False
Let a be (3*72/405)/(8/10). Is -300 at least a?
False
Let b = 0.06 + 1.64. Let p = -19.7 + b. Let v = p + 17. Do v and -3 have the same value?
False
Suppose 2*z + 71 + 67 = 0. Is -68 < z?
False
Let i = 430 + -442. Which is greater: 5 or i?
5
Let o = 56.2 - 53. Let s = 5 - 5.2. Let m = s + o. Which is bigger: m or 0.3?
m
Let q be ((-1)/(-7))/((-81)/39 - -2). Which is smaller: -1 or q?
q
Let c be (-3)/(-9)*3/(-2)*4. Is -15 greater than c?
False
Suppose 4*p - 405 = 3*u - 111, p = u + 73. Let l = p + -66. Is l equal to -1?
False
Let f be 619/9 - (234/(-81))/13. Are f and 68 equal?
False
Let y = 309.1 - 287. Is -0.1 smaller than y?
True
Let z be 3/(45/(-40))*-3. Suppose -6*j - 172 - z = 0. Are j and -29 unequal?
True
Let b(r) = r**2 + 4*r - 5. Let f be b(-4). Let u(a) = a**2 + 8*a + 10. Let h be u(f). Which is bigger: -4 or h?
-4
Let c = 0.08 + 1.92. Let d = -190 + 337. Let x be 14/4*(-36)/d. Which is smaller: x or c?
x
Suppose 17*l = 36*l + 2717. Which is bigger: l or -144?
l
Let k = -2128 + 34113/16. Which is smaller: k or 2/7?
2/7
Let q(y) = y + 2*y - 4*y + 1 + y**2. Let p(t) = -6*t**3 - 5*t**2 + 8*t - 5. Let m(v) = p(v) + 6*q(v). Let x be m(-1). Which is smaller: -2 or x?
-2
Let v = 10567/210 - 706/21. Is 18 smaller than v?
False
Let f = -42 - -36. Which is greater: f or 9?
9
Let d be 1*(-2)/(-3) + (-45292)/(-804). Is d greater than or equal to 54?
True
Let l be 18/(-12) + 5/2 - 89. Is l at most -89?
False
Let t be ((-4)/14)/(1/14). Suppose 0 = 4*w - 3*q + 26, q + 0*q - 7 = w. Does t = w?
False
Let f = -2343 + 248365/106. Which is smaller: -1 or f?
-1
Suppose -5*a - 13 = -3*c, 3*c = c - a - 13. Is c equal to -13?
False
Let s(c) = -14*c - 45. Let m be s(-3). Which is smaller: m or -12?
-12
Let a(q) = -q**3 + q**2 - q + 1. Let d(b) = b**2 - 3*b - 10. Let x be (3 + -1*8)*-1. Let t be d(x). Let y be a(t). Is 2/11 smaller than y?
True
Let a be 14/(-8)*6*4/219. Which is smaller: a or 0?
a
Suppose 0*g - 45 = 3*g. Let r be (-1*-3*1)/((-9)/(-9)). Suppose -r*i = -2*t - 2*i - 29, -3*t = 2*i + 47. Do g and t have the same value?
True
Let z(w) = -4*w + 9. Let i be z(3). Is i != 2/21?
True
Suppose c - 1 = -4*x + 18, 0 = -2*x + 4*c - 4. Let v be -2 - -1 - (x - 7). Is 22/7 bigger than v?
True
Let a be 1/(3/6) + 1. Suppose -p + 4 = a*p. Which is smaller: -8 or p?
-8
Let a be (2730/77)/(-13)*2. Which is bigger: -5 or a?
-5
Let s = -55 