-47/2. Does i = r?
False
Let h(k) = 4*k**2 - 1. Let m(w) = -w**3 + 7*w**2 - w + 8. Let i be m(7). Let t be h(i). Is t less than or equal to 2?
False
Let w be (-1 - -1) + 287/(-1397). Let f = w + 3/127. Do f and 0 have the same value?
False
Suppose -v - 4*f + 32 = 2*v, -3*v - 2*f + 22 = 0. Suppose b = v*b. Is b smaller than 2/27?
True
Let a be 10/1*(-10)/(-75). Is a greater than or equal to 1?
True
Let k(i) = i**2 + 8*i + 1. Let j be k(-8). Let b = -25/4 + 6. Which is smaller: b or j?
b
Let t be 13/(-65) - 149/5. Is -31 less than or equal to t?
True
Let h = -2 + -6. Let b = -9 - h. Is b not equal to -0.4?
True
Suppose 3*p + p = -4, 2*h + 5*p + 1 = 0. Which is bigger: h or 5/7?
h
Suppose 4*o + 3*y - 28 = 0, -14 = -3*o + 3*y + 7. Suppose 0 = -2*u + o*u. Is 0 > u?
False
Let l = -243/4 - -61. Let p(y) = y**2 + 8*y + 5. Let c be p(-7). Let b = c - -1. Which is smaller: b or l?
b
Let r = 51 + -63. Are r and -11 non-equal?
True
Let a = -1 - -3. Suppose -3*o = -a*o. Which is smaller: -2 or o?
-2
Suppose 3*s + a = 0, 0 = -3*s - s - 5*a. Is 0 greater than or equal to s?
True
Suppose d + 5*s + 8 + 7 = 0, 0 = -d + s + 9. Let f be (-1)/3 + 16/3. Suppose d + 0 = f*z. Which is smaller: -2/9 or z?
-2/9
Let z be (-2 - 2) + 15554/3885 + 0. Which is greater: z or 1?
1
Suppose 2*k + 3 = 1. Let p(q) = -q**3 - 2*q**2 - 2*q - 1. Let j be p(k). Let c(w) = w. Let h be c(2). Which is bigger: j or h?
h
Suppose -3*a - 40 = 68. Is a <= -34?
True
Let w be 3/(-16)*(-4 - -4 - -1). Is 0 at most w?
False
Let o = 57.6 - 75. Let t = o - -17. Is 1 less than or equal to t?
False
Let j = 0.36 - -0.04. Let n = j - 1.4. Let w = 3 + n. Which is bigger: w or 0?
w
Let a = -19 + 33. Suppose 5*y + 0*y + 3*g - 60 = 0, -80 = -5*y + g. Which is smaller: a or y?
a
Suppose 36 + 21 = -5*s - 2*b, s + 4*b - 3 = 0. Do 1 and s have the same value?
False
Suppose -3*x + 15 = 6. Let k be ((-15)/(-3))/((-2)/(-4)). Suppose 0 = 4*c - 2 - k. Is c < x?
False
Let t = -0.8 + 1. Is 6/5 less than t?
False
Let l be 0/(1*4/(-4)). Which is smaller: l or 1/7?
l
Let w(q) = -q**2 - q - 2. Let c be w(-2). Are c and -2 equal?
False
Suppose -11*j = -13*j. Let d = -773/7 - -109. Are d and j nonequal?
True
Let v = -1219 - -1238.09. Let w = -19 + v. Let c = -0.09 + w. Is 1/7 greater than or equal to c?
True
Let h = -0.2 - -0.2. Let k = -0.09 + 3.09. Do k and h have different values?
True
Let j(x) = 3*x - 30. Let f be j(10). Is f bigger than 1/33?
False
Let y(j) = 2*j - 20. Let s be y(9). Is s bigger than -2?
False
Let q = -1033/30 + 81/10. Let r = 391/15 + q. Is r greater than 0?
False
Suppose 6*s - 128 = 14*s. Which is smaller: s or -12?
s
Let c = -28124/41 - -686. Is 0 greater than c?
False
Suppose 3*k = 8 + 4. Suppose -k*n + 5*n = 3. Let p be (2 - (-18)/(-4)) + n. Are -5 and p unequal?
True
Let o = 365 - 364. Let l = 124/65 + -30/13. Which is bigger: o or l?
o
Suppose 2*b - 15 = -3*b. Suppose -a + 3*a + 6 = b*o, -9 = 5*o + 3*a. Suppose -3*g + 4*c + o = 6, 0 = -3*g + c - 6. Are -2 and g unequal?
False
Let r = 0.2 - -0.3. Let a be 3/(-4) - 2/(-2). Is r greater than a?
True
Suppose 2*d + 5*n - 19 - 15 = 0, -2*n = 5*d - 85. Suppose -4*x + x = 2*z - 11, -x - 4*z = -d. Is x smaller than 1?
False
Let g = 3.504 + -3.5. Which is greater: g or -1?
g
Suppose 2*a = 6 - 0. Suppose 2*l - a = -n + 2*n, 4*n - 2*l = 6. Which is smaller: n or 2?
2
Let v = -1.7 - -0.5. Let b = -1.33 - -0.33. Which is bigger: b or v?
b
Let w = -45 - -44.9. Which is bigger: 27 or w?
27
Suppose -8 = -0*k - 4*k. Suppose q = -k*q. Suppose 3*u = 4*i + i + 9, 0 = -i - 4*u + 12. Is i not equal to q?
False
Let i = 14 - 8. Let x = 11 - 10. Which is greater: i or x?
i
Let q = 1.8 + -2. Let n = 0.8 - q. Which is smaller: n or -1?
-1
Suppose -3*d + 22 = -5*u + 192, d = u - 58. Let p be (-48)/d*2/4. Is p less than 0?
False
Let k(n) = -n**2 - 4*n + 1. Let m be k(-2). Let p be (-2)/m + (-56)/(-90). Let a be (0 - -1)*(1 - 1). Which is greater: a or p?
p
Suppose 0*h = 2*h. Which is smaller: 1/6 or h?
h
Let w = 623/418 - -2/209. Which is smaller: w or -2?
-2
Let w be -4*(-88)/520 - 3/5. Suppose 0 = 4*t + 1 + 3. Which is bigger: w or t?
w
Let v(o) be the first derivative of o**3/3 + 6*o**2 - 14*o - 1. Let k be v(-13). Let f be ((-2)/(-7))/(-3 - k). Is f < -1?
False
Suppose o = 3*o + 2. Are o and -2/63 nonequal?
True
Let l = 4 + -2. Suppose -5*h + 0*r + r = 0, h = l*r - 9. Let y = -6 - -6. Is y >= h?
False
Let l(b) = -b**2 + 24*b + 53. Let m be l(26). Is m greater than 8/15?
True
Suppose 2*h = 5 - 7. Let b = -16 - -23. Let p be (-12)/8 - b/(-5). Which is smaller: p or h?
h
Let p = 10 + -9.99. Which is bigger: 0.1 or p?
0.1
Let u be 12/10*(-350)/28. Which is smaller: -1/2 or u?
u
Let f = 1122/7 - 160. Suppose 4*y = 2*y + 10. Let h be 63/165 - 1/y. Is f smaller than h?
False
Let f be ((-32)/1096)/(0 + -2). Let u = f - 159/1507. Is -1 greater than or equal to u?
False
Let k be (-206)/104 - (0 - 3/4). Is 0.1 at least k?
True
Let t = 5 + -3. Suppose 0 = m + t*m. Let o be (2 - 2 - -1) + -2. Which is bigger: o or m?
m
Let k be (-568)/16 - 2/4. Let u be (-2)/1 + k/(-15). Is u >= -4?
True
Suppose 4*i + i = 0. Is -4/7 greater than or equal to i?
False
Let u be 6/(-5) + (-1)/(-5). Let y be (-1293)/36 - 3/(-12). Let n = y - -36. Is u > n?
False
Suppose -3*z - 2*z = 5. Let h = z + 2. Let i = 0 + h. Which is smaller: i or -0.2?
-0.2
Let u = 28 - 40. Is -10 equal to u?
False
Let w be (-15)/10*(-2)/6. Which is bigger: w or 3/13?
w
Let m = 9 + -8. Suppose 1 = -2*k - m. Which is smaller: -5/6 or k?
k
Let g be (4/(-2))/((-2)/(-4)). Let f(r) = r**3 + 4*r**2 + 2. Let y be f(g). Is y less than or equal to 5/8?
False
Suppose -3*g - 2 = -5. Do g and -1/3 have different values?
True
Let m = -131 + 911/7. Which is smaller: -1 or m?
-1
Let j(g) = -8*g + 41. Let t be j(7). Is t bigger than -15?
False
Suppose 3*l + 10 = -2*l. Let g be (-1*1)/(3 + -2). Let o = l - g. Which is bigger: o or -2/11?
-2/11
Let f(n) be the first derivative of 2*n**2 + 15*n - 6. Let y be f(-6). Which is bigger: -10 or y?
y
Suppose -2*l = -2*h + 8, -l + 0*l = -2*h + 5. Let c = 3 - h. Let m be (-7)/(-20) - (-2)/5. Is m >= c?
False
Let w = -1.7 - -1.5. Is w less than 2/9?
True
Let z(f) = -f**3 - 10*f**2 - 8*f + 12. Let m be z(-9). Let n(u) = -u**2 + 2*u. Let x be n(m). Is -3/2 greater than x?
True
Suppose -3*s = 3*b + 9, 3*s = 4*b + b - 25. Suppose 5*g + 3*m = -5, -3*g + 2 - 5 = b*m. Is g less than or equal to -1/4?
True
Let o be -1*(-2 + 1) + -2. Let s be (0 - 0) + o + -1. Let v be s/(1 + -3) - 1. Is v >= 0.2?
False
Let c(g) = -7 + g + 4 + 1. Let u be c(-1). Which is smaller: u or -2?
u
Let u = -72472/35 + 2071. Let v = u - 4/7. Let c(l) = -l**3 + 13*l**2 + 1. Let r be c(13). Which is bigger: r or v?
r
Let p = 0.1 - 0. Which is smaller: 0.16 or p?
p
Let y be ((1 - 3)*1)/5. Let p = -0.91 - -0.81. Which is bigger: p or y?
p
Let g be (-8)/(3 + (-116)/36). Suppose 4*t + g - 4 = 0. Is t less than -9?
False
Let z be 1 - (3 - (1 + -2)). Let h be 224/(-21) + 1/z. Is h greater than or equal to -11?
True
Suppose -b + 3*b + 20 = 0. Is b at least -11?
True
Suppose 3*u = -0*u - 3*o - 12, -2*u + 27 = -5*o. Let f = 45/4 + -11. Which is bigger: u or f?
u
Let p = 0 + 0. Suppose 3*h + 5*c + 55 = -19, p = -5*h + 2*c - 82. Let v be h/7*1/3. Which is smaller: v or -2?
-2
Let q be -2 + 2 + -1 - -1. Let d = 81 - 402/5. Are q and d non-equal?
True
Let q(g) = -g**3 + 6*g**2 - 3*g - 5. Let w be q(5). Suppose -15 = -2*d - 3*d + w*y, -11 = -3*d + 5*y. Are d and 2 equal?
True
Suppose -6 = -i - 0*i. Let y = 4 - -1. Suppose q - y = -0. Which is smaller: i or q?
q
Let x(g) = -g**2 - 4*g + 20. Let j be x(-7). Which is bigger: -67 or j?
j
Let k = -18 - -467/26. Are 1 and k nonequal?
True
Suppose 5*q + 3*b = 3*q + 6, -4*b = -5*q - 8. Let f = -6 + 5. Which is smaller: f or q?
f
Suppose m - 2*m - 8 = -4*p, 4*m + 11 = -5*p. Which is smaller: 2 or p?
p
Suppose 6*k = 5*k + 2. Suppose 3*p - 2*z - z = 24, -4*p = k*z - 8. Suppose 3*u = -9, -3*i - p + 10 = -3*u. Is -1 >= i?
True
Suppose 5*y + 7 = 2. Are y and 0.7 unequal?
True
Let m(h) = 2*h + 4. Let x be m(-2). Is 2/13 not equal to x?
True
Suppose 2*h + 21 + 9 = 0. Let z = -7 - h. Suppose 10*s - z*s = 0. Is -2/35 at least as big as s?
False
Let w = 4 - 5. Suppose 0*o = -m + 3*o + 2, 0 = -3*m - o + 6. Let g be w/((-2)/