Let d = -23.2 + 87.2. Is d > 3?
True
Let b be ((-36)/(-63))/((-2)/(-4)). Let t = 9663/70 - 687/5. Let d = b - t. Which is smaller: 10 or d?
d
Let y = -12 + 11.6. Let l = 10.4 + y. Let d = l - 10.2. Do d and -1/5 have different values?
False
Suppose 112 = 7*c - 15*c. Is c bigger than -18?
True
Let u = 0.3 - 0.4. Let v(f) = 2*f**3 + 21*f**2 + 8*f - 8. Let c be v(-10). Is u less than or equal to c?
True
Let p = 0.18 + -0.38. Let d = 0 - p. Is d greater than 0.01?
True
Let f = 8/45 + 14/15. Let d(s) = 3*s. Let u be d(1). Let b = 4 - u. Which is smaller: b or f?
b
Let v = -482 + 481. Which is smaller: v or -2/2313?
v
Suppose -2*x - 36 = 32. Is x at most -35?
False
Let v = 26/227 - -14093/1816. Let l = 1551 - 1544. Are v and l nonequal?
True
Let g = -44.3 - -44.5. Which is smaller: 12 or g?
g
Let b = -305/8 + 1893/40. Which is smaller: b or 10?
b
Let o = -1 - -1.1. Let q be -5 - ((-4 - (-357)/49) + -8). Is o at least as big as q?
True
Suppose 40 = 10*u - 0*u. Suppose -5*t - 2*x - 37 = 21, 0 = u*x - 4. Suppose 0 = -5*q + 4*q - 13. Does t = q?
False
Let v(u) = -6*u - 2. Let o be v(-1). Suppose 0 = -3*s - o*a + 21, -5*a + 21 = -2*s + 5*s. Let l = 29/4 - s. Which is smaller: l or 0?
0
Let j = -57 + 41. Let z = j + 16.1. Are z and 2/3 equal?
False
Let l = -143 + 205. Which is smaller: l or 61?
61
Let q = 859 - 850. Is 14 >= q?
True
Let v = 28.35 + -28.35. Suppose 3*a + 6 = 3*i + 15, -a = 2*i + 3. Which is greater: a or v?
a
Let f(x) = 3*x - 1. Suppose -3*h = -5*c + 15, 0 = 2*c - 5*c - 3*h - 15. Let s be f(c). Is s at most -1?
True
Let z = -9 + 11. Suppose q = -z*q. Let k be ((-6)/10)/(9/4). Which is greater: k or q?
q
Let l be ((-7803)/324 + 24)/((-2)/(-4)). Let s(c) = -c**2 + 2*c + 3. Let a be s(3). Suppose 6*g - 2*g = a. Is l <= g?
True
Let h = 52 - 28. Let b = 26 - h. Do 3/4 and b have the same value?
False
Suppose -5*c = 5*v - 0*v, -5*v = 2*c + 9. Suppose -3*y + 3*m = -198, y = c*m - 28 + 94. Which is smaller: 67 or y?
y
Suppose -8*j = -229 - 219. Is j < 56?
False
Let w be ((-4)/1 + 4)/2. Let v = -21 - -23. Let s be 1/v*60/(-130). Is w less than or equal to s?
False
Suppose 136*d = 128*d + 32. Let u = 1/39 - -35/156. Which is smaller: u or d?
u
Let h(q) = q**3 + 14*q**2 + 46*q - 12. Let m be h(-6). Are 1/71 and m nonequal?
True
Let f(c) = 2*c - 12. Let h be f(8). Suppose 3*p + x + h*x = -37, -23 = 2*p + 3*x. Let u be (8/p)/(2/(-3)). Do u and 4 have the same value?
False
Suppose -6*k - 2*v = -3*k - 4, 10 = -2*k + 5*v. Which is smaller: 19/16 or k?
k
Let w(c) = 26*c**2 - 6*c + 14. Let o be w(2). Which is smaller: o or 105?
105
Let c = 505 + -516. Is c greater than 0?
False
Suppose -4*p + 43 = d, -2*p = 5*d + 2*p - 167. Let m = -83/3 + 575/21. Which is greater: m or d?
d
Let p = 312 + -308. Is p <= 3?
False
Let h be 2925/(-54) + 1/6. Let x = h + 7. Are -48 and x non-equal?
True
Let s(b) = 43*b + 183. Let w be s(-5). Which is bigger: w or 1?
1
Let w = 790 + -789.59. Is w != -1/4?
True
Let m be (-2)/(-9) - 220/18. Let t be (-1)/3*0 + m. Let p be t/(-8) - 1/2. Are p and 3 unequal?
True
Let k(a) = -a**2 + 2*a + 5. Let p be k(-5). Is p < -0.2?
True
Let y = 0 + 4. Suppose -3*m + g = y + 1, 9 = -3*m + 3*g. Let t be -1 - ((-1)/(-4) + 34/(-24)). Which is smaller: m or t?
m
Suppose 14*q + 13*q - 1026 = 0. Is 270/7 < q?
False
Suppose -5*i - 2 = 3. Which is greater: i or 2/39?
2/39
Let u = -13 - -12.9. Let h(f) = f**2 - 2*f - 1. Let y be h(-2). Which is smaller: u or y?
u
Suppose 0*p - 414 = -9*p. Suppose y = c - 28, 3*y = -2*y - c - 140. Let x be p/y - (-27)/18. Is 1 less than x?
False
Let c(k) = k**2 - 2. Let y be c(-2). Let i be ((-64)/(-96))/((-1)/(-2)). Is y >= i?
True
Suppose h = -1794 + 1792. Suppose 0 = 4*q - 3*q - 8. Let d be 2/(-2) + q/(-6). Which is smaller: h or d?
d
Let t = -446/803 - -14/73. Let d be 4 - (5 + 4/(-1)). Let x be (4 + -4)*(-1)/d. Which is bigger: t or x?
x
Let d = 21 + -17. Suppose d*y - 4 = -u + 2, 2*u - y = 30. Are 13 and u unequal?
True
Suppose 4*s + 4*n + 32 = -0, 0 = 3*n + 6. Suppose 4*u = -0*u - 32. Which is smaller: s or u?
u
Let x = 59.25 - 68. Let k = -0.05 - x. Let a = k - 9. Which is greater: -0.2 or a?
-0.2
Suppose 7*u + 2*v - 1300 = 9*u, 3*u + 1953 = 2*v. Is u < -654?
False
Let y(w) = 8*w + 4. Let f be y(2). Let n be -14*(-3 + 9/6). Are f and n nonequal?
True
Let g = -131455/324 + 1623/4. Suppose 0*r = -2*r + 2. Which is greater: r or g?
r
Let l = 116733073/3012 - 38756. Which is greater: -1 or l?
l
Let d = 6 - 3. Suppose d*g = 1 + 8, -5*l - g - 47 = 0. Suppose -v - 14 = k, -3*k - 28 - 24 = 5*v. Is l bigger than k?
False
Let g = -50.966 + -0.034. Let q = g + 50. Is 22 less than or equal to q?
False
Let z be (-512)/48*3/2. Which is smaller: -10 or z?
z
Let a be ((-18)/1)/(-3)*153/18. Which is greater: a or 47?
a
Let m be (-9)/45*5/((-325)/(-40)). Which is greater: 0 or m?
0
Let g = -239 + 307. Is g less than 69?
True
Let l be 12*-1*(-2)/4. Let f(x) = x**3 + 4*x**2 - 6*x - 4. Let m be f(-5). Let v be 5*1/(0 + m). Which is smaller: v or l?
v
Let a = 0.013 + -12.213. Let v = a + 10.2. Which is bigger: 0.17 or v?
0.17
Let a = -102 - -102. Suppose -160 = -4*s - a*s. Which is smaller: 41 or s?
s
Let i(j) = 14*j - 41. Let g be i(-13). Let q = g - -155. Is q equal to -68?
True
Suppose -4*r - 20 = -4*o + r, -3*o + 5*r + 20 = 0. Let q be (o - (-2 - 1))/3. Do q and 7 have different values?
True
Let u = 0.16 + -10.16. Let o = u - -10.03. Let c = -0.27 - o. Are -1/2 and c unequal?
True
Let n = 0 - 6. Let b = n - -1. Let i = -4.9 - b. Which is bigger: -0.06 or i?
i
Let h = -140 - -62. Let a = h + 73. Is a greater than or equal to -12?
True
Let f = 27 - 28. Let z = -1.2 - f. Is 6 < z?
False
Suppose -p - 4*p - o + 25 = 0, -10 = -2*p + 3*o. Suppose -6 + 1 = p*i. Which is smaller: i or -1/136?
i
Let s(v) = 4*v**2 + 8*v + 2. Let f(a) = 5*a**2 + 9*a + 2. Let u(p) = 5*f(p) - 6*s(p). Let o be u(4). Which is smaller: o or -1?
-1
Let h = 31 - 28. Let a be 4/(-6)*h/(-17). Is 2 less than a?
False
Suppose -45*g = -15*g + 30. Which is smaller: -4/587 or g?
g
Suppose -24 = -2*r + 5*a - 3, 2*r - 3*a - 19 = 0. Let q(u) = -u**2 + 8*u - 1. Let n be q(r). Let d = -7 - -6.7. Which is smaller: n or d?
n
Let x = -244 - -245. Are x and -2/459 equal?
False
Let w = 300 - 345. Is w <= 0.1?
True
Let v be 4/18*1*-1. Let c = 40 + -39. Let u be (-4)/(-3 - c)*(-2 - -1). Is v at most u?
False
Let x = 94 - 61.1. Let p = x + -33. Is 0.04 less than p?
False
Let s = -113 + 33. Let u be (0 + 2/23)/(s/(-60)). Does u = -1?
False
Let g(m) = 2*m**2 - 39*m - 16. Let k be g(5). Is k smaller than -161?
False
Let p = -3 - -7. Suppose a - 12 = p*a. Let h be (-2)/a*8/22. Is h bigger than 4?
False
Let a = -0.652 + 0.752. Is -62 greater than or equal to a?
False
Let d be (1/(-2))/(14/28). Let z = 12 - d. Is 15 at least z?
True
Let n = 0.024 + -0.074. Let v = 1.05 + n. Which is bigger: -2/3 or v?
v
Let i(p) = -p**3 - 7*p**2 - 4*p + 2. Suppose 12 = 2*v + 4*k, -v - 2*v = -2*k + 6. Suppose v*n + 12 = -2*n. Let o be i(n). Is -9 at least as big as o?
True
Let u be 130/(-144) + 2/(-9). Let d be 4/(-8) + ((-21)/6)/7. Which is bigger: u or d?
d
Suppose -5*i + 2*h + 190 = 0, 185 = -3*i + 8*i - h. Let q be (-39*(-6)/i)/(-2). Let t = -10 - -6. Is t greater than q?
False
Suppose -o - 5 = y - 1, 2*y + 11 = -3*o. Let g = o - 2. Which is bigger: g or -6?
g
Let j be (-30)/(-135) + (-2)/9. Suppose j*m = -3*m. Suppose 5*o + 5 = -m*o. Which is greater: o or 0?
0
Let u = -33 + 28. Let f(v) = -3*v - 11. Let i be f(u). Let j be 108/(-30) + i/1. Which is smaller: 1 or j?
j
Let f = 1.006 + -91.206. Let t = f + 90. Are -3/5 and t equal?
False
Let l(k) = 2*k**2 - 3*k - 8. Let m be l(-8). Let w be m/10 + (-24)/(-40). Is 2/7 bigger than w?
False
Let y = 179 - 70. Let u = y + -873/8. Is u less than or equal to 0.1?
True
Let l = 512.99 + -509. Let k = 0.01 + l. Let z = -4 + 4. Which is smaller: k or z?
z
Suppose 20*u + 5*z - 43 = 19*u, 0 = 3*u + 3*z - 165. Is u smaller than 66?
True
Let w = -2.8 + 2.8. Let y = -0.5 - -6.5. Let d = -6 + y. Is w not equal to d?
False
Let l be (6 - 14)/8 - -1. Is -2/57 greater than or equal to l?
False
Let u(i) = i**3 - 7*i**2 + 3*i - 34. Let q be u(7). Which is smaller: q or -17?
-17
Let r = -23 + 14. Let g = -67/8 - r. Suppose 0 = i - 0*i - 2. Is i greater than or equal to g?
True
