than or equal to m?
True
Suppose -20*f + 22*f = 398. Let g = f + -135. Is 64 != g?
False
Let t be -5 - (-3 + 9 + -12). Is t >= 4/3997?
True
Let n = -168 - -114. Let a = -66 + 49. Let f(x) = 5*x + 31. Let v be f(a). Do v and n have different values?
False
Let w be (17/(-21))/((-2)/6). Let z be (-2002)/(-616) + (10/(-20))/(1 - -1). Is z > w?
True
Let k(v) = -v**2 - 11*v - 7. Let c be k(-11). Suppose -28 = -4*g + 3*t + 7, 3*g - 2*t = 25. Suppose -m = g*m + 6. Which is smaller: m or c?
c
Let x = 8047981/4685219 + 233/9427. Let l = 2/71 - x. Let w = l + 2. Which is greater: w or 0.5?
0.5
Let m(n) = -8558*n + 34236. Let l be m(4). Let r(s) = s + 2. Let x be r(5). Is l at most as big as x?
True
Let u = -1544 + 1545. Which is smaller: u or -2/233?
-2/233
Let u(v) = -v - 3. Let o(h) = h**2 - 20*h + 29. Let t be o(18). Let y be u(t). Suppose 5*x + 2 = -p, 0 = -y*p + 3*x - 10 + 2. Does -7/9 = p?
False
Let a = -15 + 23. Suppose 4*i - 12 = 0, -1227 - 406 = n + 3*i. Let m = n + 6601/4. Does m = a?
False
Let l(i) = -289*i**2 - 2*i + 7. Let r(o) = -144*o**2 - o + 4. Let z(n) = 6*l(n) - 11*r(n). Let p be z(1). Is p > -153?
False
Let i(p) = -13*p - 207. Let g be i(-16). Are 83/41 and g equal?
False
Let j = -190 - -189. Is -21/233 < j?
False
Let o be (-8)/(-44) + 93/33. Let l = -33993/8 + 4252. Is l bigger than o?
False
Let p(u) = u**2 + u**3 + 2*u**2 - u - 4 - u. Let s be p(-4). Let v = -88.61 - -86.61. Which is bigger: s or v?
v
Let z = -22 - -58. Let c = z + -6. Let s = 9660 - 9659.9. Is c at most s?
False
Let b be ((-8)/8)/(((-6)/56)/(-3)). Let s(q) = 2*q**2 - 30*q + 103. Let k be s(6). Which is greater: k or b?
k
Suppose -11*i - 32*i + 50 = 7*i. Which is smaller: 4/5615 or i?
4/5615
Let o = 59106 - 84043. Do -24937 and o have the same value?
True
Let b = -7722 + 6311. Which is smaller: -1410 or b?
b
Let o(f) = -13*f**2 - 31*f + 3. Let w be o(9). Which is smaller: w or -1328?
w
Let l = -27895 + 23032. Is -4862 greater than l?
True
Suppose -4*u - 666 = 3*f, 5*f + 444 = 3*f - 2*u. Which is bigger: -216 or f?
-216
Suppose 1026 = 3*l - 25*x + 22*x, 0 = -l + 5*x + 358. Is l greater than 339?
False
Let n(i) = 89*i + 3826. Let a be n(-43). Do -58/161 and a have the same value?
False
Let f = 3 - 13. Let a(n) = n**3 - 96*n**2 + 542*n - 175. Let w be a(90). Which is smaller: w or f?
f
Let w = 45 + -77. Suppose -18*j + 5*j + 247 = 0. Suppose -42*u = -j*u + 713. Is w smaller than u?
True
Let r = 573 - 756. Let c = r - -472. Is c at most as big as 290?
True
Suppose 63*u = -40 - 16 - 7. Is 3/8602 greater than or equal to u?
True
Let g = 8/5235 - 191492/1984065. Is g < -1?
False
Let n(u) = -u**2 - 7*u + 42. Suppose z = 5*s + 54 - 9, 3*s + 3*z = -9. Let h be n(s). Are h and 65/2 nonequal?
True
Let p(l) = -4*l**2 - l**2 + 2*l**2 + l**2 + 8*l + 4*l**3. Let k be p(-4). Which is smaller: -321 or k?
-321
Suppose -4 - 8 = -a. Let k(s) = s**2 - 12*s + 5. Let m be k(a). Suppose b = -4*b + m. Which is smaller: 3/5 or b?
3/5
Suppose -4*a + 25 = -x, 5*a + 0*x - 3*x = 33. Let l be (11/a)/(24/(-72)). Let f(j) = -j**2 + j - 6. Let c be f(0). Which is smaller: c or l?
c
Let u = 82 + -78. Suppose -3*n = u*l - 15, -2*n = -5*l + n - 15. Suppose 0 = 5*d + 4*c - 11, c - 2 = -d - l*c. Which is smaller: -3 or d?
-3
Let v = 7.022 + -4.53. Let z = v - -0.008. Let m = 4.5 - z. Is m >= -0.03?
True
Let p = 79 + -58. Suppose t - 21 = 2*r, 97 = 13*t - 8*t - 2*r. Is p less than or equal to t?
False
Let x be (33/13222)/(6/(-8)). Let y = x + -1771/9616. Is y not equal to -1?
True
Let y(z) = 5*z + 2. Let k be y(-4). Suppose 14 = -2*p + v, -4*v + 36 = -4*p + 4. Let t(o) = o**3 + 6*o**2 + 2*o + 10. Let j be t(p). Is j greater than k?
True
Let f be (-14064)/11376 - (10/(-6) - -1). Is -2 not equal to f?
True
Let x = -108.2 - -108. Let o = -8.4 + -13.6. Do o and x have the same value?
False
Let v = 25388 - 25261. Which is greater: 253/2 or v?
v
Suppose 3*j = -j + 3*z + 28, 0 = -j - z. Suppose -2*h + j*h = -4*s + 16, -h + 14 = -s. Suppose -6 + h = -3*v. Which is bigger: v or -7?
v
Let a be ((0 - 0) + -6)/(-2). Suppose -5*b = i + 60, -2*i - 3*b + 7*b - 106 = 0. Let w be (-12)/66 + 2*(-71)/i. Which is smaller: w or a?
w
Let s(k) be the first derivative of 19*k + 17 - 7*k**3 - 19/2*k**2 - 1/4*k**4. Let b be s(-20). Which is bigger: -1/23 or b?
-1/23
Let t = -12/25 + 9058/18975. Let h(l) = -l**3 - 13*l**2. Let d be h(-13). Does t = d?
False
Let a be (-15)/25*(6 + -1)*96/(-380). Which is bigger: 2 or a?
2
Let y = -1330/9 + 513353/3474. Which is bigger: -1 or y?
y
Let z = 3274 + -3274.4. Is z greater than 4/81?
False
Let n = -75/34 - -104/51. Is 7.03 <= n?
False
Suppose 0 = -95*x - 2770 + 1437 - 1517. Is x at least as big as -30?
True
Let g be (-59 - -2) + 2 + -5. Let y be 2/(5*(-8)/g). Let a be ((y/(-1))/(-3))/1 - 0. Which is smaller: 2/77 or a?
2/77
Let h = 2.49 + -4.68. Let r = h - -2.16. Which is greater: r or 1/4?
1/4
Suppose -13*i + 2 + 76 = 0. Suppose 0 = 2*q - 4*v + i, 0 = -3*q - 2*v - v - 54. Which is smaller: q or -96/7?
-96/7
Let z = 508 + -17778/35. Let w = -316 - -600. Let a = -283 + w. Is z at least as big as a?
False
Let q = -52 - -54. Suppose 0 = -5*r - 3*k + 18, 6*r - q*r = 4*k + 8. Let b be 246/(-48) - -7 - -1. Which is bigger: r or b?
r
Let f = -25 + 9. Let j = 3627 + -3629. Is j smaller than f?
False
Let w be ((-54)/24)/(3/136). Let x = -78 - w. Suppose -x + 20 = 4*g. Is 1/34 at most as big as g?
False
Let l(k) = k**3 + 4*k**2 - 4*k + 3. Let n be l(-5). Let f be n/(-4) + 1/2. Let b = -158389 + 1108722/7. Is f at most b?
False
Let k be 2611/(-373) - 550/(-14). Which is bigger: -1 or k?
k
Let z = -7 - -62. Let x = -146 - -23. Let m = -124 - x. Which is bigger: z or m?
z
Let o be 400/22 + (-4)/22*1. Suppose 0*y + 3*y + 5*k = o, -3*y + k = 0. Suppose -2*t + m + 2 = 0, -2*m + y = 2*t + 11. Is -1/10 greater than or equal to t?
True
Let t = -116 - -106. Let l = t + 10. Which is smaller: l or -4/69?
-4/69
Let s(p) be the second derivative of 2*p**2 - 22*p + 0 - 2/3*p**4 - 2*p**3 + 1/20*p**5. Let v be s(9). Which is bigger: -3 or v?
-3
Let j be (1*-3)/((-7)/56*6). Suppose -5*s + 0*d + 148 = j*d, -2*d = 2*s - 60. Is s less than or equal to 26?
False
Let m = 453 - 454. Which is greater: m or -1/374?
-1/374
Suppose 0 = b - 2*s - 5 - 2, 4*s = -3*b - 19. Let t be (48/(-40))/b*30/4. Is 11 smaller than t?
False
Suppose -7*t - 17 = f - 3*t, -2*f - 5*t - 22 = 0. Let n = -10899166772/925 + 11782880. Let i = n + 102/37. Which is smaller: f or i?
f
Suppose -k = g - 3, -15 = k - 0*k - 5*g. Let z be (-4*4/(-128))/(28014/2784). Which is smaller: z or k?
k
Let m(n) = 238*n + 1361. Let x be m(-9). Is -781 at least as big as x?
True
Suppose 0 = -2*q - 1436 + 1918. Which is smaller: q or 959/4?
959/4
Let f be 0 - 1 - (-20 - -17). Let r be 5600/882 + f/9. Let t(u) = 34*u + 312. Let o be t(-9). Is r bigger than o?
True
Let m be (4/(-6))/(-2) - 111604/12. Let f be 2265/m + (-2)/(-8). Is 0 bigger than f?
False
Suppose -3*t + 4 = 2*n, -3 - 5 = -5*t - 4*n. Suppose 10*l - 14*l + 36 = 0. Let s be ((-3)/(-45))/((-4)/l). Which is bigger: s or t?
t
Let h be 2/(1*12) - (0 - (-54)/(-405)). Which is bigger: h or 107/2?
107/2
Let g = 151616/77 - 1969. Are g and 1 unequal?
True
Let q = -26 - -21. Suppose 0 = m + 15. Let g(h) = -h**2 - 15*h - 3. Let t be g(m). Is t < q?
False
Let p = 11034 - 11030. Which is smaller: -0.832 or p?
-0.832
Let d be 5/((10/12)/(6/(-18))) + -69. Which is bigger: d or -95?
d
Let d = 17814 - 17821. Which is greater: d or -65?
d
Let t be 20/30 + (-13003)/15 - 3. Let y = t - -865. Is -5 less than y?
True
Let k be 8/(-6)*((-495)/(-36) - 13). Let z = -0.2 - -0.2. Let j = z - -1. Which is smaller: j or k?
k
Suppose -34 + 13 = 3*o. Suppose -2*z - 3*g = -73, 0*z + 2*g + 33 = z. Suppose -z = 4*l - 3*s, 0 = 2*s + 3*s - 5. Is o smaller than l?
False
Let s = 0.0279 + -3.2579. Let u = 3.24 + s. Which is smaller: u or 0.7?
u
Let u(q) = -4*q + 5. Let g be u(1). Let j be (17/119)/(0 + g/7). Let z = -35 - -1087/31. Which is bigger: j or z?
j
Let h be (-8)/(-20)*755 + 1. Let k = 289 - h. Which is smaller: -1 or k?
k
Suppose 29*y - 30*y - 2 = 0, 2*b + y + 3776 = 0. Is -1887 smaller than b?
False
Let y be 4/7 - (2 - 1). Let j = 3/722 - -1405/9386. Which is greater: j or y?
j
Let u = 52/161 + -1/644. Let h(a) = -a**2 - 12*a - 19. L