4/106)/(15 + -17)). Is s at least -52?
False
Let z = 636 + -636. Is z bigger than 21/31?
False
Let b(m) = m**3 - 3*m**2 - 7*m - 7. Let u be b(4). Is u bigger than -15?
False
Suppose -o - 2605 = -4*g, 0*g - 4*g - 2*o + 2602 = 0. Which is smaller: g or 0.1?
0.1
Suppose -2 - 42 = -2*p. Suppose 2*w + p = -5*v, v = 5*w + 3 - 2. Suppose -3*r - 11 + 5 = 2*h, h = -3. Which is smaller: w or r?
w
Suppose x - 8 = 25. Suppose 0 = 3*m - 4*z - x, 7*z - 4*z = 5*m - 66. Which is bigger: 14 or m?
m
Let a(y) = -4*y**2 + 3*y - 13. Let d be a(4). Let h = d + 255/4. Let t = -3/4 - h. Is 0 less than t?
True
Suppose 0 = 4*d, 4*y = -d - 12 - 24. Which is smaller: y or -66/7?
-66/7
Let i(m) = -3*m - 2. Let p be i(-5). Let d = 3 - p. Let a be (4/d)/((-2)/(-10)). Which is bigger: a or -4/5?
-4/5
Suppose 361*z + 18 = 355*z. Is z greater than 0.53?
False
Suppose -w = 4*w. Let j(r) = -r**2 - 8*r - 3. Let n be j(-7). Suppose 0 = -i + 2*h - 5, 2 = n*h - 10. Is w at least as big as i?
False
Let h = 45 + 7. Let w be 2/(16/198) + 13/h. Do 25 and w have the same value?
True
Suppose 4*v - 240 - 64 = 0. Let s = -535/7 + v. Let a be (0/(-2))/(-3 + 2). Which is greater: s or a?
a
Let f = 1 - 1. Let k = 13 + -14.87. Let v = k - -0.87. Which is smaller: f or v?
v
Let i = -207 + 207. Which is smaller: i or 8.21?
i
Let d be 16/(-224)*-14 - 1*-3. Let y be ((-3)/1)/(10/(-12)). Which is smaller: y or d?
y
Suppose 5*q + 9 = 24, 3*m = 4*q + 21. Which is greater: m or 9?
m
Let g be (1/(-2))/(5/(-510)). Suppose 9*c - 20 = 4*c, -4*c = -5*s - g. Let q = -6 - s. Is q greater than 8?
False
Suppose m = -4*m. Is -2/841 < m?
True
Suppose 3*t - 5*t = 0, -t = 2*k. Suppose 5*w = 4*m - 3, -4*w - 1 + 5 = k. Let z be 1 - (3 - 5) - m. Which is bigger: -6/13 or z?
z
Let t(c) = c - 7. Let i be t(6). Let q = 15 + -13. Suppose 0 = g - q, 4*y = g - 6*g + 10. Which is bigger: y or i?
y
Let z = -7.7 - -7. Let m = 1.32 - 1.2. Let h = 0.08 + m. Which is smaller: z or h?
z
Let a = -634 - -4464/7. Is a at most as big as 0?
False
Suppose -5 = 3*y + z, -5*y + 4*z + 7 = -4*y. Let k be -3 - 3*5/(-3). Let q be (4 - 2)/(0 - k). Is q not equal to y?
False
Let k = -58/165 - 21/55. Which is smaller: k or 2/5?
k
Let p be 8/6*2/(-92). Let n = 2108 - 2109. Are p and n unequal?
True
Let v = 422 - 422. Let d = 0.3 - 0.05. Which is smaller: v or d?
v
Let h be 4/110*10/(-2). Let d(g) = g + 10. Let f = 8 - 18. Let v be d(f). Which is bigger: h or v?
v
Suppose 0 = -7*g + 192 - 31. Suppose -9 = -y + 2*b, 5*b - 67 = -5*y + g. Which is bigger: y or 13?
y
Suppose 7*r - 3*r = 0. Suppose -y + r*y = -2, 2*y + 36 = 5*v. Let z be (-6)/v - 25/(-30). Which is bigger: -1 or z?
z
Let o be 2 - -3*1*9135/(-13770). Is o < -0.2?
False
Let n = 31 + -25. Suppose 7*v = v - n. Which is smaller: v or 1/93?
v
Let o(u) = -2*u**2 - 146*u + 310. Let b be o(-75). Suppose -4*a + 3*i - 21 + 77 = 0, -5*a + 59 = -i. Are a and b equal?
False
Let g be (-8)/(-2) + -3 - (-1 + 2). Which is smaller: g or -25?
-25
Let m = -5903 - -17530/3. Let h = m - -59. Are 1/47 and h unequal?
True
Suppose 3*l + 4 = -2. Let m be (-9)/21*42/(-12). Which is smaller: m or l?
l
Let y be (-84)/(-5) + 2 - 6/(-30). Let s = 0.4 - 0.3. Which is smaller: y or s?
s
Let r be (-2)/((-114)/(-29577)) - 5. Let q = -524 - r. Do q and -1 have the same value?
False
Let v be (4 - 3)*42/3. Suppose 5*d - v = 11. Is 5 less than d?
False
Suppose 0*i = 4*u - 3*i - 39, 2*u + 3*i + 3 = 0. Is u bigger than 6?
False
Let o = -519388/261 - -1990. Which is greater: -1 or o?
o
Let b be 13 - (-1 + 4)*-1. Let s = b - 34. Let z = -217/12 - s. Are z and 1 non-equal?
True
Let g = 29.7 + -34. Let r = g + 2.3. Are -7 and r nonequal?
True
Let s = -1.3 - -2.3. Let m = s + -0.9. Let a = 0.6 - -0.4. Is a greater than or equal to m?
True
Suppose q - 24 = -2*q. Suppose q = 2*a + 4. Let t = 0 - a. Is 0 < t?
False
Let q = 0.1 + -0.1. Let x = 2.233 + -2.13. Let o = x - 15.103. Are q and o unequal?
True
Let c be (-9)/(135/168)*-5. Suppose 4*d + c + 104 = 0. Is d > -40?
False
Suppose 39*s = 28*s - 66. Which is bigger: -15 or s?
s
Suppose 0 = -5*j + 4*z - 294, 132 = -2*j - 2*z - 0*z. Let d = -60 - j. Are d and 5 non-equal?
True
Suppose -3 = -33*z + 35*z - 3*m, -3*m + 3 = 0. Is z <= 9/70?
True
Suppose 0 = -q - 3*c + 8 + 8, 2*c = 4. Suppose -3*d - 2*d = q. Which is bigger: -0.1 or d?
-0.1
Let a = -524 + 1047/2. Let c = -28 + 27.974. Which is greater: a or c?
c
Let f(u) = u**2 + 10*u + 8. Let g be f(-9). Let b be 3 - 0 - 90/24. Is b bigger than g?
True
Let s be 1/3 - 3/(-18). Let k = -1.26 - 91.74. Let l = 93.1 + k. Is l smaller than s?
True
Suppose 5*n + 9 + 14 = 2*t, 23 = -n + 5*t. Let x = 5 + n. Which is smaller: 3/4 or x?
3/4
Let d be 0 - (-512)/6 - -5. Let z = 90 - d. Which is bigger: z or -2?
z
Let f = -681 - -659.2. Is f greater than or equal to 0?
False
Suppose 0*u + 10 = -2*u. Let c(t) be the first derivative of 2*t**3/3 - 41*t**2/2 + 52*t + 43. Let r be c(19). Is u not equal to r?
False
Let w = -0.74 - 0.32. Let l = w - -1.1. Is l != -3?
True
Suppose -90 = 5*v - 9*x + 14*x, x = -6*v - 93. Is -0.03 >= v?
True
Let q(x) = 4*x + 118. Let k be q(-26). Are 10 and k nonequal?
True
Let x be 5*(-1)/25*-5 - 38. Is x equal to -38?
False
Let f = 0.0288 - -0.0712. Which is bigger: -115 or f?
f
Let y = 81 + -29. Let t be 2*-2 - y/(-2). Which is bigger: 21 or t?
t
Let c(q) be the first derivative of -q**3/3 - 7*q**2 - 14*q - 4. Let u be c(-13). Which is greater: -2/13 or u?
-2/13
Let r = 572 - 571. Let t = 59 + -130. Let c = t + 41. Is r < c?
False
Let p = -74 - -516/7. Let l = -84/67 - -12381/9715. Let v = -743/870 + l. Is v greater than or equal to p?
False
Suppose -197*o = -207*o + 8140. Is o bigger than 813?
True
Let f be 3*47/3 - (-8 - -10). Is 47 at most f?
False
Let l = -12185/3 - -4471897/1101. Is l less than or equal to -2?
False
Let x = 29 + -26. Suppose 2*u - x*u = 2. Let f be 8/(-12) - (-15)/(-9). Which is smaller: f or u?
f
Let g be (-24)/1520*5*46/6. Does 0 = g?
False
Suppose -21 + 3 = -s. Suppose 2*y + 5*b = 63, 5 = y + 3*b - 29. Which is bigger: s or y?
y
Let d = -1503 + 1146. Which is greater: -1 or d?
-1
Let p = 89/7 - 747/56. Suppose 13 = -3*t - 8*k + 12*k, -k = -2*t - 2. Suppose 4*x = h + t, 3*h + 3 + 0 = 3*x. Which is smaller: h or p?
h
Suppose -2*m - 538 - 700 = 0. Is m <= -618?
True
Suppose -150 = -4*f - f. Let o = -18 + f. Let h be (3 + (-33)/o)*10. Is h at least as big as 2?
True
Let x = -1 + 1. Let z = -585545/7 - -83887. Let b = -237 + z. Are x and b non-equal?
True
Let b(i) = i**3 - 8*i**2 - 34*i + 13. Let r be b(11). Let c be 14/4 + r + (24 - 22). Is -2 at most c?
True
Let q be (-18)/(-15)*(-10)/4. Let s be 11/(-33) - 10/q. Suppose -4*r = -15 + s. Is r >= 4?
False
Let i(f) = f**3 - 12*f**2 + 20*f - 6. Let x be i(9). Is -68 less than or equal to x?
False
Let s be 5/35 + (-927)/21. Which is greater: s or -45?
s
Let i(b) = 10*b**3 + 6 - 1 + b - b**2 - 6. Let u be i(1). Suppose 4*d = u*d. Which is greater: -0.06 or d?
d
Let s be (-36)/(-624)*(64/12 + 2). Which is bigger: s or 0?
s
Let u(c) = -68*c + 120. Let m be u(4). Do m and -153 have the same value?
False
Let o(f) = -f**2 - 6*f + 26. Suppose 6*i = -26 - 28. Let r be o(i). Which is smaller: r or 5/16?
r
Let v = 13/30 - -109/60. Suppose 7 + 7 = u. Let o = u - 11. Are o and v nonequal?
True
Let n be (-2 - 0) + 9/6. Let z be 18/225 - (-44)/75. Is z smaller than n?
False
Let j = -152 - -151.3. Is 0.6 >= j?
True
Let j be (((-19551)/(-14))/7)/30 - 7. Which is greater: j or 2?
2
Let w = 10.2 + -13.2. Is w > 16?
False
Let y = 124/19 - 15023/2299. Let w be (-27)/3 - (-21 - -13). Is w at most y?
True
Suppose 41 = 19*i + 22. Is 1/372 bigger than i?
False
Let j be 24338/(-162760) + (-2)/(-13). Let o = -84459/1076720 + j. Let c = o - -1/86. Is 1 <= c?
False
Let q be (-34)/14 - 38/(-19). Is q less than -0.16?
True
Suppose 5*g + 1005 + 675 = 0. Let n be 5 - (g/33)/(-2). Which is greater: n or 1?
1
Let b(r) = r**2 - 2*r - 6. Let k(f) = f**2 - 3*f - 6. Suppose -4 = -3*y + 5. Let n(g) = y*b(g) - 2*k(g). Let v be n(0). Which is greater: v or -4?
-4
Let x = 0.74 - 0.25. Let p = x - -24.51. Are 0.1 and p equal?
False
Let d be (1 + -1)/3*-1. Let n(f) = f**2 - 26*f + 69. Let p be n(23). Is d at most p?
True
Let j(c) = c**3 + 28*c**2 - 29*c + 3. Let p be j(-29). Suppose 0 = -3*v - 0*v +