t v = 64143 + -64115. Suppose w + 1 = z, w + 4*z - 7 = 4*w. Are v and w equal?
False
Let f be (26/(-3))/1*5457/214. Let s = f - -203. Which is bigger: s or -19?
s
Let b(k) = 5*k - 28. Let r be b(6). Suppose 3 = -t + r. Let z be 180/640*4/(-6). Which is smaller: z or t?
t
Suppose 4*k - 202*i + 8 = -204*i, 3*k + 3*i + 12 = 0. Which is bigger: -4/107 or k?
k
Let a = -8/67963 + 20253766/6728337. Is a greater than or equal to 2?
True
Let j(y) = 2*y**2 + 4*y - 14. Let d be j(-5). Suppose 0*a + d = -4*a. Let x be -2*1*a/(-180). Does x = 1?
False
Let h be ((-117)/9 - (-65)/(-364))*4/(-3). Let t be 4/12 + 5/3. Which is greater: t or h?
h
Let x = -1.1358 - -289.1358. Which is greater: x or 0.07?
x
Let q = -20.22 + 383.22. Is q at least as big as 2/17?
True
Let g be 3663/1287 - 2/(-13). Suppose g*b = -4*r + 5*r + 11, -5*r + 2*b + 10 = 0. Is 2/15 less than or equal to r?
True
Suppose 4*v - 20 = 0, 0*v - 4*v = -2*z + 24. Let c = z - 36. Let y = c + -21. Are -0.1 and y equal?
False
Let u be (8/(-37936))/(2/(-4)). Let i = 49817/61646 - u. Which is smaller: i or 0?
0
Let r(w) = 8*w**3 + 6*w**2 - 3*w - 12. Let d be r(-4). Let x be 2/(-13) + -18*(-8)/d. Let n = -32 + 156/5. Does x = n?
False
Suppose 4*n - 756 + 2890 = -7*n. Let j be -4 + 51/15 + 1. Are j and n non-equal?
True
Suppose -3*d + 143 = 5*l - 4*l, l = -4*d + 190. Let u be (-8)/(-28) + d/7 - 2. Let g = u - 28. Which is bigger: 1 or g?
1
Suppose 20*v + 1436 = 1516. Is 170/31 at least as big as v?
True
Let t be (0 - (-21)/(-28))*-19387 + 6/8. Is t at least as big as 14541?
True
Suppose 0 = 8*x - 18 - 62. Suppose x = 4*j + 14. Suppose -5*l + 7 + 53 = 0. Is l at most j?
False
Let p = -129192.4 + 129192. Let z = -16.93 - -17. Let h = z - -0.23. Which is smaller: h or p?
p
Let x = 5488 - 1289677/235. Is x at most -1?
False
Let v = 0.126 - -0.874. Which is greater: -76/23 or v?
v
Suppose -2*s + 6 = 10*d - 6*d, 2*d - 4*s = -2. Is -2/919 greater than d?
False
Let f be (2 - (32 + 0))/((-3)/(-6)). Let y = f + 61. Let v = -0.4 + 2.4. Is v <= y?
False
Let a(b) = 570*b + 5130. Let u be a(-9). Do 32/591 and u have the same value?
False
Suppose -n - 22 = -4*a, 4*n = 24*a - 22*a - 32. Which is bigger: 167 or n?
167
Let a = 23/683 - -284912/37565. Let j = 39/5 - a. Let p = 0.7 - 1. Is j at most as big as p?
False
Let s be (-5)/((-105)/(-6))*9/63. Let o be ((-6)/(-12))/(3/(-6)). Let j = 0 + o. Which is greater: s or j?
s
Let v be 0*((-4)/1)/8. Let t = -23765 + 10432837/439. Is v greater than t?
False
Let f be -8 + ((-6)/5)/((-201)/3350). Is f >= 129/11?
True
Let u = 2.94 + 0.96. Let z = -3.2 + u. Let j = 54 + -271/5. Which is bigger: z or j?
z
Let m(d) be the first derivative of 21 - 1/4*d**4 + d**2 + d - 1/3*d**3. Let o be m(-2). Which is greater: o or -3/26?
o
Let r = 0.693 + -15.953. Let i = r - -1.66. Let c = 7.4 - i. Which is smaller: 0.2 or c?
0.2
Let q = -5711 + 5743. Suppose -5*i = -5, 5*j = -2*i - 76 + 238. Is j greater than q?
False
Let n = -13 - 2. Let p = n - -11. Suppose -5*b - 114 = 14*b. Is b > p?
False
Let n = -40/57 - -2246/3363. Which is smaller: n or 0.2?
n
Let v be (-44)/(-297)*42/(-28). Does 388 = v?
False
Suppose 3560 + 120 = -92*z. Let x be -40*(1 - (1 + -1)). Is z <= x?
True
Let m = 8608 + -3513. Let j = -25343/5 + m. Is j less than 26?
False
Let i = 104 - -102. Let f = -230.3 + i. Let b = 24 + f. Is 0 smaller than b?
False
Let a(i) = 3*i + 11. Let z be a(-3). Let h = 8 + z. Let w be h/4*10*-1. Are -25 and w equal?
True
Let w = 67/180 + 1/36. Suppose -345*u + 13226 + 19894 = 0. Is u < w?
False
Let d(y) be the third derivative of y**5/60 + 3*y**4/8 - 7*y**3/6 - 2*y**2. Let c be d(-6). Let b be c/(-5) + -2 - (-1 + -6). Is 0.1 less than b?
True
Let v(q) be the second derivative of -q**5/20 - 5*q**4/12 - q**3/3 - 7*q**2/2 - q. Let l be v(-5). Let o = 33453/14852 - 9/3713. Which is greater: o or l?
l
Let w be (14 - (8 + 0))*(-4)/(-1422). Let r = -34 - -35. Is r smaller than w?
False
Suppose 1 = 2*j - p + 8, 0 = j + 3*p. Let l(k) = -7*k - 194. Let w be l(-3). Let i = 173 + w. Does j = i?
False
Let r be 43/(((-8 + 4)/(-8))/((-4)/(-8))). Let w(p) = -22*p + 5. Let s be w(-4). Suppose -r = k + 2*l, k - 3*l + s = -k. Are -45 and k unequal?
False
Suppose -22*c + 2*i + 44 = -20*c, 56 = 2*c + i. Do c and 37 have the same value?
False
Let a be (-5)/(-15)*-3*20/(-1). Let k = -31 - a. Let q = k + 50. Which is greater: 2/133 or q?
2/133
Let v = 8 - 8.8. Let l = v + -4.2. Let m = -8.9449 - 0.0551. Which is bigger: l or m?
l
Let t = 1/213 - -8303/852. Let s be -10*(-2)/(7 - 5). Which is smaller: s or t?
t
Let n(r) = 6*r**2 - 28*r + 1. Let p be n(5). Suppose -20 - 31 = -3*b. Let u be b/22 + p/(-22). Is u < -1?
False
Suppose 5*q - 5*z - 85 = 0, -31 = 5*q - 3*z - 110. Is 100 <= q?
False
Suppose 46 - 118 = 3*m. Let i be (1/3)/((-1)/(m/28)). Let p = -0.591 + 0.101. Which is smaller: i or p?
p
Let s = 13/20 + -29/10. Let p = -1929 + 38551/20. Let a = p - s. Which is smaller: a or 2?
a
Let f = 9.593 - -742.407. Is 1/3 not equal to f?
True
Let y = -885727/758 + 2337/2. Suppose -3*n = -0*n - 3. Which is greater: n or y?
n
Let d = -7888.9 + 7889. Which is smaller: -736 or d?
-736
Let g(n) = -n**2 - 20*n - 96. Let t be g(-12). Suppose i = -s + 3, -2*s = -t*s - 8. Let j = 0.59 + -25.59. Are i and j unequal?
True
Let j = 11/2 + -37/6. Suppose -5*c + 25*c = 780. Which is greater: j or c?
c
Let t be ((-3)/(-2))/(3/(-174)). Suppose 4*f + 345 = -z, -z + 4*z = 4*f + 357. Is t greater than or equal to f?
True
Let a be (-11 + -3 - 766) + 3. Is a smaller than -774?
True
Let x be (-21)/18*10/14. Suppose 0 = -5*o + o + 5*v - 16, o + 4*v = 17. Suppose 3*f + 2 = -o. Which is greater: f or x?
x
Let h be ((-1)/41)/((-3)/75). Let l(q) = -q**3 + 88*q**2 - 1203*q - 284. Let k be l(71). Which is greater: h or k?
h
Let p(f) = -5*f + 1. Let z be (-4)/(-10) + 168/(-70). Let v be p(z). Suppose 0 = -i + 15 - v. Is -1 smaller than i?
True
Suppose 4*w = -4*y + 860, -4*w + 3*y = w - 1051. Let r = 1482/7 - w. Are r and 55 equal?
False
Suppose 18*i + 1037 = 35*i. Suppose -12*v = -i - 71. Is 17 >= v?
True
Let p(g) = 8*g - 7. Let d(i) = 7*i - 7. Let s(y) = -7*d(y) + 6*p(y). Let l be s(8). Let u be 4/(-4)*(-1 + 17/l). Is u at least as big as 17?
True
Let l = 57784481/207 - 279158. Let p = -4519/117 + 583/13. Let h = l + p. Which is bigger: h or 0?
h
Let a = 31137 - 30544. Which is smaller: a or 585?
585
Let d be (-2044)/1314*(-6)/119. Suppose 0*b - 3*b + 3 = 0. Which is smaller: d or b?
d
Let d = -0.02 - -1.02. Suppose -4*q = -2*k - 420, 3*k - 263 = -2*q - 45. Let o = 106 - q. Which is bigger: d or o?
d
Let h(y) = -10*y + 11. Let v be h(1). Let i be -280 + (-1 + v - -4). Let s = i - -157. Is s less than or equal to 0.1?
True
Suppose 0 = 7*g - 7. Let u be (6/14)/(((-612)/(-85))/12). Which is bigger: g or u?
g
Let z be (1/2 + 1)/((-33)/(-2992)). Suppose -16*k = k - z. Suppose -k*y + 9*y = -2. Do 7 and y have different values?
True
Let z be (-9)/18 + (-3)/(-2). Let a be z - 4 - 332/(-110). Suppose 13*t - 36 = -49. Which is smaller: t or a?
t
Let g = -15149 + 15148. Which is bigger: -1242.6 or g?
g
Suppose -4*b + 153 = 13. Let f be (-18)/b*(2651/363 - 7). Which is bigger: f or -1?
f
Let j = -193.6 + 199.6. Let w be 1*-1*0/(-7). Suppose w*f - 5*f - 20 = 0. Which is smaller: f or j?
f
Let g be ((-1257)/6 - 0)*(50 + -48). Let r = g - -426. Which is smaller: r or -14?
-14
Suppose 0*h = 2*t - 2*h - 312, 5*t + 5*h = 770. Let r = 101 - t. Let u be (-15)/r*3/(-15). Is u at most 1?
True
Let a = -38426 - -38860. Which is smaller: a or -32?
-32
Let z = 199/4994 - 13/1362. Are 29 and z unequal?
True
Let i(b) = -b + 0 + 4*b - b - 6. Let r be i(4). Let m be (-16)/5 + -1 + -2*r. Is m < -8?
True
Let v(s) = s**3 - 23*s**2 + 23*s + 18. Let d be v(20). Let b = -27433/38 - d. Which is smaller: b or 0?
0
Let s be 45/10*(-4)/6 + -40 + 38. Let o be ((-9)/2)/(3/6). Which is bigger: s or o?
s
Suppose g - 5*i = 3*g, -5*i = -3*g. Let m be 1 + g/2*1. Is -2/109 not equal to m?
True
Let p be ((-3030)/1515)/(1/(49/2)). Suppose 2*i + 98 = -2*x, 2*x - 1 - 3 = 0. Which is smaller: p or i?
i
Suppose -6*c = -5*c + 7. Let p = 1 + -73. Let j = p + 75. Which is greater: j or c?
j
Let k = 37 - 8. Suppose 2*t = -k - 15. Let x = -2275 + 2255. Is x greater than or equal to t?
True
Let l = -2364 + 2366