5*v + 190 + 1295. Which is bigger: -43 or v?
v
Suppose 123 = 22*q + 453. Let n be 3/q + (804/20 - 6). Let u(v) = -6*v - 8. Let d be u(-7). Is n greater than d?
False
Let n = -22 - -22. Let v(h) = -17*h**3 - h**2 - h - 3. Let q be v(-3). Let z = q + -11252/25. Is z > n?
False
Suppose o + 4*h + 70 = 0, 5*o + 0*h + 260 = -2*h. Let g = 27 + o. Is -23 > g?
False
Let m(a) = -a**3 - 18*a**2 - 27*a - 20. Let f be m(-16). Let b be (-160)/f + (-2)/(-5). Suppose 49*h + b = 51*h. Is h less than 2/11?
False
Let l = -164227/2 - -83990. Which is bigger: l or -2/3?
l
Suppose -121*u + 5*u - 5696 = 5092. Is -472/5 greater than u?
False
Suppose 60*b = 61*b - 2*f + 4, -b + 5*f = 13. Which is smaller: -1209 or b?
-1209
Let s = -925 - -373. Let p = s - -34778/63. Let w(j) = -j**3 + 2*j**2 + j + 4. Let k be w(3). Does k = p?
False
Let f = 12570 + -9709. Which is bigger: f or 2862?
2862
Let q be -13*1*-12*(-13)/(-13). Suppose -q*o + 1742 = -143*o. Which is smaller: 132 or o?
132
Let p = 0.416 - 60.016. Let s = -58.566 - p. Let f = s + -0.034. Which is greater: f or 10/7?
10/7
Let r(d) = 2*d**2 - 11*d - 176. Let f be r(-24). Suppose 4*a - 129 - 613 = 3*t, 5*t = 5*a - f. Is -250 > t?
False
Let l = 88/3 + -30. Let k = 20/21 + l. Let v be 3/6 + 3 + (-1756)/504. Which is smaller: v or k?
v
Let q = -51 - -55. Let n be 2 - q - ((-2 - 0) + -2). Let i be (-1)/(-3) + (n - 2). Is 2 < i?
False
Let k(t) = 8*t + 333. Let l be k(-40). Suppose l*d - 14*d - 5*h = -173, 0 = d - h - 155. Is d <= 158?
True
Let b be -28 + 912/32 - ((-43)/2 - 0). Let d(x) = 3*x + 5 - x + x**2 + 1. Let h be d(-5). Which is greater: b or h?
b
Let x = -43618 + 43607. Let v = 2 - 1.6. Is v bigger than x?
True
Suppose 0 = 3*r - t + 22 - 0, 0 = -4*r - 5*t - 23. Let i be (6 + r)*(-9 + 2 + -5). Are 20 and i nonequal?
True
Let a = 417 - 415.412. Let p = a + -0.225. Let d = p + 0.037. Which is greater: -3/2 or d?
d
Suppose -14*c + 51 = -383. Suppose -c*r + 24*r + 2632 = 0. Are 376 and r equal?
True
Let r = -1.444 - -447.694. Let u = r - 1.25. Is 1 <= u?
True
Let l be (-106)/108 + 2 + -1. Let b = -236039/54648 + 9/2024. Let o = b - l. Which is greater: -4 or o?
-4
Let h = 52412/3 + -17471. Does 0.1633 = h?
False
Let v = 14.5 - 14.6. Let x = v - 2.9. Which is smaller: x or -3/37?
x
Let x = -22.9 + 14.9. Let s = 15 + x. Let g = 0.4 - 0.9. Is g less than s?
True
Let q be (-1568)/(-294)*(-6)/(-16). Is q at most 63.7?
True
Let p be (-18)/(-90)*(18 - 28). Which is bigger: p or -64?
p
Let h be (2 - (0 + 1)) + 1. Suppose -5*u = -18 - h. Suppose u*t + 3 = -5. Is -5/6 smaller than t?
False
Suppose 12*y - 163 = 1613. Suppose -19*b + 555 + y = 0. Which is smaller: b or 181/5?
181/5
Suppose 7*y - 87 = 10*y. Let m = -27 - y. Suppose -34 = 5*g + 3*s, -2*s + 16 = -m*g - 4*s. Is -18/5 at least as big as g?
True
Suppose 4*a - 5*p = 5*a + 119762, -a = 4*p + 119760. Let r be (12/(-62))/2*a/(-888840). Let n = r + 1/7407. Which is greater: 0 or n?
0
Let k = 2333 - 2333. Which is smaller: -1/310 or k?
-1/310
Suppose 7*w = -2*q + 10*w - 44, 5*q = -4*w - 41. Which is smaller: q or -285?
-285
Suppose -4*a = 2*v - 1032, 2*v = 2*a + 5*v - 508. Let u = a + -283. Is -25 bigger than u?
False
Suppose -6*p - 4*v = -p + 1880, 4*p + 1535 = 3*v. Is p equal to -384?
False
Let f = -31 + 32. Suppose 4*w - 5*u + 0 = f, -29 = -5*w - 3*u. Suppose 4*h + w*b + 16 = 0, h - 6 = -b + 2*b. Which is smaller: h or 1/7?
1/7
Suppose -o = 5*t + 41, -4*o - 50 = -2*t + 26. Let i be -6*(-1)/3 + 4 + o. Suppose -3*l - 15 - 30 = 0. Is l smaller than i?
False
Let c = 7.54 - 54.64. Let y = 48 + c. Is y at most as big as -0.03?
False
Let v = -863 + 864. Let g = -10.7 - -12. Let n = g - v. Which is smaller: -2/5 or n?
-2/5
Let a = -23434 - -23432. Is -59/35 > a?
True
Let l = 54.394 + -0.394. Let i = l + -53.9. Which is smaller: i or 4/19?
i
Let m = -18.03634 + 0.03634. Which is bigger: 1/73 or m?
1/73
Let q be ((-50)/(-225))/((-14)/(-63)). Suppose 4*z + 32 = 3*u, -35 + 6 = -u + 5*z. Which is greater: q or u?
u
Suppose -8534 = 25*n - 8509. Let t(f) = f**2 - 5*f - 6. Let m be t(5). Let u be n*492/(-18) + 2/m. Which is smaller: u or 26?
26
Let h = 657 - 636. Let i be -2 + (6/h)/(8/56). Which is bigger: i or 1/1093?
1/1093
Let v = -0.116 + 0.186. Let b = -26 - -38. Which is smaller: b or v?
v
Let t(y) = 80*y - 84. Let j be t(-5). Let b be 4/(-22) - (-5720)/j. Which is smaller: -59/5 or b?
b
Let k be -3 + (3 - (-3 - -2)). Let z = 3557796/389 - 9146. Which is smaller: z or k?
z
Let u = 179.13748 + -0.03748. Are 0 and u nonequal?
True
Let r = 17246 - 17193. Which is greater: 74 or r?
74
Suppose 3*q + 4*k - 260 = 6*k, -5*k - 20 = 0. Suppose -q*o + 96 = -76*o. Which is bigger: 1 or o?
o
Let j(o) = o**2 - 34*o + 221. Let w be j(14). Do w and -64 have the same value?
False
Let j be 6/108*6*831. Let g be j/4 - 2*2/(-16). Which is greater: g or 71?
71
Let t = -32 - -15. Let c be 8/204*-3 + (-2382)/t. Let q = c - 138. Is 2 < q?
False
Suppose 0 = -2*n + s + 688, 593 = 2*n + 2*s - 101. Let k be 10*12/n*-2. Which is bigger: k or -1?
k
Let z(b) = b**2 - 46*b + 745. Let l be z(14). Is l smaller than -6?
False
Let m = -2/769 + -709/23070. Let s = 74 + -50. Let b be 2/10 + s/(-20). Which is bigger: m or b?
m
Let g = 158.1 - 136. Let z = g - 22. Let y = 202 - 202.1. Is z != y?
True
Let z be 8/(-2 - -4 - 4). Let g be (-14)/35 - z/5. Let q = -67 + 70. Is g at most q?
True
Let j be 5372/34*(-2)/(-4). Suppose -f + 4*q + 44 + j = 0, 3*f = 5*q + 341. Which is smaller: f or 105?
105
Let j = -5.8 - -6. Suppose 56 = -c + 62. Let z be 112/(-35)*3/c. Which is greater: z or j?
j
Let a(l) be the third derivative of -l**4/24 + l**3/3 + l**2. Let c be a(-9). Suppose -169 = -13*w - 0. Does w = c?
False
Suppose 0 = 154*v - 142*v - 4944. Suppose -327 = 4*l - 12*o + 17*o, -5*l - 3*o - v = 0. Is -83 greater than l?
False
Let i = -86 - -256/3. Let y = 45.42 - 46. Let v = y - 33.42. Does i = v?
False
Let f = -35/6 - -61/12. Are -1.5 and f nonequal?
True
Let l = 34 + -29. Suppose 7*v - 20 = 2*v, -w + l = -2*v. Suppose 2*k - 22 = 8. Which is smaller: w or k?
w
Let m be (2/4)/((-3)/(-48)). Suppose 20 = t + 5*n + 16, 0 = -5*t + 2*n - 7. Let w be t/(124/(m/2)). Is 1 >= w?
True
Let y = 287 + -328.6. Let c = 34 + y. Let x = c - -7.8. Which is bigger: 1 or x?
1
Let m(g) = 13*g**2 + 18*g + 80. Let c(x) = 9*x**2 + 12*x + 53. Let y(o) = -7*c(o) + 5*m(o). Let d be y(-4). Which is bigger: 38 or d?
38
Let w = -9695 + 4874. Which is smaller: -4819 or w?
w
Let n = 0.397 - -34.603. Is n bigger than 1/4?
True
Let f = -356443/692611 + 4/6473. Is -1 at most f?
True
Let t = 6 - 3. Let p be (-719)/5 - (2 + 36/(-20)). Let s = p - -153. Which is bigger: s or t?
s
Suppose 0*k = 6*k - 618. Suppose -5*i + 138 - k = 0. Do 10 and i have the same value?
False
Let d = 0.3 + 0.1. Let h = -0.8 + d. Let l be ((-22)/(-7))/(4*2/(-14)) + 5. Which is bigger: h or l?
h
Let r = -4.91 - 0.09. Let k = -986.04 - -0.04. Let u = 981 + k. Does u = r?
True
Let l = -18 - -20. Suppose 3*d = 6, -77*d + 76*d = w + 3. Is w less than or equal to l?
True
Suppose 0 = 3*i - 3*m + 573, -571 = 5*i + m + 414. Which is smaller: i or -192?
i
Let x be 3/(-1) + (-301)/(-2)*(-114 + 110). Does -608 = x?
False
Let g = -535.1 - -535. Is g at most as big as 2715?
True
Let l be 4*(-12)/(-48)*-1. Are -57/62 and l nonequal?
True
Let a be 3280/984 - (4 + (-2995)/4470). Let f(c) = c + 6. Let d be f(-5). Is a greater than or equal to d?
False
Suppose -15*w + 19 = 4*w. Let p(h) = 2*h - 3. Let l be p(w). Let q be (l + 8/6)*0 + 1. Is q at most as big as 16?
True
Let x = -1291 - -808. Let z be -7 + x/(-133) - -3. Which is smaller: 0 or z?
z
Let n = -0.2181 - -78.2181. Which is greater: -0.2 or n?
n
Let z be 1 + (-122)/258 + (-6)/9. Suppose -5 = -p + 5*t, 5*t - 10*t = -4*p + 5. Which is bigger: p or z?
p
Let d be (-147)/9 - (1/(-3) + 0). Let s be 10/d*82/(-205). Which is greater: 1.5 or s?
1.5
Let l = -12513 - -11590.4. Are -0.1 and l unequal?
True
Let f = -3406.04 + 381.04. Which is greater: 2/7 or f?
2/7
Let z be ((3 - 3)/3)/(-1) + 608. Let l = z - 607. Which is smaller: l or 2/439?
2/439
Let f be 28/13 - 36/234. Suppose -b + 15 - f = 5*g, 0 = b + 4*g - 10. Let k(j) = -j**3 - 3*j**2 - 2*j. Let q be k(b). Does 3 = q?
False
Let s = 5257002/125 + -42056. Let z = -2 - -2. Is z greater than s?
Fa