Are i and w nonequal?
True
Suppose -2*f + 4*f = -2. Suppose -6*r + 3*r + 24 = 0. Let x be (15/6)/((-14)/r*2). Is x smaller than f?
False
Suppose -117 = -0*q - 3*q. Let p = q - 38. Which is smaller: -1/95 or p?
-1/95
Let t be (-108)/9*13/7 - 0. Which is smaller: t or -22?
t
Suppose 2*i + 9*i = -4*i. Let b be (-18 - (2 + -2))/(i + -2). Is 11 > b?
True
Let h(x) be the third derivative of x**4/24 + 17*x**2. Suppose 5*v = 4*v - 1. Let u be h(v). Is -7/5 > u?
False
Let x be 8*-9 + 7 + -7. Let j be (2 - 1/2)*x/729. Which is bigger: j or 1?
1
Suppose 14 = -4*a + 26. Let j(h) = h**3 - 8*h**2 + 8*h - 7. Let f be j(7). Suppose -c - a = -f. Which is smaller: -14/5 or c?
c
Let d be ((-21)/12)/(5/2). Let m = d - -1/2. Let p = 1510 - 1510.1. Which is greater: m or p?
p
Let q = 128 - 523/4. Let v = -3 + 1. Is v equal to q?
False
Suppose 23*f = -3211 - 1320. Which is smaller: -199 or f?
-199
Suppose -5*k + 135 = -215. Let n be (-2)/(-4) - k/180. Is n <= 2/5?
True
Suppose 5*u - 13 = -14*r + 13*r, r + 3*u = 23. Which is smaller: r or 2?
2
Suppose 7*p + 3*s = 3*p + 84, -2*p - 2*s = -40. Let r = -11 + p. Let n = r - 7. Is n less than or equal to 6?
True
Let g(h) be the second derivative of -h**5/20 + 2*h**3/3 - 3*h**2/2 - 14*h. Let i be g(2). Are i and -3 non-equal?
False
Let r be 4/16*(-12)/(-3537)*-6. Which is greater: 1 or r?
1
Let a(c) = -8*c - 119. Let l be a(-15). Is l <= 3/49?
False
Let k = -15 + 14.977. Let i = -2.977 + k. Which is smaller: i or -1.1?
i
Suppose 4*t = -3*m + 5449, 1848 = 4*t + 5*m - 3607. Let x = 169998/125 - t. Which is smaller: x or 0?
x
Suppose -2*a - 4*b = -186, -2*b + 433 = -3*a + 8*a. Suppose 0 = -5*i + 5*o - a, -7*o + 10*o + 15 = 0. Which is smaller: -19 or i?
i
Let n = 12 + -16. Let z be n/(-18)*(-6 + 3). Which is smaller: z or -11?
-11
Suppose 5*m - m = -3*h - 343, 4*h - 336 = 4*m. Let i = -79 - m. Which is greater: i or 9/2?
i
Let s(r) = r**2 - 5*r + 3. Let q be s(5). Let j be 2/(0 - 2/(-8)). Suppose q*f - j = -f. Do 3 and f have different values?
True
Let f(j) = -j**2 + 9*j - 6. Let a be f(7). Suppose a = -g - 11. Suppose h - 13 = i, 43 = -3*i + 2*i - 5*h. Which is bigger: g or i?
i
Suppose 0 = -5*l - 182 - 513. Let h = -2087/15 - l. Which is smaller: -1 or h?
-1
Let y = 6156 + -6144. Let l be 13 + (-1 - 1)/2. Are l and y nonequal?
False
Let l = 8020.978 + -8000. Let i = l - -0.022. Which is smaller: 0 or i?
0
Let s = 5 + -4. Suppose r = -3*h - 24, -5*r - 120 = h + h. Let i be (-5 - -5) + (r/(-14))/2. Is s > i?
True
Let z(g) = -g**3 + g**2 + g + 8. Let t be z(0). Let q = -78 + 75. Let d be 1/((q/(-1))/(-3)). Is d greater than t?
False
Let c be (-8)/9*-6 - (-12)/(-9). Which is smaller: c or 5/2?
5/2
Let g = -6.7201 + -0.0799. Is g at least 5/2?
False
Let t = 0 + 6. Let x be ((-1)/2)/(t/504). Let m be (4/6)/(7/x). Which is greater: m or -6?
m
Let d be (2/(-5))/(4/1240). Is -614/5 smaller than d?
False
Suppose 109 = 3*a - 3*o - 2*o, -3*a = 4*o - 64. Let c = a - 27. Which is smaller: c or -3/7?
-3/7
Let p = 17 - 11. Let v be ((-1)/3)/(p/(-18)). Let t be 3/(-7)*(-21)/6. Which is smaller: t or v?
v
Let c be 1 + (-10)/8 + 0. Suppose -5*d = -11*d - 6. Which is greater: c or d?
c
Let y(w) = w - 6. Let h be y(10). Suppose 3*a = 5*t - 10, -a - 7 + h = -2*t. Is t >= 2/41?
False
Let h = -139 + 141. Which is smaller: 18 or h?
h
Let b = -227 + 160. Let d = 62 + b. Is d less than -0.01?
True
Let h = 2847350/13253642207 - 2/702403. Let k = 34435849/358511 + h. Let t = k + -96. Is 1 equal to t?
False
Let j(b) = b**2 + b - 93. Let h be j(13). Which is smaller: 91 or h?
h
Let v be ((-14)/4)/(21/(-294)). Let s = v + -96. Do -47 and s have different values?
False
Let h = -13 - -5. Let c = -9 - h. Which is smaller: -1/108 or c?
c
Suppose 3*u = 3*k + 40 - 442, 5*k = -5*u + 680. Suppose -r + h + k = 3*r, r + h - 40 = 0. Are r and 37 equal?
False
Suppose 0*c - 2*c + w = -1688, c = 3*w + 839. Is 845 not equal to c?
False
Let n = -0.751 + 0.454. Let p = n + -0.003. Which is bigger: 15 or p?
15
Let b(r) = r**3 + 9*r**2 - 7*r + 20. Let p be 12/(-8) - (-2 + 84/8). Let k be b(p). Is k at most as big as -10?
True
Let x = -2 - -1. Let a = 86 + -86.81. Let z = a - 0.49. Which is smaller: x or z?
z
Let d = -87 - -123. Let o be (27/d)/(1 + 3). Which is bigger: 0 or o?
o
Suppose 28 = 4*p + 4*o, -4*p - 4*o + 14 = -2*p. Let x be 9/18*(-2)/p. Suppose -u = -2*u + 1. Which is smaller: x or u?
x
Let a(u) = u - 11. Suppose 4*i - 13 = 35. Let j be a(i). Is 4/5 at most as big as j?
True
Suppose 2*v - 21 + 11 = 0. Suppose -v*k + 20 = 0, -5*c + 37 = -2*k + 5*k. Is -2/3 > c?
False
Let s = -492 - -435. Is -58 > s?
False
Let g = 8 - 13. Let a = g + 9. Let b = a + -8. Which is smaller: b or -0.1?
b
Let n = 32.01 - 0.01. Let b = n - 11. Let v = -20.7 + b. Which is smaller: v or 2?
v
Suppose -4*t + t - 4*q = 1172, t + 3*q = -399. Which is smaller: t or -383?
t
Suppose 13 = -14*y + y. Let c = -2/491 - 5870/5401. Which is smaller: y or c?
c
Let a = 71 + -93. Is a < -26?
False
Let m = -28/129 + -2/387. Let q = -0.017 + 40.017. Let c = -43 + q. Which is smaller: c or m?
c
Let u = -29 - -27. Let g(a) = 2*a**2 + 3*a**3 - 2*a - 2*a**3 + 5*a + 2. Let s be g(u). Is s greater than or equal to -5?
True
Let v(w) = 2*w**2 - 9*w - 23. Let r be v(6). Which is smaller: r or -9.1?
-9.1
Let v = -14 + -186. Let c = v + 15798/79. Which is greater: -1 or c?
c
Suppose -o + 9 = -m, 4*o - 4*m - 31 = -m. Suppose -4*a = 12, 1 = 5*k + 2*a + a. Suppose -2*q = k*q + o. Is -1 less than q?
False
Let f(w) = -w**3 - 13*w**2 - 11*w + 17. Let x be f(-12). Suppose -5 = x*a, 3*a + 29 = 5*r - 34. Let l = 17 - 6. Which is greater: l or r?
r
Let g = 123 + -122. Is g < 4/409?
False
Let f be (-3)/(-2)*148/6. Suppose -4*c + 47 = 2*v - 23, -2*v - 2*c = -72. Do f and v have the same value?
True
Let s(y) = y**2 - 39*y - 178. Let n be s(43). Which is greater: 58 or n?
58
Let r be 27/(-24) - (-2 + 0). Let l = 1548 - 1548. Are r and l nonequal?
True
Let t = -67/4 + 17. Let w = 13 + -20. Let g = 5 + w. Is t greater than g?
True
Let p be 2 - 63/12 - 0. Let x(d) = -d**3 + 14*d**2 - 21*d - 40. Let g be x(12). Is p != g?
True
Let j = -84 - -81. Suppose -3*a - 55 = -34. Which is smaller: j or a?
a
Suppose 25 = 3*u + 13. Let h(b) = -3*b**3 + b**2 - 1. Let g be h(-1). Suppose 0*v + 10 = 4*v - 5*y, -5*v + g*y + 19 = 0. Is v > u?
True
Suppose -4*g + 613 = -5*p, -g + 93 = p - 49. Suppose c + g = -5*d, 4*c = 4*d + 106 + 26. Which is smaller: -31 or d?
-31
Suppose -2*o - 3*n - 5 = -31, -n = -4*o + 38. Let r be 6/o - (-2849)/35. Is 82 at least as big as r?
True
Let k = -210 - -209.9. Which is bigger: k or -68?
k
Let i = 4209 - 1069089/254. Is i smaller than 0?
True
Let y be (6 + (-55)/10)*-2. Which is smaller: -1/15 or y?
y
Suppose 4*m = -25 + 29. Let a be 5/170*(m - 0 - -1). Is -1 < a?
True
Let m be (2/40)/(1/(-460)*-8). Is m >= 3?
False
Suppose 4 = -4*m - 0. Let w = -184 - -180. Do m and w have different values?
True
Let t be 4*(51176/179312 + (-4)/14). Is 0 bigger than t?
True
Let o be (-353)/(-18)*3/1. Suppose 4*f = 6*f + 118. Let v = o + f. Is v less than or equal to -1/3?
False
Let m be (108 + -2)/((-4)/(-42686)). Let h = m + -863088290/763. Let d = h - -3/109. Which is smaller: d or 2?
d
Let p be (3/2)/((-3)/(-6)). Suppose -n - 4 = -2*d, 10 - 42 = p*n - d. Let f be ((-1)/2)/(8/176). Which is bigger: n or f?
f
Let k = 30/121 - -123/968. Is 2/275 less than k?
True
Let z be (856/383595)/(2/5). Is z greater than or equal to -1?
True
Let w = -0.177 + -8.723. Let d = -2.3 + -6.7. Let v = d - w. Is 2/3 > v?
True
Let j = -343 - -342.9. Which is bigger: 1/112 or j?
1/112
Suppose 7*j = 24*j. Is 202 less than or equal to j?
False
Suppose 4*a - 8*a = 12. Let u be a/12 - (-63)/12. Which is smaller: u or 2?
2
Let g = 44.2 - 97.2. Is g greater than -4?
False
Suppose 0*s - 4*k = 3*s - 7, 2*k = 2*s. Let g = -5004/17 - -294. Is g bigger than s?
False
Let d(r) = -r**3 + 4*r**2 - 14*r + 16. Let s be d(4). Is -40 at most as big as s?
True
Let n = 39.3 + -40.3. Which is smaller: n or -28?
-28
Suppose 33*c - 17*c - 20*c + 20 = 0. Let k = -4 + 8. Is k at most as big as c?
True
Let t = 11 - 23. Let v = -28 - -16. Are t and v equal?
True
Let g = -804 - -1257. Which is smaller: g or 452?
452
Suppose 0 = -4*y + 3*o + 28, -3*y - 3*o + 4*o = -21. Let x(s) = -s**3