38219. Let a = w - 723. Which is smaller: a or 1?
a
Suppose -y - 12 - 36 = 5*l, l - y = -12. Let b be 50/92*8/l. Do -1 and b have different values?
True
Let z(w) = 3*w + 26. Let h be z(6). Let b = -34 + h. Which is smaller: b or -2?
-2
Let c = -1067/12 + 266/3. Which is greater: c or -4373?
c
Suppose -5*w - k + 226 = -157, 4*k = 12. Which is bigger: w or 2.3?
w
Let g be 15/18 + ((-92320872)/11785680 - -7). Which is greater: g or -1?
g
Let j = -23861 + 23860. Let s = 0.258 + 148.742. Which is smaller: s or j?
j
Let g = -17438 - -17523. Which is smaller: 34 or g?
34
Let q = -32 - -18. Let v = -115.812 - 0.188. Let j = v + 116.2. Which is bigger: j or q?
j
Let v(j) = -j**2 + 11*j - 21. Let s be v(8). Suppose -s*z = -h - 10, 20*z - 19*z - 3 = 0. Which is smaller: h or 3/49?
h
Suppose -l + 5*l - 20 = 0. Suppose -76 = -l*q - 51. Which is smaller: q or 38/9?
38/9
Let u(k) = k**3 + 7*k**2 + 8*k - 5. Let n be (-3 - -1) + 4 + -8. Let p be u(n). Let g be (2 + 7)*(-4)/4 - 4. Which is bigger: g or p?
g
Let s = 22 + -17. Suppose m = -2*f + 54, -s*f + 76 = 3*m - 61. Let c be 35/(-14)*(-8)/f. Are -0.2 and c equal?
False
Let q(u) = 2*u + 24. Let y be q(-9). Let b be -3 - (-5 + 4)*y. Suppose -s + 3*z - 8 = 1, -4*z + 12 = -b*s. Is s < -3/25?
False
Let m be 1/(-2)*(-2)/39. Suppose -41*v + 420 = -37*v. Let t be (9 - v/14)*2/(-3). Is t greater than m?
False
Let s be 0 - 4/(0 - 1). Let w be (-2)/12*(-29652)/1512. Let u = 7/108 + w. Which is smaller: s or u?
u
Let p(t) = 9*t**2 + t + 10. Suppose 22*h - 23*h = 11*h. Let x be p(h). Is -23 at most x?
True
Let c be (-209)/143 - 6/(-3). Let t = 1/26 - c. Suppose 2*d - 9 = -5*n - 39, -5*n = 0. Which is smaller: d or t?
d
Let b = 99078/517 - 2108/11. Which is greater: b or 1?
1
Let m = -315782985/82 - -3849910. Let r = m + 1102. Is r equal to -1?
False
Let n = -17 + 43. Let o = n + 8. Let i(t) = t**3 + 18*t**2 - 147*t - 1732. Let p be i(-21). Do p and o have the same value?
False
Let k be 86 - (12/3 - 2). Suppose -24 = -4*x - k. Suppose -150 = 5*b + 5*b. Is x at most b?
True
Let i = -4.9 + -25.1. Let c = 15 - i. Let p = c - 44. Is -4 at most as big as p?
True
Let n(d) = -d**3 + 9*d - 6. Let c be n(6). Suppose 640*w - 538*w = -17034. Is c smaller than w?
True
Let c(u) = -25*u - 71. Let w be 20/(-8)*((-30)/25 - -4). Let t be c(w). Is 104 at least as big as t?
True
Suppose -4*z + 2 + 17 = 5*k, -2*k = -4*z - 2. Suppose -3 = -3*h + k*y, 14*h - 2 = 12*h - y. Let g = -72/35 - -1356/455. Is h != g?
True
Let c be -13 + (-424 - (9 - 31)). Is c not equal to 0.05?
True
Suppose -4*a + 73 = 5*v - 52, -3*v + 4*a + 43 = 0. Suppose -n + 48 = 2*b, -5*n - 29 = -b - 3*n. Let s = b - v. Which is smaller: s or 1?
1
Suppose -p - 25 + 28 = 0, 3187 = d - 3*p. Is 3198 greater than or equal to d?
True
Let s = -273 - 280. Let h = -38711/70 - s. Is 1 bigger than h?
True
Let n(w) = -4*w**2 + 11*w + 8. Let v(f) = -11*f**2 + 32*f + 25. Let d(t) = -8*n(t) + 3*v(t). Let h be d(9). Which is bigger: h or 24/17?
h
Let m be (5 - 1)*3/(-4). Let n = 4563 - 3022.25. Let f = n - 1541. Which is greater: m or f?
f
Let c = -0.03913 - 1.96087. Let s = -0.7 + 0.69. Is c greater than s?
False
Let l be (2 - (-2)/3)/206. Which is greater: l or -1?
l
Suppose -3*r + 6*r = -36. Suppose 0 = 124*l + 1148 + 340. Is l greater than r?
False
Let r = -54 + 63. Suppose 4 = -s + 3*a, -2*a = 4*s - r - 3. Let w be 2 - s*21*1. Does w = -40?
True
Let n be (-25)/15*(-18)/2. Suppose 5 - n = -5*f. Suppose -5*p + 46 = h, -h - 42 = -f*h - p. Are h and 41 non-equal?
False
Let k(u) = u**3 - 8*u**2 - 9*u + 6. Let y be k(9). Let x be (-9)/y - 515/(-346). Let d be (-11)/(9 - -79)*0. Which is smaller: d or x?
x
Suppose 5*p + 408*c = 403*c - 20, 0 = c + 5. Let l = -28.937 + 29. Which is bigger: p or l?
p
Let i be (-184)/10840*-470 + 8/(-1). Is 1 at most as big as i?
False
Let a be (6 + 7578/(-1518) + -1)/(-5). Let m(f) = f**3 - f**2 - 5*f - 3. Let w be m(3). Is a != w?
True
Let l = -19473 + 603665/31. Which is greater: 0 or l?
l
Let i = -8113 + 8162. Let s be (132/(-9))/((-10)/6). Let o = 42/5 - s. Which is smaller: i or o?
o
Suppose 398*h = -y + 395*h, h = 3*y - 0*h. Let u = 161253/5882 - 466/17. Is y at least as big as u?
False
Let j = 2606 - 2607.187. Let w = j + 0.127. Which is bigger: 0 or w?
0
Let v be (-4)/(-10) - -886*(-2)/(-20). Suppose 2 + 0 = 2*h, 0 = -4*l + 3*h + v. Suppose 3*s - 16 = l. Does 13 = s?
True
Suppose -5*a - 13 = -2*f, 2*a + 3 = -2*f - 5. Suppose 8*x = 3*x - 40. Let n be x/84 + 3/7. Which is bigger: n or f?
n
Let m be (-6 + 8)*25/(-2150). Which is smaller: 126 or m?
m
Let j(u) = u**3 - 48*u**2 + 44*u - 2354. Let z be j(43). Which is bigger: 0 or z?
0
Let u(o) = -o - 6. Let n(h) = -h - 7. Let w(z) = 4*n(z) - 5*u(z). Let s be w(10). Suppose 5*f + s = 2. Which is smaller: -16/5 or f?
-16/5
Let z = 0.13 + 4.37. Let y be (3 + 12/(-5))*170/51. Do y and z have the same value?
False
Let r be ((-900)/(-630))/((-12)/7). Which is smaller: -2.4 or r?
-2.4
Let d be (-1 + -1)/(6/(-15)). Suppose -4*i + 4*t = -i + 4942, -d*t - 4960 = 3*i. Let m = i - -130348/79. Which is bigger: m or -1?
m
Let g be -5*(-4)/(-10) - -1*4. Let h be ((-9)/450)/(2/(-72)). Which is greater: g or h?
g
Let g = -4263 + 4260. Which is greater: -2/4313 or g?
-2/4313
Let h be (-297692)/(-476) - (6 - 2). Let s = 921/119 + h. Let v = -627 + s. Which is smaller: v or 1?
1
Let i(z) = -2*z + 19. Let w = 19 - 11. Let x be i(w). Let r = 12 + x. Are r and 12 equal?
False
Let r be 60/(-4)*(-2 + (-5)/(-3)). Suppose 5*a + 2*k - 3*k + 64 = 0, 3*k = -r*a - 68. Let o = a - -14. Is o greater than or equal to -1/6?
True
Let x = 1907.7 - 16511.7. Which is smaller: -0.2 or x?
x
Let x(s) = 59*s - 8. Let t be (8 - 6) + (-14 - -13). Let d be x(t). Which is smaller: d or 55?
d
Suppose 384791 - 380079 = 62*k. Let m be (-4)/14 + 513/7. Which is bigger: m or k?
k
Suppose 5*c - 3 = -2*a, 7*c + 2 = 2*a + 11*c. Let b be a/4 - 1 - (-8 - -7). Which is smaller: 65 or b?
b
Let m = -94 + 93. Let r = 87 - 103.2. Is r bigger than m?
False
Let w = 79.25 - 47.6. Let m = -112.05 - w. Let b = m + 143. Which is smaller: -2/9 or b?
b
Let p be ((-255)/(-12))/(-5) - 4. Suppose -30*v + 33*v - 12 = 0. Suppose -28 = v*c - 0. Which is bigger: c or p?
c
Let a = 470.6589 - -0.3411. Is -2/7 less than a?
True
Let l = 134 - 134. Suppose l = -p + 5, 5*q - p + 76 = 71. Let d be 1048/2570 + (-4)/10. Is d greater than or equal to q?
True
Let a = -198 - -163. Let j(d) = -2*d**2 - 68*d + 70. Let r be j(a). Let n be 1/3*28/(-12). Is n at least r?
False
Let z be ((-352)/(-20))/((-2)/(-5)). Suppose -23*a = -z + 21. Is 10/41 at least as big as a?
False
Let m(h) = -29*h + 1345. Let b be m(88). Is b smaller than -4823/4?
True
Let a = 1839 - 1870. Do a and 5 have the same value?
False
Let h(j) = 28982429*j - 6. Let b be h(-1). Let o = 117118020751/4041 + b. Let i = 2/449 - o. Is i >= -21/5?
True
Let r = 0.03 - -0.37. Let n = 11470/7 + -1639. Is n greater than or equal to r?
False
Let w = 51 + -22. Let l be (-11)/((-110)/(-80)) + 38*1. Is w at most as big as l?
True
Suppose 0 = 3*l - 953 - 1048. Let s = l + -660. Is s smaller than 61/10?
False
Let k be ((-9)/24)/(25/(-200)) + -193. Is -208 bigger than k?
False
Suppose -6 = -2*g, 0 = -2*j - g - 0*g - 57. Let n(u) = -u + 2*u + u - 29 - 7*u. Let l be n(0). Is j equal to l?
False
Suppose 3*k - 18 = 9*k. Let x be (3/(-9))/1*k + -2. Let m be x/(-3) - (4 - 4)/(-2). Is m at least as big as 0?
True
Let m(w) = w - 1. Let k(b) = -21*b - 55. Let x(h) = -k(h) + 2*m(h). Let d be x(0). Which is bigger: d or 52?
d
Let c(h) = 2*h**3 - 4*h**2 - 122*h + 242. Let o be c(2). Let k = -11.82 - -12. Let p = 0.2 - k. Is p at least o?
True
Let h be (-66)/(-9) + (-4)/(-6). Suppose -2*l + 10 = h. Let j be l/(-2) - 4/(-16). Which is smaller: j or 28?
j
Let v(p) = p**2 + 12*p - 7. Let z be v(-10). Let o(m) = m**2 - 27*m. Let l be o(26). Which is greater: l or z?
l
Suppose 0 = 3*c + 3*r - 39, r - 31 - 12 = -3*c. Let h be (c/(-12))/(4/(-16)). Suppose h*w + 3 = 8. Do 9/10 and w have the same value?
False
Let v = -3547 - -46177/13. Which is greater: v or 6?
6
Let n = -543128/7 + 77965. Let p = n - 375. Which is greater: -0.26 or p?
p
Let t(i) = -i + 6. Let l be t(-2). Suppose -d - l*d + 36 = 0. Which is greater: d or 13?
13
Let z(c) = -17*c**2 - 2*c + 8. Let p be 