: a or 25/6?
a
Let i be 12/9 + (28/(-105))/((-12)/(-1330)). Which is greater: i or -29?
i
Let a(y) = 45*y**2 - y - 1. Let c be a(-2). Suppose -193*l - 238196 = -1509*l. Is c greater than or equal to l?
True
Let i be (7312/(-5))/(1/((-55)/22)). Let r be i/59840 - 6/102. Which is smaller: r or 1?
r
Let n = 11/68 - -3/34. Let o = -1924 - -1958.44. Let v = o + -0.44. Which is smaller: n or v?
n
Let i(r) = -r**2 + 5*r + 6. Let l be i(6). Let g be (-4)/(5 - (-19590)/(-642)) - 16/168. Which is greater: l or g?
g
Let a = -184272/17 - -10840. Is a at most 0?
False
Suppose 3*j = -c + 26277, 17508 = -587*j + 589*j + 4*c. Is 8759 >= j?
False
Let q = 4 - 3. Let k = -227.1 - -38.1. Let g = k + 193. Which is bigger: g or q?
g
Let h = 1874 - 1873.3. Let r = -13 + 8. Which is greater: r or h?
h
Let a = 2/2479 - 64468/17353. Let z = a - 145/42. Is z greater than or equal to -6?
False
Let i = 10 - 9.65. Let v = i + -0.375. Let g = v + -14.975. Which is smaller: 0 or g?
g
Let c be (1/(-2))/((-19)/38). Let q = -219076/1407 + 1090/7. Which is bigger: c or q?
c
Suppose -3*n + 5*n = -4*l - 4, 4*n + 3*l - 2 = 0. Suppose -n*h = -2*t - 8, 3*t - 4*t + 2*h = 7. Do -1/466 and t have the same value?
False
Suppose 3*h = -2*h - 3*x, 0 = 5*x. Let z = 1/166 + -292/249. Which is bigger: z or h?
h
Let u(l) = 2*l**3 + 87*l**2 + 720*l - 10. Let t be u(-11). Is -82 not equal to t?
True
Let n(t) = -t**3 - t**2 + 34*t - 9. Let f be n(0). Suppose j + 22 = -9*h + 12*h, 15 = -5*h. Which is smaller: f or j?
j
Suppose -200 - 56 = 2*n. Let t be n/1170 - (-50)/325. Let k = t + -59/315. Which is smaller: 7 or k?
k
Let r be 1*2*6/(18 + -6). Which is greater: r or -4/181?
r
Let g = -181881/82 - -2218. Let k = -149/246 + g. Which is greater: -549 or k?
k
Let n(g) = -3*g**3 + 15*g**2 + g - 7. Let b be n(5). Let k be b/12 - (-1)/((-24)/(-28)). Is -3/31 <= k?
True
Let s = 11.4 - 14. Suppose -3*f - 8 = -2*f. Let l be 7/f*(-14)/49. Are l and s equal?
False
Let x(u) = u**3 + 6*u**2 + 10*u. Suppose -13 - 2 = 5*w. Let s be x(w). Let r be 5 + s + -4 + 3. Are r and 1 nonequal?
False
Let d = -1376 - -1373.5. Are d and -6 unequal?
True
Let w be 135/(-18)*(-5 + (-20948)/(-4190)). Which is smaller: -1 or w?
-1
Suppose -2*y = -7*y. Suppose 5*k + 3*o + 12 = y, -2*o = -o + 4. Do 2/287 and k have the same value?
False
Let a = 129759 - 1687935/13. Is -81 at least a?
True
Let p(y) = -74*y + 1598. Let n be p(21). Which is smaller: 137 or n?
n
Let p = 8649 + -8574.93. Let q = -153.1 + p. Let i = -79 - q. Do -2/3 and i have different values?
True
Suppose -k - 3*z = -20, z + 50 = 2*k - 3*z. Let g = 48 + -43. Suppose -4*v = p, -g*v = -2*v + 3*p. Are k and v non-equal?
True
Let d = 251 + -155. Let n = 67 - d. Which is smaller: -27 or n?
n
Let q = 19/668 - 14363/1503. Which is bigger: -9 or q?
-9
Suppose 2 = 2*x - 3*p, 2*p + 4 = -x + 6*p. Suppose 11*l = -x*l + l. Which is bigger: -0.13 or l?
l
Let f(p) = p**3 - 7*p**2 + 4*p + 13. Let a be f(6). Let b = -15543817/5166 + 21062/7. Let w = 1/246 - b. Which is smaller: a or w?
w
Let m(b) = -35*b**3 - 8*b**2 + 4. Let a be m(-1). Which is smaller: a or 186?
a
Suppose 8965 - 31555 = 45*i. Which is bigger: -1505/3 or i?
-1505/3
Suppose -387 = -3*l - 3*s, -4*s + 0*s = -2*l + 228. Suppose 3*q - 4*q = 4*h - 31, -4*q + l = -5*h. Which is greater: q or -0.7?
q
Let n be (-3)/1 - (-402 - -73)/47. Let v = 5 + -3. Let l be (v/9)/(7/84). Which is bigger: n or l?
n
Let v(x) = -7*x - 112. Let i(l) = l - 1. Let k(u) = -3*i(u) - v(u). Let w be k(0). Let t be 1*2 + (-368)/w. Which is bigger: -2 or t?
t
Let v be ((1 - 2)*-2)/(76/836). Let a be (-408)/(-20)*(-4 + v/3). Is a <= 66?
False
Let r(c) = -c**3 - 3*c**2 + 9*c - 3. Let m be r(-5). Let y be (-8)/(-4) + -5 + m. Which is bigger: -100 or y?
y
Let j be (-1)/(3 - (-54)/(-21)). Suppose -c - 5*n + 18 = 0, 4*n + 18 = 4*c + 6*n. Let q be (c + (-39)/15)/2. Which is greater: q or j?
q
Let p = -62 - -60. Let q = 15 - 9. Let v be ((-5)/p)/(9/q) - 2. Is 1 at least as big as v?
True
Let a = 12481 - 12481. Let b be (-4)/(-162) + -1 + 1. Which is smaller: b or a?
a
Let p = -44.93 - -42.93. Are 154/9 and p unequal?
True
Let x be (-66769)/23920 - (-14)/5. Does -1 = x?
False
Let c be (-8 - -6)/(1/(-2)) - 1. Suppose -4*z - c*l = -803, z = 6*z + 2*l - 1009. Is 203 at most as big as z?
True
Let j = 104.4 - 145.4. Is -180 < j?
True
Let o = 26 + -26. Let l(i) = -i**2 + 2*i - 1. Let a be l(o). Let r be (a + 2)*(-15)/5. Is -13/6 > r?
True
Let u = 0.65 - -0.35. Let i = 1200 - 1533. Which is bigger: u or i?
u
Let y be 48/160*(-20)/(-56). Suppose -47 = 3*f - 44. Is f at most as big as y?
True
Let p = 0.07 - 0.3. Let d = 2.4 + -4.63. Let n = d - p. Which is smaller: 2/19 or n?
n
Let d = -38.279 + 37.46. Is d at least as big as 1?
False
Suppose 82*k - 51865 = -369*k. Are 137 and k equal?
False
Let l be -2*(3/2)/((-6)/26). Let c = 17 - l. Suppose 0 = -q - 4*a + 2*a - 1, 1 = -q - c*a. Do 2/89 and q have the same value?
False
Let u = -9.6 - -10.01. Let d = -0.0657 - -1.0657. Which is greater: d or u?
d
Let b = 11 - -184. Suppose 5*q - g = 163 + 62, -5*q - 5*g = -b. Is q smaller than 42?
False
Let f = -2100 - -2102. Let s = 9/356 + 8427/4628. Is f less than or equal to s?
False
Let d = -1.051 + 2.002. Let y = -250 - -250.049. Let x = y + d. Is 13 at least x?
True
Let y = 0.4 + 4.6. Let b = -79828 + 558792/7. Is y less than b?
False
Let y = 691 - 658. Suppose -y*f + 27*f = 744. Is f at most as big as -245/2?
True
Suppose 2*a = 2*h - 6, 2*a + h - 3 = 4*a. Suppose 5*z + 5 = 4*r, -4*r + 8 + a = -4*z. Suppose -5*y = 3*n + 4, -z*n + 3*y - 40 = -y. Which is greater: -7 or n?
-7
Let j(c) = 25*c**2 - c - 2. Let s be j(-1). Let i = 23 - s. Let o be i + (-27)/12 + 3. Which is bigger: -1 or o?
o
Let q(w) = -w - 5. Let p be q(-5). Suppose v = -p*v + 51. Suppose v = -7*a + 170. Which is greater: a or 19?
19
Suppose 6 = -3*i, -72*i + 75*i + 15 = -3*r. Let w(m) = 3*m + 48. Let p be w(r). Do p and 39 have the same value?
True
Let b(u) = 3*u - 20. Let j be b(16). Suppose 6*n + j = 2*n. Let q = 15 + n. Are q and 8 unequal?
False
Suppose 34 = -102*l + 68*l. Which is smaller: l or -3/1607?
l
Let o = -3202 - -3097. Suppose 2*v + 213 = 3*m, 2*v + 3*m + 2*m = -205. Do o and v have different values?
False
Let m = 268 + -294. Let j be (-142)/280 - m/(-182). Which is bigger: j or -2?
j
Suppose 12*z = 22000 + 1292. Which is bigger: 1948 or z?
1948
Let s = -1534 - -1614. Which is smaller: 2 or s?
2
Let a be 3831/27 - (120/54)/(-20). Are 143 and a nonequal?
True
Let r be 4/(-12) + 7845/(-11808) + 1. Let z = r + 1456287/14432. Let v = z - 81074/803. Which is smaller: 1 or v?
v
Let n(v) = -74*v + 300. Let j be n(-2). Is 448 greater than j?
False
Let w = -9102 - -1847714/203. Which is smaller: w or 0?
0
Suppose -15 = -4*b - b. Suppose 0 = 5*x - 29 + 34, 3*v - 3 = 3*x. Let l be 220/(-6) - (v + 1/b). Is -38 at least as big as l?
False
Let o = 47356 + -47357. Let t = -3/43 - 686/645. Which is bigger: t or o?
o
Suppose 2*o - 24 = 5*o. Let p(q) = -q**3 - 8*q**2 - q - 8. Let w be p(o). Which is bigger: 1/67 or w?
1/67
Let f be ((-3)/36*(-8 - -10 - 5))/1. Is f < 1964?
True
Let p(q) = -27*q - 171. Let b be p(-7). Let i be 10/b - (-14 - -11) - 6. Which is smaller: -1 or i?
i
Let h = -36 - -84. Suppose 0 = -h*w + 47*w - 34. Let n be (1/w)/(-4*2/32). Which is smaller: 0 or n?
0
Suppose 0 = -81*s + 85*s + 484. Let u = 228 + -353. Which is smaller: s or u?
u
Let w be 1020598/(-255024) + (-24)/(30/(-5)). Let c = -1/504 + w. Which is smaller: 0 or c?
c
Let g = 2/57 + 167/114. Let b = -1061 + 544. Let j = b + 501. Is j at least as big as g?
False
Suppose 5*z - 5*r + 2095 = -0*r, -3*z + 5*r = 1257. Let v = -420 - z. Does 0.063 = v?
False
Let b(y) = y**3 - 4*y**2 - y + 4. Let h be b(3). Let g(c) = 965*c - 102298. Let d be g(106). Do d and h have the same value?
True
Let o = -28166/9 + 3130. Is 48 not equal to o?
True
Suppose 61 = 3*h - 56. Suppose 441*k - 841*k - 1660 - 597 = -461*k. Which is greater: h or k?
h
Let b = -899293671/6958 - -129246. Are b and 0 equal?
False
Let x = -210/13 + 629/39. Let m be (((-24)/(-9))/(-8))/(-1 + (-4)/(-3)). Which is bigger: x or m?
x
Let n = 50 + 23. Which is bigger: n or 2?
n
Let x(w) = 4*w + 2197. Let y be x(88). Is y != 5097/2?
True
Let d = -2/181 - -372/905. Suppose a + 0*a = -1. Wh