ler: 2 or d?
d
Let t(b) = -b**2 + 4*b - 1. Let c be t(3). Let j be (-34)/(-24) + c/(-3). Let p = 15 - 13. Do j and p have different values?
True
Let i be 2/9 + (-10)/45. Let y be 0*(3 + (i - 2)). Is y at most 1?
True
Let u = 1 + -4. Suppose -5 = -2*v - 3*v, 2*r + 1 = v. Suppose -2*l - 2*a + 6 = r, -3*a + 18 = 2*l + 2*a. Does l = u?
False
Let a(u) = u - 1. Let w be a(7). Let j(h) = h. Let s(l) = -l**2. Let b(o) = 5*j(o) - s(o). Let q be b(-6). Is q greater than w?
False
Let g = 1726/9 - 192. Let t = -0.6 + 0.7. Is g > t?
False
Let r(n) = n**3 + 11*n**2 + 11*n - 8. Let f be r(-10). Let j be (1/(-3))/(6/f). Suppose j = -u - 0. Is -2 bigger than u?
False
Let b be 14384/(-140) + 6/10. Let s = -103 - b. Are 2/5 and s unequal?
True
Let n = 0.3 + -1.3. Let k = -4277 + 64199/15. Let u = k - 18/5. Which is greater: u or n?
u
Let d = -0.347 - 1.663. Let a = 0.01 + d. Let i = -2 + 2.1. Is i > a?
True
Let q = -0.04 + 0.54. Let g = 4.5 + -3. Let m = g - q. Which is smaller: 0 or m?
0
Let y(w) = w**3 + 4*w**2 - 12*w + 6. Let l be y(-7). Is l != -58?
True
Suppose 5*n = -2*r + 4*n - 63, 4*n + 128 = -4*r. Let t be -3 - (r/5 - -2). Suppose 5*k = 2 + 8. Which is greater: t or k?
k
Let h = 2/103 - -85/927. Suppose 0 = 18*y - 20*y. Which is greater: h or y?
h
Let w be (-10)/(0 + (-6)/9). Which is bigger: 14 or w?
w
Let v = -9 - -3. Let c(f) = -f. Let o be c(v). Which is bigger: o or 3?
o
Let a be (1/2)/((-2)/8). Let h be -2 - (-1 + 0 + a). Which is bigger: h or -7?
h
Let d = -2.3 - -1.4. Let z = d - 0.1. Is z smaller than -2/21?
True
Let k(t) = 4*t**2 - 2*t + 2. Let u be k(2). Let a be 44/7 + (-4)/u. Let w be (-5)/(-6)*a/(-20). Is w < -1?
False
Let y = -66.8 - -67. Which is smaller: y or 0.02?
0.02
Let k = 4 - -2. Let j be k/(3/(-3) - 0). Let p = 6 + j. Is 0 bigger than p?
False
Let f be 8/(-60) - (-1868)/60. Are 31 and f equal?
True
Let k be (-32)/(-18) - (-4)/18. Let r be -1*39/k - 0. Let w = 20 + r. Are 1 and w nonequal?
True
Let i be ((-828)/(-510) - 1/(-5)) + -2. Is -1 greater than i?
False
Let s be (-3 + 0)/(4/4). Is s >= 2?
False
Let m = 10 + 5. Is m != 14?
True
Let a = 7.4 - 7.4. Which is smaller: a or -1/4?
-1/4
Let s(l) = -3*l + 40. Let c be s(16). Let h = -92 + 63. Let k = h + 21. Is k less than c?
False
Let u = 10/3 - 4. Let y = -12 + 14.3. Let p = y + -0.3. Is p equal to u?
False
Let m = 4.09 - 0.09. Let k = -12 - -11. Which is smaller: m or k?
k
Let m(w) = 3*w + 1. Let u be m(1). Suppose -l - 5 = u*l. Which is greater: l or 2/29?
2/29
Suppose 4*r - 2*r = 10. Let o = -5 + r. Is o greater than or equal to 1?
False
Let c = 42 - 57. Suppose -2*h - h + 2*r - 34 = 0, -5*h = 3*r + 82. Is c greater than h?
False
Suppose 0*b - 33 = -3*b. Let x = b - 9. Let a = -2 - -3. Is a at least as big as x?
False
Let n be 8/(-22)*(-2)/(-4). Let k = -104 + 103. Which is greater: n or k?
n
Suppose 3*s - 4 = 2*s. Let d = -1 + 2. Which is smaller: d or s?
d
Let r(a) = -a - 16. Let p be r(-10). Let k(v) = v**2 + 6*v + 2. Let t be k(p). Let j be t - (0/3 + 3). Which is smaller: -7/3 or j?
-7/3
Suppose 5*f + 2 = 2*s, -2*f = f + 6. Let x = 6 + s. Which is smaller: x or 4/5?
4/5
Suppose 6 = 4*p + 3*w, 3*w - 2*w = -2*p + 4. Let z be 12*((-3)/2 - -2). Let c = p - z. Are -2 and c unequal?
True
Suppose -8 = -v - v. Suppose 4*l - a - 15 = 0, -4*a + 20 = 4*l - 20. Suppose s + v*s = l. Which is greater: 2 or s?
2
Let p(k) = k - 2. Let b be p(-2). Let x be -2 - (-1)/((-6)/b). Is -1 less than x?
False
Let z = 1 + -12. Let d = -19 - z. Let q(o) = -o**2 - 9*o - 3. Let u be q(d). Which is bigger: u or 4?
u
Suppose -3*o + 2 = -5*o. Let i = 0.76 + 0.24. Does o = i?
False
Suppose -7*a - 5 = -2*a. Is 3/7 at most a?
False
Let r(d) = -d - 3. Let h be r(-4). Which is greater: 3 or h?
3
Let f = -117 - -109. Are -9 and f non-equal?
True
Let x = -226 + 324. Suppose -5*f = h - 199, -3*f + x = -f + 5*h. Let g = 157/4 - f. Is g at least as big as -1?
True
Let f = -0.18 + 8.48. Let n = f + -1.3. Let k = n + -11. Is 1 < k?
False
Let v = 23 - 23. Which is smaller: 28 or v?
v
Let y = -1 - 1. Let x = 245 + -2203/9. Is x > y?
True
Suppose 32*m + 7 = 33*m. Suppose 5*x + 4*k + 15 = 0, -2*x + m*x = -3*k - 10. Is -1/19 > x?
False
Let k be 18/(-24) - (-27)/4. Let h be k/(-8) + (-6)/24. Which is smaller: h or -2/33?
h
Let g be (7/15 - 24/30) + 2. Is g equal to -1?
False
Suppose -17*x = -14*x. Let p be (x/(-1))/(2 + 0). Which is bigger: 1 or p?
1
Let u be (-2)/(-8) - (-5)/(-4). Let v be ((-446)/(-6))/(20/15). Let w = v - 56. Is u smaller than w?
True
Let l = -3 + 2.9. Let j be ((-2)/12)/(2/16). Which is greater: l or j?
l
Suppose 16 = -3*u + 7. Let x be (-2)/3*3 - -1. Which is smaller: u or x?
u
Let m be (-3*6/(-369))/(-3). Do -1 and m have different values?
True
Let p = 21 + -22. Let r = p - -3. Which is greater: r or 0.5?
r
Suppose -2 = -2*m + w, m - 2*w = -7*w - 10. Do m and 3/79 have the same value?
False
Let u be (8/6)/(26/429). Let m be (-3)/12 - u/8. Which is smaller: m or -2/3?
m
Let u = 6/5 + -29/20. Which is bigger: u or -0.07?
-0.07
Let r be (-2)/3 - 52/(-60). Suppose 0*n = -4*n + 4. Is n less than r?
False
Let m be (-2)/(-8) + (-10)/104. Suppose -2*d - 11 = 3*h, -2 = h + 2*d + 7. Is h at least m?
False
Let z = 0.15 + -0.05. Let y = -40.1 - -42. Let s = y + -2. Do z and s have the same value?
False
Let a be ((-3)/4)/(3/60). Let j = -13 - a. Is j at least 4/3?
True
Let j(d) = 9*d**2 - 2*d + 1. Let g be j(-2). Which is smaller: 39 or g?
39
Suppose -5*i - 69 = -5*r + 7*r, 4*i - 2*r = -48. Which is smaller: i or -10?
i
Let h be 1 + (-2)/((-8)/(-111)). Let f = h - -27. Is 0 at most as big as f?
True
Suppose 0 = -0*p - 3*p + 3, 2 = -i + 2*p. Suppose -5*y - 4*b = 25, 13 = -5*b - 12. Let v = y + i. Which is smaller: v or 2/13?
v
Let v(l) = -2*l + 4. Let i be v(3). Let r be (4 + i)/(1 + 1). Is r at least 3?
False
Suppose i + 3*i + 1472 = 2*d, 3*d = 3*i + 1104. Let p = i - -6981/19. Let t = 159/209 + p. Is -1 > t?
False
Let w = 11 + 28. Is w not equal to 39?
False
Suppose 5*t = d + 9, 3*t + t - 4 = 4*d. Let q = -11 - -16. Suppose q*h = 5*r - 25, -4*r - 2 - 5 = 5*h. Which is smaller: r or d?
d
Let o = 7 - 2. Does o = 2?
False
Let p = -5 - -4. Let z be 4 + (-2)/2 + p. Let a = -0.7 + -1.3. Is a != z?
True
Let b = 68 + -67.2. Is 0.1 bigger than b?
False
Let x = -8.6 - -9. Suppose -3*l = -5*s + 8 + 8, -5*s - l = -8. Which is smaller: x or s?
x
Let z(a) = a**2 - 18*a - 20. Let h be z(19). Which is smaller: h or -1/115?
h
Let j = -4 + 11. Let v be 2/(-5) + j/5. Suppose i = -0*i - l - 1, 3*l + 3 = -2*i. Is i at most as big as v?
True
Let r(x) = x + 4. Let l(w) = -w**3 - 8*w**2 - 7*w - 6. Let b be l(-7). Let t be r(b). Let c = -0.7 - 0.3. Which is bigger: t or c?
c
Let i be (-1)/5*10/8. Let n(b) = -b**3 - b**2 + 1. Suppose 0*p = 3*p. Let t be n(p). Do t and i have different values?
True
Let d = 16 + -32. Let u = -13 - d. Which is smaller: u or 5?
u
Let f be (-5)/2 + (-63)/42. Let w be 1*(-2)/2*1. Which is bigger: w or f?
w
Let y be (-2)/4 + (-1)/(-1). Let r = 17.9 - 19. Let c = -0.1 - r. Are c and y nonequal?
True
Let t be 6 + -2 - 0/(-1). Let h be (-2 + t)/(2/4). Let s(b) = -5*b. Let g be s(-1). Which is greater: g or h?
g
Let j = 3.5 - 4. Let m = j + 0.5. Let b = m + 0.1. Is b greater than or equal to 0?
True
Let q(v) = -4 - 2*v + 0*v + 3*v**2 + 3. Let r be q(-1). Suppose -3*l + r = 7. Which is greater: 1/6 or l?
1/6
Suppose 0*w + 15 = 5*w + 5*i, -5 = w - i. Let x = -1.5 + -0.5. Is w <= x?
False
Suppose -y - 2*y - 6 = 0. Which is bigger: y or -4?
y
Suppose -4*p = -8*p - 4*x, 5*x = -2*p - 12. Suppose 0*t - p = -t. Is t less than or equal to 5?
True
Let t be (192/10)/(11*(-2)/10). Let o = -153/3008 + -1418881/165440. Let g = t - o. Which is bigger: 0 or g?
0
Let d = -30 - -28. Is -9 greater than d?
False
Let h be 9/28 - 4/14. Do -1 and h have different values?
True
Let z(j) = 2*j**2 + j + 4. Let s be z(4). Suppose a + s = 2*i, -5*i = -2*i - a - 61. Let t be (-3)/(-46)*28/i. Do t and 0 have the same value?
False
Suppose 2*k + 4*o + 2 = 2*o, o = 0. Which is bigger: -2/19 or k?
-2/19
Suppose -4*u + 12 = -4*m + 4, -3*m + u = 0. Is m != -1?
True
Suppose 2*w - 2 = 4. Is 22/7 less than or equal to w?
False
Suppose -u - 3*c - 15 = -5*u, -2*u = -c - 5. Which is smaller: -2/5 or u?
-2/5
Let d be (20/(-70))/((-6)/14). Is d > 0?
Tru