greater: f or 90?
90
Let a = 29375/2554 + -2/1277. Which is smaller: -0.2 or a?
-0.2
Suppose -47*i + 19*i + 544644 = 53*i. Which is greater: 6725 or i?
6725
Let a be (-8 + -21 + 14)/(((-4)/(-2))/(-2)). Let o = 15 - 1. Which is smaller: o or a?
o
Let m = -363833/11481624 - -66/2071. Which is bigger: 1 or m?
1
Suppose -143*d - 33049 - 14497 = 1503. Which is bigger: 5 or d?
5
Let u = 913 - 912.6. Let a be (1/15)/((-9)/(-27)). Is u < a?
False
Let i = 650.29 - 653. Let a = -2.81 - i. Is -80.1 not equal to a?
True
Let u = 334 - 222. Suppose -5*k + 280 = -5*w, -u = -4*k - 4*w + 104. Let z = -892518 - -892519. Which is greater: k or z?
k
Suppose -5*y = 3*x - 63, y - 2*y + 16 = 4*x. Let d be -4 - 30/y*-2. Do 1/187 and d have the same value?
False
Let w = -10456 - -10372. Which is smaller: w or 0.9?
w
Suppose 4*z + 7988 = a, 0 = -2*z - 4*a + 7*a - 3994. Which is greater: z or -1998?
z
Let f = 8062 + -8061. Let c be 1/165*-1*1. Which is smaller: c or f?
c
Suppose -38*y + 33*y = -500. Suppose -74 = 2*s + y. Is -86 < s?
False
Let v = -19 - -15. Let c = -70.7 + 501.5. Let r = c - 432. Which is bigger: r or v?
r
Let q(x) = 24*x - 166. Let i be q(7). Let w be (-11568)/108 + i/18. Is -103 >= w?
True
Let p = -2635 + 165989/63. Which is smaller: 0 or p?
p
Let f = -14472 + 15383. Is f bigger than 915?
False
Let v = -0.0497 - -0.0459. Let s = v - -3.2138. Is s <= 1/2?
False
Suppose 4 - 20 = -4*b. Suppose -b*q - 117 = -3*z, -2*q - q = 0. Suppose z - 34 = -j. Which is greater: j or -4?
-4
Suppose 0 = 60*i - 54 + 234. Which is smaller: -19/6 or i?
-19/6
Suppose t = -2*t. Let v be (9 + 165/(-18))/1. Which is smaller: t or v?
v
Let j = -14512 + 2754. Is j at least -11759?
True
Let c = 149963410/31998369 + -2348/501. Is c < -1?
False
Let d be 295/24*(-58)/(-2813). Let l = -1/291 + d. Do l and 2 have the same value?
False
Let d = 213 - 160. Let h = d + -54. Which is smaller: 1/338 or h?
h
Let b = -8611/3784 - -183/86. Is b at most as big as 0?
True
Let w = -21635 + 21578. Which is smaller: w or -16.1?
w
Let i be ((-530)/1272)/((-87)/(-156)). Which is bigger: -1 or i?
i
Let y be 3 + (-6)/2 - -3. Suppose 4*p = -y*p + 28. Suppose 0*n + 2*l + 10 = 2*n, -n + 20 = -p*l. Which is smaller: n or 1/20?
n
Suppose 4*p + 1439 = -2*i - i, -4*p - 2417 = 5*i. Is -0.3 less than i?
False
Let m(f) = 2*f**3 - 2*f**2 - 47. Suppose 4*c - 9 = 5*l + 16, -3*c + 5*l = -25. Let d be m(c). Is d != -47?
False
Suppose -2*q + 7 = z, 3*z = -50*q + 52*q - 3. Is z less than -4/5875?
False
Let l be 20724/232518 - (-3)/39. Is 0 equal to l?
False
Let i be (45/(-25) - -3)*65. Let r = i - 73. Suppose -4*a = -k + 105, -r*k = 3*a - 5*a - 75. Which is smaller: a or -23?
a
Let r be (-24)/140 - (-3 + (-24)/(-10)). Suppose -3*o + 5*t + 34 = 0, 2*t - 5 = -5*o - 0. Suppose -o*u + 31 = 4*d - 9, 5*d - 73 = 2*u. Is r < d?
True
Let w = 13 + -28. Let b = w + 15.04. Let v = -2365 + 4735/2. Which is smaller: b or v?
b
Let q be ((-225)/(-62) - 2) + 234/(-156). Let i = -2 + 2. Which is greater: q or i?
q
Let a(h) = 5*h**2 + 223*h + 79. Let l be a(-51). Suppose 1713 = -2*w + l. Is w equal to -2/227?
False
Let g be (15 + -21)*43/2. Let c be -1*6/(-14) - g/(-301). Is c > -3/5?
True
Let r = 19 + -16. Let i = -0.31 + 0.41. Let j = i + -0.18. Which is smaller: r or j?
j
Suppose -p + 66 - 21 = 0. Let w = 503 + -197. Let n = w - 262. Which is smaller: n or p?
n
Let i(q) = -q + 5. Let d be i(0). Suppose 3*g - d*b + 21 = -g, -3*b = -2*g - 13. Suppose -144 + 144 = 29*v. Which is smaller: v or g?
v
Let m = -1273.31 + -20.69. Let c = -1285 - m. Let g(o) = o**2 - 2*o - 2. Let d be g(3). Do c and d have the same value?
False
Let h(q) = -7*q**3 - 2*q**2 - 7. Let l be h(5). Let n be (0 - (-36330)/39) + 0. Let a = l + n. Is a at least -1?
True
Let u be 96*14/12*-2. Suppose -46*o - 8476 = 9035 - 7207. Is u <= o?
True
Let n = -13.01 + 13. Let b = -1/574 + 30279/287. Let c = b - 105. Which is bigger: c or n?
c
Let h be 1/(6/(6 - 0)). Are h and 2/147 nonequal?
True
Let n be ((-920)/(-50))/(2352/(-72)). Are n and 0 equal?
False
Suppose 26*x + 34810 = -8606 + 7640. Are -1378 and x non-equal?
True
Let w = -13372 - -13371. Is w at least 1/37447?
False
Suppose 24 = 15*p - 16*p. Suppose -b = 16*b + 374. Which is smaller: p or b?
p
Suppose d = r - 2*d - 43, -r - 2*d = -18. Let h be 314/288 - r/(-126). Let x = -227/112 + h. Is 0.1 at least x?
True
Let o = -0.17 + -329.83. Let t = o - -441. Which is smaller: t or -0.1?
-0.1
Let q = 63947/7 - 9104. Which is smaller: q or 32?
q
Let k be (446 - -2330)*(0 - 4/6 - 2). Is k < -7404?
False
Let x be (8 - 3)*(-28)/10. Let k be (-8)/(-28) + 556/x. Let a = -39 - k. Which is smaller: -1 or a?
-1
Let o be (-682)/6 + ((-4)/26 - 1088/(-1326)). Are o and -1248/11 equal?
False
Let m(p) = -3*p**3 - 2*p**2 + 3*p + 5. Let t be m(-2). Let a be (64/(-12))/(5/t). Is a at least as big as -106/7?
False
Let h = -109 + 103.88. Let m = 1.32 + h. Is 0.1 bigger than m?
True
Let n = -24014 + 24176. Which is greater: n or 9.9?
n
Let x be (30/(-18) + 3)*-3 + 233*37. Is x greater than or equal to 0?
True
Suppose 194*u - 113*u + 486 = 0. Which is bigger: -327/52 or u?
u
Let o be (-27 + 23)*(-1 + 0). Suppose o*v - 5*u + 20 = 0, -v + 1 - 6 = -4*u. Which is smaller: v or -25/6?
v
Let f = 119.3651 - 0.3651. Is f at most as big as 2?
False
Let p(w) = w**3 + 11*w**2 - 3*w + 12. Let z(t) = 5*t**3 + 43*t**2 - 12*t + 48. Let v(x) = -9*p(x) + 2*z(x). Let l be v(14). Which is smaller: 0.1 or l?
0.1
Suppose -12*z - 12*z = -4*z + 15*z. Is z >= -1/189?
True
Let q = 5949 - 5600. Which is smaller: 351 or q?
q
Let q be -2 - 14*4/(-24). Suppose -18703*s = -18697*s - 216. Is q <= s?
True
Suppose 3*f = -2*z - 3, 2*f + 3 = -0*z - z. Suppose -z*d - 241 + 73 = 0. Let q = -113/2 - d. Which is smaller: -0.28 or q?
q
Let i = -548 - -1008. Let s = -460 + i. Which is bigger: 3/53 or s?
3/53
Let w = -1579.3 + 1577.735. Which is bigger: w or 0?
0
Let b(d) = d**3 + d**2 - d + 2. Let l be b(0). Let c(r) = 5*r - 24. Let g be c(8). Let t be 45/(-4)*g/(-42) + -3. Which is smaller: t or l?
t
Suppose -1845 = 3*v - 5*b, -474 = 2*v + 2*b + 756. Let z = v + 60881/99. Which is greater: 0 or z?
0
Let l be (144/20)/9 + 252/(-90). Which is smaller: -34/67 or l?
l
Suppose -4*z + 2*z - p + 19 = 0, 0 = -5*z + p + 51. Let u = z - 6. Is 1/20 greater than u?
False
Let n = 15 + -8. Let t = -250 - -6. Let d = -244.2 - t. Which is smaller: d or n?
d
Let a = 10253 + -10252.5199. Which is smaller: -0.3 or a?
-0.3
Let b be 0 - -284*18/(-120)*-5. Suppose 3*j + 4*w - 630 = 0, -2*j - 2*j + 3*w = -865. Which is smaller: b or j?
b
Suppose -3*d = -5*d - 4*w, -4*d = -w + 45. Let m be (d/(-6))/(((-12)/90)/(-2)). Let h(r) = r**3 - r**2 + 3*r - 1. Let y be h(3). Is m smaller than y?
True
Let p = 6507 - 6508. Are p and 4/3799 equal?
False
Suppose 0*s - 2*s + 60 = 0. Let w = 421/14 - s. Let i be 8/(-448)*-8*14/(-4). Is i bigger than w?
False
Let s = 9209 + -9299. Let t = -0.2 + 0.3. Which is greater: t or s?
t
Let l be 26 + 1957/(-76) - (-13)/(-20). Which is smaller: l or 2.508?
l
Let i be ((-30)/93)/(-22 + 21). Which is smaller: 1 or i?
i
Let f = -2.9644 + -3.0356. Which is greater: f or 65/16?
65/16
Let v = 0.083 - 435.083. Let h = v + 466. Do 3 and h have the same value?
False
Let x be ((-2)/(-3))/(16/120). Let v(i) = -i**2 + 7*i - 7. Let q be v(x). Suppose -7*j - 64 = -q*j. Which is smaller: j or -15?
j
Let u = 52028 - 36298. Do u and 15731 have the same value?
False
Let z be -31 + 36 - (0 + 3). Let h be (17/34)/((-1)/z). Is -2 equal to h?
False
Let d = 772.45 + -756. Let f = 0.45 - d. Do 3 and f have different values?
True
Let u(t) = -t**3 + 2*t**2 + 17*t - 30. Let i be u(4). Let x be i/8 + (-6350)/(-2200). Which is bigger: x or 3?
x
Let d = 15.9 + -0.4. Let j = d - -15.5. Which is bigger: j or 3?
j
Let j be (-3 - 10/(-4))*(-10)/276. Which is bigger: j or 1?
1
Let n be (-16)/780*10/(-4). Let k be -4*((-51)/42 - (-2)/(-7)). Suppose 4*w = k*w - w. Is w bigger than n?
False
Let f(l) = -l**2 + 31*l + 198. Let p be f(54). Let b be 87/p - 2/8. Are 141/2 and b unequal?
True
Let q = -185 + 130. Let p = -94554 - -94500. Which is smaller: p or q?
q
Let j(z) be the second derivative of -z**3/6 - 2*z**2 + z. Let h be j(-6). Suppose 9 = 5*f - 4*f - 4*m, -h*f - 2*m = -8. Is f equal to 5?
True
Suppose -32*j + 15