ch is smaller: z or 587?
587
Let u = -347809 + 347866. Let a = -16 + 15.3. Which is greater: a or u?
u
Let h be (-260)/1170 - (-2 - (-286)/9). Let t(u) = -u**3 + 5*u**2 - 4*u - 6. Let y be t(5). Which is bigger: y or h?
y
Let g be (-56)/(-2)*(1 - -3) + -1. Let l = -195 + g. Which is smaller: l or -85?
-85
Let o = -1/1497 - 28387/83832. Which is smaller: 0 or o?
o
Let u = -3101 + 3139. Which is greater: 35 or u?
u
Suppose -58 - 11 = -103*n + 34. Which is smaller: n or -7/1369?
-7/1369
Let k = -27.019 + 0.019. Let i = k + 60. Let r = 35 - i. Which is smaller: r or -0.3?
-0.3
Suppose 3*f - 75 = 62*w - 61*w, 0 = 2*f + w - 35. Let t(l) = l + 0*l + l**2 - 2*l**3 - 4*l**2. Let y be t(-3). Which is smaller: f or y?
f
Let q(k) = -4*k**2 - k**3 + 35 + 2*k - 43 - k. Let x be -8 + 9/(27/12). Let p be q(x). Is -21/2 greater than p?
True
Suppose 10*z - 5*z - 2*i = 8, 0 = 5*z + 3*i + 12. Suppose z = -4*q + 78 - 50. Suppose q + 8 = 5*w. Are w and 7 nonequal?
True
Suppose -2*k - 201 = -5*k. Suppose k = 5*n + 232. Let g = 6427 - 6461. Which is greater: n or g?
n
Suppose -8*a - 875 = -67. Let i = a + 19. Let q = i - -85. Which is bigger: q or 17/4?
17/4
Let i be (-700)/90*(-30)/2075*-30. Which is bigger: i or -4?
i
Let d(o) = -1409*o + 2566. Let b be d(3). Is b equal to -1661?
True
Let p = -225 + 131. Let g = p + 97. Suppose -8*y - 4 = -4*y, -4*c - 163 = g*y. Which is greater: -41 or c?
c
Let w(k) = -2*k**2 - 255*k - 583. Let b be w(-124). Is 327 <= b?
False
Let g be (32/22*3)/(4/(-6)). Is g smaller than -7?
False
Let d = 3.2 + 6.8. Let r = 29 - d. Let x = 2/71 - 152/355. Do x and r have the same value?
False
Let m be ((-16)/(96/(-54)) - -1) + -15. Let o(y) = 3*y. Let q be o(-3). Which is greater: m or q?
m
Let u = -3677 - -9386. Which is smaller: u or 5711?
u
Let z = -0.14273 - -392.14273. Is 1/4 >= z?
False
Let x be -4 + 5*(-14 + 6). Which is smaller: x or -39?
x
Let z be 2/(-7) + (-5)/(105/2619). Let n = -1030253/99 + 94786/9. Let q = n + z. Is q at most as big as 0?
False
Let b = -152 + 152.002. Let l = 4.398 + b. Let i be ((-1)/7)/(1/2). Which is bigger: i or l?
l
Suppose 9*x - 946 + 152 = 286. Which is smaller: x or 217?
x
Suppose 2*m + 17 = 5*a, 5*m - 6*a + a = -20. Let y be 0/(-4 - (1 + m)). Which is greater: y or 8/15?
8/15
Let t = -0.34201 - -0.16941. Is -0.1 not equal to t?
True
Let r = 77 - 11.6. Let w = 72.4 - r. Which is smaller: w or -32?
-32
Let q = 207.14 + -57.14. Is -2/21 at least q?
False
Let o be 33189/5135 - (1 + 5). Let u = 5/79 - o. Is 1 at most u?
False
Let v be 0 + 0 + (-66)/2. Let z = 46018 + -368417/8. Is z at least as big as v?
False
Let n = -176 - -196. Let d be 24/(-10)*n/3. Suppose 6*s + 49 = 3*s - 2*f, -20 = s - 3*f. Which is greater: d or s?
d
Suppose 0 = 5*c + 77 - 367. Let n = 51 - c. Let m(k) = 2*k - 55. Let p be m(25). Is p greater than or equal to n?
True
Let t be -49 + (11 - 2*8/2). Let l be (-12*(-6)/8)/(20/(-104)). Is l smaller than t?
True
Let i = -4866 + 4868. Which is bigger: -43.7 or i?
i
Let o(r) = -r**3 + 3*r**2 + 4*r + 13. Let u be 0 + -6*(-3)/(-6) + 9. Let m be o(u). Is m greater than -70?
False
Let m be (-3 + -55)*(7/(-2))/1. Let r = -258 + m. Which is smaller: r or -54?
r
Let c(h) = 19*h - 502. Let j(a) = 6*a - 167. Let f(t) = 6*c(t) - 17*j(t). Let q be f(12). Which is smaller: -27 or q?
q
Let g = 1.72 - -71.08. Let b = -62.9 - 10.1. Let h = b + g. Which is smaller: -3 or h?
-3
Let j = 11210.8 + -11217. Let b = 3.5 - 9. Let c = j - b. Are -3 and c equal?
False
Let s = -6542/45 - -1546/9. Let f = 20/101041 + -186219963/7072870. Let l = s + f. Is l bigger than -1?
True
Let x = -34 - -57. Suppose h - 11 = -h + m, x = 2*h - 5*m. Let s be 128/(-48)*273/(-364). Which is bigger: s or h?
h
Let b be (-4)/(-6)*2*1185/20. Let c = -77 + b. Suppose 2*m = -c*s - 4, 3*m + 7 = -8*s + 4*s. Is s < 31?
True
Let a = -716 - -708. Let z(p) = 13*p + 31. Let c be z(a). Is c != -75?
True
Let u = -263 - -142. Let g = u + 122. Are 3 and g equal?
False
Let p = -432.7 - -53.7. Let r = 379 + p. Which is greater: r or -0.121?
r
Let l be (3/1)/3 - 1. Suppose 0 = -2*h + d + 2*d - 6, -5*d - 10 = l. Let g be (-3)/(21/h - -2). Is g >= 0.2?
True
Let c(b) = -151*b + 1352. Let g be c(9). Suppose o - 5*o + 5*h + 108 = 0, 5*o - 106 = -h. Suppose -x - o = x. Which is smaller: x or g?
x
Suppose 4*w + 5*g - 984 = 0, 2*w + 3*g = 15 + 475. Suppose 2*r - 252 = 248. Which is greater: r or w?
w
Let w = 37.05 - 38. Let j = -5.05 + w. Which is bigger: j or -0.02?
-0.02
Let p = 1/161 - 327/805. Is 40 > p?
True
Suppose 6*j + 462 = 552. Suppose -2*t = -5*m + j, 2*t + 11 = t - m. Is t < -7?
True
Let w = -1.7892 - -1.7892. Is w greater than -1842/5?
True
Suppose j - 3*h - 5 = 0, -19 = 5*h - 4. Let f = j - 7. Is f equal to -37/3?
False
Let q = -12970 - -12971. Which is smaller: q or -2/261?
-2/261
Suppose 43 + 131 = 4*w + 5*u, -4*w - 3*u + 170 = 0. Let h(k) = 25*k + 493. Let b be h(-18). Is w >= b?
False
Let g = -18/1475 + 33197/1149025. Which is greater: -1 or g?
g
Suppose -2551*c + 2610*c = 121009. Is 2049 >= c?
False
Suppose 19*j - 10*j = -12*j - 11*j. Which is smaller: -9/241 or j?
-9/241
Let i = -16712 - -16435. Which is smaller: -281 or i?
-281
Let k = 0.15 - 0.09. Let s = 0.44 - 0.98. Let m = s - k. Which is smaller: m or 1?
m
Let l be (-1)/((-39)/75273) - 121/1573. Which is bigger: l or 1929?
l
Let n be (-2)/(-16) - (-713)/(-8). Is n less than or equal to -89?
True
Let q(o) = o + 2. Let a be q(-4). Let r be 35/(-70) - (-1 + a/(-4)). Let b be (-4)/(-3) + (-130)/300. Is b less than or equal to r?
False
Let s(k) = -k**2 - 11*k + 45. Let u be s(-15). Suppose 3*r - 3 = -2*f - 23, f = -2*r - 10. Which is smaller: u or f?
u
Let x = -109 - -123. Suppose -42*o = -40*o - x. Are 4 and o non-equal?
True
Let b be (6572/465 - 14)*-5. Let s = 102 + -147. Which is greater: s or b?
b
Suppose 5*t - 2*x - 193 = 0, -t - 5*x - 94 = -3*t. Suppose v + 0*v - t = 0. Which is greater: v or -0.1?
v
Let j = 469 + -316. Suppose -g + j = 63. Which is smaller: 274/3 or g?
g
Let g(t) = 2*t**2 - 10*t - 14. Let y be g(6). Let r be (((-30)/(-12254))/3)/(y/3106). Let a = 3/557 - r. Which is smaller: a or 0?
0
Let j = -1684297/3 - -26821885/48. Let h = j - -2642. Is h at most -2?
False
Let i = -15 + 6. Let n be ((-12)/9)/((-6)/i). Suppose -13*y + 7*y = 12. Does y = n?
True
Suppose 12975 = 23*l - 2021. Is 650 greater than l?
False
Let l be (8/6)/(40/(-1380)). Let x = -50 - l. Do -6 and x have the same value?
False
Suppose -27*r = s - 24*r + 53, -2*s - r - 116 = 0. Is s > -62?
True
Suppose -56 = 137*v - 138*v - 5*w, 0 = -5*v + 5*w + 490. Suppose 3*p = 202 + 74. Is p greater than or equal to v?
True
Let o = 0.25915 + 10.74085. Which is greater: o or -1376?
o
Let r = 4276.4 + -4276. Are r and 1156 equal?
False
Suppose -47*v + 1224 = -6296. Which is bigger: v or 152?
v
Let u be 3*(-12)/(-126) - (-41610)/(-145586). Does 0 = u?
False
Let a(i) = -i**3 + 15*i**2 + 34*i + 6. Let w be a(17). Suppose -5*r + 4*f = 32, -2*r + f - 5 = w. Let z = -828 - -4127/5. Which is smaller: r or z?
r
Let k be 5/(((-3)/12)/(-1)). Suppose 24 = -7*g + 2208. Let l = 331 - g. Is l at least k?
False
Let s(a) = 6*a**3 + a**2 - 124*a + 123. Let q be s(1). Is q at most 1/109?
False
Suppose -3*p = 2*a - 121, 2*a = -4*p + 156 + 8. Suppose b + p = -10. Which is smaller: -0.3 or b?
b
Let p(g) = -g**3 - 64*g**2 + 1471*g - 16. Let f be p(-79). Is f >= -1?
False
Let f be (-2 + (-21)/6)/(4/176). Let m = 160 + f. Is m bigger than -82?
False
Suppose 6*n - 2*n = 4*w + 44, 5*w = 3*n - 31. Suppose -6*u - n = -12*u. Suppose 0 = 4*q + 2*y - 8, -u*q + 0*y = 5*y - 12. Which is smaller: 7 or q?
q
Let o be (-894)/(-63) + (-3 - 0) - 1. Let y = -950/63 + o. Suppose -5 + 0 = r. Which is smaller: y or r?
r
Let k = -15362 + 6344. Are k and -9017 equal?
False
Suppose 24 = -2*j - 4*f, -j + 546 - 534 = -2*f. Is j greater than 84/229?
False
Let p = -23659 + 25662. Which is greater: 1999 or p?
p
Let l be (1529/3)/(-2 - (-70)/30). Which is bigger: 1528 or l?
l
Suppose b + 232 - 231 = q, 2*q - 14 = -2*b. Does 13.13 = b?
False
Let h be 11 - 1*0/5*-1. Suppose -h*u - 90 = -29*u. Is 11/2 at most u?
False
Let b = 7011 + -7012. Is b greater than or equal to -4559?
True
Let s = -995903 + 166315803/167. Let m = -2 - 0. Let t = 3 + m. Are t and s unequal?
True
Let 