662 - 1496. Which is smaller: b or q?
b
Let h = 2.42 + 20.48. Let p = -23 + h. Which is smaller: p or 55?
p
Let p be -3*2*(-12)/(-9). Let w be (-8 - -10) + p/(-2). Let f = 252 + -248. Is w at most as big as f?
False
Let x be ((-218)/4)/((-1)/6). Let l = -254756 - -255083. Do l and x have different values?
False
Suppose 449 = -7*y - 13*y - 311. Which is smaller: -82 or y?
-82
Let j = -2695.41 + 2696. Which is smaller: j or -2/7?
-2/7
Let q be (13 + -11)*(1 + (-202)/171). Let a = 10/19 - q. Let h = -3 - -4. Which is smaller: h or a?
a
Let i be 1 - (-22)/(-14) - (-46548)/756. Are 48 and i non-equal?
True
Suppose -36 = 2*b + 214. Let g be (-2)/(-10) - 225/b. Is 21/11 at least as big as g?
False
Let q = -49223 - -49141. Suppose 2 = 3*m - 1. Which is bigger: m or q?
m
Let y = -293 - -297. Suppose 3*d = i + 2*i - 717, 4*d + y*i + 924 = 0. Does -236 = d?
False
Let w be 232/10*(-18 - -3 - (-100)/8). Is -2 > w?
True
Let h = -1646/33 + 545/11. Let b = -3219 - -45041/14. Let w = b - -327/182. Is w less than or equal to h?
False
Let h = -3691/341 - -127/31. Let b = h - -1674/275. Which is smaller: b or 0?
b
Let g = -1622 + -1545. Is g at most -3166?
True
Let g(m) = -17*m. Let a be g(1). Let c be (-14836)/10 - (-8 + 12). Let s = -1504 - c. Which is greater: s or a?
s
Let d = -84576882/301 - -280986. Which is bigger: d or 1?
1
Suppose 0 = -16*d - 14 - 4562. Let o = -119 - d. Are o and -0.1 unequal?
True
Let l = 255 + -178. Let z = -2127 + 2203.72. Let a = l - z. Which is smaller: a or -0.2?
-0.2
Let b be 72/32 + ((-125)/20 - -5). Which is smaller: b or 8/221?
8/221
Let q = -3206851/5 + 644379. Let o = q - 3073. Is o less than or equal to -63?
True
Let t = -535 + 305. Let c be (6/8)/(t/(-2392)). Which is greater: c or 8?
8
Let t(a) = a**3 - 7*a**2 - 2*a + 6. Let m be t(5). Let c = -19920.3 - -19920.3. Is m <= c?
True
Let v(m) = m. Let z(q) = -q**2 + 17*q - 9. Let y(h) = -3*v(h) + z(h). Let a be y(14). Let n be 114/8 - a/36. Is 14 != n?
True
Let g(m) = m**2 + 16*m + 72. Let v be g(-8). Suppose 9*b - v*b = 0. Is 4 bigger than b?
True
Let u be (-12696)/(-22316) - (-12)/(-21). Let d(j) = j - 24. Let h be d(23). Are h and u non-equal?
True
Let d be 8/64*36 - (2 - (-829)/(-2)). Are d and 415 equal?
False
Let l be (-5)/((-15350)/7338) + 2/5. Let f = -3/307 - l. Let w be 1 + (42/315 - 11/15). Are w and f non-equal?
True
Let r be -2 - -4*(-15)/40*(-4)/2. Which is bigger: r or 5/197?
r
Suppose 9746 = 2*x + y, 6*x = 7*x + 3*y - 4878. Let c be (-87)/x*(2 + -1)*-2. Let g(a) = a - 8. Let k be g(8). Is c bigger than k?
True
Suppose -14*c + 2*c - 48 = 0. Let a be ((-6)/8)/(((-1463)/(-280))/19). Which is bigger: c or a?
a
Let v be (-3)/2 - ((-1285570)/(-308) - (-42)/(-98)). Is -4177 less than or equal to v?
True
Suppose 2*o + 2*o - 32 = -4*s, 2*s + 4*o - 26 = 0. Suppose 3*z - 2*x = -163 - 1009, 1562 = -4*z + s*x. Let r be (-48)/98*(z/(-4))/7. Is r at least as big as -7?
True
Let k(f) = 815*f + 822. Let a be k(-1). Let u be ((-8)/10)/((-4)/10). Suppose 2*n - 2*r + u - 10 = 0, 0 = -4*n - 3*r + 30. Which is greater: a or n?
a
Let g be (-2)/(-8) - (187/44 + -12). Let s be ((-48)/1455)/(76/10 - g). Which is smaller: s or 1?
s
Let l = 108.073 + -107. Let u = 1.03 - l. Let k = u + 0.043. Is k bigger than -2/73?
True
Let m(z) = 2*z**3 + 34*z**2 + 31*z - 15. Suppose -7*p = 33*p + 640. Let c be m(p). Which is greater: 2/635 or c?
c
Let j(q) = -3*q + 1. Let a(b) = 42*b - 74. Let u(d) = -a(d) - 12*j(d). Let z be u(13). Is -15 < z?
False
Let j(x) = x**3 + 46*x**2 - 4*x - 159. Let q be j(-46). Is q greater than 6?
True
Let q = 141987/2795 + -1/2795. Let p = 2784/55 - q. Which is smaller: p or -1?
-1
Let p = -323 + 509. Let b be (44/12 + -3)/(2/p). Let y = -61 + b. Is -6/23 greater than y?
False
Let i be 2 - (-44)/(-4) - -3. Let r(u) = -2*u**2 + 26*u + 8. Let j be r(18). Let c be (-6)/(-8) - (j/(-16) - 3). Which is greater: c or i?
i
Suppose 0 = 2*z + 4*z - 24. Suppose -4*r + 15 = x, z*r = 2*x + x + 19. Suppose 7 = r*y + 35. Which is smaller: y or -9?
-9
Let i = 197 + 86. Suppose -i = 11*q + 47. Is q > 6?
False
Let f = -16444 + 10540. Which is smaller: f or -5903?
f
Let u(c) = -493*c - 986. Let z be u(-2). Is 19/52 greater than z?
True
Let k(v) = -11*v**2 - 1. Let h(y) = -2*y**2 + y + 1. Let i(g) = 4*h(g) - k(g). Let z be i(0). Which is greater: 1/9 or z?
z
Let g = -5251 + 5163. Let p = 0.141 - 87.141. Let s = g - p. Is -6.4 greater than or equal to s?
False
Let d be (-2)/(-24)*2*-9*4 - -7. Let t be 36*2/(-2*1). Let c = t + 110/3. Which is smaller: d or c?
c
Let v = 2.88 - 0.26. Let m = v + -2.62. Which is bigger: m or -230?
m
Let f(d) = -53*d + 1609. Let y be f(29). Is y != -51/5?
True
Let a = -38 - -43. Let q be a/(-20) - (-1518)/24. Which is smaller: 62 or q?
62
Let p be (-9)/(-1)*(-2)/6. Let w be p/(18/(-12)) + -2. Is w smaller than 6/17?
True
Let l = 8194729/91 - 90051. Is 1 at least as big as l?
True
Let b = -186 + 182. Let o be 2/(-8) - 4/(-16). Let z be (3 - o)*7*b/(-6). Is 14 not equal to z?
False
Let s be 2105/3 - (-7 + 20/3). Suppose -s = 4*l - 194. Is -127 at most as big as l?
True
Suppose 4*w = 2*n + 2068, -3*n = -2*w + 1303 + 1795. Is n less than or equal to -11?
True
Let j = -18350 - -422088/23. Is j less than 3?
True
Let v(n) = n**3 + 2*n**2 - 8*n - 11. Let s be v(-2). Suppose -s*w = -22 + 102. Are -16 and w non-equal?
False
Suppose -8*s - 2 = -50. Let j be (-4584)/2736 + 10/s. Is 1 not equal to j?
True
Suppose 108464 - 29666 = -138*g. Which is smaller: g or -572?
-572
Suppose 84*j = 2*c + 87*j + 143, -j - 71 = c. Let u(o) = 11*o + 30. Let b be u(-9). Which is bigger: b or c?
b
Suppose -26*f = 1035 + 161. Suppose -u - z = u + 90, 3*u - 2*z = -128. Which is smaller: u or f?
f
Let o be 64/(-288) + (-125867)/(-565551). Which is smaller: o or -1?
-1
Let k be (-16)/40 - 888/(-2340). Which is bigger: -0.7 or k?
k
Let v(z) be the third derivative of 11*z**4/8 - 47*z**3/3 - 3*z**2 + 14*z. Let s be v(4). Is s > 37?
True
Let d(l) = -3*l + 3 - 6 - l + 14. Let p be d(3). Is -1/113 at least p?
True
Let j be ((0/(-3))/(-3))/1. Let f be (-8750)/980*6/10*(-2)/(-20). Which is smaller: f or j?
f
Let i = -24733 - -24636. Is i smaller than -150?
False
Suppose -1743 = a - 3*a - d, -3*d = 4*a - 3491. Suppose 5*z - a = -119. Suppose 53*y = 48*y + z. Is 31 <= y?
False
Suppose 12504 = 29*v + 1455. Are v and 387 equal?
False
Let n be 21 - ((-4)/(-9) - 15/(-27)). Suppose 0 = -33*z + n*z. Do 2/705 and z have the same value?
False
Let r = -3624 + 521855/144. Is -3 at least as big as r?
False
Let g be (-3)/9*21/1. Let w be ((-22)/(-4))/(-8 - g) - -4. Is w at least -5?
True
Let b = -4820 - -4821. Is 2/14333 less than or equal to b?
True
Suppose 424 = -4*i + 4*n, 643 = -6*i - 23*n + 22*n. Which is smaller: i or -126?
-126
Let b(o) = o**3 + 8*o + 10. Let x be b(-4). Let l = x + 144. Which is smaller: l or 60?
l
Let x be 32/36*6*18/(-4). Let t = 68 + x. Let i = -44 + t. Which is bigger: -2/5 or i?
i
Let d be 20/75*2/240. Suppose -4*i = -8, 4*z + 5*i = 3*z + 10. Is z at most d?
True
Let n = -921 + 1600. Let i = n - 31910/47. Is i > 1?
False
Let l(f) = -4*f + 16*f + 4 + 11 - 12. Let s(z) = -z**3 + 3*z**2 - 2*z - 1. Let i be s(2). Let k be l(i). Is -10 > k?
False
Let m = -935 - -902. Let k = 7 + -6.98. Is k greater than m?
True
Let p(q) = 9*q + 6. Let u be p(-2). Let o be 2*(4/48)/((-8)/u). Which is smaller: o or 1?
o
Suppose 0 = 19*a - 15164 - 11322. Which is bigger: 1395 or a?
1395
Let t = 357 + -292. Suppose -17 = 24*m - t. Which is greater: 0.079 or m?
m
Let f be -1*(-6)/(-1) - 0/(-3). Let m(s) = 2*s**2 + 10*s - 11. Let d be m(f). Is d != -1/66?
True
Suppose -153*l - o = -157*l - 60, 68 = -4*l - o. Let g = -5976 - -41721/7. Are l and g equal?
False
Let k = -62 - -62. Suppose -4*l = -2*y + 358, 3*l - 6*y + 8*y = -286. Let d be (l/28 + 3)*(1 + 1). Is d less than or equal to k?
True
Let i be (703/(-74))/((-1708)/(-16)). Is i equal to 0?
False
Let j = -124.8 + 372.8. Which is bigger: j or 0.12?
j
Let n be (85/(-10))/(110496/(-192)). Is n at most as big as -1?
False
Suppose 0 = 2*x + m + 26, 0 = 45*x - 46*x + 4*m + 14. Do -68/7 and x have different values?
True
Let x(b) = b**3 - 3*b**2 - 12*b + 14. Let n = 174 - 169. Let r be x(n). Let u be (-8)/(-6) + (-4)/(-6). Which is smaller: u or r?
u
Let j = 2.088 + 