-7996.32. Which is smaller: 5 or j?
j
Suppose 0 = -10*g + 22 - 2. Suppose 0 = -u + g, -29 = -9*a + 8*a - 3*u. Is -1/2 at least as big as a?
False
Let s be (-9)/(-27) - 46/3. Let l be -6*5/s + (-654)/324. Suppose -4*u = 2*h - 2, -2*u + h + 3 = -0*u. Is u less than l?
False
Let t = -3 - -48. Is t equal to 48?
False
Suppose 12193 + 14211 = 82*b. Let p = 21.7 + -20.7. Which is bigger: p or b?
b
Let j(z) = -z**3 + 3 - 3*z**2 - 1 + 5*z + 0*z**2 - 1. Let u be j(-4). Let s be 3*u/((-36)/112). Is s at least 28?
True
Let p = 315 + -282. Let f = 113/3 - 37. Which is smaller: p or f?
f
Suppose -2 = 740*i - 736*i - r, 0 = i - r + 2. Is i at least -16/51?
True
Let l(q) = -2*q**3 + 2*q**2 + 19*q - 1. Let k be l(0). Which is smaller: k or 1/5141?
k
Let i(q) = -102*q - 4658. Let l be i(-42). Is -747/2 greater than l?
True
Let q = -0.05142 + -28.94858. Is q greater than or equal to -1/15?
False
Let q = 27.565 + 0.235. Let r = -33 + q. Let s = -4.2 - r. Which is smaller: s or -18?
-18
Let k be (-35)/45 + (-1)/(-36) + (-38)/152. Let v = 9 - 69. Is k < v?
False
Let i be 6/4*(-92)/(-6). Let v = 52 + -50. Suppose 0 = 4*n - t - v + 1, n + 4*t = -21. Which is smaller: n or i?
n
Suppose -6*h - 2*h = -2*h. Suppose -2*k = -h*k + 12. Let i be (2/(-2))/((-12)/k). Are i and 3/4 nonequal?
True
Let v = 234.3 + -852.5. Which is bigger: 1 or v?
1
Let g(z) = -11*z - 26. Let l be g(-12). Suppose 0 = -3*f + 2*j + 27 + 56, -l = -4*f + 5*j. Suppose -b = 2*s - f, s + 4*b = -4*s + 71. Which is smaller: s or 14?
14
Suppose -39*i = -148*i - 26051. Which is smaller: i or 1/5?
i
Let i be (72/(-3))/((-3)/(-6)). Let l = i + 101. Which is smaller: l or 51?
51
Suppose 4*x - 4*y + 1316 = 0, -3 + 2 = -y. Let b = x - -308. Is b at most -16?
True
Let i = 74.76 + 1.24. Let n = i + -77. Do n and 5.9 have different values?
True
Let i = -166390 - -12478978/75. Is -3 >= i?
True
Let z = 1/92 - -181/276. Let y be (-8)/18*(-1122)/88. Which is smaller: y or z?
z
Suppose 54256 = -17*w - 3322 - 5441. Is -3704 <= w?
False
Suppose -z - 3*y = 164, -z - 12*y + 8*y = 168. Which is greater: z or -119?
-119
Suppose 20 = 2*r - 20. Let b(o) = -39*o**2 + 40*o - 1. Let f be b(1). Suppose f = -27*j + 22*j + r. Which is smaller: j or 7?
j
Let n be (-7)/((-42)/(-12)) + 5. Let i be (-4)/16 + ((-843)/(-4))/n. Suppose 0 = 2*v + 3*v, 2*g + i = 3*v. Is g not equal to -34?
True
Let d(q) = -7*q - 2. Let a(p) = 7*p + 1. Let h(g) = -5*a(g) - 4*d(g). Let l be h(1). Let r(s) = s**2 + 3*s - 4. Let f be r(l). Is f less than -2/71?
False
Let a be (-2)/(-16)*17 - 3. Let q = -28 + 26. Let h be (14/5 + -2)/q. Is h less than a?
False
Suppose 84*t = -36*t - 13*t + 1064. Let p = -0.2 + 0.11. Is p at least t?
False
Let r be -6 + ((-34)/204)/((-1)/4702). Which is smaller: r or 777?
777
Suppose 3*n - 24*v + 187 = -19*v, -v + 127 = -2*n. Is -31 > n?
True
Suppose -4*c - 6111 = -3*d, -13*d - 3059 = 2*c - 14*d. Is c <= -4?
True
Let u = 237.24 - 240. Let i = u + -0.24. Which is smaller: i or -1/33?
i
Let p be -7*(-39)/(-182) + (-3757)/(-2). Are 1876 and p non-equal?
True
Let v = 15218917/99 - 153728. Let q = v + 5/11. Suppose 0 = -2*a - 2*c - 30, -502*c = 3*a - 498*c + 58. Is a equal to q?
False
Suppose -n - m - 8 = -2, 0 = -n - 2*m - 8. Let x be (1 - 1) + 32/(-11). Which is smaller: n or x?
n
Let z = -27 - -26.92. Is -22/7 != z?
True
Let x(c) = -c + 49. Let k be x(21). Let i be 0 - (384/k)/6. Let q be 5/(-2) - 1/(-2). Which is smaller: q or i?
i
Suppose -g - 5*r = -150, -3*g = -5*r + 219 - 589. Let t be 72/(-45) - 15/(-25). Let q be 1/2 - (t + g/84). Which is bigger: q or -1?
q
Let x = -8 + 8. Let h = 5568 - 5567.74. Is h < x?
False
Let n = -51 + 73. Suppose -2*c = 7*c - 477. Suppose -3*p = c + n. Which is smaller: p or -24?
p
Let m = -11234 - -13935. Which is smaller: m or 2703?
m
Let p = -832 + 9156/11. Let d = 7 - 15/2. Which is greater: p or d?
p
Let t = 2085 - -1060. Which is smaller: 3144 or t?
3144
Let w = -7151.004 + 7150. Is w < 7?
True
Let v = -3739 - -3738. Does -5/1467 = v?
False
Suppose -2*d - 1 = -u, 4*u = d + 682 - 685. Is u at least as big as 4/551?
False
Suppose -20*c + 21 = -13*c. Let p(t) = t**2 + t - 3*t**2 + 0*t**3 + 4*t**3 - 6*t**c - 1. Let w be p(-2). Do w and 5 have the same value?
True
Let g(z) = -z**3 + 6*z**2 + 7*z + 2. Let c be g(7). Let t = -10 + c. Let o(r) = -6*r**2 - r. Let v be o(1). Which is greater: v or t?
v
Suppose 5*i - 2729 = 12*x - 10*x, -4*i - 3*x = -2174. Which is bigger: i or -3?
i
Let o = 1505561/7964 - 99/724. Which is smaller: o or 189?
o
Let j = -3.1 - 0.3. Let q = j + 11.9. Let y = 9.5 - q. Is y bigger than -8/7?
True
Suppose 0 = -0*a + 6*a - 42. Suppose d - 714 = a*d. Is d less than -119?
False
Let l(v) be the second derivative of v**4/24 + 2*v**3 + 13*v**2/2 + 3*v. Let s(k) be the first derivative of l(k). Let g be s(-8). Which is greater: 0 or g?
g
Suppose -50 = -2*l - 14. Suppose -6*t - 19*t + 294 + 131 = 0. Which is bigger: t or l?
l
Let m(x) = 6*x + 37. Let c be m(-6). Let h(t) = t**2 + 5*t - 5. Let y be h(c). Let w be (2/y - (47 + -8)) + 0. Which is bigger: -36 or w?
-36
Suppose 12*x - 21*x = -27. Suppose 2*d - 153 = a, -3*a - 517 = -x*d - 61. Which is smaller: -150 or a?
a
Let u(o) = 19*o + 302. Let d be u(-17). Let i be 86*7/(d/3). Are i and -85 unequal?
True
Let w = 483.3 + -479.3. Which is smaller: -0.25 or w?
-0.25
Let x be (0 - -2)/(452/(-65314)). Are x and -287 equal?
False
Suppose 0 = 100*u + 7684 - 7884. Let s(k) = 5*k + 1. Let a be s(-5). Is a greater than u?
False
Suppose 0 = -10*z + 2*z + 256. Let s be 27/(-45) - z/5. Let l be s/(-3)*3*2/7. Is l not equal to -1?
True
Let a = 17366 - 17046. Is a < 323?
True
Suppose -10*v = 56842 + 53588. Which is greater: -11044 or v?
v
Let s be (748/(-429))/(-17)*(-1 - (-303)/(-6)). Which is smaller: -5 or s?
s
Let f = 292 + -289. Is 3/512 greater than or equal to f?
False
Suppose -4*l - 3*x + 1 = 0, -3*l + 3 = 2*x + 2. Let t be (-20)/(-30)*690/4. Let n = 115 - t. Which is smaller: n or l?
n
Let q(m) = -m**2 + 22*m - 37. Let y be q(20). Suppose 2*x - y*k = 194 - 28, 2*x + 2*k - 156 = 0. Which is bigger: x or 82?
82
Suppose 5*s - 2*s - 66 = 0. Suppose -3*o = -0*o - 6, s = 3*y + 5*o. Suppose -3*b + 8 = -y. Which is smaller: 3 or b?
3
Suppose 0 = 62*n - 79 - 2959. Which is smaller: 634/13 or n?
634/13
Suppose -5*y - 4*r = -7*y - 676, -2*y - 651 = r. Let c = y + 344. Is 111/7 < c?
True
Let m = -3480 - -5371. Is 1891 <= m?
True
Let s = 219231097293/71720 + -30567639/10. Let c = -20/163 - s. Which is greater: 1 or c?
1
Let l = -22 + 45. Let w = -29 + l. Let b be (-3 + 13/3)*w/(-316). Which is smaller: b or 0.1?
b
Let y(i) = -i**3 - 5*i**2 + 22*i + 59. Let w be y(-7). Suppose w*u - 3*v + 9 = 0, 0 = 2*u + 4*v - 9*v + 15. Which is smaller: 1/17 or u?
u
Let y be (6/16)/((-5)/140). Let u(r) = 2 - 66*r**2 - 64*r**2 + 2*r + 128*r**2. Let f be u(-2). Which is smaller: f or y?
y
Let g be (609/(-14) - 6)*56/(-21). Do 129 and g have different values?
True
Let t = -2561 - -23101/9. Let j(o) = 2*o + 0*o + 3*o + 95 - 8*o. Let r be j(30). Is r >= t?
False
Let j = 13813/51810 - -1/17270. Which is bigger: 47/6 or j?
47/6
Let r(g) = 2*g**3 + 12*g**2 - 6*g - 41. Let c be r(-6). Which is smaller: c or -464/85?
-464/85
Let s = -0.315 + 0.162. Let y = 0.047 - s. Let j = -133/110 - -13/10. Which is smaller: j or y?
j
Let i = -9721 + 5144. Let s = i + 82411/18. Is s <= 0?
False
Let m be 1/(-2 + 47/23). Let x = -7872.1 - -7872. Which is bigger: m or x?
m
Let j = -1055/22 + -160/11. Let y = 63 + j. Let m be (-18)/27 - (-10)/6. Is y <= m?
True
Let w = -31.9 - -12.5. Let q = -13.9 - w. Which is bigger: -1/4 or q?
q
Let l = 66853 - 462709/7. Which is greater: 753 or l?
753
Let f = -3248/13401 - -30/1489. Is -1/45 less than f?
False
Let q = -42212/5 + 8544. Let o = q - 1201/10. Let c = o + 18. Is c >= -2?
True
Let f = 509 - 486. Suppose f*p + 7 = 30*p. Is p > 2/101?
True
Let b be -3 - (5 - (7 + -4)). Let g be ((-280)/22)/b + -2. Let y = 6 - 5. Which is smaller: g or y?
g
Suppose -16 = 4*v - 5*g, -g = 5*v + 2*g - 17. Suppose 222*b = 232*b - 6090. Let m = b - 608. Are m and v equal?
True
Let u = -1747/4 + 440. Let b be (7751/(-92))/(2/(16/2)). Let f = b - -341. Which is smaller: u or f?
u
Suppose 0 = -r + q - 6*q + 6, -3*r = -q - 18. Let b be (r - 5)*(-2)/2. Which is smaller: b or