ual?
True
Let z(n) = 28*n + 225. Let y be z(-8). Do y and 1/2944 have the same value?
False
Let l(f) = -f + 12. Let t = -26 + 35. Let v be l(t). Let s(d) = d**3 - 3*d**2 - 1. Let q be s(v). Does q = -1?
True
Let b be (-12649)/(-104) - 9/(-24). Let f = b - 28. Which is smaller: 0.4 or f?
0.4
Let n be (-2)/((-1)/(1/(-4))). Suppose -3*x = -3*i + 12, 5*i - 21 = 3*x + 1. Let q be 40/16*x/(-10). Which is bigger: q or n?
q
Let f = -3922 - -3650. Which is greater: f or -288?
f
Let i(r) = -68*r - 478. Let z be i(-10). Is 202 > z?
False
Let i be (14/248)/(72/48 - (1 - -1)). Which is smaller: 1 or i?
i
Suppose 3*l + 5*f - 210 - 443 = 0, -4*f = -l + 195. Let z = l - 318. Is -108 greater than or equal to z?
False
Let v = 0.048 + -0.398. Let t = -0.55 + v. Let s = 44.1 - t. Which is smaller: s or -1?
-1
Let w(j) = 6*j**2 + 25*j + 141. Let d be w(-11). Let z = 591 - d. Which is smaller: 4/281 or z?
z
Let n(v) = v**2 + v - 6. Let j be n(-5). Suppose -5*b = -l - 75, 0 = -16388*b + 16384*b + l + 62. Is b at most as big as j?
True
Let h(g) = -22*g - 22*g - 10*g + 32*g + 221 - 2*g. Let w be h(6). Which is smaller: 382/5 or w?
382/5
Let q(j) = -180*j**2 - 334*j + 6. Let r be q(-3). Is r >= -613?
True
Suppose 3*f = g - 2211, -f - 2486 + 13541 = 5*g. Which is smaller: 2212 or g?
g
Suppose -a - 2 + 0 = l, -4*l - 2 = a. Let m be 7/(-42) - -113*a/(-1284). Which is smaller: m or -1?
-1
Let v(k) = 2 - 3 + 9*k**2 + 2 + 3*k - 2. Let m be v(9). Let x be (-1 - 0/(-2)) + m/745. Is x equal to -1?
False
Suppose 5*d - 4*u = 1366, -5*d + 6*d = 3*u + 282. Let y be (d/(-72))/(3/344). Which is smaller: -431 or y?
-431
Let c(r) = -r**3 + 4*r**2 - 50*r - 5. Let b be c(-8). Is b at most as big as 1162?
False
Suppose -6165 = -7213*x + 7258*x. Let u be (-138 + -1)*(1 - 0). Is u less than or equal to x?
True
Let m = 24332 + -24332. Which is smaller: 70/271 or m?
m
Let o(l) = -4*l**3 - 3*l**2 + 1. Let b be o(-3). Let p(t) = t**3 - 39*t**2 + 250*t + 20. Let f be p(31). Is b less than or equal to f?
True
Let c = 24 - 24.005. Which is greater: 7 or c?
7
Suppose 2*p - 1 = 21. Suppose -p*y + 8 = -10*y. Suppose -6 = -2*j - y. Which is smaller: j or -1/28?
j
Let h be -1 - 0 - (1 - -38). Suppose -429 = -10*m - 3*m. Suppose 0 = m*w - 22*w + 429. Which is smaller: h or w?
h
Let v = 8/571 - -1086/3997. Does -191/30 = v?
False
Let g be (20/(-4) - 695)*1. Let m be (6/(-10) + 1)/(35/g). Does -13 = m?
False
Let r(u) = u**2 + 4*u + 4. Let g be r(-1). Let j be g*2/(-4) + 13/26. Is -5/29 equal to j?
False
Let w = -33 + -46. Let s = 79.03 + w. Is 10 > s?
True
Let p be 3 - ((-114)/19 + 9). Which is smaller: p or 29/273?
p
Let y be ((6/9)/(-2))/(1 + 6/(-9)). Which is bigger: -5/1007 or y?
-5/1007
Let p be 12/(-3) + 127/32. Let j = -40 - -1. Let y = j - -39. Is y less than or equal to p?
False
Let r = 6.558 - 5.82. Let i = r + -0.538. Which is smaller: i or 73?
i
Let u = 133 + -115. Suppose 2*m = 11*m + u. Let t be m + ((-24)/(-15) - -1). Which is bigger: -4 or t?
t
Let f(k) = 2*k**3 - 6*k**2 - 8*k - 13. Let m be f(-9). Let o = m + 92362/49. Let w = -71/441 + o. Which is bigger: 0 or w?
0
Let k(g) = -g**3 - 7*g**2 - 13*g - 3. Let z be k(-5). Suppose -4*n + 4 = u, 10 = -2*n + u + z. Which is smaller: -3/173 or n?
-3/173
Let r = -38687.99385 - -38683. Let z = 0.05215 - r. Let j = z + -0.046. Is j greater than 1/19?
True
Suppose -2*w = -4*h - 4, 4*h = -3*w + h - 3. Let t be -2 + 1 - w/3. Let r = -267/7 - -6633/175. Which is smaller: r or t?
t
Let x be (-636)/583 + 596/22 + -10. Which is smaller: x or 708/41?
x
Let l be ((-3)/(-4))/((-3)/2)*-4. Suppose 0 = 2*h + l*y - 16, -4*h + 6 = 2*y - 22. Let q be h/(-9) + -2*1/(-3). Is -1/60 <= q?
True
Let w be (-8 - (4 - 6)) + 2/(-2). Let t be -1 + (-12)/(-3) + 20/w. Which is bigger: t or 7?
7
Suppose -8*f + 28 - 4 = 0. Let x be f/7*(-2)/3. Let s = -657/4 + 165. Is x > s?
False
Let z = 146970/11 + -13417. Which is smaller: -57 or z?
-57
Suppose 5*h = 3*v - 308, 0 = -5*v + h + 102 + 426. Let l = -6.958 - -7.058. Which is greater: v or l?
v
Suppose 4*w - 4*j = 124, 5*j - 268 = 2*w - 300. Let b = 0.7 - -2.3. Let t = b - 4. Which is smaller: t or w?
t
Let i = 91 + -91.079. Let d = i - 0.011. Is -17 at most as big as d?
True
Let r = 186 - 204. Which is smaller: r or -50?
-50
Suppose -5*f = -5*v - 425, 0 = 5*v + f - 2718 + 3095. Is -47 equal to v?
False
Let c be -68 + 2/(-2) + (3 - 0). Suppose 346 = -5*u + 2*d, 4*d + 288 = 37*u - 41*u. Are c and u nonequal?
True
Let k(d) = d**3 + 8*d**2 + 7*d. Let f be k(-7). Suppose f = 4*i - 17 + 113. Which is smaller: -4 or i?
i
Suppose -2*k + 116 = -2*d, 3*k - 214 = 4*d - 42. Let w be ((-1)/(-36))/(k/160). Let v be 4/(36/(-39)) - -4. Are v and w non-equal?
True
Let d = 59.116 + -0.116. Let w = 1330.1 - 1389. Let m = w + d. Are m and 27 non-equal?
True
Let s = 53.08 - -1.92. Let p = s + -55. Are -0.26 and p equal?
False
Let t = 5305 + -249343/47. Let y = -58 - -59. Is t < y?
True
Suppose -132*c + 111629 + 329126 = 78547. Which is smaller: c or 2746?
c
Let s = 165 - 14. Let j = s + -149. Which is bigger: j or -2/25?
j
Suppose 56*c - 5*x - 10 = 55*c, 0 = 4*c - 5*x - 100. Suppose 0 = 2*v + w + c, -5*w = v - 3 - 0. Does -152/9 = v?
False
Suppose 21*o = 18*o + 5*t + 21, 3*o + 4*t = -6. Which is smaller: 192/77 or o?
o
Let r(y) = -2*y**2 - y - 10. Let q be r(-6). Let b = q - -76. Is 0 < b?
False
Let n(f) = -7 + 15 + 6*f - 4 + 3*f**2. Let h be n(-3). Suppose -3*a = -0*a + 3*o - 9, 5*a + 4*o = h. Which is smaller: a or 5/3?
a
Let t be (-2)/20*-16*(-2838840)/757008 + 6. Is t bigger than 1?
False
Suppose 127534 - 326026 = 11*b - 53*b. Which is bigger: b or 1?
b
Suppose 5*f - 2*f - 19 = 4*l, -3*l = 3*f + 9. Suppose 0 = -s + 5, 2*i - s = 4*s - 17. Let z be ((-4)/560)/((-36)/(-10) - i). Is z greater than or equal to f?
False
Let z be -8*1 + 35910/4491. Let n be 50/25 + (-1)/1. Which is smaller: n or z?
z
Let o be 20/16 + 50/(-40). Which is bigger: 169/8 or o?
169/8
Let t be 4/(-14)*(6634 - 61). Which is bigger: -1879 or t?
t
Suppose -29*n + 4 = -27*n. Suppose -n*x + 3*l - 5*l - 2 = 0, 4*x + l = -4. Which is bigger: 7/90 or x?
7/90
Suppose 43*h + 17400 + 18376 = 0. Let s be -1 + -5 + (-4)/(h/1247). Which is smaller: s or 1?
s
Suppose 2*n = -9*g + 12*g - 104, n = g - 33. Suppose -g*h = -29*h. Which is smaller: -4/91 or h?
-4/91
Suppose 5*x + 192 = 11*x. Suppose 5*l + 72 = x. Which is greater: l or -2/5?
-2/5
Let z = -1922508 - -71138051/37. Let p = z - 142. Does 1 = p?
False
Let k be 6/2 + ((-4)/(-30) - 136365/43425). Which is smaller: 0 or k?
k
Suppose -3*b - 34 = -133. Let s(p) = 4*p**2 - 23*p - 67. Let m be s(8). Suppose -27 = -2*h + m*k, 4*k + b = 3*h + 10. Are h and -2/7 nonequal?
True
Let r = -18 + 24. Suppose -10*u + r*u + 2800 = 0. Let m be 1/4 + (-75)/u. Is m bigger than 3?
False
Let z = -1.2 + -85.8. Let j = -100 - z. Let t = -10 + j. Which is smaller: t or 0?
t
Let v = -1641 + 1771. Which is bigger: 386/3 or v?
v
Let d(h) = -h**3 + 28*h**2 + 10*h + 617. Let y be d(31). Does y = -1954?
False
Let l = 383 - 380.07. Let u = l - -2.91. Let i = u - -0.16. Is -1 at least i?
False
Let u = 110 + -879/8. Let k be (-256)/(-16) - 4325/275. Which is smaller: k or u?
u
Suppose -185*r - 4*u = -186*r + 49, -5*u = 2*r - 176. Is 653/9 bigger than r?
False
Let h be (-7 - (-6111)/(-54))*10 - -5. Is -1 <= h?
False
Let b = 793 - -6675. Which is greater: 7466 or b?
b
Suppose 4*l + 0 + 1 = f, 4 = 4*f + 4*l. Let c be 2/(-6) + f + 34/3. Suppose 5*h + 5*j = -17 - 13, 2*j - c = 4*h. Is -40/13 <= h?
False
Suppose 6 = 12*b - 15*b. Let i be 176/(-888)*3/b. Which is smaller: -1 or i?
-1
Let s = 1.0246 + -3.0246. Which is smaller: 7603 or s?
s
Let m = -5320 + 930998/175. Which is smaller: m or 0.1?
m
Suppose 4*l = -3*o + 70, -3*l = o - 2*l - 24. Let q be ((-39)/o)/(9/(-6)). Which is smaller: 1/563 or q?
1/563
Let y = 315 + 383. Let k = y - 678.5. Which is smaller: 1 or k?
1
Let n(t) = t**2 + 4*t + 2. Let a be n(-5). Let q(b) = 4*b**3 - 3*b**2 + 7*b - 18. Let y be q(3). Let f be 471/y + 2*1/8. Is a less than f?
False
Suppose -110 = 2*j - 7*j - 5*l, -5*l = -3*j + 34. Let c = j + -9. Let w(m) = -66*m - 190. Let a be w(-3). Is a < c?
True
Let y = 106/175 - 8/25. Suppose 5*w = l - 197, -6*l - 2*w - 194 = -7*l. Let u = 196 - l. Is y >= u?
False
Let k = -12 + -12. Let h = -8.8 + k. L