1. Let f = v - 0. Let a = 2 + -8/3. Is a >= f?
True
Let t(r) = 9*r + 42. Let o be t(11). Are o and 144 non-equal?
True
Let l be (-4 - 5*-2)*1. Suppose -4*f + 2*c + 6 + 6 = 0, 2*c - l = -2*f. Suppose f*x + 2*x = 0. Is -2/13 bigger than x?
False
Suppose 2*a + 2 = -2. Let k be (0 + (-212)/12)/1. Let y = k + 17. Which is bigger: y or a?
y
Suppose 3*j + 3 = -0*j. Let z be j/(-2) + (-21)/28. Which is smaller: z or -0.8?
-0.8
Let k = 471679 - 43865708/93. Let r = 21391/394413 + -2/4241. Let h = r - k. Which is greater: -4 or h?
-4
Let f be (-85)/44*100/250. Are f and -1 non-equal?
True
Let d be (-6)/130*2/(6/(-3)). Is -3 equal to d?
False
Let k(v) = -v - 4. Let o be k(-16). Let l be -1*-1*o/68. Let u(c) = -c**2 - 2*c - 1. Let t be u(-2). Is l at least t?
True
Let g be (135/12)/((-10)/40). Let d = -0.04 + -0.16. Does g = d?
False
Suppose 2*h + 5*c = -2, 4*h = 3*c - 2 - 2. Suppose 0 = 5*d - 15 - 10. Suppose 0 = 3*j + 1 + d. Is h <= j?
False
Let k be 5 + -1*(-420)/(-85). Let h be ((-3)/6*-2)/(-1). Let x be (-1)/(h + (-2 - -2)). Is x less than or equal to k?
False
Let k = -55 + 14. Let p = k - -36. Let u be 7/(-2) - (2 - 1). Do p and u have the same value?
False
Suppose 0 = r - 2*r + 3. Suppose 2*w - 5*j = -5 - 19, -2*w - 4*j + 12 = 0. Which is smaller: w or r?
w
Let z = 523 + -1059. Is z at least as big as -535?
False
Let m = -45 - -36. Let u be (-12)/(-8)*(-12)/m. Which is smaller: u or -0.7?
-0.7
Suppose 4*n - 57 = l, -2*n - 2*l = -6*n + 54. Which is greater: 14 or n?
n
Let m = -1/16 - -9/16. Let y be (1104/(-64))/((-9)/24). Which is greater: y or m?
y
Let z = -4 - -49. Let s = -282 - -326. Is z greater than or equal to s?
True
Let o = -855 + 888.08. Let n = o + -33. Which is bigger: 0 or n?
n
Let g be (-58)/87 - (-1 - 44/(-141)). Which is smaller: 0 or g?
0
Let z(f) be the third derivative of -f**5/60 + f**4/4 - f**3/2 + f**2. Let k be z(2). Suppose -k*p = -p. Is p greater than or equal to 1?
False
Suppose -10 = 23*t - 28*t. Let r be (2/5)/(6*t/420). Is 15 bigger than r?
True
Let d(w) = -w**3 - 14*w**2 + w + 17. Let q be d(-14). Suppose -4 = -q*v + 7*v. Let x be 2 + -46*8/180. Is x less than or equal to v?
False
Let z = -2.303 + 0.003. Let v = 0.1 - z. Let n = -2.3 + v. Is 2/7 greater than or equal to n?
True
Let n be ((-113)/(5 + -6))/(5/(-10)). Is -229 at most as big as n?
True
Let x be (3/(-645))/(8/(-20)). Is x < 1?
True
Suppose 7*x = 4*x - 9. Let i be (0 - x) + (-1 - -5). Is i < 10?
True
Let y = -83.3 - -79. Let n = y + -0.7. Let r = 0.1 - 0.1. Which is greater: n or r?
r
Suppose 12*h - 20 = -20. Which is greater: 12/319 or h?
12/319
Suppose 10*j + 12 - 52 = 0. Suppose i + 20 = -j*i, -4*i - 20 = 4*w. Which is greater: w or 3/115?
3/115
Let g = -70 - -71. Let x = -1/84 + 173/420. Which is bigger: x or g?
g
Let y be 2/(-21)*(-4 + (-39)/(-12)). Do 0.2 and y have different values?
True
Let b = 47 + -99. Let g = b - -258/5. Let h = 1.6 - 2. Is g greater than or equal to h?
True
Let k be (-3260)/6*(-96)/80. Let x = k - 58679/90. Is x at most as big as 1?
True
Suppose -3*s + 8 + 1 = 3*v, v = -4*s + 9. Does 1/72 = v?
False
Suppose 0*a - a + 2 = 0. Let b be (-5)/10*a/(-1). Do -2/83 and b have the same value?
False
Let g = 62 + -42. Suppose -3*s = 43 + g. Is -22 smaller than s?
True
Let l = -13.7 - -14.7. Is l at most 6/29?
False
Let j(w) = -2*w**2 + 34*w + 5. Let u be j(17). Let o = -5 - -7. Suppose 0*r - 5*r + u*x + 5 = 0, 3*r + o*x = 23. Do 3 and r have the same value?
False
Let s be 0 + 0 + (-2)/(-70). Let n = 3308 - 3307. Are n and s non-equal?
True
Let c be 0 + -6 + -3 + 0. Suppose 3*j = -0*p - 5*p + 35, -3*p - 2*j = -20. Let t be (8/p)/((-6)/75). Is c smaller than t?
False
Let z = 0.144 + -0.054. Let w = 2.924 + -0.024. Let o = w - 3. Is o greater than or equal to z?
False
Suppose -7*u = u + 24. Let z be (12/(-18))/((-1)/u). Is z greater than or equal to -3/2?
False
Let t = -29728/2805 + 350/33. Is -1 smaller than t?
True
Let c = -47695 + 21847. Let g = c + 1576890/61. Let y = -2/183 - g. Which is smaller: y or -3?
-3
Suppose -7*y + 6 = -5*y. Suppose 61 = 2*k + y*q, k - 2*q + 84 = 4*k. Suppose -3*l - 16 = k. Are l and -14 non-equal?
False
Let g(m) = m**2 + 8*m - 10. Let x be g(-9). Let k = 32/115 - 9/115. Is k not equal to x?
True
Let m be (-12)/24 + 6/4. Let r = -19 - m. Let w be -2 - (r/(-5) + -6). Which is smaller: w or -1?
-1
Suppose 6*i - 103 = 2*i - 3*q, -2*q = -2*i + 62. Suppose -i = -y - 2*w - 2*w, y - 3*w - 7 = 0. Let c be 118/(-8) - 4/y. Which is greater: -14 or c?
-14
Let s(f) = 10*f - 89. Let z be s(9). Is z bigger than 3/56?
True
Suppose -2*a + d + 135 = 0, 2*a + d = 83 + 46. Do 61 and a have the same value?
False
Let o be (-84)/(-16)*878/(-3). Let i = o + 1565. Is 30 greater than or equal to i?
True
Suppose -5*p + 13 = -5*q - 2, -q - 21 = 5*p. Let l(m) = -2*m - 11. Let i be l(q). Which is greater: i or 0?
i
Let f(v) = -3*v + 30. Suppose -6*h + i + 40 = -2*h, -2*i = 5*h - 50. Let a be f(h). Is a > -3/10?
True
Let d = -77 - -76. Let w be 3 - 2 - d - 2. Let c be (-128)/(-270) - (-6)/(-15). Is w > c?
False
Let l = 2 + -1.92. Let u = -0.14 + l. Let a be (-4 + 14)/(-5) + 27/12. Which is greater: u or a?
a
Let g = -7.02 - -0.02. Let t(l) = -l**3 - 11*l**2 + 22*l + 2. Let f be t(2). Which is greater: f or g?
f
Let r be (-11)/33 + (-11363)/48. Suppose 0 = -6*w + 4*w - 474. Let x = r - w. Is 1 < x?
False
Let s = -0.4 + 1.8. Let t = -316.7 - -318. Let n = t - s. Which is greater: 3/4 or n?
3/4
Let x be (-20 - -21)/(1/(-54)). Let t be ((-4)/(-8))/(3/x). Let l = t + 0. Is 2/5 at most l?
False
Let r = -59 + 39. Let p = r + 19. Does -1/2 = p?
False
Let o = -6.87 + 7.31. Is 0.5 less than or equal to o?
False
Suppose j - 6 = 3*j. Let z = 19 - 68. Let q be 21/z - (-4)/(-7). Is q bigger than j?
True
Suppose x - 9 + 18 = 0. Let j = -6 + 10. Suppose j*t + 20 = -20. Are x and t equal?
False
Let f be (-6 + (-287)/(-35))/((-2)/(-10)). Suppose -5*c - 6 = m, -6*m + f*m + 5*c = -90. Which is greater: m or -19?
-19
Let d = -249/8789 + -104045003/281248. Let p = -370 - d. Which is greater: p or 0?
0
Suppose 71 = -r + 16. Let a be (2/(-4))/(r/(-22)). Is a > 0.01?
False
Let u = 55 - 43. Suppose u*b = 5*b + 168. Which is bigger: b or 23?
b
Let j be (-1)/(-4) + 6/16. Let w(h) = h**2 + 2*h. Let d be w(-3). Suppose 4*q + 3*b - d = 2*b, 3*b - 9 = -q. Which is smaller: q or j?
q
Let p(b) = b**2 + 7*b + 4. Let s be p(-7). Suppose 5*t + 9 = 3*x - 8, -s*x - 2*t = 12. Is x >= 3/23?
False
Suppose -3*s - 400 = -11*s. Let l = s - 50. Is l at least -6?
True
Let v(a) = 3*a**2 - 6*a + 66. Let h be v(16). Is 738 greater than h?
False
Suppose 9*q = -2221 - 5177. Is q < -822?
False
Suppose -4*j - p = -194, 3*j - 94 = -p + 51. Let o = 16 - j. Let m = 42 + o. Is 10 > m?
True
Let p be (-3)/(-6 - 90/(-12)) - 19. Which is smaller: p or -12?
p
Let u = 142 + -137. Is -7 at most as big as u?
True
Let h = 489/112 - 31/7. Let p = -73/144 - h. Do 1 and p have different values?
True
Let j = 5.62 - 9.3. Let l = j - 0.32. Which is smaller: l or 1/4?
l
Let q = 10 + 0. Let w(r) = -r**3 + 11*r**2 - 10*r - 2. Let m be w(q). Is -8/15 bigger than m?
True
Let i be -7 + 14 - (-2)/(-1). Let q be (15 - i)/2 - 2. Which is smaller: q or 11/5?
11/5
Suppose c + 3*y = 2*y + 465, 2*c + y = 926. Is -2/3 smaller than c?
True
Let r be (-34)/65*(-8 + 13). Which is smaller: -4 or r?
-4
Suppose 3*t + 4*h = 40, -3*t - 3*h - 17 = -56. Suppose 0*m + 3*m + t = 0. Which is bigger: -3 or m?
-3
Suppose 14 = 16*b + 30. Which is smaller: -6/665 or b?
b
Let g = 781 - 5476/7. Which is greater: 0 or g?
0
Let w be (-219)/10 - 6/60. Which is smaller: w or -23?
-23
Let n(m) = -253*m + 2. Let w be n(-5). Let o = 59547/47 - w. Suppose -2*b = b - 3. Which is greater: o or b?
b
Let p = 307 - 274. Let r = 411 + -442.7. Let u = p + r. Are -1 and u non-equal?
True
Let j be (1 - 13)*11 + 9 + -10. Which is bigger: -398/3 or j?
-398/3
Let v = 0.6 + 0.4. Let y = -0.9 + v. Let x = -547/3878 - 1/554. Which is smaller: x or y?
x
Let b = 275 - 408. Which is smaller: -128 or b?
b
Let q be 1/(2/34*1). Let k be 1/(-16) - (-1734)/96. Is k less than q?
False
Let r be (-1 - 2/(-6))*(-6255)/104667. Which is smaller: r or 0?
0
Let r be 4 + 1/(-1) - (-1332216)/(-45016). Let f = -452/17 - r. Which is smaller: f or 0?
0
Let l(b) = -2*b**3 + 12*b**2 - 5*b