t r be (-4)/a + -308*(-4)/(-60). Which is smaller: -21 or r?
-21
Let x = 5750 - 5737. Let c(v) = v**2 - 3*v + 1. Let o be c(2). Which is bigger: x or o?
x
Let k = 0.1 + -0.1. Let b = 0.3 + 7.1. Which is smaller: k or b?
k
Let p = -38.21318 - -0.21318. Is -2/49 < p?
False
Let z be (-6804)/(-72)*(7/3 - 1). Let x be (-24)/(z/216*2/7). Which is smaller: -145 or x?
-145
Suppose -3*o + 66 = 3*p - 0*p, 5*p - 4*o = 128. Let i be (-2)/(-9) + (-5244)/(-216). Is p at least as big as i?
False
Let p = -0.2586 + -8.7414. Do -30 and p have different values?
True
Suppose 5*d + 36 = -4*f, -3*f + 4*d = 9*d + 32. Suppose 0 = -2*u + u. Suppose 4*s - 4*l + 72 = 28, 4*s - l + 29 = u. Which is smaller: s or f?
s
Let o be 10/(-8) + (14 - (-1353)/(-44)). Suppose -75 = 5*a - 5*s, 16 - 70 = 4*a + 2*s. Let h be (a - -2)/((-4)/(-6)). Does o = h?
True
Let x = 122 - -317. Let v = x - 438. Which is bigger: v or 2?
2
Let u be ((-3)/(-45)*-5 - 0)*-3. Let v be ((-2)/(-191))/(10/15). Let g = -118/19673 + v. Which is smaller: u or g?
g
Let d be (-3 + 1 - -6) + (-3905625)/977500. Is 1 less than or equal to d?
False
Let u = 67 - 62. Let g(f) = -2*f**2 + 3*f + 10. Let l be g(u). Suppose -2*b - 10 - 36 = 0. Which is smaller: b or l?
l
Let y = -259 - -1311/5. Let g = -2458.2 + 2458.4. Is y smaller than g?
False
Let m = -59.284 + -0.816. Let v = -2267 - -2327. Let g = v + m. Do 17 and g have different values?
True
Suppose 7*d - 423 = 1558. Let f = -209 + d. Which is bigger: 73 or f?
f
Let b = -12804 - -14674. Which is smaller: 7479/4 or b?
7479/4
Suppose 269*v = 159*v + 2310. Which is smaller: v or -17/7?
-17/7
Let o be (-8)/4 - (-3182682)/(-16). Let u = o + 198613. Let m = u - -307. Which is greater: m or 0?
m
Suppose 4*y - 3*d + 33 = 0, -17 = 5*d + 8. Let b be (-2)/y - 8/(-24). Is b not equal to -7/2?
True
Suppose -2 = -2*j + 5*q + 1, -4*q - 9 = 5*j. Let l(h) = -2*h + 5. Let w be l(7). Let s be (w/12)/((-246)/16). Is j != s?
True
Let u = 20174 - 20175. Is u >= -4/867?
False
Let r = -66.1 + -14.9. Let i = -6148 - -6147.9. Does r = i?
False
Suppose -v - 3*v - 122 = -3*n, -n = -2. Let q = -28 - v. Let j be 1*(30 - 1/(q/(-2))). Is j < 34?
True
Let z be (((-243)/4)/3 - -2)*-4. Let i = z + -77. Which is smaller: -33/10 or i?
i
Let w be (490/40 - 12)/(9*(-1)/(-36)). Let r be (-3634)/7284 + (-2)/(-4). Let h = -14518/45525 - r. Which is bigger: w or h?
w
Let d be (421375/(-228280) - -2) + (6 - 240/39). Is 0 >= d?
False
Suppose 0 = -2*y + 3*i + 194, -y + 2*i + 96 = -0*y. Suppose 2*x + z = 7*x + 10, -4*x - 5*z - 8 = 0. Let l be (-3)/x*y/6. Is 26 smaller than l?
False
Let m be 634/102 + (-4)/(-34). Let w = m + -467/78. Let y = w + -11/182. Is -0.9 equal to y?
False
Suppose -2*v - 5*n - 52 = 15, 38 = -3*v + 5*n. Suppose -17*p + 14*p = 276. Let k = -115 - p. Do k and v have the same value?
False
Let v(a) = -6*a**2 + a + 1. Let b be v(2). Let w = 316 - 232. Let l = 80 - w. Which is smaller: b or l?
b
Let d be ((-2)/(-6))/((-1)/(0 - 30)). Let w be (-3)/(-1) - (d - -1). Are -10 and w nonequal?
True
Let s = 5472 - 38312/7. Which is smaller: 21 or s?
s
Let q be (-4)/(-14)*49/35. Let n = -2887 - -2851. Is q at most n?
False
Let b = -2006 - -485. Is -1520 equal to b?
False
Let j = 21880 - 21877. Which is bigger: 23.01 or j?
23.01
Suppose 18*q = 14*q - 8. Let g be (16/(-12))/(q/(-15)). Let l be ((-8)/g)/((-2)/(-5)). Which is bigger: l or 6/5?
l
Let f = -347.04 - -4.04. Are f and -2 nonequal?
True
Suppose 2*v = -2*x + 508, -x + 11*v + 254 = 9*v. Which is smaller: x or -2?
-2
Let u(b) = b. Let c be u(4). Let q be (-3)/((5 - c)*-1). Let z be -16 - (q*-2)/3. Which is smaller: -13 or z?
z
Let b be (78/6)/(((-6)/(-2))/(-3)). Suppose -1 = 2*y - 3. Let w be (2 + b/6)/(y/(-86)). Is w greater than or equal to 15?
False
Let x be (-6)/(-33) + 13/(429/126). Let a be (3 - x) + (-130)/(-110). Is 33 less than a?
False
Let x(p) be the third derivative of p**6/3 + p**5/20 + 15*p**2. Let v be x(-2). Let t = v - -4616/15. Is 1 < t?
False
Let z = 200 + 192. Let v = 391 - z. Which is greater: v or 11/29?
11/29
Let g = 7730 - 7738. Which is smaller: g or -284?
-284
Let f = 22693 + -68084/3. Let b = -102 - -1019/10. Is b at least as big as f?
True
Suppose 5500 = -29*s - 81*s. Which is smaller: s or -51?
-51
Let k be -284*(-1086)/(-204) - -2*(-2)/34. Which is bigger: -1511 or k?
-1511
Let f be 24288/10692 - (2 + 0). Which is smaller: f or -1/4?
-1/4
Let x be 363/374*70/3. Are 22 and x equal?
False
Let h = -1949 - -1963. Let g be h/((-4)/(-6)*162/(-36)). Suppose 0 = 3*z + 3*f + 15, -f = -3*f. Which is bigger: z or g?
g
Suppose -2*l - 4 = g - 15, 0 = -2*l - 5*g + 15. Let f be (-7 - (l - 6)) + 6. Suppose -2*v = -4*v - 154. Which is smaller: f or v?
v
Let j(g) = g**3 - 9*g**2 + 10*g - 18. Let c be j(8). Let b be c*(3 + -4) - -1. Suppose -l - 14 = -b*l. Which is smaller: -2 or l?
-2
Let x(k) = k**2 - 1. Let d(q) = -q**3 - 13*q**2 - 12*q - 34. Let m(j) = d(j) - x(j). Let s be m(-14). Let c = -137 + s. Is -21 greater than c?
False
Suppose 0 = 60*k - 62*k - 10, -j - 158 = -3*k. Suppose x - 27 = -27. Which is bigger: j or x?
x
Suppose -2*h + 3*v + v - 32 = 0, 2 = v. Let r be (-34)/(-10) + 3 + h/30. Suppose -6*f + r = -0*f. Which is smaller: f or -3/25?
-3/25
Let v be (-1 - -2) + 50 + 0. Let s(n) = 1299*n + 400090. Let y be s(-308). Which is bigger: y or v?
v
Let p = -25.5 - -25. Let n = 406 - 405. Is n at least p?
True
Let n = -7671 + 1763. Is -5908 < n?
False
Let q(k) = k**3 - 25*k**2 - 187*k + 19. Let g be q(30). Are g and -4361/4 equal?
False
Let q(g) be the first derivative of -g**4/4 - 4*g**3/3 - g**2/2 - 6*g - 1. Suppose 2*h + 74 - 73 = -3*o, 12 = -3*h - o. Let d be q(h). Which is bigger: d or 1?
d
Let i(v) = v**2 - 5*v + 4. Let m be i(5). Let u be (2/(-12))/((-17)/m). Suppose 425*p = 488*p. Which is greater: p or u?
u
Let o = 141003/15160 - 3/3032. Is 9 != o?
True
Let o = -2241.52 - 41.48. Which is smaller: -2/9 or o?
o
Suppose -5*b - 533 = w, 4*b + 4*w = -439 + 3. Which is smaller: -46 or b?
b
Let j(c) = 1402*c - 251. Let a be j(2). Is 2553 less than a?
False
Suppose -25467 = -127*j + 114*j. Is 0.1 bigger than j?
False
Suppose -3*x + 4*t - 4536 = 0, -x + 2*x = -t - 1505. Let k = x + 28662/19. Which is smaller: k or 2?
k
Let q be (2 - 16/(-8))/(-2) - -319. Which is smaller: 314 or q?
314
Suppose 0 = 5*j - 5*c + 2110, 2126 = -5*j - 4*c + 5*c. Is -427 greater than j?
False
Let k = 316628/43 + -7363. Is -1 greater than k?
False
Let n(s) = 45*s + 2. Let a be n(-4). Suppose 5*h + 600 = -3*w, 4*w + 3*h + 1143 = 387. Is a < w?
False
Let k(j) = j + 3. Let o be k(-5). Let a be (-6)/(-4) - (-225)/(-3). Let h = a + 71. Which is smaller: o or h?
h
Let p(d) = -10*d + 26. Suppose -u + 33 = 3*t + 2*t, -4*u = 5*t - 42. Let x be p(t). Let z be (1 - (-2)/14)/(x/(-119)). Which is greater: z or 7?
7
Suppose 0 = 334*b - 210*b - 178*b + 4536. Is 1365/16 at least b?
True
Let f = -2797 - -3117. Which is smaller: 324 or f?
f
Let k(w) = w**2 - 9*w - 16. Let z be k(11). Let h be ((-46)/z + 7)*(-12)/(-2). Let y be (-32)/12*6/h. Which is bigger: 6 or y?
6
Let q = 7 + -12. Let t be (-3*3/(-162))/((-25404)/1692 + 15). Which is smaller: q or t?
q
Suppose 4*y - 9 = 15. Suppose h - 2*h = -y. Let s = -48187 + 96383/2. Which is smaller: s or h?
s
Let k = 961401/4 + -238679. Let o = 1681 - k. Suppose 418*r - 36 = -4*w + 432*r, -r = 5*w - 45. Which is smaller: w or o?
w
Let u = 3352 - 1193297/356. Is -1 at most u?
True
Let n = 3/6862 - 1735/44603. Do n and -780 have the same value?
False
Let m(w) = -123*w + 7644. Let x be m(60). Is 254 at least x?
False
Let u = -2 - -1. Suppose 2*q = 4*p + 732, 3*p + 4*q - 2*q + 563 = 0. Let k = 191 + p. Which is smaller: k or u?
u
Let w = 104 + -104.1085. Let d = w - -0.0085. Does -0.183 = d?
False
Let v = 16616 - 16374. Is 4094/17 smaller than v?
True
Let t be (478/17)/((-272)/(-408)). Is 41 less than t?
True
Let b = -757.10319 + 0.10319. Which is smaller: 3/4 or b?
b
Let i = -1791 - -1938. Are i and 143 non-equal?
True
Let l = 119 - 120.06. Let b = l + 2.06. Let t = 3 - 5. Is t != b?
True
Let v be 310/837*84/10. Suppose -5*u - 3*w + 2*w = -20, 2*u = -3*w - 5. Suppose -12 = -3*r + 2*a, 5*r + 2*a = -1 + u. Is v at least r?
True
Let b = -116 + 145. Suppose 2*z + b = -3*z - 3*m, 5*m = -z - 19. Is z greater than or equal to 2?
False