m be d(-17). Let i be m/(10/36) - -3. Which is smaller: b or i?
i
Let h = 1532.2 - 1532.23624. Is h smaller than 1?
True
Let x = 52.09 + -52.09. Let d = 141 + -89. Which is smaller: d or x?
x
Suppose -4*j = 19*j + 6762. Let p = j - -317. Is p smaller than 0?
False
Suppose -1474 - 639 - 1559 = -54*t. Is t < 1?
False
Suppose -a - 1 + 0 = 0. Let t = 416443/37 - 11255. Is t < a?
False
Let m = -418 - -420. Let s = 0.075 - 50.075. Is s less than m?
True
Let c = -0.9584 - 973.0416. Do c and 0 have the same value?
False
Suppose 29528 = -2*z - 9667 + 11979. Are -13607 and z equal?
False
Let g = 65882/448497 + 2/45765. Which is smaller: g or 1?
g
Let k = -1024.7 + 1022.7. Are k and -539 equal?
False
Suppose d = 3*r + 15, -2*r - 1 = 3*d - 2. Suppose d*l + 26 = 26. Suppose -3*j = t - 7*j - 15, l = t + 2*j - 9. Which is bigger: 76/7 or t?
t
Let t = -384 + 414. Suppose 221 = 17*m - t*m. Which is greater: m or 6?
6
Suppose -3*a = a + q, 0 = 3*a + 4*q - 13. Let y be (-3 + (-314)/(-45))/4. Let j = y + -21/20. Which is smaller: a or j?
a
Let p = -2.0848 + -0.1212. Let n = p - -0.206. Are -152 and n equal?
False
Suppose -4*p + 2*p - 16 = 0. Let w be (-25545)/260 - 2/(-12 - 0). Let v = -423/4 - w. Which is smaller: p or v?
p
Suppose -439 - 208 = 4*b + 5*l, 0 = 3*b - 3*l + 519. Is -838/5 at most as big as b?
False
Let d(t) = 5*t - 143. Let o(b) = 5*b - 139. Let m(v) = -3*d(v) + 4*o(v). Let z be m(11). Which is smaller: z or -70?
z
Let y be (-66)/11*1/(-3)*-53. Let i(m) = 4*m**3 + m**2 + 2*m. Let g be i(-3). Which is bigger: y or g?
g
Let l(z) = 5*z + 45. Suppose -m + 14*m + 117 = 0. Let u be l(m). Do -3/10 and u have the same value?
False
Suppose 13*v + 5134 = -23986. Let b be 4/(-10)*v/(-128). Which is smaller: 2 or b?
b
Let h be 0/(-1 + 0/9). Suppose h = -59*s + 64*s + 80. Let a = 30 - 45. Is a < s?
False
Suppose 2*w - 26 = -3*w + x, 4*w - 15 = -5*x. Let b = -12 - -22. Suppose -w*f - b = -10. Which is greater: f or -2?
f
Let p = 3648/13 + -282. Which is smaller: -2/5 or p?
p
Suppose -5*b = m, 2*b + 6*m = 2*b + 11*m. Suppose o + y - 27 = 0, -3*o + y + 47 = -50. Which is smaller: o or b?
b
Let h = 58 + -51. Let l = -167.97 - -168. Is h >= l?
True
Let s(g) = -g - 7. Let t = -130 - -126. Let o be s(t). Let z be 0/(2/3*-3). Are o and z equal?
False
Let u be (-6)/7*425/(-175). Which is bigger: u or 3?
3
Let k = -5 - -5. Suppose 0 = -k*x + 2*x. Let t = -414 - -414. Is x > t?
False
Suppose -4*g - 72 - 160 = 0. Suppose 0 = 39*b - 45*b - 30. Let u(x) = 17*x + 26. Let y be u(b). Is y smaller than g?
True
Let n = 0.0208 - -31.0792. Let l = n + -31.4. Which is greater: 3/34 or l?
3/34
Let i(s) = 155*s - 125. Let l be i(11). Suppose l = 13*a + 7*a. Is 79 at most as big as a?
True
Let g = -136 + 1498/11. Suppose 115 = 6*b - b. Let n = 22 - b. Which is smaller: n or g?
n
Suppose 7*t = -0*t - 490. Let x = t - -70. Which is greater: x or -10/19?
x
Let q = -2.5252 + 303.5252. Which is smaller: 0.03 or q?
0.03
Let v = 154.8 - -24.2. Let z = v + -76. Is -0.1 >= z?
False
Suppose 4*u = -3*i + 3089, -u = -4*i + 2849 + 1295. Which is greater: 6 or i?
i
Let r = -61 - -3. Let o = 45 + 10. Let h = o + r. Is -1 at most as big as h?
False
Let z = 85/59 + -2439/1652. Which is bigger: 1/33 or z?
1/33
Let k(u) = 9*u + 6. Let g be k(-1). Let b be (g/(4 + -7))/(2/(-14)). Suppose -5*l - 27 = -2*l. Is b less than l?
False
Let o be 1 - (-9)/((-36)/(-80)). Let b = -16 + o. Suppose 8*f - 12 = 10*f. Is b bigger than f?
True
Let c = 12.426 - 9.426. Let a be (1728/(-140))/(-4) + -3. Is a > c?
False
Let i be 77 + -9 + (3 - 0). Let q = i - 96. Which is smaller: 3 or q?
q
Let k = 13 + 13. Suppose k*s - 21*s = -40. Let f be (-116)/(-29)*(2 - (-94)/s). Is -38 at most as big as f?
False
Let b = 9.5 + 14.4. Let v = 23.92 - b. Let h = -0.8 + 0.5. Which is greater: v or h?
v
Suppose -5*d = 2*q - 0*q - 50, -d = 5*q - 102. Suppose 36*c = q - 92. Which is bigger: c or -32?
c
Let u = -1.4 + 2.3. Let o = -5.9 + u. Let a = -702 - -701. Which is smaller: a or o?
o
Let p(v) = -28*v + 82. Let s = -574 + 577. Let y be p(s). Let b = -5 + 2. Are y and b equal?
False
Suppose -6*b + 17*b = 33. Suppose 5*x = -4*r + 165, -2*x + 33 = -x + b*r. Let j = x + -29. Which is smaller: j or 16/3?
j
Let l(h) = -h**2 + 4*h + 3. Let g be l(5). Let k = 23 + -63. Let a be k/36*(-13)/(-26). Is g at most a?
True
Suppose 8*w + 8 = 32. Let m(g) = g + 5. Let p be m(-5). Let a be -3*(p - -1) + w - 1. Is -1/4 less than a?
False
Suppose -5*p - n = -3*n + 16, p + 4*n - 10 = 0. Let t be (p/2 - 1)/((-54)/3780). Do t and 139 have different values?
True
Let i = -4781.96 + 4782. Is i equal to 0.139?
False
Let y = 18196 + -18271. Which is bigger: y or 33?
33
Let z = 2.4 - 1.4. Let d(f) = f + 13. Let k be d(-14). Let c be k/(0 + 12) + 0. Which is smaller: z or c?
c
Let o(b) = -369*b**3 + 2*b**2 - 5*b - 6. Let z be o(-1). Let i = z - 372. Which is bigger: 0.089 or i?
0.089
Let h = 1046 - 1215. Is h at least -171?
True
Let y = -24 + 24. Let s(m) = m + 4. Let h be s(y). Suppose f = -g + 2*g + 42, 0 = -h*g - 2*f - 144. Is g at least as big as -38?
True
Suppose 12 = 4*s, 5*z - 5*s - 148 - 382 = 0. Let w = z + -101. Let f(t) = -t**3 + 7*t**2 + 8*t - 3. Let j be f(w). Which is smaller: -40/9 or j?
-40/9
Suppose -5*g + 2*o = 19 - 11, -9*g - 3*o = -12. Which is greater: -23 or g?
g
Let y(h) = 25*h**2 + 17*h - 32. Let a be y(2). Let d = -56 - a. Which is greater: -157 or d?
-157
Let z = 4018 - 4070. Which is smaller: z or 44?
z
Let n = 646 - 645.9906. Let x = 1.1394 - n. Which is smaller: -0.1 or x?
-0.1
Let h = 8 + -5. Let c(i) = 3*i + 10 + 4 - 7*i - 2*i + i. Let z be c(h). Do z and 5/14 have different values?
True
Let d be 2/6*(152746/(-132834) + 1/3). Are -0.2 and d equal?
False
Let c(d) = d**2 + 23*d + 24. Let n be c(-22). Let b be (2 - 1184/616)*n/4. Which is smaller: b or -1?
-1
Let a = 322 - 322.2. Which is smaller: a or -154.3?
-154.3
Let i(r) = -7*r**3 + 7*r**2 - 5*r + 96. Let v(o) = -6*o**3 + 7*o**2 - 6*o + 95. Let k(m) = -4*i(m) + 5*v(m). Let j be k(7). Is j != -322?
False
Let l = 10306459 + -216351988/21. Let c = 3985 - l. Is 3 greater than or equal to c?
True
Let t be (-6700)/(-11970) - 4/7. Suppose 4*p = 137*s - 133*s - 16, s - 10 = 3*p. Is t equal to s?
False
Let h = 9330 + -9327. Which is smaller: 315/149 or h?
315/149
Let k(x) = 2*x**2 + 5*x. Let r be k(5). Suppose 3*v - r = -57. Suppose -v*y + 5*j = -3*y + 5, -3*y - 5*j - 25 = 0. Which is smaller: -6 or y?
-6
Let v = 62.494 + 3.246. Let u = 4 + -70. Let q = v + u. Is q < -0.1?
True
Let s = -4210 - -4345. Which is smaller: s or 19?
19
Suppose -4*p - 8*j + 6 = -13*j, 0 = -p + 4*j + 7. Let h be -2 + 6 + (5 - 6) - p. Is -2.8 greater than or equal to h?
False
Suppose r + 22 + 133 = -5*s, 4*r + 4*s = -556. Let p be 3*(-1)/(r/(-63)). Which is greater: p or -1?
-1
Let o = -1916.3 + 1916. Which is bigger: 1019 or o?
1019
Let u be 2/(-1 - (-2)/4). Let c be 104/10 - u/(-10). Let o(q) = -q**3 + 9*q**2 + 4*q + 9. Let w be o(c). Which is smaller: -50 or w?
w
Suppose n - 127 = 4*r, -4*n - 128 - 24 = 4*r. Let a be (-1460)/56 - -4 - r/(-77). Which is bigger: -23 or a?
a
Let b = -4.8 - -11.8. Which is smaller: b or 0.047?
0.047
Suppose -2*b = -0*w - w + 2, -1 = -b + w. Let m be ((-8)/(-40))/(5/b). Let n be 0*(-224)/128*2/7. Which is smaller: m or n?
m
Let l = -24 - -23.9. Suppose 0 = -5*b + 384 - 164. Let u = b + 24. Which is smaller: u or l?
l
Let r = -11 + 7. Let q(a) = a - 1. Let f(v) = 5*v + 78. Let u(k) = -f(k) + 2*q(k). Let z be u(-26). Is z equal to r?
False
Let g(a) = 20*a**3 + 9*a**2 + a - 3. Let i be g(-3). Let z = i + 468. Which is smaller: -10 or z?
-10
Let x = -2049 + 6313. Do 4261 and x have the same value?
False
Let u(l) = 2*l**2 + 2*l + 1. Let j be u(-1). Let p be 4864/(-18) + 416/(-72) + 6. Let k be 160/p - (-4)/6. Is j < k?
False
Suppose -26*g - 14*g = 40. Is g < 4/1051?
True
Let p be (-1)/(3/(-15)) - 11. Let g be (-16*(-3)/1008)/((-44)/p). Is g greater than 1?
False
Let q be -2 - 63416/(-7048) - (-1 + (9 - 1)). Which is smaller: 1 or q?
q
Let c(k) = -2*k**2 + 8*k - 1. Let x be c(3). Let n be 18/(-4 + 2 - x) + 3. Which is greater: -1 or n?
n
Let k be 94 + 1 + (-77)/(-44)*-4. Which is greater: k or 802/9?
802/9
Let h = 562/1891 - 26/61. Let v = 205/93 - h. Is v greater than or equal to 1?
True
Su