47. Let d = 43 - i. Is d < v?
False
Suppose 4*z - 128 = 4*x, 31 = -4*z + 2*x + 159. Is 3/5 less than z?
True
Let n = 31 + -29. Let k be -1*n/289 - 0. Let r = 161/18496 - k. Which is bigger: r or 1?
1
Let n be 4/18 - 8765/(-45). Let p be (-9)/18 + n/(-2). Let q be p/84*8/(-14). Which is smaller: q or 2?
q
Let i be 8 + ((-427)/(-105) - 13). Which is bigger: -0.3 or i?
-0.3
Let o be (-14)/20*((-312)/(-21))/(-13). Which is greater: -3 or o?
o
Let a be 36/60 - (-144)/10. Let k be ((-6)/(-10))/(3/a). Let j be 0 + k + 0 + -2. Which is smaller: j or 1/21?
1/21
Let u = 665 - 3298/5. Do 4 and u have the same value?
False
Suppose 2*w + 196*p + 14 = 193*p, 5*p + 22 = -2*w. Let d = -2075977732/10645171 + -84/174511. Let y = 195 + d. Is y at most as big as w?
False
Let a(q) = q**2 - 15*q + 64. Let n be a(11). Which is bigger: 135/7 or n?
n
Suppose 4*s - 10 = 5*j + s, 2*j - 3*s = -4. Let a = -569/2 + 150. Let f = a - -132. Which is greater: j or f?
j
Let j = -1.65 - -8.79. Let q = j - -0.36. Let h = q - 8. Is h at most as big as -0.1?
True
Let f = -0.02 + -0.03. Let d = 0.05 - f. Let w = 93.03 + -93. Which is bigger: w or d?
d
Let o be (6 - (-1624)/(-264))/(3/(-54)). Is 4 bigger than o?
True
Suppose -5*w - 4 - 41 = 0. Which is smaller: w or -3?
w
Suppose 4 = u - 0. Suppose 2 + u = -3*i. Which is bigger: 3/11 or i?
3/11
Suppose 0 = -j + 6. Let m be -5*((-10)/j - -2). Let z be (-4)/5 + 23/(-115). Which is smaller: m or z?
m
Suppose v = -3*v + 36. Let r = 3 - v. Suppose -2*k = 3*q + 24, 5*k - 4 = 2*q - 26. Is k >= r?
True
Suppose 136 = 3*v - 2*r, 48 = v - 3*r + 12. Which is greater: 59 or v?
59
Let y = -31 + 44. Suppose -y*q - 2 = -14*q. Is 14/9 at least as big as q?
False
Suppose 0 = -4*i + 5*g + 4, -2*i + 4*g - 2 = -4. Let q be (i - 0 - 1) + 27. Let o be q/45 - 4/(-10). Is o not equal to 3?
True
Let z = -0.8 + -0.2. Let s = -0.102 + -0.098. Which is bigger: s or z?
s
Let n = -0.1 - -0.64. Let a = n - 0.6. Let p = -0.14 + a. Which is smaller: 1/4 or p?
p
Let q = -1229 + 1230. Are q and -3/20 nonequal?
True
Suppose -25*x + 20*x - 135 = 0. Let o be -8*((-6)/(-4) + 2). Which is smaller: x or o?
o
Let y(u) = 15*u + 398. Let m be y(-34). Is m less than -117?
False
Let g = -1 + -1. Let d be (-1)/13*(g - 0). Let a = -23.9 - -24.9. Which is smaller: a or d?
d
Let s be (-35)/133*(-16)/10. Suppose 0 = -40*u + 31*u. Which is smaller: s or u?
u
Let i = 4 - 6. Let f = i - -4. Which is bigger: f or 12?
12
Suppose -20 = -5*l - 2*w, -2*w - w - 16 = -4*l. Let q be 111*l/24*-2. Which is smaller: -36 or q?
q
Let k(j) = -2*j**2 - 55*j - 30. Let d be k(-25). Let a be (92 - -3) + (-2 - -3). Are a and d nonequal?
True
Let l = -101 + 100. Let v = -993 + 21841/22. Which is smaller: v or l?
l
Let o be (-376)/95 - 8/40. Which is smaller: o or -4?
o
Let n be 794062/(-1212) - (-3)/(-2). Is -656 equal to n?
False
Suppose -4*z + 8*z = -2940. Let p be 203/z + 2/15. Which is smaller: 0 or p?
p
Let v = -9.51 + 576.51. Is 0 greater than v?
False
Let f = 89/46 - 10/23. Is 3/50 greater than f?
False
Let w be (2 + 1)*(-4 - -5). Suppose w*l + 342 = 102. Is -80 < l?
False
Suppose -2*n - n = a - 41, 5*a - 227 = -4*n. Let l = 0.867 - 0.867. Which is smaller: l or a?
l
Suppose 4*y - 27 = -19. Let i be 1 - (-2)/((-4)/y). Let j = -3 - -2. Which is bigger: i or j?
i
Let j = 200 + -201. Is -3/50 at least as big as j?
True
Let l = 0.294 - 0.094. Which is smaller: l or 22?
l
Let s(d) = -7*d - 27. Suppose -c - 8*p + 9*p + 6 = 0, -6 = -3*p. Let y be s(c). Is y >= -82?
False
Let c = 41 - 106. Let t be c/(-12) - (-1)/4. Let u = t + -6. Are u and 5 non-equal?
True
Let g = -1701 + 49353/29. Let b = g - 33/145. Which is bigger: b or -2?
b
Let d = -1533 - -562613/367. Is 0 greater than d?
False
Let u = -1360 - -6799/5. Which is greater: 4/45 or u?
4/45
Let z = 66 - 75/2. Which is smaller: 30 or z?
z
Let u(i) = 12*i**2 - 6*i + 17. Let d be u(2). Are 0.4 and d equal?
False
Let i = 7.064 + -0.064. Which is bigger: 2/7 or i?
i
Let o = -0.8 - -1.31. Which is greater: o or 2/3?
2/3
Let i = 0.01 - 0.23. Let u = i - 17.78. Which is greater: 0 or u?
0
Let y = 11 + -3. Suppose -b - 2 = -3*q + 4*b, 0 = -5*q - 5*b + 70. Which is bigger: y or q?
q
Suppose y + 2*y = 90. Let w be ((-90)/2)/(51/(-34)). Let k = y - w. Is -1/16 greater than k?
False
Suppose -5*f + 18 = -4*l, 2*l + 3*f - 12 = 5*l. Suppose 17 = o + 2*x, o + 3*x = -o + 30. Let q be (o/(-27))/((-1)/6). Which is greater: q or l?
q
Let g = 199/10545 - -3/185. Suppose 0 = 32434*c - 32427*c - 7. Which is greater: c or g?
c
Let r = 39 - 36. Suppose 0 = 2*k - 4*z - 38, r*z + 2*z = 0. Is k greater than or equal to 18?
True
Suppose 7*d - 25 = 108. Suppose 0 = -5*t + 80 + 10. Is t greater than or equal to d?
False
Let f = -16.6 + 16.8. Which is bigger: f or -6.6?
f
Let t(j) be the third derivative of j**7/2520 + 7*j**6/720 + 7*j**4/24 + 11*j**2. Let y(x) be the second derivative of t(x). Let u be y(-7). Is u <= 2/59?
True
Suppose -y + 2*y - 2*q - 10 = 0, 2*y + 8 = -3*q. Suppose -y = 3*d - 29. Let i = -13 - -23. Which is smaller: i or d?
d
Suppose 0 = -j + 292 + 3. Are j and 295 nonequal?
False
Let r = 237 + -256. Is -19 at most r?
True
Let g = 470 + -490.95. Let b = g - -21. Which is greater: b or -0.4?
b
Let l(b) = -b**2 + 10*b - 4. Let g be l(8). Suppose 2*y = -2*q + 12, q - 3*y - 2*y = -g. Suppose -o = q*k - 3, -4*o + 3*k = -k + 20. Is -3 > o?
False
Let a be 46*2/96 + -3. Let d = -13/8 - a. Is d >= 0.1?
True
Let m = -4.0422 + 0.0422. Are -43 and m equal?
False
Let f(z) = -2*z**2 - 54*z - 2. Let n be f(-27). Let y be 5/(-4) - 3/(-12). Is y at most as big as n?
False
Let x = 3898.707 + -3896. Let o = x - 0.007. Let w = o - 0.7. Are -0.06 and w non-equal?
True
Let m = 15 - 23. Let j = m - -17. Suppose -j*s + 14*s = 0. Is s less than 0?
False
Let i = 809/9 - 15323/117. Is -42 not equal to i?
True
Let l(r) = 4*r**3 - 2*r**2 + 1. Let a be l(-1). Let d be 3*a*(-8)/20. Suppose -2*v + 4*k - 16 = 0, -24 = -2*v + d*v - 4*k. Which is greater: -3 or v?
-3
Let z be -5*52/585 - 26066/36. Which is smaller: z or -725?
-725
Let i = 27 - 28. Let j be 0/(i - 2 - -2). Is -10/7 equal to j?
False
Let d(s) = -31*s - 1. Let c be d(1). Let n = 32 + c. Let z = -126 + 1511/12. Which is greater: z or n?
n
Suppose 3*p - 5*b - 20 = 0, -6 + 54 = 4*p + 4*b. Let w = 16 - p. Let n be w/27 + 68/(-63). Is 0.2 >= n?
True
Suppose 5*b = 10, 5*b = -4*q + 3*b - 580. Are -145 and q equal?
False
Suppose 0 = -5*l + 3*l + 4. Suppose 0 = -n - l*n. Suppose t - 5*k - 1 = 9, -t - 2*k + 3 = n. Do 4 and t have the same value?
False
Let m = -621860/179 - -3474. Is m at least 0?
False
Suppose 2*l = 2*t - 28, 8*l - 10 = 3*l. Suppose 2 = -5*s - 2*v, t = -5*s + 3*v - 6. Let w be (-3 + 63/15)/s. Is w >= 0?
False
Let b = -2697 - -21613/8. Which is smaller: 6 or b?
b
Let v = -424/3 + 145. Is 5 greater than v?
True
Let q = 140 - 69. Is 211/3 < q?
True
Let k = -195551/12 - -16307. Let w = k - 39/4. Is 1/4 <= w?
True
Let l = 2/4015 + 3739/554070. Which is bigger: 0 or l?
l
Suppose 691 = 3*u + 2*w, 4*u = u - 3*w + 690. Is u not equal to 231?
False
Let x = -26/145 - -11/29. Is -15 greater than x?
False
Suppose -9*v + 25 + 11 = 0. Are 25 and v equal?
False
Let d = 25639.27 - 25757. Let z = 119 + d. Let o = 0.27 - z. Which is greater: o or 0?
0
Let q be (6 - (0 + 2)) + -2. Let k be (21/14)/((-1)/q). Let b be (-2 - 6/(-2))/(-1). Which is bigger: b or k?
b
Let a = -57 + 59. Let i be (-26)/4*(a - 0). Is i >= -15?
True
Suppose 4*t = -0*t - 8. Let v = 66 + -70. Which is greater: t or v?
t
Let p be ((-188)/60 - -3)/((-2)/1). Let n(i) = i**3 - 7*i**2 + 6*i. Let s be n(6). Which is smaller: s or p?
s
Let v be 8/(-6)*(89/2 - 16). Which is smaller: v or -46?
-46
Let z = -15 + 20. Suppose 23 + 57 = -z*b. Let d = 18 - 33. Are d and b nonequal?
True
Suppose 0 = -3*o - 5 + 2. Which is smaller: o or -31?
-31
Suppose 5*j + 2*b - 845 = -2*b, 4*j = 3*b + 645. Let i be (-3652)/j*(-18)/(-4). Let z = i + 100. Which is smaller: 1 or z?
z
Suppose -r + 3*r + 18 = 4*s, 3*r + 7 = s. Let w be (r*16)/((-365)/11). Let t = -6/73 + w. Which is greater: t or 0?
t
Suppose -p + 4*p = 5*k - 6, -4*k - 2*p + 18 = 0. Let i(c) = c**2 - 14*c + 2. Let s be i(14). Are s and k equal?
False
Suppose -747 = -15*u + 6*u. Are u and 83 nonequal?
False
Let o be 20810/25*(0 + -1). Let y 