hich is bigger: y or t?
y
Let x = 832/1167 + -18/389. Which is smaller: x or -112/17?
-112/17
Let c = -2.5 - -2.4. Let o = 8.6 + -77.6. Let h = 68.9 + o. Is c less than or equal to h?
True
Let a be 16467/242 + 11/(-242). Which is smaller: a or -10?
-10
Let a be 6/1 + 47006/(-7866). Let b = a + -41/1449. Which is smaller: b or -1?
-1
Let i(x) = -x**3 - 8*x**2 - x - 5. Let v be i(-8). Let p be ((-12)/15)/(6/(-5)). Is v not equal to p?
True
Let j = 583 - 968. Let s = j - -385. Is 133 bigger than s?
True
Suppose -j = -4, 0 = 2*i + 3*i + 4*j - 41. Suppose 22*t + i = 27. Is t at least as big as -261?
True
Let s(r) = 120*r - 480. Let q be s(4). Which is smaller: 7579 or q?
q
Suppose -z - 1491 = -4*q, 484 = q - z + 109. Is 371 < q?
True
Suppose 72*n = -92*n + 24*n. Is -59/96 less than n?
True
Let o(z) = 903*z**2 - 139*z - 134. Let u be o(-1). Is 1/6 < u?
True
Suppose -n = 4*a - 8, -9*n + 3*a - 7 = -10*n. Suppose -3*g - z = -5, z + 15 = -3*g + 4*z. Let u = g + 0. Which is smaller: n or u?
u
Suppose 7*q + 55 = 83. Let k(u) = -u - 2. Let h be k(-3). Let l be (3 - (q + -4)) + h. Which is greater: l or 14/3?
14/3
Suppose 0 = -2*f + 2361*i - 2366*i + 607, 4*f - 4*i = 1284. Is 296 at most f?
True
Let g be (12 - 742/56)/(93/(-12)). Which is greater: 1 or g?
1
Let f be (65/25 + -3)*30/1662. Which is smaller: f or -1?
-1
Suppose 304*v = 299*v - 3230. Is -647 > v?
False
Let n(i) = 21*i**2 + 68*i + 130. Let g be n(-3). Is 75 >= g?
False
Let o be (((-464)/(-12))/(8/36))/1. Let y be o/203 - (-2579)/(-3017). Is y equal to 1?
False
Let f be (15/(-3))/1 - 3. Let l be (35/(-14))/((-10)/28). Let p(d) = -d**2 + 5*d + 11. Let o be p(l). Are f and o equal?
False
Suppose -17*c - 2721 - 1971 = 0. Which is smaller: c or -272?
c
Let c(i) = -5*i + 9. Let x be c(-3). Let n be 6/4*(-2)/(-3). Let a = n - -23. Is x smaller than a?
False
Let h be 115594/205 - (-186)/155. Let j = -565 + h. Is -1 bigger than j?
False
Let b be 1 + (-2)/(-4) + (-3236916)/2157336. Is 0 bigger than b?
True
Suppose -2*p + 5*p = -9. Let x be (-8)/(-3)*p/36. Let u = 1000 + -999.9. Is x < u?
True
Suppose 0 = 4*g - 14*g + 610. Suppose 0 = -79*f + g*f - 828. Which is greater: f or -49?
f
Let s = -261 + 261. Suppose 4*l = -p + 4, s = 4*p - 6*p - 3*l + 28. Are 20 and p nonequal?
False
Let f = -242.03 - -241.53. Is f <= -198?
False
Let j be -344 + 333 + -108 + 0. Which is smaller: j or -120?
-120
Let b be (373 - 4698)*(-2)/2. Are 4323 and b equal?
False
Let r(u) = u**3 + 16*u**2 + 39*u + 5. Let y be r(-13). Let d be y/((-150)/(-18)) - (-7)/5. Which is greater: 5/6 or d?
d
Suppose -2*b = -5*m + 2*b + 1144, 0 = -5*m + 5*b + 1145. Let p be m/8*((-23)/(-6) + -5). Do -34 and p have the same value?
False
Let x = 0.03909 + 17.56091. Which is bigger: x or -5?
x
Let m be 0 + (1/3 - 0). Let p = -47438 - -47438. Which is bigger: m or p?
m
Suppose 2598*o - 408811 = 354*o + 1390877. Suppose 3*u - 8 - 4 = 0, 1598 = 2*k - 2*u. Which is greater: o or k?
k
Let d = 7875 + -7840. Which is greater: d or 74?
74
Let a = 5 - -26. Suppose -13 = -2*s - 3. Let t be (-306)/(-10) - (-2)/s. Is a greater than or equal to t?
True
Let q = -19088 - -19087.8. Is 6577 > q?
True
Let l be 392/147*6*((-593)/296 + 2). Let a be (-5 + 2)*8/(-6). Suppose o = a*o. Which is greater: l or o?
o
Let m(x) = 2*x**2 - 26*x + 28. Let y be m(14). Suppose y = -4*n + 52. Let c be 143/(-141) - (-2 + 1). Which is smaller: n or c?
n
Suppose -2*b - 16*y + 13*y = -82, -4*y = -5*b + 182. Let a be -2 + (-2)/1 + 122/3. Which is greater: b or a?
b
Let v = 153 - 24. Let g = v - 159. Is 0.3 > g?
True
Let p be ((-16)/(-198))/(-4)*(-72)/40. Is p at least as big as 1?
False
Let i = -5668.2 - -5668. Which is smaller: i or -375?
-375
Let j = 1890 - 3048. Which is bigger: j or -1159?
j
Let c = 94/2665 - 1275481/36387910. Is c less than or equal to -1?
False
Let q(t) = -7*t**2 - 92*t - 9. Let g be q(-13). Is g > -1112?
True
Let u be ((-2)/6)/((4 - 5)/15). Suppose -u*v + 12 = -4*v. Suppose v*c + 15 = 15*c. Is c greater than 6?
False
Let j = -6 + 8. Suppose j*a - 5 = -41. Suppose 233 = 2*p + 18*p + 633. Is a greater than or equal to p?
True
Suppose 3*w = 12 + 6. Let z(o) = o - 6. Let q be z(w). Let v be 30/27 + 6937/(-6300). Do v and q have the same value?
False
Suppose -4*z = -3*l - 41, -l - 2*z + 4 = 1. Let k = -255893/2 + 127940. Is k < l?
False
Let p = 49 - 74. Let l = 25.2 + p. Are -2/29 and l nonequal?
True
Let i be 25/(2/1 - 1). Suppose 0 = -7*v + 1 + 6. Let c(m) = 26*m**2 - m. Let k be c(v). Is k <= i?
True
Let i = 3725/49 - 76. Let a = 137 - 132. Let z(w) = w**3 - 3*w**2 - 11*w + 5. Let p be z(a). Is p less than or equal to i?
True
Suppose -2*k = -4 + 14. Let t be (10/8)/k - (-344)/1120. Which is smaller: 0 or t?
0
Suppose 5*t - 8 = -f, f - 22*t - 6 = -26*t. Let o(b) = -15*b - 27. Let y be o(f). Are y and 3 non-equal?
False
Suppose 13*u = 262 + 557. Suppose -53*x + 46*x = u. Is -9 at most x?
True
Let h(k) = -4*k + 166. Let t be h(42). Let y = 0.1 + 0. Which is bigger: t or y?
y
Let f = 1557 + -2901. Let a be (f/(-78))/7 - -4. Are 5 and a equal?
False
Let y(x) = -7*x - 77. Let d be y(14). Let h = 175 + d. Which is smaller: h or -1/80?
-1/80
Let z be (718522/51)/(-7) - 10/(-15). Which is smaller: -2004 or z?
z
Suppose 6*f + 66 - 198 = 0. Suppose 0*t - 14*t + 938 = 0. Suppose y - 21 = -5*b, 4*y - 3*b - t = 17. Which is bigger: f or y?
f
Let r be -1*(((-210)/140)/((-3)/(-208)) + 0). Is 1443/14 != r?
True
Suppose 5*a + 3950 = 5*s, 128 = a + 4*s + 943. Let m be -6*((-1412)/a + 0). Let f = -56/53 - m. Is f at most 10?
True
Let l be ((-4)/(-4) - 0)/((-12)/(-88344)). Let k = -36664/5 + l. Which is smaller: 1 or k?
1
Suppose -6 = 3*h, -4*x - 12*h + 8*h + 4 = 0. Let i be ((-1)/x)/(-1)*-6 - -3. Is i bigger than -2/17?
True
Let c = -98 + 183. Let o = 84.9 - c. Is 24 at most as big as o?
False
Suppose 0 - 5 = -k. Let u = -1319/30360 + 14/759. Is u < k?
True
Suppose 5*n + 430 = 2*x, 2*n = 4*n + 3*x + 153. Which is smaller: -65 or n?
n
Suppose 0 = -5*n - 4*r + 1 + 9, 28 = 3*n - 2*r. Suppose 5*o - 3*b - 11 = 0, 2*b = -4*o + n*o - 2. Which is smaller: o or 0?
0
Let y = -8 - -10. Let o(j) = j**2 + 11*j + 7. Let z be o(-12). Let u = y - z. Is -19 >= u?
False
Let b be 3 - (-2 - -3) - (1 + (-12)/(-9)). Is b > 1499/2?
False
Let x(m) = 19*m + 23. Let s be x(8). Let r be (-4)/(-5) - 11340/s. Which is bigger: r or 0.1?
0.1
Let q = 1381330/21 + -65805. Which is bigger: -26 or q?
-26
Let k = -2193 - -2193. Which is greater: k or 3/2759?
3/2759
Let i(y) = -7*y - 17*y**2 + 6 + 101*y**2 + 120*y**2. Let q be i(1). Which is smaller: 202 or q?
202
Let j be 54/(-36)*-2 + (-16670)/5558. Is 0 > j?
False
Let m be (4/(-6))/((-1)/96). Let k be (-8 - 105/(-14))*-10. Suppose 4*i - 59 - 182 = -3*a, -k*i + 2*a = -330. Is i greater than m?
False
Let f be 6/15 + (-634616)/(-460). Does f = 1379?
False
Let a(n) = 2*n**3 + 69*n**2 - 31*n + 140. Let z be a(-35). Is -55/866 equal to z?
False
Suppose 31*v = 29*v + 566. Let f = 272 - v. Are 6 and f equal?
False
Let v be (-8)/30*636/8. Let g = 443 - 465. Which is smaller: g or v?
g
Let c be (20940/(-1310) + 16)/(6/(-3)). Which is smaller: c or -2.9?
-2.9
Let p be -3*4/1662*1. Suppose 290*c - 115 = 267*c. Suppose -c*b = -r - 15, -5 = -4*r - 2*b + 1. Is p less than or equal to r?
True
Let g = 3468 - 1550192/447. Which is greater: -2 or g?
g
Let t = 125 - 126.63. Let q = 1.93 + t. Let n = 10 - 10.01. Which is bigger: q or n?
q
Let o be 4062862967818/(-3600) + 18/18. Let t = o + 1128573082. Let w = t - 291/8. Which is greater: w or -1?
w
Let k = 88.9 - -21.1. Let d = -109.952 + k. Is 1 at most d?
False
Let v = 4728 + -5086. Is -375 greater than v?
False
Let m be -3 + 26 + (-12)/(-4) - -2. Suppose -47*x - m = -51*x. Which is greater: 84/11 or x?
84/11
Let r be (580/(-130) - (-6)/13) + 443. Are r and 436 equal?
False
Let f be 478/3*(-5)/10*30. Which is greater: -2391 or f?
f
Suppose -135*i - 9628 = -130*i + b, i = 5*b - 1962. Which is smaller: i or -1916?
i
Let j be (-3)/699*3*18/108. Suppose 2*x + 6 = 0, -8*s + 12 = -3*s - 4*x. Is j < s?
True
Suppose -118*w + 125*w = 1050. Let k be (-190)/8 + (w/40)/(-15). Let j be 2/((-2)/24 - 0). Is j greater than k?
False
Let a(l) = -34*l + 24. Let u(c) = -101*c + 73. Let r(t) = -8*a(t) + 3*u(t). Let d be r(-12). Let q be (-1)/4 - d/36. Do q an