e value?
False
Let d be (-4)/3*(-18)/(-84). Let o be (-652)/198 + 0/5. Let f = o + 28/9. Is f at most d?
False
Let u(w) = 31*w + 217. Let i be u(-7). Let g = 1088/11 + -99. Which is smaller: g or i?
g
Let t = 2.4 + -1.96. Let w = 0.34 - t. Which is greater: w or -2/27?
-2/27
Suppose 4*j + 32 = -3*d, -2*j - 3*d + 1 = -j. Are -104/9 and j equal?
False
Let k = -609 + 4253/7. Suppose 2*w + 5*u = -9, -4*u = -w + 24 - 9. Let y be 15/(-9) + (-1)/w. Which is greater: k or y?
k
Suppose 3*d - u - 5 = -0*u, -3*d = 4*u - 25. Let o be (-4)/d*4/(-12). Is o >= -1?
True
Let g be (-8)/(-5)*(-30)/4. Let z be 0 + 1 + 16/g. Let y = -5 - -3. Is z equal to y?
False
Let s = 9 - 8. Let v = 75/286 - -5/26. Which is smaller: v or s?
v
Suppose 5*x - 6767 + 18647 = 0. Let n be (-2)/(-11) + (-22635)/x. Let w = -87/8 + n. Which is smaller: -2 or w?
-2
Suppose 16 = 2*g + 4*s, -4*s - 11 = -5*g + 71. Let o be 4/g + 0 + (-515)/(-35). Suppose 2*f - 35 = -9. Are f and o equal?
False
Suppose -111*w + 108*w - 21 = -3*u, u + 5*w = -17. Which is smaller: 52/19 or u?
52/19
Let c = -295.5 - -293.5. Let f(l) = -l + 4 - 4 - 2. Let d be f(-3). Which is smaller: c or d?
c
Suppose m - 29 = -4*u, 2*u = m + 4*m + 9. Suppose 2*o = o - u. Is -5 less than or equal to o?
False
Let i = 1.05 - -79.95. Let m = -81.048 + i. Are m and 1 nonequal?
True
Let p be 16/(-8)*3/(-2). Suppose 28 = 5*y + p. Suppose 0 = 5*v + 2*j, 3*v + 5*j + 18 + 1 = 0. Is y != v?
True
Suppose -4*c + c + 5 = -2*n, -5*c - 4*n + 45 = 0. Suppose 11 = -i + 5*p, 2*i - 5*p = -2 + c. Is 16 smaller than i?
False
Let m = 314 - 328. Do -40/3 and m have different values?
True
Suppose 0*r = -3*r - n - 84, -5*r + 2*n - 151 = 0. Which is smaller: -14 or r?
r
Let p = 570 + -340. Suppose -4*f + 22 - 243 = -5*u, -5*f - p = 3*u. Which is bigger: f or -50?
f
Suppose 27*v = 7*v. Let r = 145/6 - 1003/42. Which is bigger: v or r?
r
Let w = -6 - -29. Let o = w - 20. Let j = 0 + -0.1. Which is bigger: o or j?
o
Let j = 273.4 - 268.4. Which is smaller: j or -248?
-248
Let a(m) = 4*m - 17. Let n be a(7). Suppose -r - 2 = -d, 4*r + r = 4*d - n. Which is greater: -2 or d?
d
Let j(t) = 4*t**2 + 3*t + 8. Let i(v) = v**3 + 3*v**2 - 5*v - 6. Let p be i(-4). Let w be j(p). Let y = w + -17. Is 1/5 at most as big as y?
True
Let a(t) = -4*t - 15. Let b be a(-5). Let v = -1279/3 + 430. Which is smaller: b or v?
v
Let v = -846 - -65144/77. Let d = 144/385 + v. Which is smaller: 0.16 or d?
0.16
Let j = -7/53 - -83/1431. Which is smaller: j or 0?
j
Let q(j) = -j**2 + 5*j - 1. Let x be q(5). Let z be 21/(-147) + 1094/14. Let t = -80 + z. Is x < t?
False
Suppose -5*q + 3*l = l + 68, -5*l - 75 = 5*q. Let n(a) = a**3 - 2*a**2 - 3*a - 5. Let u = 18 + -20. Let b be n(u). Is b > q?
False
Let c be (165/(-462))/((-5)/4). Is 87 < c?
False
Suppose -c + 4*z - 56 = 0, -44 = 3*c - 4*z + 108. Let w be c/(-26) + (-2)/(-13). Are -11 and w nonequal?
True
Let w = -45 + 42. Let z be 15/((w - (-1 + 3)) + 3). Do z and -8 have different values?
True
Let d be 804/(-67) + -2 + 39. Is d equal to 12?
False
Let m be ((-3)/(-2))/(1/2). Suppose n + m*i = 13, n - 4*i + 22 = -0*i. Let k = 13.1 + -13. Which is bigger: n or k?
k
Let b be 132 + (5 + -6 - 3 - -11). Is 134 at most b?
True
Suppose -4*k = -3*k. Let z be ((-17)/5 - -4) + (-527)/895. Which is smaller: k or z?
k
Let c = 157 - 225. Let o be c/(-7) - 22/(-77). Suppose 5*y - 18 = -3*b, -5*b + o*b + 44 = 4*y. Is 5 equal to y?
False
Let y be 12844/32 - (3 - 3). Let l = -402 + y. Is l <= -1?
False
Let w be (1 + -1)/(18 - 16). Let a be 18/(-5) - (w - 4/(-10)). Is a greater than -1?
False
Let n = -1 - -2. Let s = 26.1 - 3.1. Let b = s - 23.1. Is b < n?
True
Let z(f) = -16*f**2 + 21*f + 99. Let t(v) = -3*v**2 + 4*v + 20. Let x(g) = 11*t(g) - 2*z(g). Let a be x(0). Let k = a + -20. Is -1 smaller than k?
True
Let z be 4/3 + (91/(-21) - -5). Suppose 3*x = -z*h - 7, 3*h + x + 0*x = 0. Is 1/3 at most as big as h?
True
Let d be 10/(-4)*(0 + 7 - 5). Suppose -3*g + 14 = -5*g. Is d < g?
False
Let m be (3 - -3) + (-58880)/9810. Which is greater: 1 or m?
1
Let n = 294 + -391. Which is smaller: n or -1/13?
n
Let n(c) = -4*c**2 - 4 - 4 + 4*c + c - 2*c - c**3. Let g be n(-5). Let u be -1 + (-32)/(-4) + g. Is -0.1 equal to u?
False
Let p(a) = 2*a**3 - 5*a - 5. Let b be p(-2). Is -9 greater than or equal to b?
True
Let f = -2135 + 2138. Is 58 less than f?
False
Let r be (1 - 2) + -14 + 17. Suppose -r*x + y + 3 = -x, -5*x = -y - 35. Let c(m) = -m**2 + 8*m - 3. Let j be c(x). Is -4 at least as big as j?
False
Let q(w) = -w + 9. Let a be q(11). Let x be (-3339)/(-2700) - a/(-1). Let j = x + 1/75. Is j at most as big as -1?
False
Let o be (-169)/(-1)*(65 + -66). Is o smaller than -169?
False
Let t = -316.9 + 317. Which is smaller: 2/45 or t?
2/45
Suppose 0 = 4*z - 5*j - 75 - 54, -z = 4*j - 27. Suppose z + 32 = 9*i. Let d = 1 - -5. Which is smaller: d or i?
d
Let a = 344/5 + -69. Let n = -16/25 + 58/75. Let f = n - a. Which is smaller: 1 or f?
f
Let z = 32 + -38. Let p = -139/262 - -4/131. Which is smaller: z or p?
z
Let i = 365 + -9489/26. Is -0.2 bigger than i?
False
Let i = -65/14 + 9/2. Let t(q) = q. Let g be t(3). Suppose g*l = 8*l + 5. Which is greater: l or i?
i
Let l = 2826/7 + -402. Which is smaller: l or 2?
l
Let d be 3 + (-4 - (-28)/4). Suppose d*v = v + 20. Let f be 8*1/(-2) + v. Are -3/17 and f unequal?
True
Let a = 47/30 + -9/10. Let y = -9 + 8.5. Let m = -4.5 + y. Are a and m equal?
False
Suppose -46*o + 55 = -51*o. Let y(c) = -c + 7. Let q be y(o). Is q > 16?
True
Let o(u) be the first derivative of -4 + 4*u + 1/4*u**4 + 2*u**3 + 7/2*u**2. Let r be o(-4). Which is bigger: 7 or r?
r
Let m = -6 - -8. Let d = 1 + m. Suppose -4 = d*f + f. Which is smaller: -0.1 or f?
f
Let k(l) = 10*l + 6. Let r be k(-3). Let v be 2/(-3) + (-16)/r. Is v bigger than -4/9?
True
Let f be (3 + 7/(-1))/(-2). Suppose -3 = -f*a + 1. Suppose -a*n = -0*n + 2. Which is greater: 3 or n?
3
Let a(g) = -g**2 + 6*g + 7. Let v be a(7). Suppose v*y - 4*y - 28 = -2*p, -5*y = -2*p + 32. Let l = 25 + -17. Which is smaller: p or l?
p
Suppose 11 = -2*j + 3. Let c(n) = -n**2 - 5*n - 5. Let i be c(j). Let t be (-24 - -24) + 3 + (-495)/160. Which is bigger: t or i?
t
Let y = -40220/481 - -1080/13. Which is smaller: y or -2?
-2
Let v(i) = i**2 - 18*i + 2. Let l be v(17). Let n be l/8 - (0/(-1) - 3). Let p = 3 - 2. Is n <= p?
False
Let u(m) = 3*m**3 + 34*m**2 + m - 40. Let r be u(-11). Which is smaller: 351/5 or r?
r
Let x be 3*(-3 + 33*-3 - -1). Let s be 1/(-4) + -1 + x/(-12). Which is smaller: 23 or s?
23
Suppose -3*f - 3 = -5*f - u, 2*f = 2*u - 6. Let h be (-555)/(-45) - (0 + f). Which is smaller: 11 or h?
11
Suppose -15*x = -10*x. Let u be 2/4*(x - 2). Is -1 equal to u?
True
Let p = -3/86 - -23/43. Which is smaller: p or -36/7?
-36/7
Let t = -44 - -45. Let d = -0.6 + t. Which is bigger: -1 or d?
d
Let h be 9 + 6/4*-2. Let s be (2/1)/(60/h). Suppose 5*y - 3*a = 1, a + 0*a + 7 = -5*y. Is y not equal to s?
True
Let y = 25 - 28. Let h = -29 - y. Which is smaller: h or -1?
h
Suppose -5*d - 4*g = -8*g - 19, -4*d = -3*g - 16. Suppose -5*k - 25 = -2*a, 3*a + 17 = k + d*a. Is k < -0.04?
True
Let q = 3 + 3. Let x(j) = -2*j + 2*j - 5 - 2*j + j. Let d be x(-7). Which is smaller: q or d?
d
Let x = -161/3 - -53. Let w = -0.7 + -43.8. Let v = w - -44. Is x greater than or equal to v?
False
Let u be (-5740)/5726 + -1 + 2. Is -1 > u?
False
Suppose 0 = -4*f + 3*f + 20. Suppose h - f = -3*d - h, -h - 10 = -d. Let j = 7 - d. Which is smaller: j or -5?
-5
Let m(q) = 3*q**2 + 5*q - 9. Let b(s) = s**2 + 2*s - 3. Let k(z) = -11*b(z) + 4*m(z). Let a be ((-6)/(-21))/((-4)/(-14)) - 1. Let v be k(a). Is 5 at most v?
False
Let s = 0.07 - 0. Let d = 2.7 - 4.9. Let g = d - -2.3. Is s <= g?
True
Let y = -0.43 + 0.33. Let p(a) = a - 1. Let n be p(-3). Which is greater: y or n?
y
Suppose 2*i = 2*w, -2*i + 3*w = 2*i - 2. Suppose 3*h + 2*n + 78 = 0, -i*h + 2*n = -4*h - 54. Let p be 122/(-280) + h/(-84). Which is greater: 0 or p?
0
Let n(m) = -m**3 - 17*m**2 - 17*m + 4. Let b be n(-16). Suppose d + 3*v - 2 = -0, b = -3*d + 4*v. Which is smaller: -2 or d?
d
Suppose l = -28*r + 31*r + 5, -2 = -4*l + 3*r. Is -3/139 >= l?
True
Let d = -848 + 1358. Does 508 = d?
False
Let l(i) = -i**2 + 5*i + 17. Let f be l(7). Let y be -2*((-118)/(-