Is d at most k?
True
Let f = 1003/4 - 249. Let h = 0.0033 + -5.0033. Is h at least as big as f?
False
Let y = -91 + 92. Which is bigger: -0.185 or y?
y
Let g = 227 - 143. Which is greater: 81 or g?
g
Let q(o) = -o + 10. Let r be q(7). Suppose 3 = -r*l, -2*l = 4*b - 7*l - 13. Which is smaller: 4 or b?
b
Suppose -3*y - 2*y = -75. Let p be 3/4 - 962/(-104). Let b be (8/p)/((-2)/y). Is -7 equal to b?
False
Let g = -126.794 - -126.4. Is g less than or equal to -2?
False
Let j be ((-1700)/60)/(1/(-3)). Let f = -85 + j. Let w = 71/3 + -25. Which is greater: f or w?
f
Let l be ((-309792)/54)/14 + 4/(-18). Which is smaller: -411 or l?
-411
Let i be (-9)/1239*2 + 31 + -31. Is i at least 1?
False
Suppose -96 = -5*r - 9*h + 5*h, 2*h + 82 = 4*r. Is 19 > r?
False
Let j = -66 - -200/3. Let t = 185 - 87. Let p = t - 94. Which is greater: j or p?
p
Let a = 20 - 22.8. Let l = a - -2.8. Is l at most 10?
True
Suppose 0 = 22*w - 26 - 40. Which is smaller: -16 or w?
-16
Let a be (40/595)/((-6)/(-42)). Which is smaller: a or -1?
-1
Suppose -u = -1 - 1. Suppose 0 = 5*y - d - 6, -3*y + u = d - 2*d. Let t be 4/y + 336/(-175). Are -1 and t equal?
False
Let b be (6/9)/(10/225). Suppose 36*u - 35*u + 28 = 0. Let q be (9/(4 + -1))/((-6)/u). Which is bigger: b or q?
b
Let s be (34/(-16))/(21/(-18) - -1). Let q = -13 + s. Is 21/4 > q?
True
Let h = 21806/9 + -2424. Which is greater: -16 or h?
h
Let p be (-2)/(-7) - (-32)/(-14). Let r(l) = 0*l**2 + 4*l + 2 - l**3 - 4*l**2 + 2*l**2. Let u be r(-3). Do p and u have different values?
True
Suppose -5*j = -2 - 43. Suppose -3*z - 3*a - 15 = j, 5*z + 4*a + 35 = 0. Let s be z + (-8)/(-10) + 0. Is s less than or equal to -2?
True
Suppose -10*s + 94 + 26 = 0. Suppose 7*p - p = s. Let v be (-2)/(-1) - 120/57. Is p < v?
False
Let z = 731/188 - 5/376. Is 3 >= z?
False
Let y be (-235)/30 - 6/9. Let s = 137 + -146. Which is smaller: y or s?
s
Suppose 201*l + 144 - 4566 = 0. Let p be 0 + 0 - (1 + -22). Which is smaller: l or p?
p
Let d(q) = q. Let t be d(9). Let p be t*(2/2 + -2). Let x = -8 - 1. Is p less than or equal to x?
True
Suppose -2*p - 6 = -16. Suppose -o = -p*m - 3*o + 47, o + 26 = 3*m. Let w(v) = -v + 3. Let j be w(-5). Which is smaller: j or m?
j
Let c = 13 + 1. Suppose -35*q - 71*q + 1060 = 0. Is q >= c?
False
Suppose 5*d - 23 = -w, 5 = d + 1. Suppose -5*m - 2*f = -0*f - 21, -w*f + 4 = 2*m. Suppose 3 = -4*a + 19. Is m <= a?
False
Let d be (-31741 + -6 + -1)*(-2)/196. Let f = -324 + d. Are 0 and f equal?
False
Let s = 58 - 58.85. Let z = s - -0.84. Which is smaller: z or 8?
z
Suppose k = -c, -2*k - 9 - 1 = -3*c. Let h be 1*c/4*0/19. Is -1/53 <= h?
True
Suppose 0 = -9*h + 13 + 14. Suppose 4 = -7*j - h. Are 4/43 and j unequal?
True
Suppose -5*r - 2*u = -25 - 0, 3*r = u + 26. Which is greater: -25 or r?
r
Suppose 16*z - 1570 = 494. Are z and 127 equal?
False
Let l = 169/8 - 39/2. Which is smaller: l or -0.1?
-0.1
Let w = 241 + -216. Which is smaller: w or 24?
24
Let j be (-1216)/38 - -35 - (-2 - 0/(-2)). Let g = 8/41 - -911/164. Which is smaller: j or g?
j
Let g be (-2)/(-14) - (-544)/112 - 16. Which is smaller: -23/2 or g?
-23/2
Let j be (836/(-77))/(4/(-14)). Let g = j - 28. Suppose 0*f = -3*s - 2*f - 55, -g = 2*s - 4*f. Are s and -15 equal?
True
Let b be ((-2)/6)/((-2)/6). Let c be (-3)/(-12)*(79/(-9) - -7). Which is bigger: b or c?
b
Suppose 4*q = -5*k - 11, -2*q + k - 2*k = 13. Are -132/17 and q non-equal?
True
Let y = -164.715 - 0.285. Is y at least 1/2?
False
Let c be -14*(-11 + 18 - (-13)/(-2)). Suppose 5*z = 4*r - 3*r - 41, -z - 6 = 2*r. Is z bigger than c?
False
Let s be 2*1/(-13) - 40/(-260). Are s and -1 nonequal?
True
Let l = -24 + 68. Suppose 0 = -4*n - 2*g - 3*g - 60, 0 = -3*n - 4*g - l. Which is bigger: 2/5 or n?
2/5
Let b(f) = f**2 + 2*f - 15. Let c be b(4). Let j(o) = -6*o + 64. Let v be j(c). Is v <= 10?
True
Suppose 0 = 5*i - 6*i + 32. Let z = i - 33. Is z != 0.08?
True
Let d be -3*(-2)/15 + 132/(-330). Is -2/1717 >= d?
False
Suppose -26*x = -21*x - 120. Let k be (-8)/21*((-90)/x)/5. Is -1 less than or equal to k?
True
Let y = 1791 - 7211/4. Is y smaller than -12?
False
Let d = -75665/7 - -10790. Let h = d + 120/7. Is h != -2?
True
Let j = -0.055 + 9.045. Let p = j + 0.01. Let u = -9.13 + p. Which is greater: -0.1 or u?
-0.1
Let y be 3*(762/(-18) + 1). Do y and -124 have different values?
False
Suppose -52*d = 2013 + 3187. Is -401/4 not equal to d?
True
Let a = 11 + 19. Suppose 5*r + 5*q - 55 = 0, 2*r = -q - 3*q + a. Which is bigger: r or 6?
r
Suppose 12*y - 241 + 1921 = 0. Let i = y + 129. Which is greater: i or -31/3?
-31/3
Suppose 2*l + 8 = 0, 0*k + 8 = 5*k - 2*l. Suppose 279 = -6*q + 297. Which is smaller: q or k?
k
Let l be (-2)/(2 - 0/(-2)). Let z be 584/5691 - (-470)/(-4935). Does z = l?
False
Let v = -1.56 - -1.7. Let c = v + -0.24. Suppose -3*l - 28 = -5*l. Which is smaller: l or c?
c
Let u be 18/7 + 16/(-28). Let p be (u/31*16/32)/3. Is 1 greater than p?
True
Let c = 210.69 + -13.69. Is -1/3 less than or equal to c?
True
Let l(p) = 8 + 1 + 0*p + 2*p + 10. Let q be l(-6). Do 7 and q have the same value?
True
Suppose 4*d + 6 = 6*d. Let h be (d + -1)/(7/(-2)). Let o(z) = -z**2 + 6*z. Let v be o(6). Which is smaller: h or v?
h
Let k(q) be the second derivative of -q**5/20 - q**4/3 - 2*q**3/3 - q**2/2 + 2*q. Let r be k(-3). Let i be -2 + r*(-28)/(-24). Which is greater: -1 or i?
i
Suppose -b = -14*c + 17*c - 15, -2*b + 5 = c. Which is greater: b or 4/13?
4/13
Let o be 9895/(-1100) - (-12 + 3). Do o and 1 have different values?
True
Let c = -11 + 35. Let r be (-5)/2*c/20. Which is smaller: r or 0?
r
Let b = 5037 - 307269/61. Which is greater: 0 or b?
0
Let q = -15.86 - 0.14. Let b = 28 + q. Let s = b - 6. Which is bigger: 1 or s?
s
Suppose 0 = 2*o - 4*g - 14, 3*o - g = -1 + 22. Is o less than -5?
False
Suppose -5*t = 3*x + x - 29, -3*t = 2*x - 15. Which is greater: x or 19?
19
Let z be 2/16 + 113811/(-22184) - -5. Let p = -5 - -6. Is p smaller than z?
False
Let p = 73 - 70. Let a be 0 - 1*p/(-366). Which is greater: a or 1?
1
Let n be (36/30)/(9/120). Suppose -13*s + 9*s + 60 = 0. Which is bigger: n or s?
n
Let r = -0.2 + 1.4. Let n = -110.3 + 110. Which is smaller: r or n?
n
Let y be 24/(-32)*(-3 + -1). Suppose 0 = -2*m + 2*h + 14, y*m + 3*h - 14 = -m. Suppose 2*w - 26 = w - m*d, -5*w + 5*d = -40. Is w at least as big as 13?
False
Let w = 780 - 774. Let c = 0 - 2. Is c > w?
False
Let x be (-1)/4 - (13322/(-1400) - -6). Let p = -23/7 + x. Which is smaller: 1 or p?
p
Suppose 132 = -25*c - 8068. Is c less than -328?
False
Let u = 781 - 781.4. Is u less than or equal to 0.35?
True
Suppose 6*x + 18 = -24. Let n be -13 + 4 + (x - -4). Let c be (-2)/9*30/n. Which is greater: c or 0?
c
Let v = -8 - -3. Let o be 1*((-8195)/(-18))/v. Let p = -91 - o. Is p smaller than -1?
False
Let u = -2535 + 3132. Which is bigger: 596 or u?
u
Let s be 11/44 + 374/8. Which is smaller: 46 or s?
46
Let k(o) = o**2 - 5*o + 9. Let z be k(3). Suppose -4*s - 5*a + 35 = -9, 0 = 2*s + z*a - 24. Is s equal to 7?
False
Suppose 0 = 1622*u - 1447*u. Suppose 0 = c + v - 4, 4*c + 2 = -2*v + 20. Which is greater: u or c?
c
Let m = 90 + -89.9. Are 1/187 and m nonequal?
True
Let i = 15 - 12. Let h be 0 + 2/3*i. Suppose y = -h*g - 5, -5*g = 5*y + 1 + 39. Are y and -11 equal?
True
Let u = -0.057 - 15.743. Let j = -0.0491 - -16.0491. Let g = j + u. Which is bigger: -2/5 or g?
g
Let h(x) = -x + 13. Let c be h(6). Let j be ((5 - 12) + -16)*1. Let l = j + c. Is l equal to -16?
True
Suppose 3*g = -g. Let n(l) = 7 - l**3 - l + l**2 + 4 + 0 - 3. Let s be n(g). Is 5 greater than s?
False
Let d be ((-96)/112)/(15/(-14))*-145. Which is smaller: -117 or d?
-117
Let n(a) = 17 - 22*a - 7*a**2 + 4 + 9*a**2. Let w be n(10). Let m = 0 + 2. Which is smaller: w or m?
w
Let u be ((-208)/40)/(-1)*(-1)/(-20). Which is bigger: u or 0?
u
Let y = -580.6 + 593. Is y greater than -1/3?
True
Let a(j) be the third derivative of 4*j**2 - 1/24*j**4 + 0 + 0*j - j**3. Let k be a(-5). Does k = -1/19?
False
Let a = -1 + 1. Suppose 5*p = -n - 4*n - 35, -5*p - 29 = 3*n. Let o(j) = j**3 + 4*j**2 + 2*j + 9. Let d be o(p). Which is greater: a or d?
d
Suppose -22*c = -8*c - 182. Which is smaller: 12 or c?
12
Let j(t) = -t**3 - 6*t**2 - 5*t - 1. Let b be j(-5). Let h(f) = f**2 + 12*f - 1