= 16586 + -16585. Is d less than or equal to 2/6217?
False
Suppose 0 = 4*x - 4*f - 40, -45 = -5*x + 20*f - 16*f. Suppose 2*h + x*o = 101, 0 = 2*h - 0*h - o - 71. Let m be 39 - 0/2*-1. Do m and h have different values?
True
Let k be (-24)/10*770/(-21). Let x = k - 82. Let r be (-4)/(-6) - x/(-288)*-11. Which is smaller: r or 0?
0
Let w = -356784 + 356784.078. Let u = 0.2 - 0.7. Is w equal to u?
False
Let l = 3 - 15. Let b be (5 + 1 + -5)*(1 - 16). Let y be b - (4 - 5) - -1. Which is smaller: y or l?
y
Let h(q) = 3*q**3 + 5*q**2 - 3*q + 4. Let i be h(-5). Let k be 318/i + (-4)/(-14). Let o = -22437 + 22436. Is k < o?
True
Suppose -3*n = 4*x + 233, 5*n = x - 94 - 279. Let v = -70 - n. Let y be (5/v + -4)*32/(-6). Is y greater than or equal to 12?
True
Let y = -28391 + 28392. Is 20/2923 > y?
False
Let j = -6135 - -6096. Which is smaller: -114 or j?
-114
Let j = 329 - 319. Let f = j - 14. Are f and 2 nonequal?
True
Suppose -438 - 122 = -4*d. Let q = 95334/323 + -8269/19. Let y = d + q. Do -0.2 and y have the same value?
False
Let h(d) = 14*d + 130. Let x be h(-10). Let b be (x/15)/((-26)/(-1131)). Which is smaller: -38 or b?
-38
Suppose -4*l = -3*n + 442, 5*l + n + 558 = 2*n. Let u = 183 + l. Which is greater: -0.3 or u?
u
Suppose 392 = -87*w + 95*w. Suppose 17*u + w = -2. Is -5 >= u?
False
Let j be (-3 - -4) + 26 - -4. Let l = 34 - j. Let s be 9/(-36)*(1 - l). Is 0.1 greater than or equal to s?
False
Let v = -26597 + 13379. Are -13217 and v non-equal?
True
Suppose 13*z - 20*z = 46 + 234. Which is bigger: z or 2?
2
Suppose -3*p + 20 = 2*p. Let s(r) be the third derivative of 3*r**4/8 - 41*r**3/6 + 2*r**2. Let j be s(5). Is j at least p?
True
Let y be ((-848453)/282829 - 12) + 15. Is y at most -1?
False
Suppose w - 2*b - 38 = -7*b, 0 = 4*w + 3*b - 135. Let v be (1 - 4)*w/(-198). Let r = 15 + 91. Is r greater than or equal to v?
True
Suppose 8*y = 5*y. Suppose y = -2*r - r. Let b be r/(3 + (-6)/3). Is -4/7 bigger than b?
False
Let o = -8804 + 8904. Which is bigger: o or 70?
o
Let y(s) = 14*s**3 - 82*s**2 - 9*s - 19. Let j be y(6). Is 2/15159 > j?
True
Let m = -4310 - -14808. Is m <= 10497?
False
Suppose 578 + 237 = -22*n - 65. Let g = 1 + -1. Does n = g?
False
Let i = 80 - 78. Suppose -13*n + 12*n + 22 = -3*d, 0 = -4*n - i*d + 60. Which is smaller: n or 9?
9
Suppose -4*n - l + 2*l = -6445, -3*l - 4845 = -3*n. Suppose -31*i = -17*i - n. Is 115 > i?
False
Let o be 1 + 14*2/(-34). Let p be 1994/510 + 5 - 9. Let t = p - o. Is t > 1/2?
False
Let z(b) = b**2 - 2*b + 23. Let n be z(0). Suppose 0 = -n*k + 27*k - 32. Let s be 94*((-20)/k + 2). Is -47 equal to s?
True
Let z = 32 - 29. Suppose -18 = -2*v - 0*v - z*i, 0 = -2*i + 8. Suppose v*s - 15 = -2*g - 2*g, -3*g + 4*s - 20 = 0. Is -3/17 bigger than g?
False
Let v = 4 + -4. Let i = 1.23 + 129.77. Let m = 124 - i. Which is smaller: v or m?
m
Let m = 1/2 - 1. Let s = -97.3 - -111. Let v = s - 20.7. Is m bigger than v?
True
Let o be 4/(-5) - (-2688)/3435. Which is smaller: o or 3?
o
Let m be 26/39 + (-93104)/(-1287) + (-2)/(-9). Is m at most as big as 74?
True
Let a = 5421 + -5422. Which is bigger: -39/151 or a?
-39/151
Let h(a) = -a**2 - a. Let u(l) = l**3 + 19*l**2 + 21*l - 26. Let y(n) = -6*h(n) - u(n). Let c be y(-12). Let d = -35 + c. Is d at most 27?
True
Let p = -0.03003 - -0.06003. Which is greater: -37 or p?
p
Let h(b) = -15*b**3 + 4*b**2 - 61*b - 60. Let k(z) = -7*z**3 + 3*z**2 - 30*z - 29. Let a(c) = -6*h(c) + 13*k(c). Let o be a(13). Is o <= 108/13?
False
Let q = -1447 - -3540. Suppose -7*c = 16*c - q. Is c at least 90?
True
Let o be ((-740)/12)/1 + (-2)/(-3). Let r = o - -63. Suppose -r = -i, 9*i = -s + 4*i + 12. Are s and 2 nonequal?
False
Let h(f) = 342*f - 3124. Let v be h(12). Are v and 1961/2 nonequal?
True
Let l be (-18)/(-8) + 14550/200. Is 43 < l?
True
Suppose 15 = -5*a + 10*a. Let t be (6/a)/((-5)/(-15)). Let q be (-8)/(-16)*-3*4/t. Which is greater: 2 or q?
2
Let d = -1623162/341 - -4760. Is 0 < d?
False
Let j be 153/(-357) + 2/((-14)/(-31)). Suppose -f + 5 = -2*f - j*m, 0 = -3*f - 5*m + 20. Are f and 134/9 unequal?
True
Let q = 2/48637 - -631421/20913910. Which is smaller: -1 or q?
-1
Suppose 0 = -5*b + 3*b - 2. Let k be (110/66)/(13/((-780)/112)). Is k at least b?
True
Let u(v) = -v**3 - 11*v**2 - 8*v + 14. Let d(g) = g**3 + 37*g**2 + 39*g + 98. Let a be d(-36). Let b be u(a). Let m be ((-1)/(-6))/((-6)/(-16)). Is m > b?
True
Let a be 9/(-243)*-1074 - (-2)/9. Let i be a/(-60)*(9/6 + -1). Does -7/2 = i?
False
Let r be 2*2810*1974/(-1128). Is r not equal to -9835?
False
Let o be (-4386)/(-68) - 3/(-6). Suppose 340 = -o*j + 45*j. Is j less than 3?
True
Let i be (-3 + 8)*6/3. Suppose -i*n = -8*n + 6. Let w be (8/4)/(-1) - 0. Is w >= n?
True
Let i = 0.054 - 8.254. Let f = -9.1 - i. Let n(h) = -h - 1. Let b be n(-3). Is f not equal to b?
True
Suppose 20*q = -173 - 77 - 950. Which is bigger: -788/13 or q?
q
Suppose -14369 = 4*z + 6*i - 11*i, -4*z + i = 14397. Which is greater: z or -3600?
-3600
Let c = -1586 - -971.1. Are c and 1 unequal?
True
Suppose -b + 38 = 3*v, 34 + 29 = 5*v + 2*b. Let c be (-1)/4 + 261/(-12). Let o be (c/(-3))/((-6)/(-9)). Which is smaller: o or v?
o
Suppose -169*r + 69 = -168*r. Let l = -69 + r. Does l = 3/32?
False
Let b = 593.07 - 589. Let j = -2494 + 2494.07. Let x = b - j. Is -0.3 at most as big as x?
True
Let y be 1/(-4)*(-8)/(-68). Suppose -78 - 29 = 107*i. Which is smaller: y or i?
i
Suppose -3*k - 11 = -3*j + 22, 3*j - 38 = 4*k. Let i = 10 - 6. Suppose 2*p = 22 - i. Do j and p have the same value?
False
Suppose m + 10 = -4*s - 2*m, 2*m + 4 = 0. Let t be s/(2 + (-2548)/1278). Let a = t + 8313/52. Which is smaller: -1 or a?
-1
Let c be 18/((-36)/(-8) - 3). Let x = 13 - c. Let y be -3*((-1 - 7)/(-2) - x). Which is bigger: y or -6?
-6
Let m = 3417 - 1807. Let u = m - 260821/162. Is u smaller than 1?
True
Let p be (-32 - (-35836)/1122)*(0 + 3/254). Which is smaller: -1 or p?
-1
Suppose 2008 = h - 4*p - 902, 14571 = 5*h + p. Is h <= 2913?
False
Let l = 166 + -168. Let s be (l/36)/((-13)/5096). Is 23 <= s?
False
Let j = -0.318 + 323.318. Let q = 229 - j. Let i = q + 94.1. Which is bigger: i or 6.6?
6.6
Let z be 3 + (-31098)/6948 + 2 - 4/8. Does -1 = z?
False
Let o be (8667/720 - 1) + -11. Suppose -3*d - 3 = -0*d. Which is smaller: d or o?
d
Let o(t) = -2*t - 14. Let n be o(-7). Let m be -4 + n - (21 - 19). Let r be (1*m/(-6))/(-1 - 0). Is 2/57 < r?
False
Let h = 10.6 - 62.4. Let s = h + 52. Let b = -0.03 - -0.01. Is b at most s?
True
Let i = 1.25 + -9.2. Let m = 0.05 - i. Which is smaller: m or -0.08?
-0.08
Let c be 52378040/13094620 - (1 - 0)*4. Is c != -1?
True
Let a = -21403 - -21404.3456. Do a and -1 have the same value?
False
Let z = 149 + -81. Let t = -83.9 + z. Let w = t - -16. Are w and -12 equal?
False
Let a = 6752879/11 + -613213. Is 686 < a?
False
Let w = -9.01 + 0.81. Let n = -807.2 + 763. Let p = w - n. Which is bigger: 1 or p?
p
Let f = 39 + -58. Let p be -4 + -749*(-15)/4. Let b = 2785 - p. Is b at least as big as f?
False
Let b = 250309/810084 - 2/11913. Which is bigger: 1 or b?
1
Suppose -5*h + 289*s = 291*s - 911, 552 = 3*h + 3*s. Which is smaller: h or 60?
60
Let p = 0.1 - -0.1. Let v = -4887 - -4888.1. Is v greater than or equal to p?
True
Let a = -0.049 - 0.653. Let r = a - -0.632. Is r smaller than -8/3?
False
Suppose -4*u = -5*q + 159, 5*u - q = 2*q - 189. Let x be 8/u - 55/(-207). Let b = -368 - -368. Is x <= b?
False
Let w be (-1)/(-1) - (-1816)/(-16). Let o = -113 - w. Let y = -1.7 + 1.9. Is o at most y?
True
Let r = 257 + -418. Let f = 156.1 + r. Is 0.1 greater than or equal to f?
True
Let y = 389/6 + -62. Suppose q = 5*q. Let g be 0 - q - (-17 + 14). Are g and y unequal?
True
Suppose 6*h = 69 - 9. Suppose h = u - 2*u - 2*m, -4*u - m = 12. Let z be (2 + u - -12)/(-1). Which is greater: z or -25/2?
z
Let i be ((-1)/(-7))/(1*(-6)/522). Suppose u - 5*u = 44. Which is greater: u or i?
u
Let w = -292 - -295. Suppose 8*s = -w + 11. Is -215 > s?
False
Let l = -11627 - -11381. Is -245 at least as big as l?
True
Let g = -1056.43 - -1061. Let z = g + -260.57. Is z greater than 0?
False
Suppose -3*f - v = -21801, -42*f + v = -39*f - 21795. Is 7268 equal to f?
False
Let a(v) = -v**2 - 21*v + 27. Let u be a(-22). Let t be -5 + 3 + (-2)/2. Is u at mos