hich is smaller: i or t?
i
Let t be 150/45*(-3)/(-5). Suppose -4 = t*r, -2*o + 6*o + r + 26 = 0. Are o and 31 nonequal?
True
Let p = -804 - -487. Let x = p + 323. Let b = 0 + -1. Is b less than x?
True
Let f = 39.477 + -34.477. Are -9.63 and f unequal?
True
Let d be ((-216)/30)/(8/220). Let u = -107 - d. Suppose 10*r + 59 + u = 0. Is -14 greater than r?
True
Let s be (-15)/(-9) - 4/6. Let t = 483441/338 - 18594/13. Is t <= s?
True
Let c = -118 + 257. Let l = c - 98. Let d = l - 41.1. Is d greater than 0.13?
False
Let h = -826 - -802. Let l be 410/(-18) - 4/18. Is h less than or equal to l?
True
Let p be (-15)/(-6)*6/3. Suppose -2*b = -19 - p. Suppose 19*y - b = 20*y. Is y less than or equal to -12?
True
Let p = 1/7070 - -3917/869610. Is 4 less than p?
False
Let x = -2357820/7 + 337556. Which is bigger: x or 725?
725
Let s be (-3 + (-83)/5)*(8 + -3). Let t be (s/(-21))/((-4)/(-6)). Suppose -3*f + 2*j - 13 - t = 0, 0 = f + j. Is f less than -4?
False
Let p = -12498 + 12182. Is p equal to 15?
False
Suppose 0 = -104*o + 1406 - 366. Which is bigger: o or -18.1?
o
Let r = 15.711 - 15.9. Let f = 4253 - 4254. Is f at least as big as r?
False
Let g(c) = -523*c + 11505. Let r be g(22). Is -3/13214 at most as big as r?
False
Let c be (18642/(-104))/((-3)/40). Suppose -c + 133 = -37*j. Do j and 62 have different values?
True
Suppose 5*h + 2918 = 7*c - 10*c, 2332 = -4*h - 2*c. Which is bigger: -584 or h?
h
Let r = -3046.06 - -2996. Let b = 5.2 - 55.2. Let y = b - r. Which is bigger: 4/9 or y?
4/9
Let j = -23372 + 31528826/1349. Which is smaller: j or 2/3?
j
Suppose -2*u = -24 - 66. Let n = 136 + -91. Let v = u - n. Which is smaller: v or 3/17?
v
Let a be (2 - 4/(-16))*5520/(-60). Which is greater: a or -212?
a
Let i be 2/(-1 + 3) - (-62 - (3 + -65)). Which is smaller: -1/1476 or i?
-1/1476
Suppose -3*i + 198 = 114. Let p be -4 + (i - -3) + (0 - 3). Let q be 8/p*(0 + 0). Is -6/5 bigger than q?
False
Let i(x) = -69*x - 70. Let d be i(-1). Which is smaller: d or 4156?
d
Suppose 5*o - 1315 = 3*c - 371, -4*c = -2*o + 372. Which is greater: 188 or o?
o
Suppose -3*p = 0, -5*k + 4*p - 34500 - 35705 = 0. Let d = k + 4816059/343. Which is smaller: -1 or d?
-1
Let x = -3503 + 3503. Which is bigger: x or -12.25?
x
Suppose -3*l + l + 10 = g, 22 = 3*l + 5*g. Let m be 2/(-14)*-30 + 56/(-196). Suppose 3*z - 8 = -l*q + 2, -2*q = m*z - 30. Which is greater: z or 8?
z
Let i(q) = -q**3 + q**2 + 4*q + 1. Let j be i(3). Let w = -2144 - -2146. Which is smaller: j or w?
j
Let x be ((-1)/8 - ((-380)/(-32) - 12))/2. Which is greater: -117/145 or x?
x
Suppose g + 0*g = -6. Suppose -3 - 12 = -5*h. Let r be 11 - g*h/(-6). Is -1 != r?
True
Let i(a) = a**3 + 9*a**2 + 9*a + 16. Suppose -3*b + 0*b - 24 = 0. Let f be i(b). Let y be ((-42)/(-35))/((-2)/(-15)). Do y and f have the same value?
False
Let w = 102 + -96. Suppose 0 = 3*s - 19 - 26. Suppose -w*t - s = -t. Which is smaller: -0.03 or t?
t
Let g = 432 - 431.9. Which is smaller: 0.519 or g?
g
Let k(o) = 3*o + 11. Let q(c) = -3*c - 11. Let w(x) = -6*k(x) - 7*q(x). Let n be w(-4). Let v = 4588/3913 - 49/43. Is n bigger than v?
False
Let n be (13/(143/22))/((-2)/(-18)). Which is smaller: -27 or n?
-27
Let t = 600767/664540 + -895/892. Which is smaller: -1 or t?
-1
Suppose 0 = 68*x + 14 - 14. Is x bigger than -3/2326?
True
Let k = -14155 - -14155. Is k bigger than -0.0549?
True
Let p be (-280)/(-32)*(168/1372)/(38/(-14)). Suppose k + 0*k + 2 = -3*t, -4*t + 1 = 5*k. Is t at most p?
True
Suppose -2*l + 1 + 16 = 3*k, -5*l + 17 = -k. Suppose 2*d + 148 = -4*p, 0*p - k*p = -3*d - 195. Which is smaller: -70 or d?
-70
Let w be 1 - (-38)/(-34) - (-8)/68. Suppose -8*d + d - 119 = w. Which is greater: -20 or d?
d
Let c be 2 - (1 - 2 - -164). Let j(g) = -2*g**3 + 17*g**2 - 66*g + 56. Let m be j(6). Which is smaller: c or m?
c
Let v be -1*(30 - (5 + 6)). Which is smaller: -734/41 or v?
v
Let j = -486.254 + 487. Let t = 0.746 - j. Is 181 at least t?
True
Let k be 3/2*(-18)/(1242/299). Which is smaller: -3/5 or k?
k
Suppose 269*i = 265*i + 12, 0 = 5*f - 4*i + 12. Let q(p) be the second derivative of 13*p**3/6 - 27*p**2/2 - 2*p. Let s be q(f). Is s bigger than -26?
False
Let b = -0.004 - -23.004. Let x = 80 - 79.53. Let z = x + -0.37. Which is smaller: z or b?
z
Let l(q) = 2*q**3 + 12*q**2 - 17*q - 14. Let d be l(-7). Suppose -d + 7 = -35*p. Let j = 14303/13 + -1101. Is j bigger than p?
False
Let a = 48 - 36. Suppose 2*y = 4*r + a - 4, 0 = -2*r - y - 12. Let s be r/106*7/(-14). Which is smaller: -1 or s?
-1
Let d(y) = 2*y**2 + 3*y - 2. Let g be (-2)/((-8)/3)*-4. Let o be d(g). Suppose 241*h - 254*h = -104. Is o less than h?
True
Let l = -141 - -365. Let d be ((-1363)/(-4) - 7)*(48/18 - 2). Is l > d?
True
Let m be (((-54)/45)/(-6))/((-17547)/(-30)). Which is bigger: -2/7 or m?
m
Let i be (-97)/134 + (-2)/(-2). Let z = 7937/12730 - i. Let o = z - -1/19. Is 24 > o?
True
Let s(l) = 1481*l**3 + 2*l**2 - 2. Let q be s(1). Suppose -13*o + q - 220 = 0. Is o less than 97?
False
Let c = 34559319486/38251 - 903488. Is c at least as big as 0?
False
Suppose -115 + 110 = 4*m + w, 3 = -5*m + 2*w. Which is greater: -64 or m?
m
Let k = 2.411 - 1.011. Which is smaller: k or 4.2?
k
Suppose 0 = 2*s + p - 2*p - 2, -5*s - 5 = -5*p. Let k(i) = 2*i**3 - 5*i**2 + 3*i + 2. Let f be k(s). Let y = 19 - f. Which is bigger: -1/32 or y?
-1/32
Suppose -g + w - 9 = 0, -g - g = -w + 13. Suppose -4*k + j = -4, 3*k - 6*j + 7*j + 4 = 0. Let m be k/((g/2)/2). Which is smaller: 6/25 or m?
m
Suppose -3*d - 3*c = -258, d - 4*c - 286 = -2*d. Let s = 87 - d. Which is bigger: s or -4?
s
Suppose -72 + 322 = 5*p. Suppose 51*r = p*r - 10. Is -10 smaller than r?
False
Let x(h) = 104*h - 2184. Let u be x(21). Which is smaller: -1/10020 or u?
-1/10020
Let x = 185.403 + -0.403. Let c = x + -185. Is 1/4 >= c?
True
Let o be (1/(-27))/(245/490)*(-700)/6. Which is greater: o or 10?
10
Suppose 2*v = 2 + 10. Let p be 1 + (-51)/v*(-12)/1. Let d = 100 - p. Is d at most as big as -15/7?
True
Let r = 28 + 53. Let p = -22 + -53. Let h = p + r. Is h at most 7?
True
Let k be ((-3)/(-4))/(26/(-5928)). Let y = k + 171. Is y < -3?
False
Let u = -7309 - -7313. Are 578 and u unequal?
True
Let j(m) = -880*m + 4. Let n be j(-1). Let u be (1824/n)/6 - (-8)/68. Suppose 0*v - 3*v - 3 = 0. Is v greater than or equal to u?
False
Let i = 52256 - 52281.7208. Let p = i - 0.1292. Let u = 0.15 - p. Which is bigger: u or 1?
u
Suppose -19*l + 59 = 40. Which is smaller: l or 4/549?
4/549
Let n = 1987 + -117225/59. Which is greater: n or -1?
n
Let q = -1469 + 1469. Let n = 3160/11 - 287. Is n bigger than q?
True
Let r be (89*(2 + -1))/(8 - 119/14). Which is smaller: r or -2/3?
r
Suppose -40*t - 6985 = -1658 + 4433. Which is smaller: t or -260?
-260
Let b be (-49)/(931/38)*4/18. Which is smaller: 1.5 or b?
b
Let o be (-207)/174156*(-64)/(-12). Which is smaller: -1 or o?
-1
Let m = 14 - 12. Suppose 28 = 11*l - 9*l + b, -b = -m*l + 28. Which is smaller: l or 41/3?
41/3
Let v be 22 - (1/2*4 - 6). Suppose -5*l + 2*l - s = -77, 2*l - 43 = s. Which is greater: l or v?
v
Let a = -18490 - -18490. Which is smaller: a or -9597?
-9597
Let z = -130 - -218. Let i be (-25)/(-7) + z/(-154). Suppose -15 = 5*l, l = i*o + 4*l - 39. Is -0.1 less than or equal to o?
True
Let u(l) = -2*l**2 + 1963*l - 13642. Let h be u(7). Let t = -190 + 953/5. Is h at most t?
False
Let p be (-5 + 4)*(-8 - -3). Suppose 6 = p*d + 1. Let i be (-93)/(-45) + d*(-2 + 0). Is -1 greater than i?
False
Let t be (3/(-9))/(1 - 0). Let y = -200.811 + 201. Let d = -0.199 + y. Is t at least as big as d?
False
Let q(f) = -370*f - 943. Let m be q(-2). Which is smaller: m or -174?
m
Let n(i) = -i**2 - 8*i + 19. Suppose 2*a = -2*h - 2 - 18, -4*a - h - 40 = 0. Let g be n(a). Is g smaller than 4/13?
True
Suppose -5*r = -4*n - 399, -2*n = 3*n - 2*r + 486. Let t be (n/14)/((-430)/70 - -6). Are t and 46 equal?
False
Let h = -477 - -478. Let q be 1890/(-180) - (h - 1). Which is bigger: -11 or q?
q
Let b = 13.969 - 734.969. Which is greater: -2/5 or b?
-2/5
Let v = 34 + -34. Suppose -5*z - 4*a - 8 = v, -1 + 3 = -4*z - a. Suppose 5 = 3*p + r + 25, -5*p + 4*r - 39 = z. Which is bigger: -5 or p?
-5
Let r = -0.3205 + 0.1105. Let p(g) = -3*g - 15. Let u(w) = -w**3 + 2*w - 2. Let l be u(2). Let s be p