
326/7
Let i(f) = 4*f - 108. Let u be i(29). Which is smaller: 3 or u?
3
Let d = -0.2359 + 0.0359. Which is smaller: 100 or d?
d
Suppose 157*f + 102 = 159*f. Which is smaller: 50 or f?
50
Let b = 299.8 + -301.059. Let q = -0.041 + b. Which is greater: -0.2 or q?
-0.2
Let k be 0 + 0 + 4 + 2. Let v be 20/k*3*(-5)/10. Suppose -2*b = 3*b + 25. Is v smaller than b?
False
Let o be -58*3/204 - 4/(-8). Suppose -3 = -j - 4. Do o and j have different values?
True
Let d = 41367/71005 - 32/55. Which is smaller: d or 0?
0
Let g(t) = t**2 + 12*t + 35. Let o be g(-6). Let r(a) be the first derivative of a**4/4 + 2*a**3 - 4*a**2 - 8*a - 2. Let z be r(-7). Are o and z unequal?
False
Let p be 20/(-30) - (-124)/(-6). Let j = 22 + p. Which is greater: 1 or j?
1
Suppose 4*g - 2*g - 50 = -4*b, 2*b + 74 = 2*g. Let j = g + -11. Does j = 23?
False
Let m = -890 - -889.91. Is 4/7 less than m?
False
Suppose 4*y + 14 = 54. Let b be ((-34)/425)/(((-14)/y)/1). Let u = -4 - -3. Is b less than u?
False
Suppose x = 5*p + 167 + 182, 0 = -p + x - 73. Is -69 at least p?
True
Let q = 36.17 - -0.83. Let r = q - 37.2. Which is bigger: r or 0.1?
0.1
Let w be 9/(-12) - 6/(-8). Let q be 5*(-4)/20*-4. Suppose 6 = -r - 2*y, -5*r - q*y = -0 + 6. Is r >= w?
True
Let o be (-366)/(-3843) + ((-170)/21 - 1). Which is bigger: 1 or o?
1
Let v = 9 + -17/2. Let r = -11/12 + 7/6. Is v < r?
False
Let m be (30/(-20))/((45/42)/(-5)). Let s(u) = -u**2 + 12*u - 24. Let a be s(m). Which is greater: 13 or a?
13
Let g(m) = -m**2 + 5*m - 2. Suppose 4 + 21 = 5*n. Let v be g(n). Which is bigger: v or 1?
1
Let h(w) = -10*w**2 + 45*w - 26. Let l be h(4). Let k = -2 - 4. Let n be -8*(-1 - 10/k). Which is smaller: l or n?
l
Let j = 448.86 - 449. Which is smaller: j or -0.5?
-0.5
Suppose z - 5 = 0, -9*z = -4*p - 14*z + 25. Is -8/47 less than p?
True
Let i be 0/(2*(-4 + 6 - 1)). Suppose i = 3*v + 8*v - 275. Are 23 and v equal?
False
Suppose 2*s + k - 15 = -2*k, 5*s - 9 = 2*k. Let y be ((-30)/(-9)*s)/2. Which is greater: 0.1 or y?
y
Let j = 1.141 + -3.251. Is j at least as big as 2?
False
Let p = -3451/2670 - 2/267. Is 0 at most as big as p?
False
Let p = 0.6 + -0.72. Let x = -106.12 + 106. Let c = p - x. Which is greater: c or -3?
c
Suppose -25*g - 456 = -27*g + 2*m, -m = g - 220. Is g >= 1/3?
True
Let f = -264 - -1852/7. Let s = f - 27/35. Let p = -19 - -20. Is s bigger than p?
False
Let a = 1.655 - -14.965. Let f = -0.38 - a. Is f greater than or equal to -2?
False
Let i(m) = 32*m - 383. Let d be i(12). Is d at most 1/395?
False
Let n = 78 - 78.045. Let x = n + -1.955. Which is bigger: -0.04 or x?
-0.04
Let u = -35338/202929 - -2/8823. Let t be -2 + 1/1*2. Is t < u?
False
Let l = -70.886 + 71. Let i = -0.214 + l. Which is bigger: 2/457 or i?
2/457
Let g(u) be the first derivative of u**3/3 + u**2 - 13*u + 19. Let f be g(3). Is f less than 5?
True
Suppose -o - o = -14. Suppose -4 = o*h - 3*h. Let a = 328/5 + -66. Which is smaller: h or a?
h
Let i = 17/3 + -5. Let p be (-822)/(-90)*3/(-88). Let r = p - -1/88. Is i at most as big as r?
False
Let p = 5156 - 15466/3. Let x = 2 + -2. Let u = 0 - x. Do p and u have the same value?
False
Suppose -31*i + 9165 = 8*i. Which is bigger: i or 709/3?
709/3
Suppose -3*w = 2*v + 1 - 33, -5*v + 5 = 0. Let k(b) = -4*b + 9. Let s(l) = -11*l + 27. Let x(r) = -8*k(r) + 3*s(r). Let q be x(w). Is q at most 0?
True
Suppose 6*j - 20 = 10*j. Let n = j - -3. Let h be n/(-10) - 160/50. Is h > -4?
True
Let u(g) = -g**3 + g. Let b be u(1). Let a be (-1 + 0)/(1 + b). Is a smaller than -1/8?
True
Let k(q) = -3*q**2 + 28*q - 52. Let i be k(8). Let b = -48 + 29. Which is bigger: b or i?
b
Let n = -531.029 - -531. Which is smaller: n or 4/9?
n
Suppose 5*t + 6*q + 421 = 2*q, -q = -3*t - 256. Is t <= -85?
True
Let z = -17 + 56. Let j = -583.9 + 584. Is j at least as big as z?
False
Let l(w) = 4*w + 24. Let b be l(-5). Suppose b*t - 37 = 5*r, -2*t + 10 = -2*r + 2*t. Is r less than or equal to -54/7?
True
Suppose 237 = -34*v + 39*v + 4*d, 57 = v + 4*d. Suppose -2*y + l = -86, 3*y = -0*y + 5*l + 122. Which is smaller: v or y?
y
Let i = -1781/2 + 868. Let j = -23 - i. Do 0 and j have different values?
True
Let z = -105 - -90. Let a = -2167/9 - -241. Is z < a?
True
Let m(a) = -11*a**2 + 6*a. Let w be m(6). Let v be 2/(-12) + (-100)/w. Let h = 0.1 - 0. Which is greater: h or v?
v
Let n be (3/7)/((-22)/(-308)). Are n and 52/9 nonequal?
True
Suppose m + 4*v - 32 = 2*m, 5*v = m + 34. Is m >= -30?
True
Suppose -w = -0*w. Let y be (6/4 + w)/(4/(-48)). Is y equal to -77/4?
False
Let o(f) = f**2 + 37*f - 68. Let x be o(-38). Which is bigger: x or 1?
1
Suppose s - 3*s = -38. Let i = 103 + -66. Suppose 0 = -2*b + 3 + i. Does b = s?
False
Let l(d) = 2 + 0 - d**2 - 11*d - 3 - 5. Let t be l(-10). Let r be (t + 26/(-7))*7. Is 6/5 != r?
True
Suppose 4*f = -3*i + 10, 10 = -5*i + 4*i - 4*f. Let p = 29555/9 - 3275. Which is smaller: i or p?
p
Suppose -2*s - 2*s + 20 = 0. Suppose 0 = 5*r + 25, -4*r + 1 = 2*t + t. Let f = t - 4. Which is bigger: s or f?
s
Let k(i) = -i**3 - 8*i**2 - 2*i - 17. Suppose -n + 0*n - 40 = z, -n - 20 = 5*z. Let w be 6/(-4)*(-240)/n. Let h be k(w). Is -3 smaller than h?
True
Suppose -5*a + 8 = p, -2*p - 7 = 5*a - 18. Which is greater: a or -8/29?
a
Suppose 4*n = 0, 0 = 6*z - 2*z - n. Let m be -2 + (-3)/(-3) + z. Let i be (0 + 1 + 0)/(-1). Are m and i nonequal?
False
Let j = -3.2 - 9.8. Let z = 13 + j. Let t = -51 - -52.4. Is z not equal to t?
True
Let i = 0.522 - 0.142. Is i less than 0?
False
Let g(h) = -76*h**2 + 40*h + 2. Let z be g(3). Which is smaller: z or -563?
-563
Let y be (-1896)/(-30) - (0 + -4). Let d = y + -68. Is -1 > d?
False
Suppose 0 = -y - 2, -2 - 3 = -d + 2*y. Suppose 4*m = 3*f + 12, m + 4*f - 20 + 36 = 0. Which is smaller: d or m?
m
Let g(k) = -3*k**2 + 23*k - 4. Let d(c) = -c**2 + c - 1. Let x(l) = 4*d(l) - g(l). Let q be x(-19). Is q at least as big as 2/219?
False
Let i be (-1)/((-2)/38) - 1. Let w be ((-6)/(-4))/(i + -9). Let y = 15 + -16. Which is smaller: y or w?
y
Let m be ((-34)/8)/((20 - 9)/44). Is -17 != m?
False
Let v be (-38)/5 - (-4)/(-10). Let r be (v/(-64))/((-18)/8). Suppose 3*j + 0*n + 3 = 3*n, 4*j - 2*n + 2 = 0. Which is smaller: r or j?
r
Let m(z) = -z**2 + 14*z - 29. Let f be m(23). Let a be (f/(-354))/(1 + (-22)/(-3)). Let b be (-3 + 2)*1*0. Which is smaller: a or b?
b
Let r = -7/1507 + 26995/6460509. Is -0.1 <= r?
True
Let w be 1462/8 + 1/4. Is 184 < w?
False
Let k = 127 + -126.8. Are k and -0.07 non-equal?
True
Let y = -316.3 - -313. Is y greater than -2?
False
Suppose -13474 = -6*a - 2524. Are 1825 and a unequal?
False
Suppose -7*b - 496 = 617. Which is greater: -158 or b?
-158
Let x = 1 - 1. Let n = 64473/19 + -3393. Which is bigger: x or n?
n
Suppose 15 = -23*i - 8. Which is greater: 1/230 or i?
1/230
Let g = -99 + 193. Suppose -4*s + 4*d + 388 = 0, 2*s - d - 192 = -0*d. Is s greater than or equal to g?
True
Let b = 852 - 183. Which is bigger: b or 670?
670
Let z be (-208)/(-6) - (-6)/(-9). Suppose 4*g = k + 119, -3*k + z = -3*g + 121. Let v be (-2)/5 + (-3)/g. Is v >= -1?
True
Let r be (-27)/(-2 + 3) - 2. Let o = 28 + r. Is o at least 1/15?
False
Suppose 3*z + 48 = 153. Suppose -3*f + h = -0*h + 13, 0 = 5*f - 5*h + z. Which is smaller: -4 or f?
-4
Let u = 0.8 + 44.2. Let m = u - 32. Which is greater: 0.1 or m?
m
Let k(v) = v**3 - 7*v**2 - 6*v + 9. Let q(m) = -m - 1. Let x(a) = -k(a) - 3*q(a). Let h be x(8). Let t be 25/20 - 1/4. Which is greater: h or t?
h
Let b(y) = y**3 - 9*y**2 - 9*y + 5. Let r be b(10). Let i = r - 0. Suppose 0 = -n + i - 4. Which is bigger: n or 9?
n
Let x(c) = c - 7. Let j be x(7). Let h = -0.0715 + 0.0315. Is j > h?
True
Let g(h) = h**2 - h - 5. Suppose 0*v - v = -3. Let u be g(v). Let c be (u + 7)*(-27)/12. Is -18 != c?
False
Suppose -m - 4*m - 4*y = 20, -3*y + 12 = -3*m. Which is smaller: -10 or m?
-10
Let g(u) = u**3 - 3*u**2 - 8*u + 29. Let b be g(5). Is b > 151/4?
True
Suppose -2*o - o = -3. Let z(l) = -2*l**3 + l. Let r be z(o). Let d be (r + 8/4)*1. Which is smaller: 1/5 or d?
1/5
Let y be (-9267792)/78 - (-4)/(-26). Let i = -829457/7 - y. Let p = 325 - i. Are p and 1 equal?
False
Let r be 240/(-14)*(-4)/((-8)/14). Let s be 16/r - (-62)/15. Which is bigger: s or 19?
19
Let b be 65/25 - 3*12/(-90). Which is bigger: b o