444. Which is smaller: 747 or n?
n
Suppose 37*w - 11 = 137. Suppose 122 = w*s - 5*b - 55, 0 = -s - b + 51. Is 48 bigger than s?
False
Let l be (-44)/8140*70/12. Which is greater: 1 or l?
1
Let i = 467.9 + -13.9. Let q = i - 453.9. Let m = 40 + -31.5. Which is smaller: q or m?
q
Let c be (296/6)/((-298)/1341). Is -226 > c?
False
Let p(b) = -46*b - 49. Let u be p(-1). Let k = 43.4 + -28.3. Let t = k - 15. Which is smaller: u or t?
u
Let r be 5 + (-10)/75*-145. Let u = r + -23. Which is bigger: 0.5 or u?
u
Let h = 7/36 + -4/9. Let d = 215/3 - 72. Is d != h?
True
Let q = -6 + 7. Suppose 2*h = -5*j - 51, 0 = -4*h + 7*j - 2*j - 87. Let n be h/(-69)*(-2)/(-46). Is n smaller than q?
True
Let o = 4168 - 4076. Is o at most 743/8?
True
Let a = -0.2 + 0.4. Let p = -5341 + 5340. Is p equal to a?
False
Let f be ((-24)/(-16))/((-2)/(-2504)*6). Let s = 5948/19 - f. Let p be (-1 + 1)*3/6. Which is greater: s or p?
s
Let s be (-32)/(-464)*29 + 1104/10. Are s and 111 unequal?
True
Let h = -73 + -75. Let d = -73 + -76. Which is smaller: d or h?
d
Let x be (2784/(-4785) - 9/15)*2. Suppose -t + 3*t - 2 = 0. Suppose t + 0 = -j. Is x greater than or equal to j?
False
Let p = 0.15 - 2.15. Let b = 0.95 + 19.05. Let r = p + b. Which is smaller: -2/7 or r?
-2/7
Suppose 2*b = -2 - 8, 4*k - 5*b - 1 = 0. Let v be (-12)/(k + 0) - -40. Which is smaller: v or 40?
40
Let a(j) = j**2 + 7*j - 15. Let u be a(-11). Let p = 4087 + -4061. Is u at least p?
True
Let i be ((-24)/(-32))/((-6)/(-214))*-68. Which is greater: -1814 or i?
-1814
Let y(u) = 5*u - 31. Let r be y(7). Suppose -n + 3*f + 12 = r*n, f = -2*n - 4. Are 4 and n non-equal?
True
Let j = 0.21053 - -138.78947. Which is greater: j or -0.036?
j
Let u = 0.06165 + -0.26165. Let d = -2 - -2.6. Which is bigger: d or u?
d
Let z be (-4)/26 - (-4 - 28/13). Let v(b) = -b**3 + 5*b**2 + 3. Let k be v(z). Let q be ((-34)/(-6))/((28/(-24))/7). Which is smaller: k or q?
q
Suppose -8 = -v - 5*q, -q = 5*v - v - 32. Let o(f) be the third derivative of 7*f**4/12 - f**3 - 2*f**2. Let r be o(v). Is 106 less than or equal to r?
True
Let v(k) = -k**2 - 5*k - 7. Let h be v(-2). Let y = -1308352/381 + 3434. Which is greater: h or y?
y
Let w = 0.0256 + 5.9744. Let m = 302 + -3320/11. Which is smaller: w or m?
m
Let y(c) = -9*c - 13. Let q be y(-2). Suppose 0 = q*f + 5*w - 2*w - 17, -5*f = -3*w - 23. Which is bigger: f or 64/13?
64/13
Let o = -199 + 859. Let i be o/(-1300) + (-3)/(-5). Which is bigger: i or 0?
i
Let z(m) = -m**3 + 27*m**2 - 22*m - 23. Let i be z(26). Let x be (-28)/2*(i/18 + -6). Is x greater than 23?
False
Suppose -3*m - 5*n + 20 = -2*m, -5*m + n + 22 = 0. Suppose -m*i - 64 = -4*l + 12, 30 = -2*i + 2*l. Let o be (1 - (-28)/i)/(18/15). Is o equal to 0?
False
Let f(d) = d**3 - 153*d + 109. Let h be f(12). Let s = 22234/65 + -342. Is h less than s?
False
Let u(r) = 94*r**2 + r + 2. Let p be u(-1). Let j(z) = -29*z - 428. Let d be j(-18). Is p bigger than d?
True
Let l be (-1556)/42 - (2/(-6) + 3). Which is bigger: -41 or l?
l
Let r(c) = -12*c**3 - 4*c**2 - 46*c - 136. Let v be r(-4). Which is smaller: v or 748?
748
Let g be ((-2652)/(-20) - (-3)/(-5)) + -3. Suppose -1 + g = 4*x. Suppose 5*s = -5*u + 4*s + 160, 3*s + 160 = 5*u. Is u > x?
False
Let l = 11940 + -11939.8. Which is smaller: l or 24/251?
24/251
Let w = 37 - 74. Let a = -41 - w. Let s = a + 3. Is s bigger than -1/2?
False
Suppose 2*o + 3*d + 6 = 0, 4*o - 2*d + 52 = 72. Suppose -o*j = -2*t - 49, -3*t - 4 + 7 = 0. Let a = -6 + 4. Is a not equal to j?
True
Let b = 278887.13 + -278887. Let d = 2 + -3. Let w be (4 - (1 - d))/4. Is w at most b?
False
Let q(y) = 61*y**2 + 270*y + 58. Let j be q(-4). Which is smaller: j or -35?
j
Let x = 5956 + -2050. Let j = x - 2956843/757. Are j and -1 equal?
False
Suppose -169 = 5*g + 166. Let x = -67 - g. Let d be (4/(-32))/(11/(-4)). Which is bigger: x or d?
d
Suppose -30*d = -45*d + 2895. Let t = d + -164. Which is greater: 15 or t?
t
Let m be -5*22/(-55) - 33. Is -52 at most m?
True
Let p = 15949 - 15954. Which is smaller: 0.3144 or p?
p
Let x = -220 + 219.852. Let t = x + 0.148. Which is smaller: -9/10 or t?
-9/10
Let n = -13 - -24. Suppose f + 36 = -4*g + 11, -f + 3*g = n. Suppose 3*m = x + 3, 5*x + 264*m = 266*m - 80. Is x not equal to f?
True
Let h = -0.28 - -0.3. Let d = 152.63 + -3.63. Let r = d + -147. Is h < r?
True
Let a(x) = 3*x**3 + 93*x**2 - 420*x + 1. Let z be a(-35). Does 2/14083 = z?
False
Let h be (-1780384)/2520 + 9 - (-4)/9. Let s = 697 + h. Are s and -1 equal?
False
Suppose -4*b - 9*b - 2730 = 0. Is -208 > b?
True
Suppose -113 = 200*u + 87. Is 135/293 at least u?
True
Let f be 1 + (-984)/(-36)*(-6)/4. Let v = 30 + f. Let n = 9 + -17. Do v and n have the same value?
False
Suppose 0 = 2*i - 4*i + 5*a + 2, -i = 5*a - 1. Is 14/53 != i?
True
Let f = 0.42 - 32.42. Let v = 27.565 - -0.435. Let z = v + f. Is -0.01 > z?
True
Let v be 4/16*(-20)/24. Suppose 11 = n - 5*r, -7*r + 2*r - 9 = n. Which is smaller: n or v?
v
Let s be 3/(-10) - -3254*(-1)/(-180). Is -0.08 greater than or equal to s?
False
Suppose 0 = 3*m + 5*l - 4, 0 = -2*m - 4*l - 1 + 3. Suppose 3*j - 144 = -m*g, 3*g + 2*j - 110 = 38. Suppose -3*r - 10*r = -g. Is 6 < r?
False
Suppose 823 = -3*b - 4*w, 0*w = 4*b + 2*w + 1084. Let t = b + 6185/23. Let d(p) = 2*p**3 + 2*p**2 - 1. Let x be d(-1). Which is smaller: x or t?
x
Let a = -30392.0033 - -30392. Which is smaller: 1/3 or a?
a
Let k(x) = 16*x - 1. Let l be k(-1). Let n be 1/(21/1383) + (-72)/(-504). Let u = n + l. Is -1/4 greater than or equal to u?
False
Suppose 3*p = -2*p + 600. Let b = 339 + -2371/7. Which is smaller: b or p?
b
Let t be 25688/78 - (-2)/(-6). Let d = -361 + t. Which is bigger: d or -37?
d
Let z = 10284 - 71984/7. Does 1/18 = z?
False
Suppose 0 = -2*n + 6*n - 4*a + 120, -4*a - 84 = 2*n. Let j be -49 + 56 - 3622/4. Let g = -932 - j. Which is smaller: n or g?
n
Let d be 8/(-10)*30/36*-9 - -1. Is -583 less than or equal to d?
True
Let c be (-7)/(-14) + (-559506)/31500. Let y = 362/21 + c. Which is bigger: y or -1?
y
Let q = -19.51 - -19.51. Which is bigger: q or -40?
q
Let w be 223/(-764) + ((-221)/(-68))/13. Is 0.1 at least as big as w?
True
Let y = -3717/5 + 743. Let k = 3 + -5. Let n be (-2)/(-4) + (-1)/k. Which is bigger: y or n?
n
Let d = 4 - 8. Let b = d + 3.9. Let a = 2370 - 2370.32. Which is smaller: b or a?
a
Let j be (207/(-30) - -7)*0. Which is smaller: -1/585 or j?
-1/585
Let d(z) = -1868*z - 4192. Let p be d(6). Is p bigger than -15400?
False
Suppose -152 + 51 = -11*i + 5*v, i = v + 7. Which is greater: 78/7 or i?
78/7
Let p = -754.55 + 753. Let h = -1.65 - p. Is h <= 1.19?
True
Suppose 78*t + 1639 + 963 = -3170. Which is greater: t or -23?
-23
Suppose 0 = -11*a + 2*a + 558. Let l = 483 - 423. Which is greater: a or l?
a
Let l be -3*1/((-4)/20). Let b(f) = -f**3 + 14*f**2 + 11*f + 59. Let u be b(l). Which is bigger: u or 2/53?
2/53
Suppose 413 + 2997 = -62*g. Are g and -55 equal?
True
Let p(n) = -2*n**3 + 2*n**2 - 6*n + 16. Let a be p(5). Let x be (a/(-2568))/(-1 + 133/128). Which is smaller: x or 2?
2
Suppose 165 = -g - 4*g - 4*n, -5*n = -3*g - 62. Let k = 23 + g. Let w(b) = -2*b + 4. Let v be w(k). Is 15 less than or equal to v?
True
Let t = -8381 - -8380. Which is smaller: 590 or t?
t
Let b(t) = t + 6. Let s be b(-6). Suppose 3*c + s*y = 3*y, -5*c = -y + 4. Let a = 155790/79 + -1972. Which is bigger: c or a?
a
Let b(v) = -v**3 - 97*v**2 + 89*v - 1207. Let g be b(-98). Are -3562/11 and g equal?
False
Let o(l) = -l**3 + 2*l**2 + l + 166. Let s be o(0). Suppose 5*f + 0*f = 4*k - 460, -2*f - 2*k = s. Which is smaller: -87 or f?
f
Suppose 0*h + 10 = 5*h. Let v be ((-114)/24 + 4)*h/24. Suppose 0 = 2*r - 3*q - 17, -5*r - 5*q + 0*q = 20. Which is smaller: r or v?
v
Suppose 254*l - 972 + 14832 = 23*l. Suppose -t = -3*g - 23, -3*g - 4*t - 20 = -g. Let m(h) = h**2 + 9*h + 8. Let n be m(g). Which is smaller: l or n?
l
Let x = 7 - 4. Suppose 0 = 2*o + x*o + 10. Let i = -18/17459 + -261687/192049. Are o and i non-equal?
True
Suppose 24*i = 8664 - 7680. Let y = -29 - -70. Do i and y have the same value?
True
Suppose -5*x + 949 = 74. Suppose 4*q + 7*l = 4*l - x, -171 = 4*q - l. Suppose 0 = d + 3*d, 5*t + 225 = 2*d. Which is smaller: t or q?
t
Suppose 0 = 3*r - 5*w + 13 + 124, -2*r - 123 = 3*w. Let p b