maller: -1 or d?
-1
Let m = 8 - 4. Suppose -m = -2*a - 2*a. Which is smaller: 20/9 or a?
a
Let f be 1*(1*-2 - 0). Let c = -1 - f. Suppose -b + c = -0*b. Which is smaller: b or 1/3?
1/3
Let k be 3 - (-1)/(3 + -4). Let z(j) = -j**3 + 2*j**2 + 1. Let c be z(k). Which is greater: c or 2/7?
c
Suppose 3*g + 0*g - 8 = 4*p, 2 = 2*g - p. Suppose g = -4*y + 3 + 1. Do y and 18 have different values?
True
Suppose 2*u = 3*u - 1. Let p = u - 0. Let f = -5 - -7. Is f smaller than p?
False
Let l = -4 + 15. Suppose 3*y = -59 + l. Let o be (-2)/1 + (-44)/y. Which is bigger: 1 or o?
1
Suppose 4*f + 2 = -4*d - 6, -7 = 4*d + 3*f. Let r = 5 - d. Which is smaller: 1 or r?
1
Let b = -662/517 + 155458/58421. Let o = b - 26027/27120. Let n = o + -1/48. Which is smaller: 1/4 or n?
1/4
Suppose 5*v + 2 = 6*v. Let w be (-6)/v + -4 + 10. Which is bigger: 8/5 or w?
w
Let q = 118 - 119. Is q at least 0.069?
False
Let x(n) = -n**2 + 6*n - 5. Let g be x(4). Suppose 2*t + 15 = g. Let o be ((-2)/t)/((-1)/(-9)). Is o smaller than 4?
True
Let h(a) = -2*a**2 - 2*a - 1. Let t be h(-1). Let c = -2397825/113201 + 2/10291. Let w = -21 - c. Is w > t?
True
Let k = -369 - -371.89. Let f = -0.11 - k. Is 0 > f?
True
Let v(a) = -11*a**2 - 7*a - 1. Let p(w) = -w**2 - w. Let o(z) = -5*p(z) + v(z). Let t be o(-1). Is t > -6?
True
Let h(z) = z + 4. Let t = 1 - 3. Let d be h(t). Which is smaller: d or 1?
1
Suppose 0 = m - 2. Suppose m*n + n = -6. Let p = n - -2. Does p = 1/7?
False
Suppose 4*w = -2*d, -4 - 1 = -3*w + d. Is w equal to 1?
True
Let i = 8069/13 - 621. Which is smaller: 2/3 or i?
i
Let o be (-16)/(-2)*(-4)/8. Let s = 3 + o. Let g be s + (-3)/(-9)*3. Is -2/9 at least as big as g?
False
Let j = -96/13 - -698/91. Which is smaller: -13 or j?
-13
Let h = 4/83 - -233/332. Which is bigger: h or 2?
2
Let n(m) = -m + 1. Let p be n(-9). Suppose -4*v + 44 = -0*v. Is v > p?
True
Let d = 183/56 + 3359/56. Let r = -63 + d. Are 1 and r non-equal?
True
Let b = 47/48 - -233/48. Let j = b - 16/3. Which is smaller: j or 1?
j
Suppose 6*h = -2*h + 40. Is 5 at most as big as h?
True
Let g be (-24)/(-6)*1/3. Let x be -4 + 5 + 19 + 0. Suppose -3*j - x = -l - 4*l, 2*j - 4*l + 16 = 0. Is j equal to g?
False
Suppose 2 = -3*q + k, 0*q - 5 = q + 4*k. Let v be -1*(-1)/10*-14. Is v equal to q?
False
Let r = 16 - 21. Is r greater than or equal to -6?
True
Suppose 3 = -5*j - 2*l + 18, 3*j - 9 = -3*l. Suppose -5*s + j*s = -2*o - 6, 4*o + s = 8. Is -11 smaller than o?
True
Suppose -19*r + 14*r + 5 = 0. Do 19 and r have the same value?
False
Let b = 14 + -8. Is 2/7 less than or equal to b?
True
Let g be (-2)/(6*2/114). Is g at most -19?
True
Let b = 1 - -5. Suppose 8 = -2*v + w, -3 = 5*v + 2*w + 17. Let q = b + v. Is q less than 3?
True
Let s = 576/17 - 34. Suppose 2*w - 5*t - 10 = 7*w, 2*t + 1 = w. Is s smaller than w?
False
Let t be 4 - 66*(-1)/(-16). Is t at most -2?
False
Let b = 0.21 + -0.31. Let q = -1.1 - 2.9. Is q bigger than b?
False
Let g be 90/20 + 6/(-4). Is 4 greater than or equal to g?
True
Let z(b) = b - 9. Let j be z(5). Suppose 0 = a + 2 + 3. Let o be j/(-10) + 27/a. Which is smaller: o or -4?
o
Let m(n) = -n - 2. Let f be m(-6). Let o = 6 - f. Suppose 0 = o*l - 5*g - 20, -3*l = -7*l + 3*g + 12. Which is greater: l or 4/5?
4/5
Let j be ((-12)/8)/(-3*485). Let s = -509/23280 + j. Let l = 89/336 - s. Are l and 0 nonequal?
True
Let w = 1.11 - 0.11. Suppose -3*u = -6*u + 18. Suppose a = u*a. Which is bigger: w or a?
w
Let k = -167/609 + -1/87. Let h(r) = -r**3 - 4*r**2 - 2*r + 2. Let z be h(-3). Which is smaller: z or k?
z
Let y be (4/(-3) + 2)/((-28)/63). Suppose f + 9 = -2*f. Is y > f?
True
Let f(i) = 3*i**3 - 7*i**2 + 6*i - 6. Let p be f(4). Which is smaller: p or -0.1?
-0.1
Suppose 0 = -4*c + 3*c. Is -3 at most c?
True
Suppose 2*a = 6 - 14. Let n be (-96)/(-10) - 4/(-10). Let s be (-8)/a*n/(-16). Which is greater: s or 0?
0
Suppose -y - 12*y = 0. Which is greater: y or 4/67?
4/67
Let k = 28 - 19. Which is greater: 7 or k?
k
Let v be (3 + 1)*(3 - (-95)/(-35)). Which is smaller: v or 0?
0
Let y = 18689771/15 - 1245513. Let i = y - 472. Is 0 >= i?
True
Let w be 2 - (-3)/((-9)/(-12)). Let c be (3 - 26/w)/1. Do -2 and c have different values?
True
Let j = 5 - 8. Let b = j + 3.08. Let c = -0.02 - b. Which is bigger: -4/7 or c?
c
Let k(n) = n**2 + 11*n + 9. Let c be k(-6). Which is smaller: -23 or c?
-23
Let y be 11 - 1/(-2)*(-4)/6. Is 11 bigger than y?
True
Let o(w) = -8*w - 12. Let z be o(-4). Is z greater than or equal to 20?
True
Let o = -16 + 17. Which is smaller: 2/27 or o?
2/27
Let k be -2*1/(-4)*8. Suppose -2*p = 2*m - 14, -4*p - k - 16 = -2*m. Let x be 3*(18/m - 2). Which is greater: x or 1?
1
Let i = 11 + -10.1. Let w = i + -7.9. Let z be 10/(-135)*3 + 13/18. Does w = z?
False
Let f be (1/2)/(2/4). Let k = 119/285 + -1/57. Is f equal to k?
False
Let i = -2.75 + 3. Let s = 0.05 + -0.1. Let k = i + s. Which is smaller: k or 1/2?
k
Let w be (-11)/33 - (-14)/6. Is 19 <= w?
False
Let w(q) = -q**3 - 5*q**2 - 3*q + 3. Suppose -5*t = 2*p + 1, 2*t - 3*t - 2 = p. Let z be w(p). Which is greater: -7 or z?
z
Let j be 5 - (1 + -1)*-1. Suppose j*w - 33 = 2*a, 4*a - 5*a + 21 = 5*w. Which is smaller: -5 or a?
-5
Suppose 4*d + 4*c - 36 = 0, -2*d + 24 = 4*c + c. Is d less than or equal to 1?
False
Let k = 44 + -29. Let q = -14.61 + k. Let a = q - -0.01. Is -1 <= a?
True
Let z(o) = -2*o - 3. Let u be z(-3). Let b be 20/(-3) - (-2)/u. Let a = 4 + b. Is 2/7 less than or equal to a?
False
Suppose 0 = -2*j + 2*c + 2, 5*c = -3*j + 14 - 3. Suppose -2 = -2*k + j. Which is smaller: 3 or k?
k
Let z = -3.1 + 3. Suppose -3*u + 28 = 4*u. Suppose -1 + 19 = -4*n - 5*p, u*p + 6 = n. Which is greater: n or z?
z
Let j = 0.02 + -0.32. Let k = 0 + j. Let n = 0.2 + k. Is 1/3 less than n?
False
Suppose 3*a - 14 = -5*l - 0*l, -4*l = -2*a - 20. Suppose 0 = l*r - f + 3 - 19, 0 = -4*f. Is r < 4?
False
Let v = -3/4 + 7/20. Is v greater than or equal to 0.01?
False
Suppose 0 = 5*s - 20 + 245. Let f be 1 + -2 - s/27. Which is smaller: f or -0.2?
-0.2
Let n be -8*(-1 - (-1)/2). Suppose -n*q + 3 + 1 = 0. Let u be 16/6*5/20. Which is smaller: q or u?
u
Let x = 5.96 - 2.04. Let a = -0.08 - x. Let r = a + 6. Is r at most as big as 2?
True
Let d(v) = -6 - 3 + 2*v + 4 - 3. Let u be d(7). Which is greater: -0.1 or u?
u
Suppose 4*x - 898 = 2*w, 0 = 4*x + 4*w - 562 - 306. Let p be (2/(-72))/((-22)/x). Let n = p + -1/33. Is n at least -0.1?
True
Let s = -9 - -3. Let g = 3 - 10. Let f = g - s. Is 0 less than f?
False
Let s be -2 + 0 - (-144)/75. Let i = s - -31/75. Suppose 5*p - 6*t - 20 = -2*t, 4*t = -p - 20. Which is smaller: i or p?
p
Let c(u) = -u**3 - 5*u**2 + 17. Let d be c(-4). Which is greater: -4/45 or d?
d
Let a = 7 - 7. Let p be (-2)/27*3 + a. Let i = -5 - -8. Is p < i?
True
Let m be 49/(-3) - (-1 - 1). Let c(v) = 7*v + 7. Let g be c(-3). Let w = m - g. Which is smaller: 2 or w?
w
Let c = -1.22 - -0.22. Let p = 0 - 0. Let u = c - p. Which is smaller: 0.2 or u?
u
Let g = -3 - -3. Suppose g*j - 2*j = 0. Suppose 5*a + 14 - 4 = j. Is -1/2 >= a?
True
Let g = 1 + -2. Suppose 4*p = -5*q - 58 - 138, 0 = -2*p + 5*q - 98. Let l = -149/3 - p. Is l <= g?
False
Let y = 0 - -3. Suppose y*u + 13 = w, -2*w + 2*u = 2*w - 12. Let z = 29 - 59/2. Is w less than or equal to z?
False
Suppose 0*n - 3*n = 6. Let g be (-2 + 4)/(n/(-3)). Suppose -g*j = -0*j - 6. Is j less than 2?
False
Let q(w) = -w**3 + 2*w**2 - w. Let f be q(2). Let j be 2/((f/(-3))/(-1)). Let o(m) = -m**3 + 7*m**2 + 9*m - 11. Let i be o(8). Are j and i nonequal?
False
Let c be 16/2 + 6/(-3). Let p be 0/1 + (c - 1). Suppose 0 = -0*l + p*l + 15. Is -3 greater than or equal to l?
True
Let l(x) = x**2 - x - 3. Let q be l(-1). Which is smaller: -9 or q?
-9
Let u be 32 - 3/(0 + 3)*-1. Are u and 32 non-equal?
True
Let u = 10/259 - 12/37. Let n = -14 + 20. Is n at least u?
True
Let b be ((-2)/4)/(2/(-16)). Suppose 5*l - 12 = 4*t, -b*t + 16 = l + l. Let v be (5 + -4)*1/2. Which is smaller: t or v?
v
Suppose -6*q + 12 = 3*c - 3*q, -3*q + 12 = 0. Is c at most -8?
False
Suppose -46 = -8*r + 10*r. Which is greater: r or 2?
2
Let r(u) = -u + 1. Let w be r(-2). Is 3 smaller than w?
False
Suppose -j = -d, d + j = 5*j. Suppose d = -5*g + 2*a + 4, -2*g + a = -3*g - 2. Let s be (-36)/16 - (-2 - g). Is s not equal to 0