ler: a or 9?
9
Suppose -3*o = -0*o - 12. Let q be (o/(-32))/(2/(-2620)). Let y = 165 - q. Which is smaller: y or 0?
0
Suppose 3*q = -4*z + 865, -3*z = -5*z + 2*q + 436. Let g = z + -3690/17. Let m be 3/3 + 0 + -2. Are m and g nonequal?
True
Let q be 14/21 - 149/3. Suppose -3*o + 6 = 0, 5*o + 115 = -3*f - 25. Which is greater: f or q?
q
Let r = -6 + 11. Let c(v) = -28*v - 333. Let m be c(-12). Is r less than m?
False
Let f = 1417/7 - 202. Let o(p) = p + 2. Let a = 5 + -8. Let k be o(a). Is k < f?
True
Let o(u) = -u**2 - 2*u - 1. Let r be o(-2). Let n(m) = 14*m + 83. Let h(f) = -7*f - 41. Let a(x) = 13*h(x) + 6*n(x). Let i be a(-5). Are r and i unequal?
True
Suppose 7 = -2*h + 4*r + 1, 0 = -5*h + r + 12. Let j be (h + -5)/(30/36). Which is smaller: j or -2?
j
Suppose 2*c = -3*k + 71 + 52, 4*c - 12 = 0. Are 40 and k non-equal?
True
Let g be (-2)/28*-7*-8. Is g less than 4?
True
Let u be (1/(-4))/(18/(-48)). Is u < -2/87?
False
Suppose 3*c + 3*w = 93, -4*c - w + 69 + 58 = 0. Suppose -c - 12 = -2*n. Let s = n - 23. Which is smaller: s or 3/13?
s
Let l(o) = o**2 - 4. Let y be l(6). Suppose -y - 25 = 3*m. Let u = 18 + m. Which is smaller: u or 2/5?
u
Let a be 78 + 6*(-4)/8. Suppose -8*j - a = -5*j. Let z = j + 99/4. Do -1 and z have the same value?
False
Let m be 4 + (2 - 3 - -1) + 23. Which is greater: m or 20?
m
Let a = -1786 - -1318. Which is smaller: a or -465?
a
Suppose -4*z + 14 = 3*c, 4*z + 0*c - 26 = 3*c. Let h = -6 - -17. Suppose 5*s = h + 9. Do s and z have different values?
True
Let h = 9971/70 - 285/2. Are -1 and h nonequal?
True
Let r be (3 - (-12 - -4)) + 67. Is 76 != r?
True
Let n = 8 + -8.3. Let g = 0.7 + n. Let f = g - 0.27. Which is smaller: 2/5 or f?
f
Let a(n) = -2*n**3 - 7*n**2 - 5*n + 3. Let d be a(-3). Suppose -d = 3*f - 12*f. Which is smaller: 14/19 or f?
14/19
Let d be (-36)/(-27)*(-3)/(-2). Suppose 3*p + 15 = -3*r, d*r = -0*r - 3*p - 12. Which is bigger: r or 0?
0
Let y be 2/(-12) + (-13)/(-6). Suppose -6 = 3*v, 0*u - y*u = -2*v + 58. Is u greater than or equal to 1/2?
False
Let h(s) = s**2 - 6*s. Suppose -9*o + 3 = -6*o. Let f(z) = 4*z**3 + 2*z**2 - 1. Let b be f(o). Let u be h(b). Is -4 at least u?
True
Let p(u) = -u**3 + 7*u**2 - 2*u. Let f be p(7). Let j be 33/f + (-9)/(-3). Is j smaller than 2?
True
Suppose -462*k + 458*k + 64 = 0. Which is smaller: 15 or k?
15
Let k be 4 - 1 - (0 - 0). Let l be k*(-2 + (-24)/(-9)). Suppose c + 5 = 4*d + 6*c, -3*d + 4*c = 4. Which is greater: l or d?
l
Suppose 26 - 4 = 2*r. Suppose i + r = -0*i. Let y = -17 - i. Is -6 > y?
False
Let p be ((15/(-2))/5)/(1/(-18)). Let w = -57/2 + p. Suppose c - 2 + 3 = 0. Is w at most as big as c?
True
Let u = -9.6 - -9. Let t = 0.07 + -1.67. Let z = u - t. Are 0.1 and z equal?
False
Let u = -35 - -6. Let f = 30 + u. Is -5/13 > f?
False
Suppose -5*d = -5*j - 60, j + 72 = d + 4*d. Let i be (-16 + (3 - 3))*-1. Which is smaller: d or i?
d
Suppose u - x = 72 + 10, 3*u - 2*x - 244 = 0. Suppose -4*q + 115 + 205 = 0. Are q and u unequal?
False
Suppose -2*i - 6 = i. Let j = -2 + 4. Suppose 0*m + 8 = -j*m. Is i >= m?
True
Let x = -76/261 - -2/29. Is 0.09 smaller than x?
False
Suppose g - 29 = 5*t + 18, 4*g + 52 = -4*t. Let m be t*4/8 - -4. Which is smaller: m or -1/38?
m
Let w be (-1)/(-4)*4/(-32). Suppose j - 2 = 3*j, 5*j + 8 = -3*o. Is w at least o?
True
Let u be 4*-34*(-4)/(-32). Let n = 21 + u. Let l be 2/n*6/15. Is 0 less than or equal to l?
True
Let i = -2/2543 + -111882/12715. Let l = -0.2 + 0.2. Which is greater: l or i?
l
Let n = 0.24 + 43.76. Let r = -45 + n. Is -2 at least as big as r?
False
Let o be ((-959)/(-21) + 7)/((-4)/6). Which is greater: -78 or o?
-78
Let p(v) = 3*v - 24. Let d be p(8). Suppose -7*x - 50 + 1 = d. Let t = -50/3 + 11. Which is smaller: x or t?
x
Suppose 2 = s + 3. Let j = -301/3 - -7543/75. Is j less than s?
False
Let u = 201 - 219.6. Let b = 27 + u. Let y = -2.4 + b. Is 0.3 < y?
True
Let f = 2/14511 + 14317/1407567. Let p be (-2)/4*(-2 + 2). Is f at most as big as p?
False
Suppose 5*n = -4*w + 280, 188 = 6*n - 2*n - 4*w. Let x = n - 50. Which is bigger: 12/13 or x?
x
Let z = 295 + -744. Which is smaller: -451 or z?
-451
Let s = -238 + 257. Let h = 43 - 24. Is s bigger than h?
False
Let v(t) be the third derivative of -t**6/40 - 7*t**5/60 - 5*t**4/24 - t**3/6 - 2*t**2. Let k be v(-2). Which is greater: k or 9?
9
Suppose -24*z - 6 = -25*z. Let w be ((-15)/(-6))/((-3)/z). Is w < -6?
False
Let l(y) = -5*y**3 + y**2 + 5*y - 2. Let x(v) = 6*v**3 - 5*v + 3. Let f(n) = -5*l(n) - 4*x(n). Let i be f(4). Let m be (0 - -3) + 108/i. Is m >= 1?
False
Let a(w) = 15*w + 3. Let s be a(4). Suppose -q = 2*q + s. Let r be 6/q + 420/1813. Is r bigger than 1?
False
Suppose 127*b + 27 - 408 = 0. Which is bigger: b or -0.156?
b
Let b = 18291/4 - 4494. Which is smaller: 78 or b?
78
Let v = 157/180 - 23/20. Suppose 0 = 2*c - 4*d - 14, 3*d + 7 = 7*c - 2*c. Which is smaller: c or v?
c
Let u = -126 - -218. Suppose -377 = -4*j - n, -524*j + 519*j - 2*n = -475. Which is greater: u or j?
j
Let v = -3 + 4. Let c be (v + 15/(-9))*-3. Suppose 3 = -c*w + 1. Which is bigger: -1/4 or w?
-1/4
Suppose 201 = -2*g + 5*j - 1492, 0 = -4*g + 5*j - 3411. Is -858 at least g?
True
Let l = 0.103 + -0.203. Which is bigger: -5.5 or l?
l
Let f = 242.535 - -0.465. Which is bigger: -0.4 or f?
f
Let j be 2/((-2)/10*-5). Let o(l) = l + j*l - 7 - 7*l + l. Let b be o(-12). Which is smaller: b or 1/2?
1/2
Let t = 49 + -49.29. Let b = 0.19 + t. Which is smaller: b or 0.05?
b
Let z be ((-1)/3*-3)/(2/58). Let g be z/3 - (-1 - 8/(-12)). Is g greater than 4?
True
Let q = -43.048 - -1.048. Which is smaller: q or -1/7?
q
Suppose -2*y - 12*u = -9*u + 413, u = 5. Which is smaller: y or -213?
y
Suppose -2 + 8 = 2*z. Let w be 5/1*18/5. Suppose n - w = b, -66 = 3*b + 2*b + z*n. Is -16 smaller than b?
True
Let r = 0.0203 + 3.9797. Which is smaller: r or -10?
-10
Let p = 29 + -24. Suppose p*t - 23 = 3*j, j + j = -t + 2. Which is greater: j or 1/12?
1/12
Suppose 4*z - 3*b + 4 = 0, -2*z + b = 3*b + 2. Which is smaller: z or -5?
-5
Let d = 217 + -138. Which is bigger: -0.2 or d?
d
Suppose 360*d - 333*d = -459. Which is bigger: -16 or d?
-16
Let w be 6 + -6 - 3/(-2 - 1). Let q be (-16)/4 - (3 + w). Which is greater: 0 or q?
0
Let w(s) = -2*s + 10. Suppose p - 2*f = 10, p + 4*p - 55 = 5*f. Let n be w(p). Is -14 smaller than n?
False
Let l = -130473/492479 - -150/559. Is l less than -1?
False
Suppose d = 2*b - 3*d + 14, 2*d = 5*b + 3. Does -1/314 = b?
False
Let c = -27 - -9. Let q = -71/4 - c. Let t = -47 - -40. Which is smaller: t or q?
t
Let b = -11 + 7. Let r be 0 + b/8*4. Let c be (2 + -2 - r) + -2. Do c and 1/4 have the same value?
False
Let z = -0.471 + 59.471. Which is greater: z or -2?
z
Let x = 2.92 + 0.08. Suppose 20 = 3*p + 5. Let f be -2*1*p/(-30). Is x < f?
False
Let s(p) = p**2 + 10*p + 11. Let h be s(-9). Suppose 5*f + 33 = 2*n, 3*f - f = h*n - 18. Is -5 != f?
False
Let x be (0 - -6)*(-25)/(-700). Suppose l - 3*l = 8, -r + 3*l + 11 = 0. Is r less than or equal to x?
True
Let s be 5 + (-128)/12 + 6. Is s <= 13?
True
Let v = 41 - 39.85. Let z = v - 0.95. Let y = -0.09 - 0.61. Which is smaller: z or y?
y
Let x be ((-42)/(-105))/(4/(-260)). Is x at most as big as -0.01?
True
Let y be 1/(1 - (-5)/(-4)). Let d be (1/(-3))/(1 + (-2)/3). Let f be -2*y/(-16) - d. Which is smaller: 2 or f?
f
Let l = -22 - -32. Suppose 0 = -3*n + l + 11. Let b be 9/(-7) + 2/n. Is 2/19 at most b?
False
Let c = -58 - -58.13. Let t = 196 - 195.13. Let s = t + c. Which is smaller: 0.4 or s?
0.4
Let a(g) = 2*g - 1. Let h be a(1). Let c be (6/6 - -1)/89. Which is bigger: c or h?
h
Let p = 48 + -32. Suppose -4*n + 38 = 5*m, -4*m + 84*n - 80*n + 88 = 0. Are m and p nonequal?
True
Let c be 1/4 + (-28)/(-16). Suppose -3*l = -6*j + j + 5, -2*j - c*l = -2. Let w be (-4)/(-14) + 66/(-182). Is w > j?
False
Suppose y - 4 = -c, -5*c + 3*y = 9 + 3. Let l be 5 + -9 + 38 + c. Suppose 5*z = -2*b + 4*z - 19, 0 = 2*b - 2*z + l. Is -12 bigger than b?
False
Let w = -1.58 + -0.42. Does w = 4/19?
False
Suppose 19 = -3*d + 4*d - 5*q, q + 11 = 2*d. Suppose 2*i - d = i. Suppose -5 = -i*v - 1. Is v < -1/4?
False
Let x(n) = -5*n + 70. Let v be x(-6). Which is greater: v or 98?
v
Let f = -312 + 311. Is 0.122 > f?
True
Let y(j) = -2 - 2 - 303*j +