). Which is smaller: 1/2 or q?
1/2
Suppose g - 5 = -1. Suppose 0*j = 2*x + 4*j + 8, 5*x - 5*j = 40. Is g bigger than x?
False
Suppose -6*d - d = 0. Is d <= 12/19?
True
Suppose -6*q + 3*q = -6. Let l = 20/21 - 2/7. Which is greater: l or q?
q
Let l(p) = -p. Let q(c) = 6*c + 2. Let o(x) = 5*l(x) + q(x). Let w be o(-5). Is w less than -2?
True
Suppose -5*z = 2 - 32. Suppose r + 5 = z. Let p = -457/5 - -91. Which is smaller: r or p?
p
Let q = 0.05 - 0. Let v = -40.75 + 41. Let l = q - v. Is l equal to -0.2?
True
Let n be (-5)/10 - 33/(-2). Suppose 2*l + n = 4*l. Suppose 3*v = -p + 2, -3*v + 4*p - l = -4*v. Is -1 <= v?
True
Let n = -96 + 284/3. Suppose 6*o - 3*o + 1 = -2*s, 3*s + 9 = 3*o. Is n less than or equal to s?
False
Suppose 39*z = 34*z + 15. Which is smaller: 0 or z?
0
Let n(l) = l - 2. Let p be n(3). Suppose 0 = a - p - 0. Which is bigger: a or -3/7?
a
Let y be ((-1317)/(-15))/((-8)/10). Let s = 111 + y. Let v(k) = k - 4. Let g be v(6). Is g >= s?
True
Let q be (-2)/10 + 24/70. Suppose -5*t - 4 = 26. Let v(h) = h + 6. Let n be v(t). Which is smaller: n or q?
n
Suppose 5 = 5*q - 0*l + l, 3*q = -3*l - 9. Let w be 3/q - (-5)/(-2). Which is greater: -2/27 or w?
-2/27
Suppose -12 = -4*v - 0*v. Suppose -v*r - 30 = 2*r. Let s = r - -6. Which is smaller: s or -1/9?
-1/9
Let b(y) = y**2 - 10*y + 4. Let z be 1*((-8)/(-2) - -4). Let r be b(z). Are r and -11 nonequal?
True
Let m = 2004 - 10067/5. Let o = 30 - 21. Let k = o + m. Which is greater: k or -3?
k
Let v be 7/3 + 1 - 3. Which is bigger: 1 or v?
1
Let s be (-660)/8*(-1 - -3). Which is smaller: -164 or s?
s
Let x(o) = o**2 - 2*o - 1. Let t be x(2). Does -1/14 = t?
False
Let n = 44/39 + 7/13. Which is greater: 3 or n?
3
Let o(g) = 17 - 22 + 11 + g. Let n be o(-4). Is n not equal to 10/3?
True
Let s(f) = -6*f - 1. Let b be s(-1). Suppose -u - b*c = 4*u + 45, 5*c = u - 15. Is u at most as big as -4?
True
Let a = -0.13 + -6.87. Let c = 23 + -15.9. Let g = a + c. Is g less than 0.1?
False
Let w be (11 + -6)*(-2)/10. Is -2 at most as big as w?
True
Suppose -53*u = -55*u - 78. Which is greater: u or -38?
-38
Let j = -378 + 11719/31. Which is bigger: j or 0?
j
Suppose 10 = 9*z - 107. Is z greater than or equal to 10?
True
Suppose b + 12 - 16 = 0. Does b = 0?
False
Let i(o) = 3*o**2 - 25. Let y be i(-5). Is y at most as big as 50?
True
Let w = -73.939 - -74. Is w less than or equal to 0?
False
Let h = -0.4 - -0.3. Let v = -8 - -16. Let z be (v - 5)/((-6)/(-8)). Which is bigger: z or h?
z
Let c(y) = -11*y**2 + 26*y - 4. Let k(i) = -4*i**2 + 9*i - 1. Let r(g) = 3*c(g) - 8*k(g). Let f be r(6). Suppose -3*z = -5*z - 6. Which is greater: z or f?
z
Let y(u) = -u**3 - 8*u**2 + 10*u - 4. Let c be y(-9). Which is bigger: c or -11?
-11
Suppose 5*k = 3*y + 7, 2*k + 5*y + 24 = -2*k. Let f = k + 0. Which is bigger: f or -0.2?
-0.2
Let q = -75 - -108. Let j be (-2)/(-3) - 253/q. Does -6 = j?
False
Suppose 0 = -0*i + 4*i - 40. Let k = i - 6. Is k smaller than 1/4?
False
Suppose 0 = -3*x + 3*f + 3, -5*x + 17 = f + 6. Let l = 3 - -2. Suppose -2*p + l = 1. Do x and p have the same value?
True
Let v = -54 + 40. Is v greater than or equal to -16?
True
Suppose -28 = 2*b - 6*b - 4*k, 5*b + 2*k = 29. Which is smaller: b or 21/4?
b
Let u be 4/6 - (-96)/(-9). Let z be ((-10)/(-4))/((-5)/u). Let c = z + -4. Is 1 less than c?
False
Let p = 0.05 - -0.04. Let w = p - 2.09. Which is smaller: 0 or w?
w
Suppose -1 = -4*a + 3*a. Let v be a/((-2)/(-6)*-1). Which is greater: -0.1 or v?
-0.1
Let c = 0.1 - 0.1. Let a be (-2)/(-6) - (-5)/(-33). Let r = 16/33 + a. Which is greater: r or c?
r
Let p be (-3)/(-2 + 1) + -22. Let c = 17 + p. Is -8/9 != c?
True
Let k be -23*(-3)/(-6)*2. Let m = k + 30. Which is smaller: m or 9?
m
Let b be ((-11)/6 - -2)/1. Suppose 5*v = 15, 5*v + 1 = 2*a + 12. Which is smaller: b or a?
b
Suppose 16*p - 10*p + 18 = 0. Is -4 < p?
True
Suppose c = -4*f - 0*c + 14, -3*c - 6 = 0. Suppose -b = f*b + 5. Do b and -1 have the same value?
True
Let u be 0*(5/2 - 2). Suppose -4*z - 4 = -u. Let o = 3 + z. Is 2 < o?
False
Let z = 1 - 1. Suppose z = v - 0*v + 1. Let y = 5 + -4. Which is smaller: y or v?
v
Suppose 0 = -5*i + i + 28. Let f = i - 3. Let d be (-1 - -1) + -1 + f. Which is smaller: 5 or d?
d
Let v = -14 - -14.7. Let g = 1 - v. Is g less than or equal to 0.1?
False
Let q be (4/(-10))/(6/10). Let m be (3/6)/(1/(-4)*2). Is q greater than m?
True
Let d = -49 - -46.8. Which is smaller: d or 0.3?
d
Suppose -3*n = -7*n - 104. Let h = n + 23. Is -2 smaller than h?
False
Let i = 2 + -3. Are i and -1/9 unequal?
True
Suppose -11 = 2*a + 7. Let z be (-15)/a + (-6)/9. Which is smaller: 3 or z?
z
Let m = -2/109 - -224/327. Suppose -7*w + 7 - 112 = 0. Is w greater than m?
False
Let m(u) = -27*u**2 + u - 1. Let t be m(1). Let b be t*(0 + (-2)/2). Let o be 117/b + (-3)/1. Is o > 0?
True
Let z be (1 - (-6)/(-9))/((-1)/3). Which is greater: -3 or z?
z
Let h = 15 - 21. Let w = -6 - h. Is -4 >= w?
False
Let i(w) = 3*w + 9. Let y be i(7). Let r be y/(-50) - (-4)/(-10). Which is smaller: r or -4?
-4
Let r be (-12)/4*2/(-3). Suppose r*w - 31 = j, -3*w - 2*w + 3*j + 75 = 0. Let l be (-40)/w + 8/4. Is l smaller than 1?
True
Let o = -2/23 - 65/46. Let n = 299 + -298.8. Is n at least as big as o?
True
Let y = -2.8 - -3. Let u = y - -0.18. Let w = u - 0.08. Is w smaller than 0.1?
False
Suppose -4*y + 0 = 4. Let p = -2237/8 + 280. Is p at most as big as y?
False
Let o = 3560 + -345323/97. Let w = -209/485 - o. Is 0.03 bigger than w?
True
Let q be (4/(-6))/(2/(-3)). Let n(y) = -4*y + 35. Let j be n(8). Does q = j?
False
Suppose -s + 5 - 1 = 0. Suppose s*h - 25 = -85. Let n be (-2)/h*(-15)/27. Are n and 0 unequal?
True
Let u(d) = -11*d + 4*d + d**2 + 0*d**2. Let k be u(7). Let j be ((-9)/(-8))/3 + 0. Is j > k?
True
Let q be -2*(-2 - (-5)/(-2)). Let l = q - 9. Which is smaller: -1/6 or l?
-1/6
Suppose -4*j + 0 + 4 = 0. Suppose -5*s + 0*s = -2*z + 18, 4*z = 2*s + 4. Let g = 2 + z. Are j and g equal?
True
Let w(m) = m**3 + 14*m**2 + 12*m - 27. Let d be w(-13). Which is greater: -13 or d?
-13
Let k be (-675)/(-665) - (0 + 1). Which is smaller: k or 0?
0
Suppose q = 5*i + 28, -2*i + 40 = 4*q - 4*i. Suppose -3*f - 5 = -q*f. Is 1 < f?
False
Suppose -7 = 4*l + 13. Let c = l - -1. Which is smaller: -17/4 or c?
-17/4
Let q = -85/14 + 11/2. Suppose 4*y - 5 = 15. Suppose -s - y = a, -1 = -s + 6*s - 3*a. Which is greater: q or s?
q
Let z = 6 - 2. Suppose 0 = -4*g - 0 + z. Which is smaller: 0 or g?
0
Suppose -4*o - 42 = 18. Let d be 0 - 9/o - 0. Is 1 less than or equal to d?
False
Let z be 34/24 + (-30)/45. Which is bigger: 1 or z?
1
Let c = 7 + -13. Let i be -6 + 1*(c + 3). Is i equal to -8?
False
Suppose 0 = 2*p + 40 + 136. Let y = p + 180. Let n = y + -642/7. Which is bigger: -1 or n?
n
Let d = -11 + 10. Let s = -1/3 - -5/6. Is s less than or equal to d?
False
Suppose -1 - 4 = -5*g. Let l(c) = c + 1 + 1 + 0*c. Let h be l(-3). Is h equal to g?
False
Let l = -431/14960 + -7/272. Let m = 153/220 - l. Which is greater: 0 or m?
m
Suppose -2*s + 3*s = -32. Is s smaller than -33?
False
Let o be ((-1)/(-19))/(22/(-10)). Let l = o + -7300/627. Let u = -81/7 - l. Which is bigger: u or 0?
u
Let s be 4/3*(-7 - -4). Which is greater: s or -5?
s
Suppose 0 = -5*j + 11 + 4. Is j <= 2/7?
False
Let w = -6 + 1. Let c be (-1 - w)*6/(-4). Which is bigger: -4 or c?
-4
Suppose t - p + 7 = 0, -p - 1 = 4*t + 4*p. Let m = -12 + 7. Is t at least as big as m?
True
Suppose -4*c + 10 + 2 = 0. Is c less than 3?
False
Suppose -8 - 36 = -4*w. Let x = w + -12. Is -11 at most x?
True
Let o = 1/350 + 1223/700. Let y be -5*-1*1/5. Which is smaller: y or o?
y
Let w = 89 + -55. Suppose -2*c = -3*q - q - w, 0 = q + 2*c + 11. Let y be ((-6)/q)/((-2)/3). Is -3/7 greater than y?
True
Suppose 3*d - 16 = -7. Is 4 not equal to d?
True
Suppose 37 = -4*d - c, -2*d - 22 = 2*c + 2*c. Suppose -30 = 4*h - 2*f + 4*f, 0 = 5*f - 25. Which is bigger: d or h?
d
Let p = -0.2 + 0.3. Let i = 1.9 + -2. Is p at least i?
True
Suppose -10*j = 3*j - 364. Which is greater: j or -0.2?
j
Let x be (1/(-4))/1 - 396/80. Is x > -6?
True
Let i = -5 - -1. Let g = 22.1 + -18. Let z = i + g. Is z less than 0.2?
True
Let v(i) = -i**3 - 6*i**2 + 7*i - 2. Let s be v(-7). Let t = 6 + s. Is 4 > t?
False
Let q(d) = -d - 2. Let f be q(-2