 3*z + 5*g = -245, z = 282*g - 283*g - 81. Is h at least z?
True
Let a be -38 - -37 - ((0 - 3) + 778/(-9)). Which is smaller: a or 89?
a
Let n = 0 + 0.5. Let p = n - -2.5. Let w = 121306 - 121316. Are p and w equal?
False
Suppose 35*r = 12*r + 2688 - 2665. Which is smaller: r or 6/8995?
6/8995
Let r be (3 + -2)*(-2 - -6). Let l be (165/(-25) - 1)/r. Which is bigger: -3 or l?
l
Let q be ((-11)/((-132)/72))/21 + 2070/7. Is q greater than or equal to 2668/9?
False
Let d be 1 - 106/(-9) - (-10)/45. Suppose 0 = -18*s + d*s + 120. Let r(t) = 5*t**2 - 3*t - 3. Let l be r(-2). Do s and l have the same value?
False
Let t = -3 - -8. Suppose -20*p = -2*p - 468. Suppose -17 - 9 = -2*l - a, -3*l = -5*a - p. Is t greater than l?
False
Suppose 12 = 3*w + 2*g - 2, 0 = 3*w - g - 11. Suppose w*i + 54 = 18. Is -8 equal to i?
False
Let u be (192 - 77)*(-24)/26. Which is greater: -105 or u?
-105
Suppose 28*p + 530 = 18*p. Let y = 55 + p. Suppose 9*v + y = -16. Which is smaller: v or -18?
-18
Suppose -3*y + 77 - 392 = 0. Let u(r) = -108*r**2 + 1030*r - 1027. Let d be u(1). Is d at least y?
True
Let u = -26875.4 + 26873.4. Let l = 30.519 - 0.119. Is l not equal to u?
True
Let t be (-3)/6*14/(-7). Suppose -z + 36 + 30 = 0. Let h = 6403/97 - z. Is h not equal to t?
True
Let t = -0.3 - -2.3. Let r = 1177.9 + -1177. Which is bigger: t or r?
t
Let s(r) = r**3 + 7*r**2 - r + 5. Let n be s(-7). Let b(j) = 0*j + 5 + 0*j + 3*j + n. Let u be b(-7). Which is bigger: u or -5?
u
Let j = 133 + -82. Let y = j - 51.84. Is y at least as big as -3?
True
Suppose -4*h + 5 = 3*a, -3*a = 5*h - 4*a - 11. Suppose -2*f + 3*b = h*f, 0 = -f - b. Let o = -1268 - -48185/38. Is o equal to f?
False
Suppose -10*f + 15*f = 0, 4*l + 2*f = 8. Suppose 4*a + 3*r = -l*r - 21, -4*r = 20. Which is greater: a or -5/11?
a
Let n = -35901 + 359013/10. Is n bigger than 563?
False
Suppose 3207 - 3468 = -9*f. Which is greater: 19 or f?
f
Suppose -41*w + 40*w = 6. Let n be 7 - 5 - (-10)/w. Which is smaller: 30 or n?
n
Let g be (-45)/6 + -4 + (-3)/(-2). Let m be (-135)/(-225)*g/92. Let s be (0 - -1) + (-3)/3. Is s smaller than m?
False
Let o = 196/39 + -58840/11739. Which is smaller: 0 or o?
0
Let u = 15133 - 15162. Is 67 at least as big as u?
True
Let t = 17 - -5. Suppose 0 = 5*i + c + c - 22, -i + t = -4*c. Let b be ((3 - i) + 3)/(-2). Which is smaller: 1/7 or b?
b
Let u(o) = -140*o + 7350. Let p be u(48). Is p greater than 626?
True
Let p(h) = -23*h + 70. Let t = -530 + 533. Let f be p(t). Which is smaller: 2/67 or f?
2/67
Let z = 14 - -7. Let u be 198/4*(-28)/z. Let o = u - -72. Which is smaller: -4 or o?
-4
Suppose i + u = 983 + 333, 3940 = 3*i - 5*u. Let v be 3 + i/(-575) - 20/25. Is v smaller than 9?
True
Let d(r) be the first derivative of r**4/4 - 22*r**3/3 + 11*r**2 - 14*r - 3. Let q(g) = 12*g - 147. Let v be q(14). Let i be d(v). Are i and 8 non-equal?
True
Let p = -4.098 + -920.902. Is p >= 0?
False
Let z(i) = -5*i + 95. Let d be z(18). Suppose -2*a + 1017 = d*j, -6*j - 4*a + 804 = -2*j. Is j != 207?
True
Let s = -1/54 + 29/108. Let q = -1671 - -1643.1. Which is smaller: q or s?
q
Let f = -46.45 + 47.45. Let r = 1.5 - -1. Which is bigger: f or r?
r
Let n = -13111 + 13101. Are n and 64 unequal?
True
Let v be (4 - 49/14)*-30. Let u be (-1 - v/(-21))/(8/20). Is 0.1 not equal to u?
True
Let y(v) = 57*v**2 - 4*v - 48. Let n be y(6). Which is bigger: n or 1971?
n
Let m = -71 + -9. Which is greater: -1530/19 or m?
m
Let l = 29558 - 29561.9243. Let f = -0.0757 + l. Suppose 5*h - 5*o = -35, -2*h + 5*h - 5*o = -23. Which is bigger: f or h?
f
Let h(g) = -33*g - 46. Let c be h(-4). Suppose 5*p = -4*d + c, 12*d = 15*d + 3*p - 66. Which is bigger: d or 31?
31
Suppose -58*u + 55*u - 3 = 0. Let v be (-35)/210 - u/15. Suppose -2*s + 0 + 2 = 0. Is s at most as big as v?
False
Let o = -154 + 155. Let d be 6/(-22) - 1170/(-1386). Is o greater than d?
True
Let t be (-28)/175*-5*5. Suppose -4*m + t*f + 7 = -5*m, -69 = 3*m - 4*f. Which is smaller: -1 or m?
m
Let l = -12005 + 12013. Is l greater than or equal to 96/13?
True
Let w = 123779/13 + -9505. Are 15 and w nonequal?
True
Let q = 3390 + -3461. Which is greater: q or 6?
6
Let k = -44/57 + 2/19. Let o = 24757/72 + -14583281/42408. Let u = o + 2/171. Which is smaller: u or k?
k
Let s be 42/1 - (-8 - -7). Let c = s - 40. Let g be 8/(8/9) - c. Is g smaller than 2?
False
Let w be 339801/(-2036430) + 2/12. Let g = 977087/61710 + w. Which is smaller: 17 or g?
g
Let j be (-2 + 2 + 3 - 5)*105/(-112280). Is -1 != j?
True
Let u = 36 - 31. Suppose u + 2 = -j. Let a be ((-12)/(-32))/(6/(-116)). Is a at least as big as j?
False
Let h = -80448/11 + 7308. Suppose 0 = -3*a + 3*k - 24, 2*a - 6*k = -2*k - 24. Do h and a have the same value?
False
Let p be 184/(-942)*(-1040)/(-15). Let c = p - -122/9. Are c and 0 unequal?
True
Suppose 5*u = 306 + 4284. Let m be ((-17)/(u/(-12)))/((-1)/(-9)). Is 5 <= m?
False
Let q = 310.8 - 289.8. Let b be (-6)/9*9/6. Which is greater: b or q?
q
Let l = -20333 + 18687. Which is smaller: -11532/7 or l?
-11532/7
Let i be ((-28)/(-6))/((-4)/(-12)). Let r(t) = t**3 - 14*t**2 + 2*t - 20. Let a be r(i). Let f be (7 - a)*(1 - 2). Is f less than 1?
False
Suppose -16*h + 4345 = 137. Let l = 262 - h. Is l at most as big as 250?
True
Suppose -10*z + 6*z + 4*m = 36, 0 = 4*z + 5*m. Which is smaller: -290/49 or z?
-290/49
Let r = 8718 + -8339.7. Let u = -378 + r. Is -1 bigger than u?
False
Let a = -1849/2 + 926. Is 62 less than a?
False
Let r = 1884 - 2597. Which is smaller: r or -715?
-715
Let d(c) = c**2 + 36*c - 71. Let u be d(-38). Suppose -u*l + 139 = 2*p, 5*p - p + 3*l - 299 = 0. Is 77 > p?
False
Let s = -10285/1434 - -4/717. Let l = -129 + 129.1. Which is bigger: s or l?
l
Suppose 22*i - 17*i + 10 = 0. Let w be (8/(-3))/i*(-3)/2. Let j be (-12)/(-9)*w/(-44). Which is smaller: j or -1?
-1
Let b = -29.7 + 36. Let o = b + -6.32. Is 2 at most o?
False
Let y(p) = 41*p + 20. Let z be y(7). Let t = z + -857. Let j = -5507/10 - t. Which is greater: 0 or j?
0
Let c(p) = 150*p + 604. Let s be c(-4). Which is smaller: 403 or s?
s
Let z be 27/14 + 0 + -2. Let t = -19.38 - 846.62. Let a = 856 + t. Is a at most as big as z?
True
Let c(l) = l**3 + 14*l**2 + 2*l - 465. Let z be c(-10). Which is smaller: z or -102?
-102
Let q(o) = o**2 - 21*o + 56. Let c be q(18). Suppose 2 = -c*f, 5*g - 2*g + 2*f + 17 = 0. Which is greater: -63/13 or g?
-63/13
Let r(w) = w**2 + 6*w + 6. Let p be r(-3). Let v(h) = 11*h - 5. Let l be v(p). Let u = -42 - l. Is u bigger than -13/3?
True
Suppose -3*n = -2*m + 1891, -5*n = 2*m + 635 - 2486. Let f = 15940/17 - m. Which is smaller: -1 or f?
-1
Let w = -417 - -441. Suppose h - f + w = 0, 0 = -2*h + 3*h - 4*f + 24. Which is smaller: -20 or h?
h
Let q = -12.62 + 13. Let f = q - 0.48. Let v = -42.7 - 5.3. Which is greater: f or v?
f
Suppose -9*j - 272 = 8*j. Let l = -85 - j. Which is smaller: l or -68?
l
Let i = 1.3157 - 0.0157. Which is greater: 97/3 or i?
97/3
Suppose -4*i - 144 = -i + 3*l, 0 = 3*l. Let j = 5353 + -5399. Which is greater: i or j?
j
Let d be 8/16*((0 - -6) + -4). Which is bigger: -19/878 or d?
d
Suppose 2 + 0 = 2*l, 5*l - 25 = -2*h. Let p(d) = 0 + 2 + 13*d**2 - 14*d**2 - h*d. Let k be p(-10). Are 2 and k non-equal?
False
Let v = 115 + -167. Suppose -5*u + 5*m - 83 = 172, -112 = 2*u + 3*m. Let t = u - v. Is t < 1/32?
True
Suppose -20*r = -4*j - 17*r + 8, -4*r + 36 = 4*j. Let m be ((-19)/7)/(-1) - -1. Is j equal to m?
False
Let k = 294 - 346. Let d = 86 + -600/7. Which is greater: k or d?
d
Suppose 53*n + 1548 = 62*n. Let c be n/2*2/(-12). Is -14 equal to c?
False
Suppose -64 = s + 20. Let u be (-7)/(s/9) - (-11)/(-4). Let k = u - 2. Which is smaller: -6 or k?
-6
Let p(i) = 3*i**3 + 71*i**2 - 180*i + 53. Let r be p(-26). Which is smaller: r or 1/516?
1/516
Let o = -1098 + 659. Let u be 2 + (-136730)/(-310)*-1. Let a = o - u. Are a and 2 equal?
False
Suppose 21*p - 635 = 646. Is p bigger than 66?
False
Suppose 26*o - 8*o + 130302 = 0. Let v be (-17018)/o + (-1 - 2/2). Which is greater: 1 or v?
1
Let x = -137 + 139. Let c be x/1 - (24 - 24). Which is smaller: c or 0?
0
Let s(r) = r**3 - 12*r**2 + 4. Let d be s(12). Suppose -3 = 5*y - p, -d*p - 9 = 5*y - 2*p. Which is greater: y or 1/179?
1/179
Suppose 184*p = 77*p + 1350554. Which is small