Suppose 390 = -j + r*j. Which is smaller: j or 0.5?
0.5
Let k(j) = -2*j**2 - 26*j - 20. Let g be k(-12). Let t be 2/(-14) + 60/28. Suppose 5*m - 2 = t*l, -2*m - g = l - 3. Is l less than or equal to -2/113?
True
Let b be (75/(-9) - 1)*3. Let f = 18 + b. Let s = f + 9. Which is smaller: s or -2/45?
s
Let j = 52.907 - 53. Let u = -2.907 + j. Which is bigger: u or 7/3?
7/3
Suppose 0 = 5*t + 4*m - m - 218, 5*t - 4*m = 211. Let p be 52 - (-50 - -59)*2. Which is smaller: p or t?
p
Let n be ((-4)/(-4))/((-7)/(-21)). Suppose -n*v + 11 = 4*s, v + 13*s - 8*s - 22 = 0. Is 20 smaller than v?
False
Let a be (22 - (1 - 9))*4/(-3). Let d(v) = 8*v + 319. Let s be d(a). Let b be (8/6 - 1)*-4. Which is smaller: s or b?
b
Let t be -11 + (-16)/(-2) - -14. Let j be 2/(-4) + t/(396/(-426)). Which is smaller: j or -11?
j
Let a = 25700929/1669 - 15399. Is a at least as big as -1?
True
Let j(l) = 53*l**2 - 3*l - 3. Let i be j(-1). Let q = 65 - i. Let y = q + -16. Is -2 smaller than y?
False
Let k be 134/603 + (-115)/(-9) + 0. Let t be 432/(-104) - (-2)/k. Let p = -911/246 - -3/82. Is t at most p?
True
Let j(k) = k**2 + 25*k + 62. Let s be j(-23). Let c be (-85)/136 - (-2)/s. Is c bigger than 3.7?
False
Let j = 2163 - 2175. Which is smaller: j or 169?
j
Let u = 21984.88 - 21985. Is u > 35?
False
Let g = 270 - -1293. Suppose g + 462 = -45*d. Which is smaller: d or -44?
d
Let s = 1.635 + -2.635. Which is bigger: -799/4 or s?
s
Let t = -308 + 302. Let q be (-222)/(-18) + (-13 - -6) + t. Let k = -4 + 3. Is q at least as big as k?
True
Suppose 4*a + 65 = 3*d, -5*a = -8*a + 3. Suppose -d*h + 60 = -33*h. Is -6 < h?
False
Suppose 6 = 2*c, 5*c + 168 = 4*o - 533. Is 179 equal to o?
True
Let t = 4/2179 - 601504/54475. Which is smaller: t or -11?
t
Let q = -57.66 - -57. Let l = 8.16 + q. Let s = l - 8.8. Is 2/9 >= s?
True
Let a be (-18)/12*(-704)/12. Suppose -c + a + 35 = 2*i, 4*i - 258 = 2*c. Suppose -5*u + h = -319, 4*h = 3*u - 0*h - 205. Is u less than or equal to i?
True
Let p be (-6)/(-24) + (-2266)/8. Let a = -283 - p. Is 2 bigger than a?
True
Let n = -284.0209 - -284. Let a = 0.0791 - n. Is -692 at most as big as a?
True
Suppose 3*u - 2 = -i - 1, 5*u + 5 = -3*i. Suppose 4*l + 13*a - 650 = 15*a, -u*a = 3*l - 505. Which is bigger: l or 164?
l
Suppose 432 = 116*n - 118*n. Let u = n + 216. Is 1/128 > u?
True
Suppose -5*u - 4 - 16 = 0. Let d be 42/4*(-28)/(-49). Are u and d unequal?
True
Let g be ((-52)/(-5))/(38/8645). Let l be (-4)/26 + 533/g. Is 1 greater than l?
True
Suppose 28*x - 33*x + 15 = 0. Suppose 5*n + 17 = x*a, 3*n - 13 + 36 = 5*a. Let c be 4/42*(-9)/4. Is c != n?
True
Suppose -2 = -5*l + r, 115*r - 8 = 3*l + 119*r. Let n be (30/84)/((-1)/2). Which is smaller: l or n?
n
Let r = 625 + -911. Let u = r - -907/3. Which is greater: 17 or u?
17
Let x = 238 + -238.2. Let m be (1 - 24/15)*5. Let k be -1*((-3)/m - 1). Which is smaller: k or x?
x
Let s = -11.2 + -0.8. Let p = 14 + -25. Let u = p - s. Which is smaller: u or -2/21?
-2/21
Let l = -361 - -24196/67. Is l > 0?
True
Let k be (1 + -5)*(-1)/1. Suppose k*o + 0*u + 2*u + 36 = 0, 0 = -4*o - u - 38. Let l be o/15*(-6)/(-28). Which is smaller: -2/9 or l?
-2/9
Let h(c) = 7*c + 1. Let w be h(5). Let b(i) = -37*i**2 + 9216*i - 711. Let z be b(249). Is w at most as big as z?
True
Let s = -1085438/1371643 + 72/91. Which is smaller: s or 1?
s
Suppose 4*x - 9*x + 3028 = -3*z, -2*z - 2040 = 2*x. Is z greater than or equal to -1016?
True
Suppose -x - 4*g - 23 = 0, 0 = 4*x - 3*g - 1 - 2. Let n = -869 + 873. Let h be (-1)/(n/16) + 1. Do h and x have the same value?
True
Let t be ((-540)/50)/(2/(-5)). Let q = t + -19. Suppose -3*x + 11 = q*x. Which is bigger: x or 3/29?
x
Suppose -72174 = -29*l + 171020. Which is smaller: l or 8385?
8385
Let b(u) = 43*u + 44. Let o(s) = s**3 - 3*s**2 + 13*s - 39. Let a be o(3). Let y be b(a). Which is bigger: 39 or y?
y
Suppose 11*c = 13*c - 2. Let d be ((-2)/(-3))/(1*(-5)/(-150)). Let l = -18 + d. Is l at most as big as c?
False
Let s = 33 - 15. Let y = -0.0061886 - -2.3061886. Which is smaller: y or s?
y
Suppose 0 = -4*w - 5*i + 246, 5*w + 4*i - 297 = 3*i. Let u be 55 + (56/11 - 24/264). Is u <= w?
False
Let m = -4462 - -4387. Let c = 72 + -147. Are c and m equal?
True
Let a = -147 - -77. Let d = 208/3 + a. Is d greater than or equal to -0.22?
False
Let l be 295/(-20) - (-3)/(-12). Let z be (-1)/((-5)/l*3). Let a be (-1)/z*(-5 - 0 - -4). Are -2/5 and a equal?
False
Let a(l) = -l**3 - 16*l**2 - 29*l + 12. Let p be a(-14). Let b be 3428/36 - -4*2/(-36). Suppose 2*q - f = 2*f + 45, -f = -4*q + b. Which is bigger: q or p?
p
Suppose 50 + 287 = -5*f + 3*u, -4*u + 118 = -2*f. Is f at least -72?
True
Let l(a) = -a**2 - 154*a - 3180. Let z be l(-27). Does z = 225?
False
Suppose -32*d = -18*d - 56. Suppose -5*q + f + 17 = -11, -d*f + 13 = 5*q. Let l(i) = -i + 7. Let w be l(6). Is w equal to q?
False
Let w = 0.856 + -1.01. Let h = -62.846 + w. Which is greater: 0 or h?
0
Let f = -151 - -217. Suppose -2*b - 18 - f = 0. Suppose -223 - 697 = 14*g + 9*g. Which is bigger: g or b?
g
Suppose p = -p + 5*q - 104, -p - 3*q - 41 = 0. Let r = 16168 + -16168.2. Are r and p nonequal?
True
Suppose 0 = 4*u - 4*j - 96, -u - 29*j + 26*j + 28 = 0. Does u = 0.25?
False
Let r(l) be the first derivative of 17*l**2 + 25*l + 80. Let i be r(2). Is i greater than or equal to 93?
True
Let b = 24580/3 + -8195. Is b < -24/91?
True
Let o(n) be the second derivative of -n**4/12 - 7*n**3/2 + 23*n**2/2 + 309*n - 2. Suppose 3*q - 6*k + 3*k = -60, q = -2*k - 26. Let h be o(q). Is h > -1/67?
True
Let i = 4506 - 4549. Let c(u) = -5*u**2 - 3*u. Let m be c(3). Which is smaller: m or i?
m
Let u(p) = -p + 1. Let i(m) = 27*m + 9. Let d(l) = i(l) + 18*u(l). Let o be d(-3). Which is bigger: 1/133 or o?
1/133
Let w = 530.005 - 527. Let z = -0.005 + w. Let i = -17/110 + -1/22. Are i and z equal?
False
Let a be 4355/2 - 4*(-98)/112. Which is smaller: a or 2179?
2179
Let y = 101.35 - 104.35. Let f = 22.9 + 6.1. Which is bigger: y or f?
f
Let t = 0 - -1. Suppose -4*a = -3*a - 4*q + 19, 0 = -5*a + 5*q - 20. Let s be a*(7 - (-348)/(-52)). Is s < t?
True
Suppose -2*q + 5*y + 8 = -1, 6 = -2*y. Let k be q - 1/(-3*1/9). Let j(d) = -d**3 - 4*d**2 - d - 3. Let l be j(-4). Which is bigger: k or l?
l
Let a(k) = -k**2 - 6*k + 7. Let q be a(-6). Suppose -4*s - 4*z - 1164 = 0, -8*z = -3*z - 5. Let b = s - -297. Is b at least q?
False
Let b = 47507 + -194446149/4093. Which is smaller: b or -1?
-1
Let l be (-7455)/1127 + 6 + 0. Let w be (-3)/(-6) + (-1)/(-14). Let c = w + l. Which is smaller: 1 or c?
c
Let f(r) = -47*r - 13. Let v be f(0). Let a be ((-13)/(v/(-2)))/1322. Is a > 0?
False
Suppose -q = 3*f - 6*f - 2, 2*f = 4*q - 18. Is 67/18 greater than or equal to q?
False
Let u be (-10)/25*125/5. Let j(s) = s + 10. Let b be j(u). Is b > -2/137?
True
Let h = 20 - 8. Let p be 15/h*(-2)/5. Let d = 1226 - 1202. Which is greater: p or d?
d
Suppose -y = 10 - 12, -2*y = 3*z - 4. Which is smaller: z or 2/5411?
z
Let m = -2055 - -1606. Let x(j) = 30*j + 1. Let n be x(-15). Is n greater than m?
False
Let n = 112/2829 + 4/69. Suppose 5*k + 2*p + 26 = 0, -28 - 8 = 5*k - 3*p. Let y(w) = w**3 + 5*w**2 - 4*w + 11. Let d be y(k). Which is bigger: d or n?
n
Let u be 8/76 + 327/(-38). Let i be (-1)/(-2) + 63/(-42). Let h be ((-2)/2 - -11)/i. Which is smaller: u or h?
h
Suppose 3*z + 2*s = -50 + 123, 2*s = -4*z + 94. Let k be 9/z - (-12)/21. Let o be (-2 - -1)/((-46)/12). Is k at most o?
False
Let f(n) = -2033*n + 4151. Let s be f(2). Which is smaller: s or 131?
s
Let t = 70684618501 - 678360282336679/9597. Let w = t - -28/1371. Let b = w - 148. Which is smaller: b or 37?
b
Let b(t) = 415*t + 2323. Let c be b(-6). Are -669/4 and c nonequal?
True
Let j = 18209.41 + -18209. Is j smaller than -277?
False
Let j = -206.8 - -3.8. Let d = -196 - j. Which is greater: d or 15?
15
Suppose -5350 = -4*z + 3*m, 3*z + 16*m - 4023 = 13*m. Is 1341 greater than or equal to z?
True
Let j = -62 - -36. Let z = j - -58. Let b = z - 38. Are b and -29/5 nonequal?
True
Let i = -32933/7383411 - -22/10269. Which is smaller: i or 1?
i
Suppose 2*s = -4*l + 16, -s = 35*l - 24*l - 8. Which is smaller: l or -7/10?
-7/10
Let c(a) = a**3 - 37*a**2 - 73*a - 158. Let j be c(39). Which is smaller: j or 189/5?
j
Let s be (