ppose 0 = -s - 1 + 4. Suppose 1071 = s*c + 243. Suppose -11*j = j + c. Which is smaller: j or -24?
-24
Let q = 1006/1005 - 76/67. Let p = 1.8 + 1. Let v = p + -3. Do v and q have the same value?
False
Let o = 27699 - 27902. Does -2654/13 = o?
False
Let v = 1081 + -96208/89. Let l = 397 + -287. Suppose -l*t + 19 = -91*t. Is v greater than or equal to t?
False
Suppose -22*i - 1376 = 13*i + 1879. Do -34 and i have different values?
True
Let s be -227*4*(-4)/16. Suppose -11*m = -48 - s. Is m < 27?
True
Let o = -67.462 - 437.61. Let c = 505 + o. Is c at most 0.5?
True
Let d(o) = 14*o**3 + 63*o + 231. Let u be d(-4). Is u smaller than -917?
False
Let d(l) = l**2 - 2*l - 5. Let x be d(3). Let b = -0.01 + 0.01. Let o = -1 + b. Is x >= o?
False
Let s = -38960 + 72738317/1867. Which is smaller: s or 1?
s
Let r be (108/10 + -11)*(4 - (-8)/(-2)). Is r >= 2/14349?
False
Let s be (-11 - 219/(-21))*(-7)/2. Suppose -2*v = 2*y, 4*v + 6*y + s = 4*y. Which is smaller: v or -0.33?
v
Suppose -3651*p = -3601*p + 200. Let f be 339/(-63)*1 - -1. Are p and f nonequal?
True
Let z(o) = -o**3 + o**2. Let d(j) = 5*j**3 + 2*j**2 - j + 1. Let l(i) = d(i) - 3*z(i). Let p be l(1). Let v be p*3/225 - (-1)/(-3). Is 1 greater than v?
True
Let f(l) = 2*l**3 - 3*l**2 + l - 1. Let k be f(3). Suppose 3*m = 4*r - 2 + 39, -5*m = -2*r - k. Let c be r/((-252)/(-104)) - (0 + -4). Are c and 1 unequal?
True
Let q be -5 + 21743/4213 + 14 + 468/(-33). Which is bigger: q or -1?
q
Let z be (-6)/19 - 3456/608. Is -65 at most z?
True
Let d = 91531/116278026 + -9/13393. Which is smaller: -1 or d?
-1
Suppose 0 = b - 4*h - 1572, -2838*h + 2840*h = b - 1584. Are -0.1 and b unequal?
True
Let j be (-1)/4 + 611567/44 + 21. Which is bigger: j or 13921?
13921
Let g be (-9)/(-2) + (-1)/2. Suppose g*h = -8, 8*r + 1 = 3*r + 2*h. Let w be (-93)/(-15)*r - (0 + 0). Which is smaller: w or -5?
w
Let b be 1 + 0 - (-1 - 7). Let u be 14/(-4)*(-2400)/42. Suppose -u = -5*c - 15*c. Are b and c equal?
False
Let b be 214161/171324*4 + (-5 + -6 - -6). Which is smaller: -1 or b?
-1
Let c = -249394223/4385760 + 5459/96. Do c and 1 have the same value?
False
Suppose -15 = -3*n, -v + 10 + 6 = 2*n. Let p be (-8)/16*v/(-3). Let d = 142/5 - 16619/585. Which is greater: p or d?
p
Let o = -45.9768 - -46. Let m = 32.0768 + o. Let k = 32 - m. Which is smaller: k or -0.039?
k
Let w be (7035/(-10) - -9)/(2/4). Let z be w/(-54)*-2 - 8/(-18). Is z equal to -51?
True
Let f = -325 + 360.7. Let q = 52.7 - f. Do -0.02 and q have the same value?
False
Let w be -1*2 - (-8 - -1). Suppose -5*h + 5*p = 175, 4*h + w*p + 79 = -70. Let o = 206 + -240. Which is smaller: h or o?
h
Let w = -24801/80 - -310. Let d = 13/240 - w. Is d < -4?
False
Let m = -4715 + 4409. Is m not equal to 8?
True
Let i(c) = 40*c**2 - 196*c - 1680. Let h be i(-8). Which is smaller: h or 2446?
2446
Let g(z) = 17*z + 3. Let a be g(-2). Let p be (-1)/(-8)*(a - -39). Which is greater: 21 or p?
21
Let p(b) = 20*b - 98. Let m be p(-14). Let a = m - -479. Is 98 at least a?
False
Let h = 4.914 - 5.314. Which is smaller: 1/1229 or h?
h
Suppose 6*b + 24 = 12. Let j be (7 + -4)*(3 + b). Is 14 greater than j?
True
Let p = -241 - -241.598. Let f = p + -0.598. Suppose -s + 0*s + 5*o = 69, -5*s + o - 225 = 0. Is f >= s?
True
Let d(s) = -s**2 - 8*s - 7. Let z be -5*((-12)/36 + 2/(-3)). Suppose 0 = -4*g + z*w - 20, g - w = -3*g - 20. Let a be d(g). Is 8 less than a?
False
Suppose -2*g - 70 = -7*g. Let d(q) = q**3 - 7*q**2 + 8*q - 13. Let k be d(6). Let x be ((-1)/(-3))/((-8)/(-4) + k). Is g smaller than x?
False
Let x be (-7)/((-49)/(-6874))*-1*(-35)/(-25). Which is smaller: 1376 or x?
x
Suppose -66*r + 179068 - 48912 + 18938 = 0. Does 4 = r?
False
Let a(v) be the second derivative of v**4/6 - 31*v**3/6 - 21*v**2/2 - 7*v. Let h(m) be the first derivative of a(m). Let w be h(8). Is w smaller than 1?
False
Let n(w) = -460*w**3 - 3*w**2 - 147*w + 311. Let m be n(2). Is -3675 smaller than m?
False
Let v = -117626 - -1009348707/8581. Is 1 less than or equal to v?
False
Let k = 70 + -65. Let s be (119936/(-10766))/(-2) - 1. Let t = 1/769 + s. Do k and t have the same value?
False
Let q be (19/38 + (-61)/(-2))*-28. Let f = 871 + q. Which is smaller: 11 or f?
f
Suppose -2*m = -z - 4, 5*m + 1 = -z - 3. Suppose -3*t = -5*i + 34, t + m*i - 4*i = -9. Is -13 smaller than t?
False
Let i = 1572 + -1552. Which is smaller: i or 21?
i
Let k(g) = -g**2 + 4*g + 53. Suppose 47 + 34 = 9*j. Let z be k(j). Which is greater: 2/21 or z?
z
Suppose -5*p = 4*j, p + 124 = j + 124. Which is bigger: 2/12583 or j?
2/12583
Let n be (46179/(-42))/((-4)/(-8)). Which is bigger: -2198 or n?
-2198
Let r be 2/4 - 15/22. Let q be -16 - ((-2)/6)/((-14)/126). Let g = -19 - q. Is r smaller than g?
True
Let r = -73 + 121. Suppose -2*h - 56 = -3*z, -3*z + z + 40 = -4*h. Suppose -4*j = 2 + z, 139 = 3*b + j. Is b at least as big as r?
True
Let t(a) = -a**3 - 4*a**2 + 20*a - 9. Let l be t(-7). Let o be ((-41)/l)/(1 + -4). Which is smaller: -7 or o?
-7
Suppose 0 = 4*r - r - 3*a - 573, -3*a - 763 = -4*r. Suppose -r = -14*n + 9*n. Is -5 greater than or equal to n?
False
Suppose n + 260 = -4*r - r, -r = 4*n + 1021. Let q(g) = -g**3 - 12*g**2 + 66*g + 58. Let j be q(-15). Is j not equal to n?
True
Let w be ((63/1098)/7)/(7/8). Is 0 greater than w?
False
Let f = -664 + 438. Let r = f + 226.09. Is r at most as big as -8?
False
Let t = 0.081 - -0.299. Let w = 25.38 - t. Let u = 24 - w. Which is greater: 40/7 or u?
40/7
Let i = -7 + 7. Let y = -11980 + 12003. Which is greater: i or y?
y
Let c(q) = -13*q - 34. Suppose -24 = -11*b + 17*b. Let u be c(b). Suppose -u = -2*h + 4*a, -3*h + 0*a = -3*a - 42. Which is smaller: 2/7 or h?
2/7
Let f = -1733767 + 303410073/175. Let c = f - 214/25. Which is smaller: -5 or c?
-5
Let d = -995/6 + 170. Let v = -30 - -48. Let s = -15 + v. Which is smaller: d or s?
s
Suppose -9168 = 103*d - 119*d. Let t = d - 711. Which is smaller: -140 or t?
-140
Let g be 6/5*30/(-9). Let a be 3*(-2)/(-18)*g/4. Are a and -0.8 non-equal?
True
Let p = 5 - 6. Let i = -77.18 - 1.32. Let j = 78 + i. Are p and j equal?
False
Let a = -0.8739 - 0.1861. Let c = -0.0839 - -7.0239. Let n = a - c. Which is bigger: -2 or n?
-2
Let q(r) = r**2 + 0*r**2 + 40 + 22*r + r**2 - 59*r + 17. Let z be q(17). Is 6 < z?
False
Suppose -7*x - 373 = -6*x. Let l = x - -8582/23. Let m(y) = -2*y - 4. Let q be m(-2). Which is greater: q or l?
l
Let x be (-2 + (-91)/2)/(25 + (-1020)/40). Which is bigger: x or 94?
x
Suppose -2085*w - 5928 = -2137*w. Which is smaller: 115 or w?
w
Suppose 316 = -1518*m + 1514*m. Is m equal to -29?
False
Let f be ((-17)/(51/(-36)))/(34/20927). Which is smaller: f or 7385?
7385
Let f = 354 + -364.76. Let w = f + -3.24. Is w < -12?
True
Suppose 3*q = -3, 2*q + 5 = 4*x + 3. Suppose x = -k - k - 58. Let v(j) = j**3 - 7*j**2 - 22*j + 83. Let s be v(8). Is k less than s?
False
Let i(d) = -d - 2. Let b be i(-8). Let h be -2 + (-843)/(-273) + b/42. Which is smaller: 1 or h?
1
Suppose 5*a - 17 = 4*k, 0*a - 2*k = -3*a + 11. Let h be 2/a + 1 + -1. Let f = 24105 + -24107. Which is smaller: h or f?
f
Let d = -3055.65 + 2744.684. Let f = 309 + d. Let b = -0.034 + f. Is b at least as big as -2?
True
Let t(o) = 28*o**2 + 2*o - 4. Let a be t(5). Suppose -5*z - a + 274 = 3*g, 2*z + 164 = g. Let q = z - -89. Which is smaller: q or -2/3?
-2/3
Let o be (-9)/6 + (-305)/(-2). Let q = 4007 - 3857. Which is smaller: q or o?
q
Let s = 64 + -68. Let r = 2622.895 - 2623. Are s and r non-equal?
True
Let c = 14 - -1416. Is 1430 equal to c?
True
Let d be (-4)/18 - (-6)/((-2160)/24940). Is -71 >= d?
False
Let h(x) = -2*x**3 - 3*x**2 - 4*x - 15. Let v be h(-3). Suppose -t = -v - 2. Suppose -25*d + t*d = 49. Is d smaller than 47?
False
Let m be 24/(-18)*27/2. Let l(n) = -n**3 - 17*n**2 + 19*n - 19. Let u be l(m). Let d = u - -37. Is -3/5 not equal to d?
True
Let m be 870/1015*(1 - ((-17)/2 - 1)). Is m < -0.06?
False
Let q be -8*-634*4/(-16). Which is bigger: -1267 or q?
-1267
Let i = 3351 - 3337. Which is smaller: i or -0.075?
-0.075
Let z(k) = 7*k - 21. Let p(a) = a - 16. Let w(q) = 2*q - 17. Let t(o) = -4*p(o) + 5*w(o). Let g(m) = -3*t(m) + 2*z(m). Let s be g(6). Are s and 2 equal?
False
Let g = -452 + -78. Let u = g + 500. Let f be (-1 + 0)/((-2)/(-58)). Is u g