 13936. Let f = 569 - n. Is f > 30?
True
Suppose -14*d + 4*d - 4280 = 0. Let h = d - -428. Does h = 2/121?
False
Let g = 103/311 - -2/933. Which is bigger: g or 376/7?
376/7
Let a = -26 + 37. Suppose 41*j - 38 = 39*j. Suppose -2*p = 4*w - 7*p - 67, w - j = 2*p. Which is greater: w or a?
w
Let k = -76 + -92. Let d be (-4)/(k/(-6))*2. Which is greater: 5 or d?
5
Suppose 17*x - 25180 + 292675 = 0. Let l be (-70)/28*12/x. Do l and 1 have different values?
True
Let a = 30218 + -31112. Which is bigger: a or -2681/3?
-2681/3
Suppose 553 = 61*t - 301. Let n be (1 - 2) + -2 - -58. Suppose 2*u + 17 - 55 = -2*h, 3*u = 5*h - n. Is h < t?
False
Let l = -3869 + 2934. Which is smaller: -937 or l?
-937
Suppose -36*k + 15 = -33*k, -3*w = -3*k + 51. Let p = 0.5 + 0.3. Is p less than or equal to w?
False
Suppose -1395 = -729*g + 724*g. Suppose -g - 369 = -24*z. Which is smaller: 109/4 or z?
z
Let q = 2187 + -2235. Which is smaller: q or -29?
q
Let d(q) = 4*q**2 - q + 1. Let h be d(1). Suppose m - 35 = 2*t, h*m + m = -3*t + 110. Which is greater: 33 or m?
33
Let f = 4.001 - 4. Let c = 3959 - 3959.101. Let y = f + c. Is y smaller than -4/3?
False
Suppose -3*w - 309 = -3*v + 1488, -2*w = 4. Suppose 0 = -596*b + v*b + 1. Do b and -5/6 have the same value?
False
Suppose -6*w - 623 + 95 = -0*w. Which is smaller: -82 or w?
w
Let t = 58 + -81. Let d = -25 - t. Let j be (1 - d/(-6))/((-3)/15). Which is smaller: j or -2?
j
Let u be (-356)/(-890) - -3*21/(-45). Which is bigger: u or 0.0221?
0.0221
Let j(o) = -o**2 - 43*o + 545. Let f be j(11). Which is bigger: f or 298?
298
Let c = -153 + 171. Suppose 5*o + c = 88. Which is smaller: o or 101/7?
o
Let b(j) = 6*j**2 - 145*j - 33. Let w be b(28). Which is bigger: w or 619?
619
Let t be 161/46 - (-18)/(-12). Is 164/181 < t?
True
Let z be -5 + 4 + 121/122. Let b(x) = x**3 + 17*x**2 - x - 16. Let g be b(-17). Which is smaller: z or g?
z
Let a = -3.2 - -0.2. Suppose 5*f = 10*u - 5*u + 10, 0 = 3*f - 5*u - 4. Suppose 2*w + 3 = -f, -29 = 5*y + 3*w. Is a smaller than y?
False
Let j = 757 - 669. Which is smaller: j or 16?
16
Let j be 81053/(-357) - 28/(-714). Do j and -226 have different values?
True
Let k(o) = -581*o + 24397. Let s be k(42). Suppose 0 = -5*c - 3*j + 31, 2*c - 6*c = -2*j - 16. Suppose -5*i + c*d = 35, -4*i - d = 10 + 8. Is i > s?
False
Suppose 16*t = 9*t + 5*t. Suppose 62 = w - t*o - 3*o, 3*o = -3*w + 210. Is w less than or equal to 68?
True
Let j = 94154 - 94085. Let r be -3*2/(-3) + -14. Let g be (35/(-3))/(2/r). Is g less than or equal to j?
False
Let m be (-139012)/(-24) - (-644)/(-552). Is 5792 not equal to m?
True
Let p(f) be the second derivative of -f**5/20 + 5*f**4/12 + 49*f**3/6 + 7*f**2/2 + 106*f. Let u be p(10). Which is greater: 0.1 or u?
0.1
Let b(m) = 147*m**2 + 156*m - 4. Let l be b(4). Which is smaller: 2974 or l?
l
Let i be 63/(-33)*(-1 - 0). Suppose -x - 16 + 12 = 0. Let t be 2/(17/34 - 6/x). Is t smaller than i?
True
Let g = -223 + 222.911. Let z = 1 + -1.011. Let i = z + g. Is i > -28?
True
Suppose -3 = 9*s - 1 + 7. Are -6.64 and s non-equal?
True
Let c = 13075 - 52023/4. Let a(y) = 2599*y - 31120. Let l be a(12). Which is bigger: l or c?
c
Let v(q) = -9*q**2 + 4 - 4*q + 8*q**2 - 7*q. Let i be v(-12). Let t be (-5)/4 - 2/i. Is t less than -5/22?
True
Let o = -1350 + -5809. Is o bigger than -7158?
False
Suppose l + 1 = 3, -2*l = 2*y + 72. Let b be 4/38 - 186/y. Suppose 2*h + 4*t + 19 + 5 = 0, 5*t = b*h + 45. Which is smaller: -9 or h?
h
Let v(l) = -l**3 - 69*l**2 - 73*l - 151. Let h be v(-68). Which is smaller: h or 187?
187
Suppose 107 = -3*a + 455. Let p = a + -118. Is p <= 0?
True
Let r = -348 - -124. Let a = 222 + r. Let t = 0.01 - -0.89. Which is smaller: a or t?
a
Let y(o) = -o**3 - o**2 + o + 29. Let t be y(0). Let j be 4/(-26) - (-52632)/52 - -3. Suppose -97*a = -62*a - j. Is t > a?
False
Suppose 0 = -5*k - 461*z + 465*z - 8304, -6668 = 4*k + 3*z. Which is greater: k or 1/7?
1/7
Let k(b) = -95*b - 95. Let i be k(-1). Let h = 179 + -60. Let m = -82 + h. Which is greater: i or m?
m
Let b = 12637 - 12645. Which is smaller: 1/206 or b?
b
Let m = 1/8412 + 10951/2229180. Which is bigger: m or -2/11?
m
Suppose -b = -16 + 9. Suppose 2*x - 112 = -2*x. Let z = 34 - x. Is b greater than z?
True
Let n = 3481 + -3481.1. Is n < -540?
False
Suppose 0 = -2*b - 0*b - 8, -5*o + 22 = 2*b. Let u(z) = -4*z + 10. Let q be u(2). Suppose 2*f - 14 = -q*w - 2*f, -5*f = 3*w - 20. Is w less than or equal to o?
True
Let s be -1102 - (0 + -6 + 12). Let f be s/(-12) + 1 + (-5)/6. Is 93 at most f?
False
Suppose 64*g - 75*g = 11. Let s be g*(-4)/50*(8 + -4). Let j be 0/(1 + (-3)/1). Do j and s have different values?
True
Let x(v) = -v**2 + 8*v - 22. Let c be x(8). Suppose -3*r - 2*y - 58 = 0, -3*r - 5*y = 63 - 8. Are c and r non-equal?
True
Let p = 301 + -328. Let a(t) be the second derivative of -t**5/20 - 7*t**4/12 - t**3 - 3*t**2/2 - 3*t. Let n be a(-4). Is p > n?
False
Let d(s) = -116*s**3 - 19*s**2 + 63*s - 43. Let g be d(2). Which is greater: -917 or g?
-917
Let k(w) = -w**3 - 37*w**2 + 254*w + 203. Let q be k(-46). Are q and 7563 equal?
True
Suppose -2*q = -c + 11, -7*q - 11*c = -6*c - 38. Which is greater: -277/152 or q?
q
Let s(b) = 9*b**2 - 17*b + 14. Let m(r) = 5*r**2 - 8*r + 7. Let h(x) = 5*m(x) - 3*s(x). Let u be h(5). Let n be u - -4*(-15)/(-25). Is 7/3 greater than n?
True
Suppose 15512 + 33128 = 231*d - 41*d. Which is bigger: d or -19?
d
Let h be 10/(-9*24/13500). Which is smaller: -604 or h?
h
Suppose 0*i = 14*i + 28. Let j be ((-5)/i)/((-60)/(-144)). Which is greater: 23/5 or j?
j
Let p = -9003.02 + 9177. Let t = 174 - p. Which is bigger: t or -1/3?
t
Let a = 72884 - 29007733/398. Is 0 bigger than a?
False
Let k = 0.186 - 51.186. Let t = k + 52. Which is greater: -2/59 or t?
t
Let q = -56 + 107. Suppose q = 4*i + 5*d - 366, d - 104 = -i. Is -1/3 at most i?
True
Let d = 3193827/121 + -26395. Which is bigger: 0 or d?
d
Let z be 101/20 - 6/(-30). Suppose 161*m - 140*m + 27 - 132 = 0. Is m smaller than z?
True
Let f(p) = 3*p + 32. Suppose 31*n = 26*n + 40. Suppose n*k = 9*k + 14. Let b be f(k). Are -11 and b non-equal?
True
Let i(g) = 8*g**2 - 15*g - 36. Let u be i(-9). Let t be (1/3)/(9/u). Do 28 and t have the same value?
False
Suppose 38*h = -246*h + 64184. Is h at most 205?
False
Let b(z) = -26*z + 119. Let m(p) = 9*p - 40. Let o(y) = -4*b(y) - 11*m(y). Let n be o(7). Let s be 28/77*(-2)/8. Which is bigger: s or n?
s
Let b = -607 + 2496. Is 1 != b?
True
Let z(g) = 4*g - 17. Suppose -2*h + 11 = k, 5*k + 2*h - h = 46. Suppose -k = -a - 5. Let b be z(a). Is 1/7 less than or equal to b?
False
Let k = 225 - -31. Let i = -37 - k. Is -1 less than i?
False
Let z(a) = -9847*a**3 - 1. Let g be z(-1). Let p be (-1)/(1/(-4))*g/639108. Let j = p - -5/433. Which is bigger: 1 or j?
1
Let j(v) be the second derivative of 3*v**4/4 + 2*v**3/3 + 20*v**2 + 208*v. Let s be j(0). Suppose 3*l + 2*r - 42 = 2*l, 3*l = -3*r + 123. Is s greater than l?
False
Let s = 2.9 - 3. Let a = s + -0.9. Let q = 0.10539 - -1.29461. Is q at least a?
True
Let m = -0.0381 - 207.9619. Let r = 211.72 + m. Let p = 0.72 - r. Is 0.3 at least p?
True
Let l(m) = 5*m - 50. Let o be l(12). Suppose -5*g + 77 = -5*j + 7, -j = -5. Which is bigger: g or o?
g
Suppose 3*y - 560 = -560. Is y <= -2/2147?
False
Let n be (-59184)/672*(-2 - 46/12). Which is bigger: n or 514?
514
Let y be 6/(-21) - 198/(-938). Let g be (-20)/108*3 - (-238)/153. Which is smaller: y or g?
y
Suppose 0 = -5*y + 30, 5*t + 154*y = 150*y + 9. Which is smaller: t or 87/10?
t
Suppose 7*g + 27 = 62. Let s be 119/34*(3 + -1). Is g equal to s?
False
Suppose -4*k - 22 = 2*v, -3*v - 5*k = -7*v + 21. Let h = -15139/39429 + -2/3033. Which is smaller: h or v?
v
Let i = 172.95 - 62.8. Which is smaller: i or 1/4?
1/4
Suppose s - 1060 = 3*s. Let w be 1673/(-6)*4280/(-2247). Let q = w + s. Are 0 and q unequal?
True
Let k = 214 + -212. Let i be (k - 1)*-1 + 3454/(-33). Is i <= -106?
False
Let a(x) = -x**2 - 4*x + 284. Let y be a(-19). Are y and -10/117 equal?
False
Let o(s) = 6*s + 16. Let f be o(-7). Let j = f + 22. Let u be 26/(-91) - j/(280/6). Do -0.4 and u have the same value?
False
Let v(p) = -p**2 + 17*p - 54. Let k be v(4). Let s be (-15 - (3 - 16)) + (-6)/k. Is s at most -1/590?
False
Suppos