
True
Suppose -2 = -o - 0*o. Let m = -80 + 47. Let n = m + 35. Is n < o?
False
Suppose -1060 + 244 = -3*t. Which is smaller: t or 274?
t
Suppose 5*o + 361 + 634 = 0. Let h = o + 998/5. Let y = 4/21 + 5/84. Which is greater: h or y?
h
Suppose 52 = 3*o + o. Let z = 85 - 79. Let k = z - o. Do -6 and k have the same value?
False
Let z(l) = 3*l**3 + 13*l**2 + 6*l + 21. Let w be z(-5). Do w and -62 have the same value?
False
Suppose 8*d - 5229 = -d. Let f = d - 38925/67. Let b be (-4)/12 - 1/(-3). Which is smaller: f or b?
b
Suppose 4*v + 4*w - 8 = 8, 4*w = -v + 16. Suppose -5*m - 86 - 54 = v. Let f be (-125)/(-385) + 4/m. Which is smaller: 2 or f?
f
Let g be -70 - -60 - (-6)/(-1). Which is smaller: -5/3 or g?
g
Let r = 19477/137148 + -19/132. Which is greater: -1 or r?
r
Suppose -5*w - 4 - 6 = 0. Let z be 11185/26 + w/4. Let m = 430 - z. Which is smaller: m or 1?
m
Let x = -3312 - -3312.1. Suppose s - 923 = -4*v - 206, -4*s + 20 = 0. Let z = v + -539/3. Which is smaller: x or z?
z
Let n be ((-1)/(-6))/(2/(-10)). Let b(j) = 81*j - 405. Let f be b(5). Which is smaller: n or f?
n
Let x = -71.75 - -69. Let v = -0.35 - x. Which is bigger: v or 0.1?
v
Let l be 4/18 - (-41)/(1476/(-16)). Is l greater than 825?
False
Let g = 1614/13 - 124. Let w = 4 + -4.1. Which is bigger: w or g?
g
Suppose 70 = -13*n + 83. Which is bigger: n or -45?
n
Suppose -5*w - 151 = 3*k, 0*w = -4*k + 2*w - 210. Let c = k - -54. Which is smaller: c or -10?
-10
Let d = 1857/4 - 464. Is -1 >= d?
False
Let g(w) = 2*w**3 + 18*w**2 - 13*w + 25. Let u(l) = l**3 + 9*l**2 - 7*l + 12. Let y(x) = 2*g(x) - 5*u(x). Let o be y(-10). Are 1 and o equal?
False
Let b(z) = z**3 - 4*z + 3. Let j be b(2). Let u be (2 - 1/(-1))/j. Let r = 23/9 + -3. Is u at most as big as r?
False
Suppose -926*w + 916*w = 460. Let y(m) = 9*m - 1. Let l be y(-5). Are l and w unequal?
False
Let z be 13/12 - 4/(-16). Suppose 5*c = -l + 2 + 12, 2*l = 2*c + 4. Are c and z equal?
False
Let i be 4/(-10) + 3764/340. Let p = i + -51/5. Which is bigger: p or 0?
p
Let v = 1070 + -6421/6. Is 1 greater than v?
True
Let q be ((6 - (-119)/(-21))/(-1))/(-157). Is q bigger than 0?
True
Let k(v) be the first derivative of v**4/4 - 5*v**3/3 + v**2/2 + 3*v - 19. Let x be k(3). Let q = 2 + -15. Is q greater than x?
False
Let h = 4.2 + -4.29. Is 0.01 greater than h?
True
Let m = -50.27 - -53.2. Let q = -3 + m. Let y = 1829 - 1828.9. Is y smaller than q?
False
Let t(g) = -2*g**2 - 28*g + 25. Let m be t(-14). Which is smaller: m or 24?
24
Suppose 0 = -8*r - 452 + 140. Which is smaller: -4/7 or r?
r
Let x = -2512 - -2524.27. Let t = 8.34 - x. Let z = 0.07 - t. Is 0.1 < z?
True
Let v be (3/(-6))/(-1)*28. Suppose 0 = 5*g + 4*s - 45, -v - 32 = -2*g + 4*s. Suppose 3*d - 7*d - 4*f = -56, -d - 2*f + 15 = 0. Does g = d?
True
Let u be (10/4)/(-5)*-530. Which is bigger: 266 or u?
266
Suppose 0 = -136*v + 140*v + 372. Is -91 < v?
False
Let z be (-4)/18 - (-718)/63*-7. Do z and -78 have different values?
True
Let i = 1194/7 + -171. Let m be (-2)/(-30) + 12/(4680/169). Are i and m unequal?
True
Let j(k) = k**2 + 9*k - 6. Let d be j(-10). Let i = -35 + 46. Suppose -3 = d*r - i. Is -0.1 at least r?
False
Suppose -10*j + 30 = -4*j. Suppose 4*a + 2 = 3*n + 5, a = j*n + 5. Is 0.13 equal to n?
False
Suppose -54*v + 413 = -775. Which is bigger: 7 or v?
v
Suppose 20 = 2*j + 14. Suppose 0*b + 3 = 5*b - j*a, -10 = -2*b - a. Let x be (-57)/135 + (-3)/(-15). Which is bigger: x or b?
b
Let d be 15/50*-2*2/(-699). Which is bigger: d or 1?
1
Let l = 9/8909 - -4302930/115817. Is l less than 37?
False
Suppose 5*k - 2 = -2*s - 0*s, -4*s + 4*k - 52 = 0. Let z(t) = -t**2 - t + 2. Let i be z(3). Let a = s - i. Is a less than 0?
False
Suppose -5*b = -0 + 15. Let i be (3*2/b)/(-2). Let h(v) = v + 3. Let p be h(-2). Do p and i have different values?
False
Let j be (-2)/(-8) + 14820/48. Is j > 309?
False
Suppose -3*s + 66 = -6*s. Let g(c) = 3*c**2 - 33*c - 78. Let w be g(13). Which is bigger: s or w?
w
Let m = -129 + 141. Let s be 1*(4 - (-1)/(-1)). Suppose 3*z + m = s*q, 5*q + 5 - 27 = 3*z. Are z and 3/8 unequal?
True
Let g = 2.74 - 16.44. Let w = 144 - 146.7. Let x = g - w. Do x and -0.2 have the same value?
False
Let z be 48/20*(-65)/(-2). Is z >= 79?
False
Let k be 1/2*(-12)/(-39). Let i = 18 + -13. Suppose 0 = -0*t - 5*t - i. Which is bigger: k or t?
k
Suppose -13 = 5*p + g, -2*p + 2 - 15 = 3*g. Let b be -30*(p/(-14))/((-2)/(-7)). Do -2/3 and b have different values?
True
Let t(g) = -2*g - 6. Suppose 4*i = -20, -3*p + 2*p + 25 = -2*i. Let j be 66/(-15) - 9/p. Let m be t(j). Is 4 bigger than m?
False
Let p be (-4)/(-6) + 35/15. Suppose -2*c + p*c - 2 = 0. Suppose 0 = -2*g - 3*g + c*a - 18, -4*a = 4. Which is smaller: -0.1 or g?
g
Let u = 4853/25 + -243/25. Is u <= 184?
False
Suppose 2*u = -53 + 5. Let m be (-18)/u - 10/(-8). Let c be (-10 - -12)/((-4)/m). Which is smaller: c or -3?
-3
Suppose 4*d - 6 = -w, -w + 22 = w - 2*d. Let y = 11 - w. Do 2/35 and y have the same value?
False
Suppose 2*h + 3*x = -2*h + 303, 4*h - 2*x - 318 = 0. Let m be (h/10)/3 - 2. Which is greater: m or 0?
m
Suppose -3*b = -5*x - 38, -2 = -4*b - x + 18. Suppose -2*r + 5*n + 12 = 0, b + 7 = 5*r - 4*n. Suppose 0 = 3*g + k + 2, 0 = g + 3*k + 9 - 3. Is r < g?
False
Let z = -1050.8 + 1028. Which is greater: 1 or z?
1
Let v = -0.12 + -23.88. Let b = 24 + v. Is b bigger than 0.2?
False
Suppose -79*i + 82*i - 42 = 0. Which is smaller: i or 16?
i
Suppose -2*v + 1 + 1 = t, 3 = 3*v + t. Do 2/533 and v have different values?
True
Let g = 0.12 - -5.88. Let t = 7 - g. Let y = 121/270 + -1/270. Is t less than y?
False
Suppose 2*z = 3*a + 15, 2*z + 3*a - 18 = 15. Let d be z/(-16) - 134/(-8). Let u = 16 - d. Is -6 bigger than u?
False
Let g be (-7987 - 0)/(1 + 73/(-2)). Let u = g + -225. Is 1 not equal to u?
True
Let v = 22 - 19. Suppose 2*d - 4*r = 46, v*r = d + 2*r - 20. Do 17 and d have different values?
False
Let k = 13.26 - 0.26. Let j = -18.1 + 30.1. Let d = j - k. Which is bigger: d or 2?
2
Let d(u) = -u - 4 + 8 - 5. Let o be d(-1). Suppose z - 5*i = -0*i - 26, 3*z + 4*i - 17 = o. Is -3/40 less than z?
False
Let i(j) = -3*j**3 - j**2 - 14*j - 11. Let g be i(-3). Which is smaller: 413/4 or g?
g
Let s = 116 + -115.47. Let i = s + -0.48. Which is bigger: i or 3/5?
3/5
Let v = 21 + -20. Suppose -n + 5*g = 35, -3*n - 43 - 40 = -4*g. Which is smaller: v or n?
n
Suppose 2*o = 2*g + 12, 3*o - 75 = -2*o - 4*g. Let c(f) = f**3 - 11*f**2 - f + 11. Let v be c(o). Is 6/25 greater than or equal to v?
True
Let s = 1/3720 + 54557/11160. Is 5 less than or equal to s?
False
Suppose -5*h = -2*j - 134, -j + 6*j - 2*h + 356 = 0. Which is smaller: j or -74?
-74
Suppose -5*x + 6*x + 19 = 3*z, 0 = -x - 3*z - 19. Let n = 9 - x. Is 28 greater than or equal to n?
True
Let o(s) = -s**3 - 5*s**2 - 7*s - 5. Let l be o(-5). Let d = l + -38. Is -1 at most as big as d?
False
Let j(x) = -x**2 + 15*x - 12. Let d be j(15). Let s be (-212)/d + (-1)/(-3). Is 18 > s?
False
Let l(w) = -20*w + 306. Let u be l(16). Which is smaller: u or -23?
-23
Let y = 0.088 + -0.04. Let f = y - 0.148. Is 0.8 > f?
True
Let h be (-18)/(-24795)*-5*(1 - 2). Is 0 < h?
True
Let d = 955832/11 - 86836. Is 59 smaller than d?
False
Let a = -66.3 - -66.4. Which is smaller: a or -12.8?
-12.8
Suppose 3 - 7 = t, 0 = 4*a + 3*t + 100. Is 8 not equal to a?
True
Let v = 153/31 - 107069/21700. Which is greater: -1 or v?
v
Let f = 0.001 - 38.001. Let n = 40 + f. Does -13 = n?
False
Suppose 5*o = 2*v - 2399, -27*v = -o - 30*v - 473. Is -479 at most o?
True
Let g(h) = h**2 + h + 3. Let z be g(-2). Let p = z - 17/3. Which is bigger: p or -2?
p
Let b = 0.1 - 4.1. Let a = -20.1 + 23. Let i = -2.6 + a. Is b >= i?
False
Let r = 2 + 25. Let m = -1 - 25. Let x = m + r. Are 6 and x non-equal?
True
Let d(w) = -w**3 - 2*w**2 + 3*w - 1. Let s be d(-3). Let c(p) = -8*p**2 + 6*p - 7. Let o be c(1). Let f be (-6)/(-9) - ((-24)/o - -2). Is f less than s?
True
Let n = 86 - 82. Suppose 4*u - p - 4*p = -195, n*p - 57 = u. Is u at most as big as -46?
False
Let y(v) = v**2 + 8*v + 4. Let p = -42 + 35. Let d be y(p). Let h be d/9 + (-1)/(-3). Which is bigger: h or 2/9?
2/9
Let n = -5.984 + 6.2. Let j = 0.016 - n. Which is bigger: -1 or j?
j
Let l(u) = u**3 + 5*u**2 + 3*u - 2. Let k be l(-4). Suppose -b +