 3/(-12) + 7 + 108/(-16). Let d be (-24)/(-7) + (-3)/3. Is d at least k?
True
Let x = -225 - -234. Which is smaller: -4/7 or x?
-4/7
Let n be (-1)/2 - 19/19. Which is bigger: 2 or n?
2
Let m(l) = -4*l**3 + 73*l**2 - 36*l - 53. Let k be m(18). Is -375 equal to k?
False
Suppose 5 = -69*z + 64*z. Which is smaller: z or 1/1089?
z
Suppose -86*d + 792 = -77*d. Is d at least as big as 85?
True
Suppose n = -0*n + 2, -2*s + 4*n = 4. Suppose -9 + 3 = -s*c. Suppose 1 = -m + 3*y - 4, 43 = -c*m - 5*y. Which is smaller: m or -12?
-12
Let d = -67 - -109. Let k = d + -16. Let z = 27 - k. Which is smaller: z or 5/4?
z
Suppose -2*q = -0 - 2. Which is smaller: q or -2/157?
-2/157
Let s = 1951/9 - 217. Suppose 2*f = r + 11, -2*f - 4*r = -3*f + 9. Suppose 3*l = -2*q + 2, 3 = -f*q + 2*l + 8. Do q and s have the same value?
False
Let h = 0.45 + -0.4. Let d(a) = -a + 3. Let q be d(-2). Suppose -q*z + 2*b = -0*b + 1, -5*b - 6 = -4*z. Do h and z have the same value?
False
Suppose -4*n = 3*x - 1430, 2*n + 6*x - 712 = 3*x. Is n <= 359?
True
Suppose 0 = -d + 2*o - 8, 2*d + 0*d + 12 = 3*o. Suppose 4*y - 4*f + d = 8, -2*y - 3*f + 9 = 0. Suppose -6 + y = 3*h. Which is smaller: -14/9 or h?
-14/9
Suppose q = 30 - 29. Is -335 != q?
True
Suppose 12 = 2*g + 2*n, 0*g + 32 = 4*g - 4*n. Suppose 0 = -g*z + 5 + 2. Let r = 2/3 - z. Which is bigger: 0.3 or r?
0.3
Let n = -0.414 - -8.344. Let u = -0.07 - n. Which is greater: -2 or u?
-2
Suppose 0 = 3*j + j - 56. Let s(b) = -b**3 + 14*b**2 + 3*b - 43. Let c be s(j). Which is smaller: c or -1/6?
c
Let n = -7 - -8. Let c = 13 + -4. Which is greater: n or c?
c
Let r = 115 - 63. Let w = r + -51. Is -2/5 != w?
True
Suppose 3*l + 32 = l. Let k(g) = g**3 + 21*g**2 + 108*g - 36. Let m be k(-11). Which is bigger: l or m?
m
Let o be ((-10)/(-4))/(-1 + 7/14). Let c = 5 + -11. Which is smaller: o or c?
c
Let l = -0.16 + 1.46. Let r = -36 - -35. Let h = l + r. Is h at least as big as 1?
False
Let t = 2693/6 + -450. Let s be (-1536)/(-112) - (-4)/14. Let u be (-11)/77 + 2/s. Which is smaller: u or t?
t
Suppose 18*j + 541 = 3025. Is 138 equal to j?
True
Let j = -53 + 92. Let r = j - 39. Is 5.5 greater than or equal to r?
True
Let v = 0.11 - 0.66. Let m = v + 1.7. Let x = 1.2 - m. Is x at least 1/3?
False
Let j(q) = -q**2 - 4*q + 3. Let r be j(-6). Let v(g) = 3*g - 25. Let s be v(4). Do s and r have the same value?
False
Let x(f) = -10*f**2 + 41*f + 6. Let u(o) = 7*o**2 - 27*o - 4. Let p(s) = 7*u(s) + 5*x(s). Let m be (2 - 1) + 16 + 0. Let t be p(m). Is t bigger than -14?
False
Let b = -8.292 + -0.008. Let d = b - -1.3. Let t = 745 + -744. Which is bigger: t or d?
t
Suppose -j = -4*h + 2*h, 4*j - 8 = 0. Do h and 23.2 have different values?
True
Let z = -7 - -10. Let h(l) = -7*l + z*l**2 - 1 + l**3 + 11*l - 8*l. Let s be h(-4). Is 0 greater than or equal to s?
True
Let n = 97 - 98. Let t be -2*((-154)/(-76) + -2). Is n greater than t?
False
Suppose -r + 1 = -7. Suppose r*w - 520 = -5*w. Which is smaller: 39 or w?
39
Let f be ((-2)/(-4))/(1 + (-21)/(-6)). Does 1 = f?
False
Let k = -43 - -47. Suppose -92 - 16 = k*g. Is -28 at least as big as g?
False
Let s = 42.2 - 0.2. Let w = s + -41.8. Which is bigger: w or -0.1?
w
Suppose 15 + 5 = 5*y. Let h be (y - 37)/(-1*(-9)/(-30)). Which is bigger: 111 or h?
111
Let h(y) = -y - 26. Let k be h(-23). Which is smaller: -34/19 or k?
k
Let n = 1.4587 + 0.1413. Which is bigger: -5 or n?
n
Let q(b) = -6*b - 30. Let f be q(-5). Let n be 2 + -2*4107/(-42). Let r = -198 + n. Which is bigger: f or r?
f
Let k(t) = -t - 9. Let z be k(-9). Suppose 5*n + 80 - 15 = z. Is -11 <= n?
False
Let k = 387 - 407. Suppose -2*r - 2*r = 0. Suppose 4*h - 2*h + 42 = r. Which is bigger: k or h?
k
Let d = -0.78 - -0.78. Let b be (-32)/30 - -1*1. Are b and d unequal?
True
Let y be (-1 + 2)*(-3 + 3). Let c = -217466/9 - -24251. Let m = -88 + c. Which is greater: y or m?
m
Let u = 9 - 8. Let l be 2/8*2/(-13). Which is bigger: u or l?
u
Let s = -45 - 45. Are 0 and s equal?
False
Let d = 562/99 - 47/9. Suppose 4*t - t = 3. Is d at least as big as t?
False
Let m be -4*(1782/9 + 1). Which is greater: m or -795?
-795
Suppose 5*s - 14*s + 36 = 0. Suppose 0 = -4*a - s*i + 164, -5 = -4*a + i + 174. Is a less than or equal to 45?
True
Let z be (0 - -1)*(-13 + (-78)/(-6)). Is z greater than 4?
False
Let z be (((-416)/(-14))/(-4))/(726/154). Which is bigger: z or -3?
z
Let j(a) = -a**3 + 7*a**2 + 9*a - 6. Let m be j(8). Suppose m = -3*c + 5. Let k = -236 + 943/4. Are c and k equal?
False
Let g(i) = -2*i - 19. Let v be g(-9). Let m(s) = -s + 7. Let k be m(7). Which is bigger: k or v?
k
Suppose 0 = 5*u - 2*j - 35, -2*u + 0*j + 35 = -5*j. Suppose 5*k + v = -17, -4*k - 5*v - 7 = -u*k. Let f = 0.2 - 0.23. Does k = f?
False
Let w be 1 + (-17 - (2 + 0)). Let v = -19 - w. Let a be (-4)/(-2) + 80/(-38). Is v greater than or equal to a?
False
Let a be -1*(-7)/(7/51). Let z = a - 51. Which is greater: z or -3?
z
Let d(m) = -m**3 - 11*m**2 - 27*m - 39. Let n be d(-10). Which is bigger: 129 or n?
n
Let k(p) = -5*p**3 + p**2 + 2. Let g be k(1). Which is smaller: -8 or g?
-8
Suppose 3*q + y = 6*q, 5*y - 15 = 0. Let k = -1/19 - -161/171. Which is bigger: k or q?
q
Let g(m) = m**3 - 8*m**2 - 2*m + 19. Let r be g(8). Let c be (6/(-4))/(r/4). Is -3 at most as big as c?
True
Let j = -7 - -7.3. Let v(a) = a**2 + a - 20. Let k be v(0). Let w be 14/(-35) - 18/k. Which is smaller: w or j?
j
Let w = -580 + 1586. Is w != 1005?
True
Let i be (-77)/(-42)*9 + (-3)/2. Let m = 1 - -4. Suppose -5*f + 9 - 3 = -2*w, -m*w - i = -2*f. Is 1/10 at least f?
True
Let a be 12/23*(-1)/(-3). Let r = a + -186/805. Suppose -s = -3*l + 5, 4*l + 3*s + 68 = 53. Are l and r unequal?
True
Suppose 25 = 4*w - 27. Suppose 0 = 5*x - 25, w = v + v + x. Is 2 greater than v?
False
Suppose -19 = -3*b - 5*s, -b = -0*b - 2*s - 21. Let y be 8/(-28) + (-38)/14 + b. Is y smaller than 14?
True
Let a be (-1982)/10 - (6 + -14). Is -189 not equal to a?
True
Let k be 723/45 + 3/5. Is 16 greater than k?
False
Let n be (4/12)/(3/27). Suppose 0 = -n*m + 4*q - 68, 5*q + 4 = -3*m - 46. Which is greater: m or -19?
-19
Let f be (7/(1750/10))/(1/95). Let l(n) = -2*n - 1. Let j be l(-2). Which is bigger: j or f?
f
Let a(w) = w**3 - 25*w + 9. Let q be a(5). Which is greater: 105/13 or q?
q
Let b = -101 - -111. Let n be 15*b/(-24) + 1/4. Is -13 smaller than n?
True
Suppose -57*t + 12 = -53*t. Let h(o) = o**3 - 2*o**2 - 2*o - 3. Let d be h(t). Is d >= 2?
False
Suppose m + 4 = 2. Let v(p) = 2*p**3 + 3*p**2. Let j be v(m). Let i be 4*(-3)/j*1. Are i and 5 equal?
False
Let g be (-3)/(-12) + (2255/20 - -10). Which is smaller: g or 1/5?
1/5
Let a = 289/46 + -18/23. Let w(p) = -p**2 + 4*p + 3. Let n be w(2). Which is greater: a or n?
n
Let a = 3 + 3. Let u = -8.5 + 9.54. Let c = u - 1.04. Is a less than or equal to c?
False
Let t = -0.27 - 6.63. Let d = t - -7. Let p be ((-9)/6)/(-3 + 0). Is d bigger than p?
False
Let w = -152 + 152.051. Which is bigger: 2/3 or w?
2/3
Let n = 180.8 + -153. Let q = n + -25. Let j = -16.8 + q. Which is smaller: 1 or j?
j
Let i be (252/(-35))/(-9)*(-890)/2. Let l be -2*(i/120 + 3). Which is bigger: -1 or l?
l
Suppose -r - 3 = -5*q, -7*r + 2*r - q + 37 = 0. Is r at least -8?
True
Let h = -958 - -976. Is 3 < h?
True
Let c be (-2)/1*(-1)/(-6). Let k(s) = s**3 + 1. Let f be k(1). Suppose -2*b + f = -b. Is c less than b?
True
Let s(c) = c**2 + 13*c - 28. Let w be s(-15). Suppose -w = q - 3*q. Are -7 and q equal?
False
Let g = 2.1 - 2. Let s(b) = b**2 - 15*b - 4. Let k be 5*((-7 - -4) + 6). Let j be s(k). Which is smaller: g or j?
j
Suppose -2*f = -f + c + 2, -2*c = -3*f + 14. Let i be (3 - 1)*7/f. Suppose -u - i = 18. Which is bigger: -24 or u?
-24
Let u be ((-2)/(-3))/((-2)/6). Let y be -3 - (-2 + u) - 1 - 27. Is -25 equal to y?
False
Let n = -4 + 5. Let t = -294 + 296.6. Is t bigger than n?
True
Let b = 1/413 - 6197/826. Which is greater: 8/5 or b?
8/5
Let h = -286/5 - -18592/325. Let j = h + -353/4550. Which is greater: j or 0?
0
Suppose 4*l - 17 = w - 0, 5*w = -3*l + 7. Let v = -0.3 - -1.5. Let c = 1 - v. Which is bigger: c or w?
c
Let c = -130 - -127. Let i(h) = -h**3 - 4*h**2 + 3. Let y be i(-4). Let g = c - y. Do g and -8 have the same value?
False
Let b = -27.9 + -18.7. Let t = b - -5.6. Let m = t + 29. W