k - 146 - 52 = 0. Is k greater than or equal to 68?
False
Let y = 1628271/16324 - -12/4081. Suppose 5*j - 375 = -4*x, -2*x + 301 - 121 = 4*j. Is y <= x?
True
Let i be (-250)/(-90) - (4/(-18) - 0). Let a be i/(-6) - (3 - (3 + 3)). Let d be (-1 - 0) + (-1)/(-4). Do a and d have the same value?
False
Suppose 1722 = -5*k + 4*o, 10*o - 1725 = 5*k + 5*o. Which is greater: k or -337?
-337
Let a = -56 + 14. Let i = a + 39. Let y be (18 - 6)*3/(-2) + i. Is -19 at most as big as y?
False
Let t = -38.1 + 42.1. Let k = 4261/9 - 474. Is k <= t?
True
Let r be (1 - 1) + (-9)/87. Let t = -14 + 45. Let k = t + -31. Is k smaller than r?
False
Let s = -81.3 - 297.7. Let y = -295 - s. Is -1 equal to y?
False
Let m(r) = -461*r + 5534. Let q be m(12). Are q and 0.112 equal?
False
Suppose 95*t - 235*t - 2077600 = 0. Which is bigger: -14841 or t?
t
Let p(a) be the second derivative of 14*a**2 + 0 - 7/3*a**3 - 9*a. Let m be p(10). Is m smaller than -112?
False
Let w = -626808 + 626811. Let r = -27 + 45. Which is bigger: w or r?
r
Let l = -318 + 318.69. Let d = l - 0.61. Is d equal to 0?
False
Let v be (-10)/(-1)*((-224)/606)/28. Is v equal to 0?
False
Let h be 2/9 - (-221)/(-873). Let o be ((-8)/3)/(1024/384). Which is smaller: o or h?
o
Suppose -1 = -5*v + 24. Suppose -5*a - 5*f = -270, 45 = v*a + 3*f - 215. Which is smaller: a or 50?
a
Suppose 2*p + 21 = -5*m, -4*m + 1232 = 3*p + 1260. Which is smaller: -3/7841 or m?
m
Let z be (-4)/(-24)*(-4 + 2). Suppose -8*j - 1199 = 201. Is z greater than or equal to j?
True
Let m be (-2)/(-7) + (-408)/7. Let k be 483/(-2737) - 2898/51. Is m bigger than k?
False
Suppose 14*g - 6 = 11*g. Suppose 0 = 5*p - 5, 2*y + y - g*p + 2 = 0. Suppose y = 7*h - 11*h + 20. Do 7 and h have different values?
True
Let m be 288/(-4902) - (-4)/38. Let y be 0 + 4 + -1 - 2. Suppose 5*c - 3*d + 9 = -y, 0 = -5*c + d. Which is smaller: c or m?
m
Let b = -347 + 350. Suppose 2*j = -0*j - 2. Let n be j + (b*-1 - (-245)/30). Is n at least 3?
True
Suppose p - 396 = -91*p + 64. Which is bigger: p or 207?
207
Let w = 4127/12 + -1031/3. Is 0.22 smaller than w?
True
Let v(w) = -2*w**3 + 8*w**2 + 14*w - 21. Let g = -223 - -228. Let f be v(g). Is f < 1/402?
True
Let r be (-125)/(-4) - 45/(-60). Let h = -161/5 + r. Suppose 4*c - 4*k = 8, -4*c - 7 = -2*k - 13. Is h greater than or equal to c?
False
Let x(o) = o**3 - 7*o**2 - 9*o + 17. Let z be x(8). Let f be (-4 + 33/z)*3. Which is smaller: -9/16 or f?
f
Suppose 4*q = -u + 5, -2 = -5*u - 4*q + 7. Let z be 9 - 1561/77 - (-18 + (-140)/(-20)). Which is bigger: z or u?
u
Let z = 2688 + -2600. Is -14 != z?
True
Let z = -6304 + 2010981/319. Which is smaller: 1 or z?
z
Let t(y) = -14*y**3 - 2*y**2 + 2*y + 4. Let q be t(-2). Let v = 37 - q. Is -68 <= v?
True
Let w be ((-13)/(-4))/(49/392). Suppose 36*l - w = 49*l. Is l at most 317?
True
Let r be 4/(579766/464664 - 15/12). Is r at least as big as -1747?
True
Suppose -68 = 8*x - 28. Let k be x + 9 + (-2 - (-34 - -2)). Which is smaller: k or 31?
31
Let j = -2/138065 - 825088/227945315. Which is greater: 0 or j?
0
Let f(i) = -13*i**2 - 16 + 9346*i**3 - 9347*i**3 - 43 - 5*i. Let r be f(-13). Is -2/5 equal to r?
False
Let j = -119 + 140. Suppose -5*y - 3*g + 17 = 0, 5*y - 4*y + 5*g - j = 0. Is 3/10 less than y?
True
Let u be (1/(-2) - 0)*-2. Let s(i) = i**3 + 7*i**2 - 11*i + 8. Let x be s(3). Let v be u + -4 - (-234)/x. Which is smaller: -5 or v?
-5
Let a = 1716.82 + -1717. Which is greater: a or 19/24?
19/24
Let h be 3 - 2 - (-200)/(-50). Let b = 0.4 + -0.2. Let w = 0.3 - b. Are w and h equal?
False
Suppose -3*j - 45 + 54 = 0. Suppose 0 = -3*d + 2*q + 67, 0 = 2*d - 0*d + j*q - 23. Which is smaller: -3 or d?
-3
Let d = -8.372 + 8.2. Let g = -0.862 - d. Let h = 0.31 - g. Which is greater: 1.5 or h?
1.5
Let b = -533/3 - -298/3. Which is smaller: -79 or b?
-79
Let x = -0.04649 + 2.82749. Let w = x - -0.219. Let l = -15 + 13. Is w at most as big as l?
False
Let j = -0.573 - 0.027. Let a = -2076 + 2073. Is j at least a?
True
Let k = 15336 - 14076. Is 3 at least k?
False
Suppose 5*o + 21 = -16*o. Let n be 0/1 + 7 + -10. Is n at least o?
False
Let u = 891977/91 - 69235/7. Let d = u + 89. Which is smaller: d or -1?
-1
Let k = -32706 - -32882. Let r be 0/3 + 176/1. Is r less than k?
False
Let a = 332 - 280. Is a greater than or equal to 2?
True
Let q(w) = 5*w**3 + 16*w**2 + 3*w + 9. Let r be q(-3). Which is smaller: 101/12 or r?
101/12
Suppose i - 4 = -0*i. Let g(x) = x**3 - 4*x**2 + 4*x - 7. Let c be g(i). Suppose -c*b + 7*b - 100 = 0. Is b < -50?
False
Suppose -21*z + 59 = -24*z - 4*r, 4*z + 62 = -2*r. Is 6/25 bigger than z?
True
Let y be -6 - -9 - (555/140 + (-2)/2). Which is greater: 4/15 or y?
4/15
Let z = -2/3891 + -136151/66147. Which is bigger: -3 or z?
z
Let u = -10062 - -10046. Which is smaller: u or 101?
u
Suppose -5*i - 51 = -o, -2*o + 4*i = -80 - 52. Let u = 78 - o. Suppose 5*g - 57 = u*g. Are 19 and g nonequal?
False
Let m = 1/139645 - -50777/418935. Let o be -1*4*(-2)/4. Suppose o*k + 4 = 6*k. Which is smaller: m or k?
m
Suppose -3*a = -y + 6, 0 = 5*y + 2*a - 5*a + 6. Let q = 7 + -6. Let g be -3 - -11 - y/q. Which is bigger: 23/2 or g?
23/2
Let u = 5109/28 - -85/28. Let v = u - 185. Let a = 0.2 - 0. Is a <= v?
True
Let c be 0 + 3*392/(-24). Let v be 8/(-28) - 63/c. Is 2/5 < v?
True
Suppose 4*m + 53 = -2*a - 93, -2*a = -3*m - 120. Let g = 43 + m. Suppose s = -t + 14, -g*s - 13 - 1 = -2*t. Which is smaller: t or 35/3?
35/3
Suppose 58*o + 8602 - 842 = -7204. Is o at least -267?
True
Let z be (-642)/51 + (73 - 69). Which is smaller: -9 or z?
-9
Suppose 6*x = 4*x + 56. Suppose -2*l - x = -7*l + 3*u, -2*l = -2*u - 12. Let a be (-2)/l - 63/5. Is a less than -2/5?
True
Suppose 2*m = 5*n - 54 - 322, 0 = m - n + 185. Which is smaller: -189 or m?
-189
Let m(w) = -w**2 + 11*w - 4. Let b be m(8). Suppose 2*f = 6, -4*f + 0 - b = -j. Let q = j - 30. Which is smaller: 4 or q?
q
Let i be -1*(-10)/(-18)*((-132)/30)/(-11). Let s be -2 - (-2)/(-29)*-31. Which is smaller: i or s?
i
Suppose y - 3 = 6*y + 4*d, 4*y - 5*d - 14 = 0. Let k = -1462 + 136. Let s = k + 119341/90. Is y >= s?
True
Suppose 6*r = -12*r - 2574. Let d be r/(-14) + (-5)/(-10) - -3. Is d less than or equal to 13?
False
Suppose 102*h = 117*h + 270. Let j be ((-6)/28)/(h/(-12)). Are j and 1/2 nonequal?
True
Suppose z - 6 = 5*r, 0 = -4*r - z - 43 + 49. Which is greater: -1/222 or r?
r
Let v be 1*(2 + (-38)/12). Let u = -259 - -271. Suppose 6*s = u*s - 6. Which is greater: v or s?
s
Let d be -3 + 12/(4 + 0). Suppose d = 9*v - 12*v + 117. Let r be (4 + -3)/((-1)/v). Which is bigger: -40 or r?
r
Suppose -6 = -2*z - m + 56, 0 = 4*z - m - 118. Suppose -20*k + 14*k - z = 0. Which is smaller: -44/7 or k?
-44/7
Let i be ((7/(-4))/((-90)/(-8)))/((-5)/(-420)). Which is greater: i or -0.1?
-0.1
Let t = -702.38 + 645.4. Let s = -57 - t. Is s smaller than 0?
True
Suppose l = 2*l - 12. Let x(s) = s**3 - 21*s**2 + 83*s + 115. Let k be x(15). Is l smaller than k?
False
Let k = 17/30 + -25763/45570. Let b = 1213/7 - 173. Which is bigger: b or k?
b
Let q = 417 - 374.1. Let i = -89 - -47. Let b = q + i. Which is smaller: 0.3 or b?
0.3
Let c = -5926 - -5936. Let j = 17/5 - 4. Is j smaller than c?
True
Let x = -16096226/474747 - -712/21. Which is smaller: x or 1?
x
Let h = 16 + 250. Which is smaller: -3 or h?
-3
Suppose -24 + 54 = -5*q. Let d be (-3)/q*(1 + (6 - 9)). Is d at most as big as -2/41?
True
Let l be 2/(-4) + 7/8. Let v = 1918/151 + -1286356/1057. Let s = v - -1204. Do s and l have the same value?
False
Let v = -2.849 + 2.99. Let k be 3740/561 - (6/(-2) - (-14 - -4)). Is v less than or equal to k?
False
Let b be 72/108 + (-3)/(468/(-124)). Which is bigger: b or -0.19?
b
Let u = 12.5 - 12.2. Let o = -129 + 131. Suppose -o*g - 102 = 3*t + 3*g, 2*t = 3*g - 49. Is t != u?
True
Let f(c) = 3*c**2 - 67*c - 584. Let x be f(37). Which is bigger: 1043 or x?
x
Let h(f) = 10*f**2 - 6*f - 76. Let c(p) = 7*p**2 - 4*p - 51. Let g(l) = -7*c(l) + 5*h(l). Let b be g(-8). Let k = b - 37. Is 18 at least k?
False
Let s = 64 - 50. Let x(g) = -g**3 + 13*g**2 + 15*g + 28. Let k be x(s). Let o be ((-122)/k - -3)/(21/98). Which is smaller: 1 or o?
o
Let o be (-30)/58 - (-8 + 7). Let k be (10/(-60)*0)/2. Is o less than k?
False
Let p be (3 + -2)/2*2. Suppose 6 - 