- 13*b**2 - 14*b - 11. Let p be y(-12). Does p = 13?
True
Let b = 121/5 + -24. Let t = 7 + -5. Let l = 1 - t. Which is greater: b or l?
b
Let i = 95608979/357 + -267812. Let g = i + 1/51. Let h = 27.5 + -27. Which is smaller: h or g?
g
Suppose 2*u - 2*z + 4 + 0 = 0, -2*u - 4*z + 2 = 0. Is u bigger than 1/23?
False
Let p = 59 + -237/4. Let g = -19 + 18. Which is bigger: g or p?
p
Suppose -2*v = 4*i + 26 - 4, -3*i = -v + 14. Which is smaller: -2/27 or v?
v
Let t(i) = -i**2 - 5*i. Let s be t(-5). Suppose s*n + 2*n = -16. Let d be n/12 - (-10)/6. Is d bigger than 1?
False
Let l = -6 - 2. Let x = -0.1 - 0.9. Which is bigger: x or l?
x
Let r be 4/(-3) + (-4)/(-2). Let p = -13.01 - -13. Let m = p - -1.01. Which is greater: m or r?
m
Suppose 2*o = 8 - 0. Suppose 12 = -3*m - 0, 4*j - o*m = 0. Is -6 >= j?
False
Let f = -4/17 + 29/51. Let s be 2/(-6)*(-12)/(-8). Which is smaller: s or f?
s
Let s = 2 + 3. Is s bigger than 4?
True
Suppose 2*o + 19 = -2*o + 3*i, -2*o - 6 = 2*i. Let t be 1*((-3)/o)/(-3). Let w = 0.4 + 0.6. Is w not equal to t?
True
Suppose -5*b - 3*x + 13 = 0, 2*b + 4*x - 6 = 3*x. Suppose r + 3*f - f - 6 = 0, -4*f - 30 = -b*r. Is 5 smaller than r?
True
Suppose -2*x + 1 = -4*o - 7, 0 = -x - 5*o - 10. Suppose 2*z - 4*d - 12 = -x, 3*z + 3*d = 45. Which is greater: z or 13?
13
Let u(f) = -f**2 + 3*f + 4. Suppose t + 2 = j, 12 = -2*t + 5*j - 7. Suppose t*c = -h + 2*c, 3*h = 3*c + 24. Let m be u(h). Is m equal to -3/5?
False
Let g(q) = -q**3 - 5*q**2 + 5*q - 4. Let o be g(-6). Let k = 8 + -4. Let t be k*((-2)/2)/(-6). Which is greater: t or o?
o
Suppose -3*o = 3*g - 3 + 6, o + 9 = -3*g. Which is smaller: o or 13/6?
13/6
Let f(r) = 2*r**2 - 4*r + 4. Let a be f(2). Which is bigger: 2 or a?
a
Let f = 177 + -141. Is 0 at most as big as f?
True
Suppose 2*k = 3*u + 1 + 17, 3*k + 33 = -3*u. Suppose -10 + 1 = -2*w - 5*p, -2*w + 17 = -3*p. Let g = w + u. Which is smaller: g or 0?
g
Let u(d) = 3*d**2 + d + 1. Let r be u(2). Let n be (1 - 0)/((-3)/r). Is n greater than -4?
False
Let p = 1283 - 4987/4. Let w = p + -36. Let f be (-7)/9 - 4/18. Is w greater than f?
True
Suppose 2*p = 3*p + 5*v - 18, v + 9 = 4*p. Let y be ((-2)/2)/(1/p). Let s = y - -2. Is -1 smaller than s?
False
Let s(j) = j**2 - 12*j + 13. Let w be s(11). Suppose -3*z - 10 = 4*r, 4*z - w*z = 4*r. Is -2/7 greater than or equal to r?
True
Let t = 7 - 6.9. Let w = t + -0.08. Let r = 0.03 + w. Which is smaller: r or -1?
-1
Suppose -8*c = -3*c - 5. Are 2 and c equal?
False
Suppose 2*t + 4*u = 4, -10 = -5*t - 3*u - 0*u. Let o = t + -3. Which is bigger: o or 1?
1
Let o be 6/((-13)/12 - -1). Let l be 4/14 + o/7. Let n be (-4)/10 - 44/l. Is n >= 3?
True
Let u = 10 - 9. Let r = -2 + 6. Let l be r/63 + 4/(-14). Is u >= l?
True
Let z = -0.3 + 0.5. Let y = -0.4 + z. Let j = -0.1 + 0. Which is greater: y or j?
j
Let w(a) = 14*a - 2. Let m be w(-1). Which is smaller: -2 or m?
m
Let j(o) = -3*o + 4. Let q(h) = h. Let i(n) = j(n) + 4*q(n). Let u be i(-5). Suppose 3*f - 2 = 2*m + 3, m - 4*f + 5 = 0. Are u and m equal?
True
Let s(i) = -i**2 + 4*i - 3. Let h be 3 + (0 + -1)*1. Let c be s(h). Let a be (2 + c)*1 + -4. Is -9/5 equal to a?
False
Let d = 68 + -32. Let w = 34453/948 + -3/316. Let k = w - d. Which is smaller: 0.1 or k?
0.1
Suppose n + 2 - 3 = 0. Which is greater: 1/5 or n?
n
Let q = 3072/53 - 58. Which is smaller: -1 or q?
-1
Let z(a) = -7*a + 41. Let y be z(6). Is 3 < y?
False
Let k(m) = -m + 2. Let j be k(2). Let o be 2 + (j - 11) - -3. Is -14/3 >= o?
True
Let f be 56/24*6/21. Which is greater: f or 3/4?
3/4
Let h = -7 - -11.98. Let f = 5 - h. Which is greater: -0.1 or f?
f
Let n = 34 - 29. Let w be -2 + 2 - n/(-20). Are w and 1 nonequal?
True
Suppose 0*b - 2*b = g - 8, 0 = 2*g - 4*b + 16. Let d be 75/385 - (-4)/(-14). Is g not equal to d?
True
Let u = -1470 - -36744/25. Which is smaller: 0 or u?
u
Let n = -26 + 36. Which is smaller: n or 12?
n
Suppose 6*v - 4*z - 4 = 2*v, 17 = 2*v + 3*z. Suppose v*h = -5*a - 126, -3*a = -0*a + 3*h + 78. Which is smaller: a or -23?
-23
Let a = -9 - -15. Suppose -6*y + 4*y = -2. Let n be -2*3/a*y. Which is greater: n or 2/5?
2/5
Let c(w) = -2*w - 2. Let u be c(-4). Let r = 10 - u. Suppose 5*l + 16 = -f, -f + l - 10 = r*l. Is 1/4 greater than f?
True
Let d(y) = -y**3 - y**2 - y - 3. Let t be d(0). Let l be t/(-9)*-4*3. Is -3 at most l?
False
Let s = -531/4 + 132. Which is greater: s or 0.3?
0.3
Let d = -8 - -14. Let q(g) = -2 - 2 - 1 + g. Let a be q(d). Is 1 != a?
False
Let y be ((-3)/(-6) + 0)*2. Let a = -4 + 14. Let i be (y + 0)*a/5. Do 1 and i have the same value?
False
Let q = 80 - 69. Do q and 13 have different values?
True
Let c = -1.9 + 2. Let y(m) = m + 3*m**3 - 2*m**3 + m**2 + 2 + 1 - 1. Let i be y(0). Is c greater than or equal to i?
False
Let x = 0.002 + -0.002. Which is greater: x or 3?
3
Let q be 58/(-18) - (-6)/27. Is 0 >= q?
True
Let c = 19.9 - 17. Let k = c + 0.1. Is 1 > k?
False
Suppose -o = -4*i + o - 8, 9 = i + 5*o. Is i less than or equal to -2/11?
True
Let y = 16 + -19. Which is smaller: -11 or y?
-11
Let y(s) = -s**3 + 4*s**2 - s - 6. Let l be y(3). Let r = -3977/9 + 443. Do l and r have the same value?
False
Let p(j) = j**2 - 6*j + 6. Let u be p(4). Let m = u + 5. Suppose m*y = -y - 8. Is 1 smaller than y?
False
Let i = 20 - 11. Let p = 8 - i. Is -1 less than or equal to p?
True
Suppose n - x + 70 = -0*n, 2*x + 124 = -2*n. Let q be 32/(-66) - (-12)/n. Is q at most as big as 1?
True
Let t be (-6)/5*(7 + -2). Let z(g) = g**3 + 6*g**2 - 3. Let f be z(t). Let d be (4 - (-30)/(-3))/2. Is f != d?
False
Suppose 0 = -2*r - 5*y + 8 + 5, r + 4*y = 8. Suppose 2*j = -r - 0. Which is bigger: j or -3/2?
-3/2
Let y = -67/2 + 35. Let v = -45 - -46. Is y > v?
True
Let f be (18/(-10))/(-2 - -10 - 9). Let k(g) = g - 1. Let r be k(2). Is r greater than f?
False
Let m(h) = h**2 - 4*h + 3. Let s be m(4). Let b = -68/5 - -13. Let y = b - 1/15. Is y greater than s?
False
Let z be (-9)/12 - 2/(-8). Suppose 3 = -2*s + 11. Suppose -s*o - 5 - 3 = 0. Which is smaller: o or z?
o
Let f = 1393 - 8297/6. Let a = -323/30 + f. Which is smaller: a or -2?
-2
Let q be (2 - (2 + 2))/2. Which is smaller: q or 2/15?
q
Let z = 14 + -25. Let p = z - -8. Let x be -6 - (-4 - -2) - -1. Is x <= p?
True
Let o(v) = v + 1. Let b = 16 - 22. Let t be o(b). Let z(f) = -f - 1. Let s be z(5). Does t = s?
False
Suppose 0 = 3*y + 3*x - 3, x = 2*y - 2. Which is bigger: -5 or y?
y
Suppose -5*o - 2 + 82 = 0. Does 14 = o?
False
Let y(v) = -v**2 + 17*v - 4. Let h be y(16). Is h equal to 12?
True
Let h(v) = -v**3 - 9*v**2 + 21*v - 12. Let p be h(-11). Is p bigger than -1?
False
Suppose 0 = 3*g + 2*g. Let w = 657 - 30881/47. Which is smaller: g or w?
w
Let p be 46*(0/1 + -2). Do p and -92 have the same value?
True
Let i = -0.2 - -0.1. Let h = 0.06 + -0.05. Let n = 0.01 - h. Which is smaller: n or i?
i
Suppose -5*l + 17 = -3*c, 9*l + 3*c + 7 = 4*l. Is l greater than 3/7?
True
Suppose 5 = j, -6*s + s - 2*j + 80 = 0. Let y be ((-1)/(-2))/((-7)/s). Is 4 < y?
False
Let p = -0.6 + 0.3. Which is smaller: p or -0.1?
p
Suppose -3*r + 3*m = -3, 3*m + 50 = 5*r + 7*m. Let k be 2/r - 15/18. Are -2 and k non-equal?
True
Suppose -1 = -2*p + p. Let x be 1/(p + (0 - 0)). Which is smaller: x or 5/6?
5/6
Let o = -0.19 - 15.81. Which is smaller: o or 0?
o
Let x = 92 + -646/7. Does -2 = x?
False
Suppose -3*g = -0*g + 3. Which is bigger: 0 or g?
0
Let c(h) = h**2 + 8*h + 3. Let m be c(-8). Suppose m*k - q + 31 = 0, -5 = -2*q - 3. Let f = k - -7. Is f != -3?
False
Let o = -115 - -577/5. Is 31 <= o?
False
Let i(y) = -y**3 - 7*y**2 + 8*y + 2. Let v be i(-8). Let z be (-1)/v - (-10)/4. Which is bigger: z or 3?
3
Let n be 106/(-14) + (1 + 2)*1. Is n greater than or equal to -6?
True
Let v = 13 - 7. Let m be (10/v)/((-3)/9). Which is greater: m or -3?
-3
Suppose 0*f = -2*f - 2*c - 18, 3*f = -2*c - 24. Let h = -2 - f. Suppose h = 2*p + 2*p. Is p greater than or equal to -3?
True
Let f be 1 - 1 - (-6 + 8). Let k(z) = -z**3 + 6*z**2 - 5*z - 3. Let l be k(5). Is f greater than l?
True
Let g = -0.2 - -0.2. Suppose -11*r = -15*r - 40. Is g at least as big as r?
True
Let h = 12.5 - 12. Is -2/5 greater than h?
False
Let c = 1/69 - 214/483. Which is bigger: c or -1?
c
Let t = 0.6 - 1.3. Let u = t + 0.6. Is u > 0.1?
False
Let r(m) = -m - 12.