e q/12*144/(-15). Which is greater: c or s?
s
Suppose -464*u + 2529 = -469*u + x, 1026 = -2*u - 2*x. Which is smaller: -506 or u?
u
Let z = 24 + -48. Let g be 149/(-5066)*(-43 - -9). Which is smaller: g or z?
z
Let c = 32.54 - -24.44. Let o = c + 0.02. Which is smaller: o or 2/3?
2/3
Let r = -34 + 49. Suppose 8*o - 3*o = -2*h - 13, 3*h = -3*o - r. Is o smaller than -2/209?
True
Let z be (-23)/5 + 4 - 32/80. Which is smaller: -1.348 or z?
-1.348
Suppose 0 = -j + 5*a + 779, j - 849 = -3*a - 70. Suppose j = -10*x + 229. Which is bigger: x or -269/5?
-269/5
Suppose -5*r = -2*v + 23, -v = -6*v + 2*r + 26. Let u = -38.13 + -0.87. Let g = u + 41. Is g less than v?
True
Let u(n) = n**2 + 50*n + 967. Let m be u(-54). Is 2/9 less than or equal to m?
True
Let z(l) = 2*l**2 + 38*l**3 + 4*l - 73*l**3 + 5 + 34*l**3. Let g be z(4). Let q(b) = -b**3 - 14. Let n be q(0). Does g = n?
False
Let b = 4968 + -5578. Is b bigger than -2?
False
Suppose 0 = -y - 1, -j + y = 5*y - 152. Let q = -156 + j. Suppose -3*h - r = q, -3*h - 3*r = -3 - 3. Which is smaller: -18/11 or h?
-18/11
Let g(z) be the second derivative of z**4/12 + 2*z**3 + 3*z**2/2 - 11*z. Let l be g(-13). Suppose 0 = -4*p - l - 60. Do -19 and p have the same value?
True
Suppose 41 = f + s, 51 = f + 4*s - s. Let a be (3 - (-58)/(-18))/((-24)/f). Let x = 3.8 + -3.834. Which is bigger: x or a?
a
Suppose -61*x = -7*x - 5886. Suppose -l - 35 = -f, l - 4*l - x = -4*f. Is 7 at least l?
True
Let m(f) = -2*f**2 + 6*f - 14. Let d(v) = -11*v - 2. Let b be d(-1). Let y be m(b). Are -122 and y nonequal?
False
Let p be (2 - 1)*7/(-3). Suppose 4*j - 422 = -2*i, -3*j = 5*i + 267 - 1336. Let q = -218 + i. Which is smaller: p or q?
q
Let o be (-21)/(-2361)*160/1344. Which is bigger: 1 or o?
1
Suppose 308*i - 195 = 311*i. Let l be ((-4)/(-10))/((-1)/1)*i. Is -7 < l?
True
Let m = -32366 + 7321. Is -1 at most as big as m?
False
Let m be 2*(4 + (3 - 1)*2). Let q be 7 - (-3)/((-12)/m). Suppose 2*l - q + 1 = a, 0 = 2*a - 2*l + 2. Are a and -1/6 equal?
False
Let x = 219574/3549 - 1300/21. Let o = x + 8305/676. Which is greater: -1 or o?
o
Suppose s - 6 = 7. Suppose -80 = -s*t + 21*t. Are -13 and t non-equal?
True
Let n(p) = -4*p**3 + 9*p**2 - 45*p - 12. Let g be n(5). Let j = -504 - g. Do 14 and j have the same value?
False
Let c be (9/3 - 4)*(-3 - 0). Suppose 5*l - 7*l - 3*w - 209 = 0, -433 = 4*l + c*w. Is -112 <= l?
True
Let h = -814 - -1410. Let n = -250 + h. Let o = n - 4163/12. Do -2 and o have different values?
True
Let c = -8.7 - -7.7. Let u = 374.376 + 2.624. Which is bigger: c or u?
u
Let x(d) be the first derivative of -d**4/4 + 6*d - 16. Let h be x(0). Let j be (2/h)/(-1 - 0). Is -2/9 <= j?
False
Let i(v) = -67*v + 4516. Let n be i(75). Is -518 bigger than n?
False
Let u = -2 + 2. Let k be ((-6)/4)/((-114)/76). Which is smaller: u or k?
u
Let v(x) = x**2 - 5*x - 8. Let b be v(6). Let j be 7*(-18)/(-42) - -3. Suppose 9 = -j*z + 3. Is z greater than b?
True
Let o = 4.13 + -0.83. Let m = -3.4 + o. Let x = -38 + 72. Is m >= x?
False
Suppose -3*a = -4*c + 3*c + 1, -13 = -3*c - a. Suppose 0 = -4*g + 5*d + c, -2*d = -2*g + 10 - 8. Is g > -2/131?
True
Suppose 5*s - 6*s = -7. Let a be (4/(-14)*99/(-297))/(24/1554). Are s and a equal?
False
Let k be (-225)/9 - (2 - 10). Let m be -19 + 3 + 14 + k. Which is greater: m or 0.04?
0.04
Let q = -10462 - -491737/47. Which is smaller: 0 or q?
0
Suppose 48 = -12*u + 4*q, 4*u + 1576*q - 1579*q = -31. Is u at least 1/24338?
False
Let x(p) = 65*p - 856. Let t be x(14). Which is bigger: 53 or t?
t
Let i = 8 - -34. Let y = 536941/12656 + 5/1808. Which is bigger: i or y?
y
Let i(n) = -60 + 135 - 16*n - 18*n - 63 - 22*n. Let c be i(1). Suppose 18 + 46 = -p - 4*z, 0 = 2*p - 4*z + 68. Is p != c?
False
Let g be (-2)/(364/502) + (-231)/(-1617). Let w be ((-4)/10)/((-7)/(-5)). Is g greater than w?
False
Suppose -10*k + 6*k - 528 = 0. Let u be 0 - -3 - (-393)/k. Let q = 1.6 + -1.7. Do u and q have the same value?
False
Let m be (9 - 4)*8*768/(-105). Is -294 equal to m?
False
Let h(j) = -2*j + 144. Let g be h(10). Let l be 3/(54/16)*(-31)/g. Which is greater: l or 7?
7
Let n = 6781 + -7733. Which is bigger: 0.2 or n?
0.2
Let s(o) = 16*o + 150. Let k be s(-14). Suppose y + 43 + 31 = 0. Is y at most as big as k?
True
Let n = 2559 + -6938. Which is greater: n or -4378?
-4378
Suppose -5*k + 20 = 5*h, -4*h + 33 - 17 = 0. Suppose 2*n + 5*l = -337, k = -5*l + l - 12. Is -161 > n?
False
Let s be (-9816)/(-10910)*(-4 - (-462)/63) - 3. Which is greater: -1.8 or s?
s
Let q = -276 - -567. Let t = q - 309. Is t not equal to -130/7?
True
Let y = -0.088 - 11.612. Let d = -28.8 - y. Is d less than or equal to -1/3?
True
Let f = -351.796 + -0.204. Let o = 444 + f. Which is bigger: 2/3 or o?
o
Let n = -255 - -260. Let h be ((-638)/10 - 1) + (-1)/n. Is -65 greater than h?
False
Suppose 8*p = 6*p + 4*u + 66, 4*p + u - 105 = 0. Is p at most 53/2?
False
Let v(b) = 2*b + 8*b + 1 - 7*b + 6*b. Let s be v(0). Let h = 47 - 236/5. Do s and h have the same value?
False
Let f(z) = 55*z - 2095. Let b be f(86). Which is smaller: b or -1/2?
-1/2
Suppose -o = -l + 43, -7*o + 2*l = -3*o + 168. Let i(b) = -b**2 + 32 + 3*b - 46 + 26 + 0*b**2. Let z be i(9). Is z less than o?
True
Let z(i) = 2*i**3 + 23*i**2 + 8*i - 37. Let p = -89 - -78. Let g be z(p). Let m be 1/4 - (-67)/(-12). Is g greater than m?
True
Let y = 0.26 + -0.236. Let o = y + 109.976. Is o equal to 0.1?
False
Let b = -3673 - -3728. Which is greater: 52 or b?
b
Let o = 21126 - 21126. Does o = 12/2053?
False
Let q be 1/5*(-5194)/(-3836). Let l = 4/137 + q. Is 1 at least as big as l?
True
Let c = -843459/117392 + 661/92. Are c and -1 unequal?
True
Let y be ((5 + -2)/9)/(((-24)/189)/4). Which is smaller: -12 or y?
-12
Suppose -3*r - z + 224 = 0, 0*r + 2*r - z = 156. Let n be r/(-18) + (-2)/(-3). Is -5 bigger than n?
False
Let t be ((-13)/(-26))/(1/(-34)). Let o = t - -6. Let x = 61 + -64. Are o and x unequal?
True
Let d = -561.9 + 560.1. Which is bigger: 3/247 or d?
3/247
Let q = -18793 + 25521. Is q not equal to 0?
True
Let s = 85602/59 - 1451. Is 1 bigger than s?
True
Suppose v + 4 = 2*x, 11*x - 10*x - 17 = 3*v. Which is bigger: 5/986 or x?
5/986
Let u(l) = -804*l + 2262. Let b be u(3). Which is greater: b or -149?
-149
Suppose 0 = -5*h + 5*y - 18540, 0 = 4*h + 4*y + 3257 + 11559. Which is smaller: 1/3 or h?
h
Let f = -30 - -25. Let d be (-1)/f + (-29238)/(-85). Let b = d + -344. Is b greater than 1?
False
Suppose 8*g + 76 = -2*p, -4*g + p = -1 + 51. Is g >= 880?
False
Let n = 421 + -8005/19. Let y = -49/95 - n. Is -1/19 smaller than y?
False
Let y be (495/(-27) - -9)*(-18)/7. Suppose -5*l + l - 4*h = -y, h = 5*l - 12. Which is bigger: l or 32/17?
l
Suppose -4*w + 1009 = 3*k, w = -3*k + 201 + 67. Which is greater: 232 or w?
w
Let w = -0.413 + 0.003. Let x = w + 0.31. Let y = -0.9002 - -0.0002. Is y less than x?
True
Let w be 5 + (-1)/((-2)/4). Suppose -335 = w*o + 127. Let g = 66 + o. Which is smaller: 2/143 or g?
g
Suppose 14*k + 565 = 19*k. Suppose -2*c + 2*f + k = f, -2*f = 10. Suppose -2*q - 2*l + 131 = 3*l, -4*q - 4*l + 232 = 0. Does q = c?
False
Let n = -1349537/101541780 + 2/367905. Let t be 8/60 - 1897/14490. Let r = n + t. Which is bigger: 0 or r?
0
Let k(v) = v**3 + 2*v**2 + v - 48. Let j be k(0). Let u be j/(-45) - (-6)/(-15). Do 85/7 and u have different values?
True
Suppose -14*d + 15*d = 0. Suppose 6*s - 3*s - 8*s = d. Is s not equal to -2/75?
True
Let n(s) = -s**2 + s + 13. Let z be n(0). Let i be (7 - -3) + -1*5. Suppose -i*c - 4*l + 61 = -2*l, 5*l = -10. Is z equal to c?
True
Let l be (18 + 18 - (5 - 1))/1. Suppose 19*k - 401 = 226. Is l less than k?
True
Let z = -264 - -264.04. Let t = z - -1.96. Which is bigger: 1/18 or t?
t
Suppose -2*o - 193 = -3*r, 7*r - 2*r = 5*o + 320. Let q be r/(-26)*6/(-15). Is q >= 10?
False
Suppose 4*w = 7*w + c - 1712, 5*w - 2852 = -3*c. Let k = w - 570. Which is smaller: -7/94 or k?
-7/94
Suppose -90*z + 624 = -94*z. Let b = 137 + z. Which is greater: b or -58/3?
b
Let x be -3 + (-1043)/(-6) + (67 - 78). Do x and 159 have the same value?
False
Let r = -3.7 - -3.701. Let n = 8.001 - r. Let c = n + -7.1. Which is smaller: c or -3?
-3
Let m = 111 + -119. Let a be -4 + (-61)/m + -4 + 0. Is a < -1?
False
Let c be 10406/11180 + 1