 i?
True
Suppose k + q - 7 = 0, -2*q + 5 = -5*k + 54. Suppose -30 = -6*p - k*p. Which is smaller: p or 41?
p
Suppose -1631*z = -1633*z + 5*m - 32, -m = 2*z - 16. Let h = -3266 + 42498/13. Do h and z have the same value?
False
Let u = 546 - 538. Suppose -4*k + u*k = -252. Which is smaller: k or 2?
k
Let c = -692084/12259 - -734/13. Do c and 1 have the same value?
False
Let j(n) = -3*n - 6. Let d be j(-5). Let o = 575 - 580. Let r be (-250)/300*3/o. Which is smaller: d or r?
r
Suppose 0 = -2*f + 4*f. Suppose 3*g - 19 = 2*h, -2*h - 3*g - 13 = -f*g. Let s = 3466 + -3474. Are s and h nonequal?
False
Let h = -282.42 + 287. Let z = h - -4.42. Let n = -2 - -6. Is n less than z?
True
Suppose 2*d + 503 = t, -12 = 4*t - 0*t. Is -253 >= d?
True
Let v be (6/12)/((-8)/(-80)). Suppose 0 = -2*w + 5*h + 15 + 11, v*w - 11 = -h. Is w greater than 29/12?
True
Let y be 27/36 - (1775/2364 + 0). Which is greater: -1 or y?
y
Let m = 2.3967 - 0.3967. Let t = 1032 - 8245/8. Which is greater: t or m?
m
Suppose -f + 36 = -5*f. Suppose -9 = 2*l + 15. Let y be (-2)/8 - f/l. Which is smaller: 1 or y?
y
Suppose 54*m = 39683 - 91044 - 57665. Is m greater than or equal to -2019?
True
Suppose -5*i + k + 30 = 2*k, 4*i - 3*k = 43. Suppose -o = -4*v - 23, 0 = 2*o - o - v - 11. Is o at least i?
True
Let m be 1 + (2/(-1) - -3) + -3. Let c be 29/((-7221)/(-990)) - 4. Which is greater: c or m?
c
Let p = -12 + 8. Let n be 2 - 1*(p + 0). Let c(l) = l**2 - 8*l + 12. Let d be c(n). Which is smaller: -0.033 or d?
-0.033
Let w be 9 + -10*3776/(-40). Which is smaller: 951 or w?
951
Let y = -4597/4 - -1147. Let c(z) = -z**3 + 3*z**2 - z - 4. Let l be c(2). Which is smaller: l or y?
y
Let k = -8273/5 + 1646. Which is greater: 286 or k?
286
Let l(w) = w + 1. Let c be l(3). Let m be 0 - (53 + -66 - 49/(-5)). Which is smaller: m or c?
m
Suppose 2*f - 9 + 114 = -5*j, 4*f = -2*j - 58. Let p = -33 - j. Let o be 2/((-8)/(-30))*-2. Which is bigger: p or o?
p
Let o = 32 + -18. Let w = -17753.1 + 17753. Which is smaller: w or o?
w
Let a = 2103 + -2102. Which is greater: a or 2/4547?
a
Suppose 5*c = u - 5, u + 5*c - 11 + 16 = 0. Does u = -2/4555?
False
Let s = -23048180/709 + 32508. Which is smaller: 1 or s?
s
Let u(y) = -y**3 - 21*y**2 + 75*y + 612. Let b be u(-21). Is -963 <= b?
True
Let b = -216 + 221. Suppose 0 = 5*c - d - 49, 0 = 5*c - 0*c - b*d - 45. Let g = 27 + -16. Is g not equal to c?
True
Let w be (-5)/(15950/(-1330) - -12). Is w less than -665?
False
Let a = -4.72 - -4.6643. Let z = a + -7.9443. Suppose 5 = 2*u - 1. Do z and u have the same value?
False
Suppose 4*o + 3613 = -3*k, 5*o - 2*k - 807 + 5306 = 0. Is -900 < o?
False
Let p be 24/276 + (-1466)/(-69). Let y = p - 65/3. Which is smaller: y or 2/5?
y
Let p(y) = -y**3 + 52*y**2 - 556*y - 410. Let c be p(17). Let k = 1.9 - 2. Is c bigger than k?
True
Let m(j) = -j**3 + 3*j**2 + 3. Let q be m(3). Suppose -126 = q*z - 6. Let h = z + 39. Does 1/6 = h?
False
Let s = 2219 + -2223. Which is smaller: s or 332?
s
Suppose 13*r + 5*n - 2986 = 15*r, 3*r + 4440 = n. Is r >= -1478?
True
Let l(i) = -121*i + 41*i + 47 + 43*i + 33*i. Let b be l(8). Is b > 13?
True
Suppose 0 = -5*z - 2*n + 3*n - 5, 5 = z + n. Suppose -v - 3*i + 554 = 0, z = -4*v - 3*i + 1815 + 365. Let x = 10292/19 - v. Is -1 < x?
True
Let s be ((-28660)/250)/(312/(-20)) - 9. Is s > -3?
True
Suppose 3*h - 84 = 3*q - 6, -12 = 3*q. Suppose 85 = -a - 2*n + 117, -a + 3*n + 7 = 0. Is h > a?
False
Let a = 9 - 459. Let v = 184 + a. Is v greater than -267?
True
Let o(m) = 13*m - 13. Let c be o(-5). Suppose -25*n = -92*n - 5293. Which is bigger: c or n?
c
Let s be (-26 + 8)*(3/(-2) + 1). Let o = s + -12. Let w be 4/2 - ((-6)/8 - o). Which is greater: w or 1?
1
Let z = -72942/7 + 10420. Which is greater: z or -0.0304?
-0.0304
Let n = -7.26 - 365.74. Let j = -373.05 - n. Which is greater: j or -1.9?
j
Let z be (-2)/(-2)*((3 - 9) + 6). Let f be -75*(16/6 - (3 - z)). Is f at least 27?
False
Let f be (242/(-10) - 1)/((-222)/740). Suppose -8*t + 425 = -3*t. Do t and f have the same value?
False
Let h = -0.16842 - 0.03158. Let x(r) = 8*r + 23. Let l be x(-7). Which is bigger: l or h?
h
Suppose -50 = -2*n - 18. Suppose 8*j + 0 - n = 0. Does j = 4?
False
Let g = 1234 + -480025/389. Let m = g + 137/98028. Which is smaller: -1 or m?
-1
Let j(a) = -a**2 - 10*a + 105. Let n = -236 + 220. Let g be j(n). Which is greater: 7 or g?
g
Let a = 8.5 + -23. Let p = a + 77.5. Let c = 63 - p. Does -86 = c?
False
Suppose 5*t - 2*n - 35 = 0, -n + 0 = 5. Suppose g - t*g = -116. Let y = g + -1. Is 28 greater than y?
False
Suppose -15*k - 2*k + 116 + 1159 = 0. Is 0 less than k?
True
Let v(y) be the third derivative of y**6/120 + y**5/5 - 5*y**4/6 - 31*y**3/6 - 3*y**2. Let i be v(-13). Suppose j + 9*j = -i. Which is smaller: -7 or j?
-7
Suppose -18*b = 15*b + 1650. Let m be 180/b - 12/(-3). Which is greater: m or -37?
m
Suppose -4*l = 17 - 9. Let v(q) = 6*q**2 + 3. Let p be v(l). Let c = -27 + p. Is c greater than 4/17?
False
Let h be (-6 + 2 + -2)/((-2)/(-3)). Let g be h/(-24) + (-575)/680. Suppose 3*d = 12, 2*q + 2*d = 4*q + 8. Which is smaller: q or g?
g
Let l be -4*3*(-2)/40. Let w = -105928 - -105927.8. Which is smaller: l or w?
w
Let f = -1.19 - -1.378. Let z = f - -0.812. Which is smaller: z or 0.03?
0.03
Suppose 5*x - 21 = -4*g, -4*x - 24*g + 21*g = -16. Which is greater: x or 5/261?
x
Let y = 7947 - 7865. Which is smaller: y or -36?
-36
Let b = 7628 + -9072. Is b at least as big as -1443?
False
Let y = 10293 - 10292. Which is smaller: y or 5/2351?
5/2351
Suppose 2445 + 10515 = -9*v. Let a be (v/(-28) - 1) + (-3)/7. Does a = 1?
False
Let h be (-33)/9 + 95/57 + 67. Which is greater: 1289/20 or h?
h
Let x(m) = 12*m - 12 - 58 + 10*m. Let f be x(3). Is -9 > f?
False
Let l be 6/(-44)*165/(-60). Are 0.4 and l nonequal?
True
Let s = 2093/10188 + 19/1132. Let h = -59 + 13. Which is greater: s or h?
s
Let r = -20114 + 20113.812. Let o = -0.3 - 0. Is r >= o?
True
Let w(u) = 16 - 6*u**2 + u + 3*u**2 + u + u**3 - 10 - 3. Suppose -8 = 2*p - 0*z - 4*z, -4*z = -4*p - 4. Let j be w(p). Is j at least 26/7?
False
Let g = 142.6 + 3.4. Let u = 389 - 248. Let m = g - u. Is m greater than 1?
True
Let u = -89408 - -1161594/13. Is u smaller than -56?
False
Suppose -12*i - 3*f + 1138 = -17*i, -3*i = -4*f + 696. Which is smaller: -227 or i?
-227
Let x = 828 + 147. Let c = x + -930. Which is greater: c or 1/2?
c
Let z = -22 + -57. Let v = 76 + z. Let n be (v*(-2)/30)/14. Is 0 at most n?
True
Suppose -l + 60 = 11*l. Let r(v) = -9*v - 55. Let w be r(l). Do -100 and w have the same value?
True
Let p(q) = -9*q**2 - 45*q + 75. Let f be p(-6). Is 18 bigger than f?
False
Suppose k = -4*k + 75. Suppose 0*h - k = -3*h. Which is bigger: h or 7?
7
Let z = -568.77 + -8.23. Let f = 577.2 + z. Which is smaller: f or -3/40?
-3/40
Let z = 6469 + -6472. Which is bigger: z or -476?
z
Let l(v) = 24*v**2 - 58. Let n be l(7). Is 1 equal to n?
False
Let n be -7*6/(-70) - (-102)/5. Let i = -110 + n. Which is smaller: -90 or i?
-90
Let g = 63.026 - 0.026. Let d = 192004 + -192005. Which is smaller: g or d?
d
Let q be (3/14)/((-6)/(-32)). Suppose -24 = -4*k + 4*n, 3*k + 4*n + 4 = 5*k. Suppose -s - 4*i + 3 = -k, 2*s = -i + 5. Which is smaller: q or s?
s
Suppose 45*q + 6148 = -5642. Is q <= -263?
False
Let a = -4268 - -4268. Are a and -3/1384 nonequal?
True
Let a be 7807/(-2) - (-350)/100. Do -3899 and a have different values?
True
Let o be (-8 + 3)*9/(-15). Suppose d = -4*b + 8, d + o*d + 4*b - 8 = 0. Let g be (-72)/(-4) - (d - (3 - 3)). Is 17 greater than g?
False
Let q(l) = l + 5. Let c be q(3). Suppose -b - c*b = 234. Which is greater: -25 or b?
-25
Let f = 20.2818 - -0.1782. Let u = 1.54 + f. Suppose -2*k = -4*k. Which is smaller: u or k?
k
Let m be (24/10)/(6/(-20)). Let g = -757/86 - -13/43. Are m and g unequal?
True
Suppose -94*s - 448 = -5*s - 6144. Which is smaller: s or -72?
-72
Let f be (-50)/(-500) + 1311/(-10). Which is bigger: -121 or f?
-121
Let y be 5 + -5 + 1 + 18. Let b(l) = l**2 - 28*l + 155. Let x be b(7). Which is smaller: x or y?
x
Let z = 176 + -1234/7. Are z and -1/705 unequal?
True
Suppose 2*z + 13*i - 9*i = -146, 3*z + 201 = -3*i. Is 13 bigger than z?
True
Suppose -4 = -k - 0*k. Suppose -4*c - 4 = -k*v, -v + 7 = -4*c - 0*c. Let n be 2*(v/2)/