 -0.41. Which is greater: w or 3/4?
3/4
Let b be 3/(-3 - (0 + -4)). Suppose b*m = 4*m - 1. Do 1 and m have the same value?
True
Let j be 120/55 - (-4)/(-22). Suppose j*i - 2*k = -i - 22, i + 29 = 5*k. Let q be ((-6)/i)/3*2. Are q and -2/33 equal?
False
Let u = -33 - -28. Let v = u - -6. Is v != 1?
False
Suppose 0*k + 4*k = -16. Suppose 0 = -2*p - 0*x - 3*x + 23, -x + 1 = -p. Suppose -2*q = 3*z + 15, -p*z + 3 = -4*q - z. Which is bigger: q or k?
q
Suppose 0 = -a - a + 8. Let s = a + -10. Suppose -8 = 18*h - 16*h. Is s equal to h?
False
Let y(t) = -2*t**3 - 13*t**2 - 8*t - 6. Let g be y(-6). Let f be 104*(-3 - (-21)/g). Is f < 52?
False
Suppose -15 = -33*x + 18. Does x = 1/130?
False
Let z = -195 - -191. Let r = -64 + 69.2. Let x = r - 5. Are z and x equal?
False
Let m = 0.15 - 0.01. Let n = m + -1.54. Let o = n - -2.4. Is 16/7 bigger than o?
True
Let s(k) = 1 - 2*k**2 - 2*k**2 + 0 + 2*k**2. Let j be s(1). Which is greater: -7 or j?
j
Let b(h) = -3*h + 36. Suppose -4*w = -7*w + 42. Let v be b(w). Which is bigger: -31/6 or v?
-31/6
Let u(m) = -4*m**3 + 6*m**2 - 7*m - 1. Let f be u(3). Let w = -75 - f. Is w bigger than 1?
False
Let u = -9 - -15. Let p be (12/10)/(u/40). Let a(t) = 5*t**2 + 44*t - 112. Let y be a(-11). Is p less than or equal to y?
True
Let k = 27 + -31. Let z be -1 - (7 + k + -2). Is z greater than -4/3?
False
Let n = -0.2786 - -0.0786. Which is smaller: n or 195?
n
Suppose -4*g + 0*g + 2*k + 22 = 0, 3*g - k = 19. Suppose -4*i = 2*x - 4, x - 11 = 3*i - 2*i. Is g at least x?
True
Let l(d) = 5*d + 42. Let h be l(-8). Suppose 5*a - 169 = 3*c - c, h*c - 3*a + 171 = 0. Is -87 at least as big as c?
True
Suppose 5*b = 0, 4*c + 5*b = -12 - 36. Let t = -13 - c. Let z be t*1*(1 - 0). Is z at least as big as -3/7?
False
Let h = -28 - -31. Suppose -4*f + 18 = h*r - 4*r, 5*f = 5*r + 45. Are -7 and r unequal?
True
Suppose 2*w = 4*f + 4, 4*f = -3*w + 2*w + 8. Suppose -2*u + 3 = -f. Let a = 14 - u. Does a = 12?
True
Let c be 2315/(-25) - 12/(-20). Is -91 < c?
False
Let n be -39*(15/9)/(-5). Suppose 2*z = -8, -5*a - 4*z = -2*z + n. Let d = -7/12 - -1/3. Which is smaller: d or a?
a
Let x = -56.87 + 57. Let u = -0.03 + x. Which is bigger: -13 or u?
u
Let c be -6 - (-84)/24 - (-1613)/644. Which is smaller: -1 or c?
-1
Let q = -117 + 288. Let u = q + -158.9. Let x = 12 - u. Which is smaller: 8 or x?
x
Let f = -22 - -22.52. Let n = 1.42 + f. Let o = n + -1.9. Which is smaller: o or -1/3?
-1/3
Let l = 2140 - 2365. Which is smaller: -224 or l?
l
Let l = 1/68 - -4/17. Let z(f) = f**2 - 5*f - 8. Let d be z(7). Suppose 0 = 2*s - 6*s - 2*m + d, 4*s + 5*m = 21. Is s > l?
False
Let f be -4 - (3 + 72 + 2). Let d = -67 - f. Which is smaller: 15 or d?
d
Let o be ((-5)/2 + -1)*1. Let r be 3/(0/(-7) - 1). Does r = o?
False
Suppose 0 = -v - 4 - 3. Let q be 32/34 - (v + 8). Which is bigger: q or -1?
q
Suppose 13*o - 325 = 8*o - 4*x, -5*o + 2*x = -355. Is o smaller than 68?
False
Let g be 15/(-9)*(191 - (-56)/(-7)). Do -307 and g have different values?
True
Let l = -4 + 3. Let a = -31 - -41. Suppose 0 = -a*b + 18*b + 8. Is l < b?
False
Let k = 1/203 - -1006/1827. Let m = 13 + -37/3. Do m and k have the same value?
False
Let y = -19724/5278839 - 2/10371. Is 0 not equal to y?
True
Let u be (8/(-10))/(6/915). Suppose 1672 = -73*q - 7161. Is q > u?
True
Suppose -3*v = -c + 162, -2*v - 6*c - 125 = -c. Let o = v + 12. Which is bigger: -42 or o?
-42
Let k = 39.992 + 0.008. Let w = -36.4 + -0.6. Let n = w + k. Which is smaller: n or 3/4?
3/4
Let w = 81 + -87. Let a(o) = o**3 + 6*o**2 - o + 10. Let p be a(w). Is 15 > p?
False
Suppose 3*g - 21 = 3*t, t + 19 = -3*g + 6*g. Suppose -51 = -5*o + 9. Suppose 0 = 3*z - 9 - o. Which is bigger: z or g?
z
Suppose 0 = -4*p + 14 + 6. Suppose 2*m + p*m = -7. Let i be (m/1)/((-55)/33). Which is greater: 0 or i?
i
Suppose -3*x = 4*f - f - 42, 3*f + 72 = 3*x. Is x less than -7?
False
Let j(q) = -2*q**2 + 1. Suppose 4*p + 3 = -1. Let z be j(p). Which is greater: z or -13/6?
z
Let g = -26 - -311/12. Suppose 3 - 2 = -r. Let u be (4 + -5)*(r - -2). Is g less than or equal to u?
False
Let t = 40 - 39. Which is smaller: t or 2/321?
2/321
Let i(f) = f**2 - 4*f - 4. Let r be i(-1). Is r <= -10?
False
Let m be (-10668)/(-68) + 2/17. Which is bigger: 158 or m?
158
Suppose -r + 1 = -2. Let m be (15/12)/(r/(-4)). Which is greater: -1 or m?
-1
Let q = -5218/23 - -227. Suppose 158*n = 136*n - 22. Which is smaller: n or q?
n
Suppose 102 = 3*n - 2*f + 37, 107 = 5*n - 4*f. Let l = -6 - -29. Is l less than or equal to n?
True
Let i = 22 - 40. Let c = -19.6 - i. Let u = c + 0.6. Which is smaller: u or 2/15?
u
Let o(q) = 25*q**2 - 13*q + 7. Let r be o(-3). Which is smaller: r or 272?
r
Let a = -6.5 + -31.5. Let i = a - -34.4. Which is smaller: 1 or i?
i
Suppose 0*g = -4*g + 12. Suppose y = g*y + 36. Let u be 60/y*6/(-4). Which is greater: 7 or u?
7
Let k(w) = -w**3 + 6*w**2 + 7*w - 6. Let h be k(7). Let y be (-8)/(-85)*h/((-48)/20). Suppose -i - 3*o = 4*i + 2, 4 = -5*i - o. Is y smaller than i?
False
Let l be (2/(-2))/1*-3. Let p(c) = 3 + 2*c + 9 - l - 4*c. Let d be p(8). Which is bigger: -8 or d?
d
Suppose -4 = -2*k - 2. Let a = k + 3. Let z be 1/((1 - 5)/(-16)). Is z < a?
False
Suppose -3*b + 2*v = -50, -v - 2 = -7. Suppose 7*c + b = 12*c. Is c greater than -0.2?
True
Let r = -231 - -214. Are r and -18 nonequal?
True
Let z be -1*4*(-22)/319. Is 0 at most as big as z?
True
Let d be 3/((-9)/(-12)) - -13. Suppose -d*h + 12*h - 90 = 0. Let g be (4 - 2 - -4)*-3. Is g bigger than h?
False
Suppose -36 = 4*n - 0*n. Let j be ((-4)/7)/((-8)/28). Suppose -15 - 5 = j*a. Are a and n equal?
False
Let p be 6510/80 + (-116)/(-32) + -4. Is 78 not equal to p?
True
Let q = 83 - 83.1. Which is bigger: 12/13 or q?
12/13
Let l be ((-142)/(-6))/((-5)/(-6)). Let i be (-32627)/1680 + 90/(-10). Let t = l + i. Is 0 bigger than t?
True
Suppose 38 = 3*a - a. Suppose 0 = -4*w - 4*w. Suppose -5*o - 4*c = -51, -3*c + w*c = 2*o - a. Which is greater: o or 10?
o
Let b = -21 - -26. Let v be (b*6/15)/(-1). Which is greater: v or 0?
0
Let x = 367 - 214. Is x at least as big as 154?
False
Let r = 482/77 - 72/11. Which is bigger: r or -4.6?
r
Suppose 3*o - 2*r + 1 = 0, 5*o = 3*r - 1 - 0. Suppose 4*s = s + 18. Let f be o/(39/s + -3). Do f and 0 have the same value?
False
Suppose 2*b + 7 = 97. Which is greater: b or 38?
b
Suppose 0*i + i + 1 = 0. Let q = -10.48 - -8.68. Which is smaller: i or q?
q
Suppose -26*a = -18*a - 296. Which is smaller: 39 or a?
a
Suppose 0 = -14*d - 19*d - 10296. Is -311 less than d?
False
Suppose y = -4*y + 60. Suppose -y - 28 = 5*c. Is c less than -6?
True
Let p(z) = -z**3 + 8 - 3*z + 3*z + 10 + 16*z**2 + 16*z. Let i be p(17). Is i greater than or equal to -2?
True
Suppose 4*y + 16*y + 60 = 0. Which is smaller: 58 or y?
y
Let x(p) = -2*p - 17. Let r be x(-6). Let s be (r - -2)/((-21)/2). Which is greater: -1/109 or s?
s
Let g be (-18)/(-3)*488/(10 + -6). Which is bigger: 734 or g?
734
Suppose 102*p - 82*p + 23 = 3. Let b = -23.1 + 25. Which is smaller: b or p?
p
Suppose 3*g = 1 + 11. Suppose 0 = -2*y - 4*o - 8, -3*o = -2*y - y - 12. Let m be 3 + y - -1 - -2. Which is bigger: m or g?
g
Let z(b) = -22 - 3*b - b + 15 + 2*b. Suppose 2*k + 2*k = 5*t + 19, 4*t = 5*k - 17. Let j be z(t). Which is smaller: -0.8 or j?
j
Let u = -1537883763164/13991 + 109919503. Let p = u + -1/823. Is p at most as big as 1?
True
Let y = 147 - 144. Is 16/7 bigger than y?
False
Suppose -23*n = -27*n + 132. Which is smaller: 30 or n?
30
Let u be 481/(-39) - -13 - (-3)/(-4). Which is bigger: -24 or u?
u
Let a be 57/60 + 2/(-10). Let h = -8 - -11. Suppose 4*t = -2*n + h - 7, n - t = 1. Is n greater than or equal to a?
False
Let z = 475 + -472. Is z > 21?
False
Let r(a) = -2 - 3*a - 4 + 1 + 0. Let b be r(-2). Are b and 3/16 unequal?
True
Let t = 132 - 34. Is t at most as big as 97?
False
Suppose 2*b = -5*k - 2*b - 12, -4*b = -5*k + 12. Suppose -2*x + 64 = r - 7*x, -5*r + x + 200 = k. Let a be -9*(r/9 - 4). Is a < -5?
False
Suppose 4*m - 186 = -2*g - 0*m, 0 = -4*g - 4*m + 368. Let a be (-1)/(130/g + (-3)/7). Which is bigger: a or -1/8?
-1/8
Let p be 14 - (-5)/(-3 + -2). Let c be 4/6 + 6 + p. Which is bigger: c or 19?
c
Let k(b) = -3*b**2 + 2*b. Let o be k(-3). Let p = 54 + -39. Let a = p + o. Which is b