 q. Let p = x + -734/5. Is -1 at most p?
True
Let f be -6 + 0 - (2 + 4/(-2)). Let d be (4/f)/(4/(-12)) + -14. Which is smaller: d or -14?
-14
Let k be (-519)/(-15) + (-4)/(-10). Suppose -2*s - 13 = 3*n, 5*n + k = -5*s - 0*n. Suppose -14*a - 33 = 79. Do s and a have different values?
False
Let v = 493 - 563. Is 0.6 > v?
True
Suppose -5*a = 5*w, 0 = 3*w - 7*a + 2*a - 32. Suppose 4*h - n = -17, -w*h + 8*n - 3*n - 37 = 0. Are h and -6 nonequal?
True
Let i = 671/15 + -26401/615. Is i >= 2?
False
Let o = 49.971 - -0.029. Let m = o + -39. Is m equal to 2/3?
False
Let o = 129 - 395/3. Let p(t) = t**2 + 8*t. Let c be p(0). Which is smaller: o or c?
o
Let l = -2040.898 - -2041. Are l and -2 unequal?
True
Suppose 0 = -6*a + 2*a - 4. Let y be (-12)/150 + (6 - 36108/6150). Which is smaller: a or y?
a
Let p be ((-4)/6)/((-6)/(-27)). Let o = -3 - p. Is 3 != o?
True
Let n(a) = -2*a**3 + 22*a**2 + 4*a - 1. Let l be n(9). Which is smaller: 360 or l?
l
Let j = 2 + -1.8. Let s = 1.2 - j. Is s less than or equal to 4/9?
False
Suppose 0*a = -6*a - 12. Which is smaller: -20/9 or a?
-20/9
Let p(g) = 2*g**2 + 17*g. Let a(k) = -3*k**2 - 35*k. Let l(z) = -3*a(z) - 5*p(z). Let y be l(20). Let n be ((-2)/24)/((-25)/40). Is y >= n?
False
Let f(g) = -45*g - 106. Let o be f(4). Do -287 and o have the same value?
False
Let n(h) = -h**3 - 27*h**2 - 28*h - 24. Let b be n(-11). Which is smaller: b or -1651?
b
Let p = -45 + 19. Let l = p + 37. Is l at least as big as 1?
True
Suppose n - 282 = -3*o - 2*n, 3*o = 3*n + 294. Is 96 at most o?
True
Let b = -392 + 310. Is b != 1?
True
Let b be (16/32)/((-1)/(-2)). Is b equal to 3/16?
False
Let o = -2866/7 - -432745/1057. Is o smaller than 0?
True
Let q be 0 + 46/18 - 0. Let j = 2195 - 19729/9. Let i = j - q. Is 3 equal to i?
False
Let z(n) = n + 1. Let o be z(4). Suppose u = -4*u + o. Let x be u/(5/(10/6)). Is 1 greater than x?
True
Let x(w) = -102*w - 817. Let y be x(-8). Which is bigger: y or -3/893?
-3/893
Let j = 111.95 - 112. Let w = -11.8 - -12. Which is bigger: w or j?
w
Let n be (172/(-66))/((-196)/1050). Let j = 99/7 - n. Is j < -5?
False
Suppose -v - 6 = -o, 6 - 16 = 5*o. Let j be 0/v*(-1)/(-4). Which is smaller: j or -2/41?
-2/41
Let i(v) be the second derivative of v**5/20 - 11*v**4/6 - 4*v**3 + 21*v**2/2 - 5*v. Let y be i(23). Is 13 < y?
False
Let g = -3163 - -2812. Which is smaller: -354 or g?
-354
Suppose -5*x = 3*q - 3*x - 9, -2*q - 3*x = -11. Which is smaller: q or 375?
q
Let z = -20.86 - 0.14. Let p = -7 + 8. Is p > z?
True
Suppose 140*v - 146*v + 852 = 0. Is v less than 142?
False
Suppose -49*q - 228 = 8102. Which is smaller: q or -162?
q
Let r = 9.509 - 0.109. Let a = r + -12.2. Is -0.2 smaller than a?
False
Let h = 2.4 + -0.64. Let g = -6 + 6.24. Let w = h + g. Which is smaller: -0.3 or w?
-0.3
Let o = 5434 - 3698. Let f = o + -8774/5. Which is bigger: -20 or f?
f
Suppose 3*z = k - 3, -3*z + 10 = -4*k + 4. Let h = -19 + 13. Let n = h - -5.9. Which is smaller: n or k?
k
Suppose 0*w + 1 = w. Let l = -11753/35277 + -2/11759. Are w and l equal?
False
Let w(q) = 3*q**2 + 17*q - 17. Let h be w(-8). Which is smaller: -0.3 or h?
-0.3
Suppose -2*a + 5*p = 1029, 6*p - 1554 = 3*a + 2*p. Let r = a - -29749/57. Let t = 121/570 - r. Are t and 1 equal?
False
Let n = 8.5 + -8.6. Which is greater: -1.185 or n?
n
Let w(q) = 58*q - 11. Let a be w(2). Let j be 3*(-4 + 430/a). Is -3/7 at least as big as j?
False
Let h = -66 - -119. Let p = h - 53. Which is greater: p or -0.091?
p
Suppose 3*b + 128 = -97. Is b greater than -75?
False
Suppose 6*a - a = 80. Let c = 27 + a. Do 43 and c have the same value?
True
Suppose -31*v - 1067 = 4792. Is -189 > v?
False
Let h = -925 - -1170. Does h = -2/7?
False
Suppose 15*n - 13*n = 16. Suppose -14*w = -n*w + 12. Is 3 greater than or equal to w?
True
Let h be 2/(-1) + (-30)/(-5). Let v(i) = i**2 + 5*i + 7. Let s be v(-5). Suppose -2*g - 3*t = 2, -1 + s = 4*g + t. Is h bigger than g?
True
Let l be (30 - 29) + ((-686)/342 - -1). Let m = 12/79111 - 26208313/148807791. Let z = m + l. Which is smaller: 1 or z?
z
Suppose 0 = -6*k + 33 - 33. Which is bigger: 3/65 or k?
3/65
Let f be 3 + (-2 + 3 - 1). Suppose -f*b + 95 = -8*b. Which is greater: -20 or b?
b
Let j = -84 + 70. Let u be j/(-20) - (-4)/(-20). Which is bigger: -10 or u?
u
Let j = 20 + -22. Let v = -0.047 - 22.953. Let h = -27 - v. Which is smaller: h or j?
h
Let s = -15487/854 + 127/7. Is s greater than 1?
False
Let p(a) = -a**2 - 17*a - 103. Let v be p(-17). Which is smaller: v or -102?
v
Let r = 40/29 + -1698/1189. Do -3/2 and r have the same value?
False
Suppose -4*l + 38 = 98. Let h = 21 + l. Suppose 2*o - 52 + 38 = 4*q, 0 = o - 3*q - 8. Which is smaller: h or o?
o
Let z = 5.9 - 6. Does z = 81?
False
Let t(h) = 5*h. Let m be t(-2). Let f = m + 9. Let r = -32/15 - -7/3. Is r equal to f?
False
Suppose 3*b - 27 = 3*v, -2*v + 6*b - 3*b = 20. Suppose -r - 4*j - 4 = r, -4*j - 8 = 0. Suppose r*i - i + 8 = 0. Which is greater: i or v?
v
Let o = 0.291 + 0.003. Let p = o + -0.024. Let x = p + -0.37. Which is bigger: x or -1?
x
Let j be (3/4)/(((-17)/(-17))/436). Is j bigger than 323?
True
Let l = -11/60 - 1/60. Let a(h) = 2*h + 17. Let g be a(-8). Is g < l?
False
Let p be 548 - (-7 + 15) - -4. Which is smaller: 543 or p?
543
Let i be -14 + 13 + (-4 - 1). Which is bigger: -5 or i?
-5
Let b(c) = -c**3 + 5*c**2 - 3*c - 4. Let p be b(4). Let w be 27/(-126)*9*7/1323. Which is greater: p or w?
p
Let b = -22 - -15. Let h = 8 - b. Let a = -15.1 + h. Which is bigger: 1/14 or a?
1/14
Let f = -345 + 340. Is -4/31 at least f?
True
Let c = 247 + -253. Does 18 = c?
False
Let o = 32729 + -164618/5. Which is greater: o or -196?
o
Let p be (-12)/16*-4 + -2. Let a be ((-42)/196)/(-6*p/(-8)). Let d(x) = x**2 + 5*x - 3. Let m be d(-5). Is m at least as big as a?
False
Let d be (-90)/(-72) - (2 - (-2 - -2)). Is d equal to 7?
False
Let t = -486 + 487. Are t and 14/67 non-equal?
True
Suppose -2*u + 1 - 5 = 0. Let w be -8 - 0/((-3)/3). Let s = -17/2 - w. Which is bigger: u or s?
s
Suppose 5*n = 4*n - 5. Let q be (-7)/n - (-8)/(-20). Let t be 28/(-36) + 1 - (-248)/180. Is t at most as big as q?
False
Let q = 1783/11 - 162. Suppose -8 = 3*h - 4*b, b + 5 - 7 = 0. Suppose h + 0 = -4*m. Is m != q?
True
Let r be 2/(-3) + 207/27. Let a(d) = 3*d - 44. Let h be a(r). Which is greater: h or -24?
h
Let j(g) = g**2 - 51. Let h be j(7). Is 6/25 greater than h?
True
Let y be (18/(-32))/(132/(-48)*2). Which is smaller: 1 or y?
y
Let a be 3*((-80)/(-6))/2. Let h = -161 - -168. Suppose -h*b + 4*b = -60. Is a at least as big as b?
True
Let w = -142 + 19. Suppose 8*q + 42*q + 5368 = 6*q. Which is greater: q or w?
q
Suppose 4*t = 6*t + 114. Let p = t - -48. Which is smaller: p or -6?
p
Let g = 18 + -10. Let m be (3*1)/(g/((-1160)/(-15))). Are m and 30 equal?
False
Let p = -1/883 + -15003/7064. Suppose 3*j - j = -2. Which is bigger: p or j?
j
Let j be (-50)/(-20) + (-1)/2. Suppose 2*m + j*l + 2 - 4 = 0, 4*m - 1 = -l. Suppose 35 = -m*h + 5*h. Is h at most 7?
True
Let f = -4 + 1. Let d be 4*(-6 + 7) - (0 - 109). Let a = -117 + d. Is f greater than or equal to a?
True
Let q = -133 + 45. Let n = 93 + q. Which is bigger: n or 4?
n
Let m = 0 - 4. Let p be (13/(-78))/(19/m). Is -1 smaller than p?
True
Let v = -15.07 - -0.07. Let n = -0.378 - 15.622. Let j = v - n. Are j and 0 non-equal?
True
Suppose -4*w = 49 - 85. Let k(v) = -7*v + 1. Let q be k(-1). Do w and q have the same value?
False
Let g be (8255/(-381))/((-5)/18). Is 78 bigger than g?
False
Let y = -0.5 - -1. Let h = 651 + -650.7. Is h at least y?
False
Suppose 4*j + 1173 = 5*u + 8*j, 726 = 3*u - 5*j. Let k = -1144/5 + u. Is k bigger than 9?
False
Let n = -450 - -446. Which is smaller: 140 or n?
n
Let c be (-1288)/(-8) + (-1 - -2). Is 163 at least c?
True
Let m = -0.56 + 3.26. Let w = m + -2.5. Which is smaller: 2/5 or w?
w
Let j = -346 + 136. Which is smaller: j or -209?
j
Let i(w) = w**2 + 9*w - 18. Let m be i(-9). Is -17 greater than or equal to m?
True
Let x(p) = 32*p - 14. Let w be x(6). Let m be (-9 - -8) + w/182. Which is smaller: m or 0?
m
Let s be (935/90 + 15/135)/(2/12). Suppose -4*h - 76 + 328 = 0. Does s = h?
True
Let k = 2.85 + -25.95. Let f = 21.21 + k. Let p = 0.11 - f. Are 4/3 and p nonequal?
True
Let r = 0.094 - 0.08. Let z 