u = 15/28 + n. Which is greater: -15 or u?
u
Suppose -a = -0*u - 5*u + 8, 0 = -5*u - 4*a - 7. Let q be (-1)/2*u*(16 - 26). Suppose -2*b - b = -q*f - 74, 2*f = 4*b - 80. Is b > 16?
True
Let w = 6 - 6.03. Let z = w + -0.17. Let p = 0.05196 - 19.05196. Is z smaller than p?
False
Let b = 0 + 0.1. Let d be ((-3)/(-334))/((27/(-24))/3). Let a = -410/3173 - d. Which is greater: a or b?
b
Let b = -66 - -73. Suppose -g - 3 = 5*n, 3*n + 2*g = -3*g + b. Suppose u - 2*j + 13 = 0, 3*u - 4*j - 7 = 4*u. Are n and u equal?
False
Let j = 5257 - 2480. Is 2777 >= j?
True
Suppose -45*b + 459 = -28*b. Suppose a + 3*v = v + 9, -3*a = -v - b. Which is bigger: 46/5 or a?
46/5
Suppose -12962 = 20*h - 2842. Let z = h - -845. Which is smaller: 0 or z?
0
Suppose 2*l = 9*l - 196. Let b be ((-1015)/l)/(1/4). Are 1 and b equal?
False
Let o be 2 - (-120)/(-65) - (-30)/(-26). Let f be 2/7 + (-78784)/217140. Let j = 16/141 + f. Which is bigger: j or o?
j
Let p = -32.23 + -2.77. Let s = 34.9 + p. Let m = 0 - 0.2. Is s equal to m?
False
Let q = 97 - 79. Let l = q - 18.08. Let f = 1.08 + l. Which is bigger: 0.14 or f?
f
Let p = -925 + 864.09. Let o = p + 60. Which is bigger: 0 or o?
0
Let r be 1 + -10 - 53688/(-5964). Which is greater: r or 1?
1
Suppose 0 = -2*p, 4*t - 3*p + 32 = -0. Let y be (54/(-72))/(6/t). Are y and 2/83 equal?
False
Let j(y) = y**2 - 124*y + 2020. Let m be j(35). Which is greater: m or -1?
-1
Let w = 402.1 - 402. Is w > 1/1719?
True
Let s(l) = -18*l + 3. Let t be s(11). Let u be (4/(-5))/((-3)/t). Let r = -72 - u. Which is smaller: r or -22?
-22
Let n = -2.36 - -19.06. Is n bigger than 0.4?
True
Let d = 6439 + -6666. Which is bigger: -261 or d?
d
Let f(y) = -y**2 + 8*y - 6. Let d be f(6). Let k = -5 + d. Let h be ((-3)/(-6) - k)*-3. Is h != 1?
True
Let f be (11/286)/(2/(-6)). Let j = -246 + 1720/7. Which is greater: f or j?
f
Let l(n) = 2*n**3 + 150*n**2 + 2*n + 151. Let a be l(-75). Is -17/159 > a?
False
Let i be 843690/715 + (-4 - 0). Let y = i + -1176. Let k = y + 304/1287. Is k bigger than 2/3?
False
Let g = 1101 + -1087. Is 163/12 at most as big as g?
True
Let o = -225557/255 + -9530/51. Which is bigger: -1071 or o?
-1071
Let v = 399 - 7584/19. Let w = -61 + 338. Suppose -282*m + w*m = 5. Which is greater: m or v?
v
Suppose -25*o = -103*o - 95631 + 9207. Which is smaller: -1106 or o?
o
Let x = 7 - 5. Let n be (-14)/28 + (-83)/x. Let i = n + 39. Which is greater: i or -1?
-1
Let y = -336 + 169. Let p = -168 - y. Which is smaller: -8 or p?
-8
Let h = 1.8742 - 10769.8742. Is h less than 2/7?
True
Let y(l) = -l**2 + 45*l - 373. Let m be y(34). Which is bigger: -273 or m?
m
Let q = 14435 + -14436.1. Which is greater: q or 159?
159
Suppose -4*h + 6 - 1 = -w, -7*w - 8 = -h. Which is greater: -2/1443 or w?
-2/1443
Let g be (32/7580)/(324/(-330) - -1). Which is bigger: 2/7 or g?
2/7
Let d be (2/1)/((800/19660)/(-4)). Is -196 bigger than d?
True
Let k = 40 + -87. Let t = -3 + 23. Let q = k - t. Which is greater: q or -1?
-1
Suppose -2*q + 4*q - 50 = 2*h, 3*q = 4*h + 78. Suppose 5*i - q + 104 = 3*n, -4*i + 3*n = 68. Let l = -15639 + 15625. Is i at least l?
True
Let x(o) = o - 2. Let q be x(3). Let l(g) = g**3 + 4*g**2 - 7. Suppose -u = u + 5*v - 12, -u + 4*v = 20. Let h be l(u). Is h less than q?
True
Suppose -4*w - 19*w + 40756 = 0. Is 1774 at most as big as w?
False
Let d be 1017 + ((-6 - -11) + -4 + -1 - 3). Is 1016 <= d?
False
Let v = -1001 - -953.1. Let i = v - -48.1. Which is smaller: -0.119 or i?
-0.119
Suppose -24*t = -26*t - 96. Let x = t + 48. Which is greater: x or 1/52?
1/52
Suppose 1 = 5*h - 39. Suppose 2*g - 3*k = 0, -5*k = 5*g - h - 17. Let m be (-4)/2 + g - 84/78. Which is bigger: -0.1 or m?
m
Let c(m) = 6*m**3 - 40*m**2 - 21*m + 50. Let v be c(7). Which is smaller: 9/202 or v?
9/202
Let u be -11 + 14 - (-2 + 3 + 2). Is 1/2839 at least u?
True
Let v be (-700)/14700 - (-272)/(-21). Which is smaller: v or -923?
-923
Let v(s) be the second derivative of s**4/12 - 3*s**2/2 + 13*s. Let b be v(3). Suppose 5*i - b = 2*i. Is i equal to 1?
False
Let z(g) = 274*g**2 + 2*g + 1. Let w be z(-1). Suppose 24*q + 7*q + 274 = 32*q. Is q equal to w?
False
Let z be (-32)/(-6)*(-144)/(-9 - -3). Let s be (z/(-160))/(964/10). Which is bigger: 1 or s?
1
Let o = -27590 - -27589. Is -306 not equal to o?
True
Let n = 397301849830/6657 + -59681816. Let v = n + -4/317. Which is smaller: v or -1.8?
-1.8
Suppose -5*t + 1124 = -1306. Let c = -487 + t. Are c and 2/563 unequal?
True
Suppose -3357 = 3*o - 2*l, 6*l + 4484 = -4*o + 10*l. Which is greater: o or -1116?
o
Let z be (-3713)/(-7) + (-24)/(-42). Let v be (-1)/((-3)/z)*(-1)/3. Let r = -65 - v. Which is smaller: -8 or r?
-8
Let b be 14/1 + 30 + -191. Is -125 <= b?
False
Let l = 4905/4 + -10030773/8180. Is l bigger than -1?
True
Suppose 23 = -17*w + 16 - 78. Which is bigger: w or 3/4?
3/4
Suppose 10*n = n - 378. Let r be (n/4)/(3/30). Is r > 1/4?
False
Let h = -12 - 0. Let a be 16/h*(-3)/2. Let t be 0 + -1 - (436/(-190) + (-78)/741). Is a not equal to t?
True
Let p = -7 + 13. Let f be (-1)/6 + 2/(72/p). Suppose 0*y = -5*y - 4*q, f = 4*y - 5*q. Which is greater: y or -14/19?
y
Let y = 0.6434 - 0.0134. Let k = y + -0.53. Which is smaller: -0.493 or k?
-0.493
Let b be (((-12)/(-6))/2)/(2/(-18)). Let k = 2855 - 25775/9. Is b at least k?
False
Let u = -507.0215 - -0.0215. Is 0 greater than or equal to u?
True
Let w = -524221/9 - -58333. Is w <= 86?
False
Let u(a) = 17*a - 178. Let n be u(11). Suppose 14*m + 12*m = n*m. Do m and 8/7 have the same value?
False
Let d = -9417 - -13447. Do d and 4034 have the same value?
False
Suppose 16*u - 71 + 71 = 0. Let b be (5/330)/(7/2). Are u and b non-equal?
True
Let h be (3294/(-8))/(-3) + 30/(-120). Is 48 less than h?
True
Let b = 53403369/485 - 110110. Which is smaller: b or 1?
b
Let m be 2012/(-750) + 2 - -4. Let n = m + 2/125. Let l = -170 + 172. Which is greater: l or n?
n
Suppose 81*r + 1492241 - 250581 = -262*r. Which is smaller: -3621 or r?
-3621
Let l(f) = -f**2 + 4*f + 7. Let c = -24 + 29. Let a be l(c). Suppose 4*k = 4*q, -7*q + 10 = -a*q. Is k less than 3?
True
Let y = -80 - -151. Let p = y + -58. Suppose p*x - 7*x = 72. Which is smaller: x or 13?
x
Let t = 10614 + -9321. Is t > 2/11?
True
Let b be (6 - 3) + (-8)/2. Suppose -4*f = -12, -5*t = -6*t + 2*f + 2. Let q be (-2)/t + (-34)/(-56). Is b at most as big as q?
True
Let i(b) = 6*b + 8. Let s be i(-1). Suppose -3*r + 5*t + 5 = 10*t, s*t - 2 = 3*r. Let f = -1/134 + -503/4422. Do f and r have different values?
True
Let u = -3 + 7. Suppose l + u + 12 = 0. Suppose -5*f - 85 = 5*g, 5*f - 81 = -29*g - 574. Which is greater: l or g?
l
Let j(w) = -11*w**2 - 765*w - 413. Let c be j(-69). Are 5/2277 and c nonequal?
True
Let g(b) be the second derivative of -1/6*b**3 + 5/2*b**2 - 38*b + 0. Let w be g(4). Which is smaller: w or 4/3?
w
Let r = -615 + 1877/3. Let f = r - 86/21. Suppose -496 = -45*h - 17*h. Which is greater: f or h?
h
Let r be (-15)/10*8/762. Let y = -23442 - -23443. Do r and y have the same value?
False
Let y(u) = 3*u**2 + 1. Let p be y(1). Let c be (-1712)/(-3680) - p/10. Let q = 108 - 108. Do c and q have the same value?
False
Let m(o) = o**2 - 12*o + 37. Suppose 5*w - 4*k + 11 = 6*w, -4*k = -4. Let s be m(w). Is 2 < s?
False
Let w(h) = h**2 - 34*h - 1912. Let g be w(-28). Is -175 at most g?
False
Let p(s) = 28*s - 117. Let t be p(5). Let z be (8/(-252))/(t/(-3)). Which is greater: 1 or z?
1
Suppose 699*m - 722*m - 506 = 0. Are m and -19 equal?
False
Let a = 2.7 + -2.7. Let w = 714 - 874. Is a at most as big as w?
False
Suppose -3*p - 149 = 3*x + 139, 4*p + 357 = 5*x. Let u = p + 108. Is 11 greater than u?
False
Suppose 57*c + 163840 = -124922. Is c greater than -5064?
False
Let s(v) = 2*v - 47. Let b be s(32). Suppose -b*l = -13*l + 84. Do -22 and l have the same value?
False
Suppose -420 = 130*m - 142*m. Let y be 3*m/(-8022)*(-4)/(-5). Let u be (-3)/(-2 + -1) + -2. Which is smaller: y or u?
u
Suppose -15*j = 44*j - 236. Which is smaller: j or -24?
-24
Let v = -175 + -279. Let q = v - -454. Is 5/201 < q?
False
Let u(f) = f**3 - 23*f**2 - 49*f - 59. Let d be u(25). Let w = d - -11. Which is greater: w or -22?
-22
Suppose -3*h + 2*i - 3 + 23 = 0, 5*h - 34 = 4*i. Suppose 3*r + 2*d = 290, r + 2*r - 294 = -3*d. Let c = -87 